No photo of Marieke Huisman

Marieke Huisman

prof.dr.

20082019
If you made any changes in Pure these will be visible here soon.

Research Output 2008 2019

2019
2 Downloads (Pure)

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III

Beyer, D. (ed.), Huisman, M. (ed.), Kordon, F. (ed.) & Steffen, B. (ed.), 2019, Springer. (Lecture Notes in Computer Science; vol. 11429)

Research output: Book/ReportBook editingAcademic

Open Access
File
2 Downloads (Pure)

TOOLympics 2019: An Overview of Competitions in Formal Methods

Bartocci, E., Beyer, D., Black, P. E., Fedyukovich, G., Garavel, H., Hartmanns, A., Huisman, M., Kordon, F., Nagele, J., Sighireanu, M., Steffen, B., Suda, M., Sutcliffe, G., Weber, T. & Yamada, A., 4 Apr 2019, Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics. Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019. Proceedings, Part III. Beyer, D., Huisman, M., Kordon, F. & Steffen, B. (eds.). Cham: Springer, p. 3-24 22 p. (Lecture Notes in Computer Science; vol. 11429).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Open Access
File
Formal methods
Hardware
4 Downloads (Pure)

VerifyThis2018: A Program Verification Competition

Huisman, M., Monahan, R., Müller, P., Paskevich, A. & Ernst, G., Jan 2019

Research output: Book/ReportReportAcademic

Open Access
File
Greece
event
software
3 Downloads (Pure)

VerifyThis - Verification Competition with a Human Factor

Ernst, G., Huisman, M., Mostowski, W. & Ulbrich, M., 4 Apr 2019, Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III. Beyer, D., Huisman, M., Kordon, F. & Steffen, B. (eds.). Springer, p. 176-195 20 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Human engineering
2018

A Broader View on Verification: From Static to Runtime and Back (Track Summary)

Ahrendt, W., Huisman, M., Reger, G. & Rozier, K. Y., 2018, Leveraging Applications of Formal Methods, Verification and Validation. Verification : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II. Margaria, T. & Steffen, B. (eds.). Cham: Springer, p. 3-7 5 p. (Lecture Notes in Computer Science; no. 11245).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Open Access
File
Costs
1 Citation (Scopus)
20 Downloads (Pure)

An Exercise in Verifying Sequential Programs with VerCors

Joosten, S. J. C., Oortwijn, W., Safari, M. & Huisman, M., 16 Jul 2018. 6 p.

Research output: Contribution to conferencePaperAcademicpeer-review

Open Access
File
File editors
Data structures
35 Downloads (Pure)

An overview of GPU Computing Research in the Netherlands: Results from the NIRICT GPGPU Reconnaissance workshop

Huisman, M., Varbanescu, A. L., van Werkhoven, B. & Wijs, A., 2018. 7 p.

Research output: Contribution to conferencePaperAcademicpeer-review

Open Access
File
11 Downloads (Pure)

Formal Methods in Industrial Practice: Bridging the Gap (Track Summary)

Felderer, M., Gurov, D., Huisman, M., Lisper, B. & Schlick, R., 2018, Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV. Margaria, T. & Steffen, B. (eds.). Cham: Springer, p. 77-81 5 p. (Lecture Notes in Computer Science; vol. 11247).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Open Access
File
Software development
Software industry
Formal methods
Software
21 Downloads (Pure)

Mercedes: Maximal Reliability of Concurrent and Distributed Software

Huisman, M., 2018. 1 p.

Research output: Contribution to conferencePaperAcademicpeer-review

Open Access
File
1 Citation (Scopus)
2 Downloads (Pure)

On Models and Code: A Unified Approach to Support Large-Scale Deductive Program Verification

Huisman, M., 2018, Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I. Margaria, T. & Steffen, B. (eds.). Cham: Springer, p. 111-118 8 p. (Lecture Notes in Computer Science; vol. 11244).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
2 Citations (Scopus)
8 Downloads (Pure)

Program Correctness by Transformation

Huisman, M., Blom, S., Darabi, S. & Safari, M., 2018, Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I. Margaria, T. & Steffen, B. (eds.). Cham: Springer, p. 365-380 16 p. (Lecture Notes in Computer Science; vol. 11244).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Specifications
7 Downloads (Pure)

Reasoning About JML: Differences Between KeY and OpenJML

Boerman, J., Huisman, M. & Joosten, S. J. C., 5 Sep 2018, Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018. Proceedings. Furia, C. A. & Winter, K. (eds.). Cham: Springer, p. 30-46 17 p. 3. (Lecture Notes in Computer Science; vol. 11023).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Specifications
Specification languages
Interoperability
Semantics
Formal verification
20 Downloads (Pure)

Software quality tools and techniques presented in FASE’17

Huisman, M. & Rubin, J., 1 Nov 2018, In : International journal on software tools for technology transfer. 20, 6, p. 611-613 3 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Quality assurance
Technology transfer
Software engineering
49 Downloads (Pure)

Software reliability for everyone

Huisman, M., 25 Jan 2018, Enschede: University of Twente. 32 p.

Research output: Book/ReportInaugural speechOther research output

Open Access
File
50 Downloads (Pure)

Specification and verification of synchronisation classes in Java: A practical approach

Amighi, A., 17 Jan 2018, Enschede: University of Twente. 206 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Synchronization
Specifications
Data storage equipment
Data structures
Acoustic waves
30 Downloads (Pure)

Specification and verification of synchronization with condition variables

Gomes, P. D. C., Gurov, D., Huisman, M. & Artho, C., 1 Oct 2018, In : Science of computer programming. 163, p. 174-189 16 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Synchronization
Specifications
Petri nets
Explosions
Economics
7 Downloads (Pure)

Static Code Verification Through Process Models

Joosten, S. J. C. & Huisman, M., 31 Oct 2018, Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III. Margaria, T. & Steffen, B. (eds.). Cham: Springer, p. 343-354 12 p. (Lecture Notes in Computer Science; vol. 11246).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Model checking
7 Downloads (Pure)

Towards Reliable Concurrent Software

Huisman, M. & Joosten, S. J. C., 2018, Principled Software Development: Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday. Müller, P. & Schaefer, I. (eds.). Cham: Springer, p. 129-146 18 p. (Principled Software Development).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Automation
74 Downloads (Pure)

Verification of program parallelization

Darabi, S., 2 Mar 2018, 167 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Parallel programming
Computer programming languages
Semantics
41 Downloads (Pure)

Verification of Shared-Reading Synchronisers

Amighi, A., Huisman, M. & Blom, S., 2018, 1st International Workshop on Methods and Tools for Rigorous System Design (Metrid). Bensalem, S. & Bliudze, S. (eds.).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
2017
35 Downloads (Pure)

24 Challenges in Deductive Software Verification

Hähnle, R. & Huisman, M., 2017, ARCADE 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017. Reger, G. & Traytel, D. (eds.). EasyChair, p. 37-41 5 p. (EPiC Series in Computing; vol. 51).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
3 Citations (Scopus)
2 Downloads (Pure)

An Abstraction Technique for Describing Concurrent Program Behaviour

Oortwijn, W., Blom, S., Gurov, D., Huisman, M. & Zaharieva, M., 2017, Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers. Paskevich, A. & Wies, T. (eds.). Springer, p. 191-209 19 p. (Lecture Notes in Computer Science; vol. 10712).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Algebra
Specifications
Flow control
Data storage equipment
8 Downloads (Pure)

Analysis and Verification of Pointer Programs

Huisman, M., Noll, T. & Tatsuta, M., 2017, Tokyo, Japan: National Institute of Informatics. (NII Shonan Meeting Reports; no. 2017-14)

Research output: Book/ReportReportAcademic

Open Access
File

A verification technique for deterministic parallel programs: Invited abstract

Huisman, M., 2017, Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017. Vanhoof, W. & Pientka, B. (eds.). ACM/Sheridan, p. 3 1 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

3 Citations (Scopus)
1 Downloads (Pure)

A Verification Technique for Deterministic Parallel Programs

Darabi, S., Blom, S. C. C. & Huisman, M., 2017, NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings. Barrett, C., Davies, M. & Kahsai, T. (eds.). p. 247-264 18 p. (Lecture Notes in Computer Science; vol. 10227).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Chemical analysis
Fusion reactions
Semantics
71 Downloads (Pure)

A Verification Technique for Deterministic Parallel Programs (extended version)

Darabi, S., Blom, S. & Huisman, M., 25 Feb 2017, Enschede: Centre for Telematics and Information Technology (CTIT). 19 p. (CTIT technical report; no. TR-CTIT-17-01)

Research output: Book/ReportReportOther research output

File
2 Citations (Scopus)
3 Downloads (Pure)

Complexity and information flow analysis for multi-threaded programs

Ngo, M. T. & Huisman, M., Jan 2017, In : European physical journal. Special topics. online pre-publication, p. 1-18 18 p.

Research output: Contribution to journalArticleAcademicpeer-review

information flow
reviewing
scheduling
quantitative analysis
Scheduling
5 Citations (Scopus)
3 Downloads (Pure)

The VerCors Tool Set: Verification of Parallel and Concurrent Software

Blom, S., Darabi, S., Huisman, M. & Oortwijn, W., 2017, Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings. Polikarpova, N. & Schneider, S. (eds.). Springer, p. 102-110 9 p. (Lecture Notes in Computer Science; vol. 10510).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Computer programming languages
Data storage equipment

Verification of Concurrent Software

Huisman, M., 2017, In : Electronic proceedings in theoretical computer science. 261, p. 2-2

Research output: Contribution to journalEditorialAcademicpeer-review

43 Downloads (Pure)

Verification of Concurrent Software with VerCors

Huisman, M., 2017, Proceedings of the 29th Nordic Workshop on Programming Theory (NWPT). Walden, M. (ed.). p. 2 1 p. (TUCS lecture notes; no. 27).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Open Access
File
61 Downloads (Pure)

VerifyThis 2017: A Program Verification Competition

Huisman, M., Monahan, R., Müller, P., Mostowski, W. & Ulbrich, M., 2017, Karlsruhe Institute of Technology. (Karlsruhe Reports in Informatics; no. 2017 - 10)

Research output: Book/ReportReportProfessional

Open Access
File
Sweden
event
software
2016
3 Citations (Scopus)
3 Downloads (Pure)

Formal specification with the Java modeling language

Huisman, M., Ahrendt, W., Grahl, D. & Hentschel, M., Dec 2016, Deductive Software Verification – The KeY Book. Ahrendt, W., Beckert, B., Bubel, R., Hähnle, R., Schmitt, P. H. & Ulbrich, M. (eds.). London: Springer, p. 193-241 49 p. (Lecture Notes in Computer Science; vol. 10001).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

File
1 Citation (Scopus)
35 Downloads (Pure)

Future-based Static Analysis of Message Passing Programs

Oortwijn, W. H. M., Blom, S. & Huisman, M., Apr 2016, Proceedings PLACES 2016. Orchard, D. & Yoshida, N. (eds.). p. 65-72 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Message passing
Static analysis
Emergency services
Network protocols
Air traffic control

Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Abraham, E. (ed.) & Huisman, M. (ed.), Jun 2016, London: Springer. 538 p. (Lecture Notes in Computer Science; vol. 9681)

Research output: Book/ReportBook editingAcademic

23 Downloads (Pure)

Lazy Evaluation for Concurrent OLTP and Bulk Transactions

Wevers, L., Huisman, M. & van Keulen, M., 11 Jul 2016, Proceedings of the 20th International Database Engineering & Applications Symposium (IDEAS 2016). New York: Association for Computing Machinery (ACM), p. 115-124 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
Concurrency control
Data structures
Throughput
Control systems
34 Downloads (Pure)

Preface of Special issue on Automated Verification of Critical Systems (AVoCS'14)

Huisman, M. (ed.) & van de Pol, J. (ed.), Oct 2016, In : Science of computer programming. 128, p. 1-1 1 p.

Research output: Contribution to journalArticleAcademic

File
Theorem proving
Model checking
Security systems
Industry
2 Citations (Scopus)

Provably correct control flow graphs from Java bytecode programs with exceptions

Amighi, A., de Carvalho Gomes, P., Gurov, D. & Huisman, M., Nov 2016, In : International journal on software tools for technology transfer. 18, 6, p. 653-684 32 p.

Research output: Contribution to journalArticleAcademicpeer-review

1 Citation (Scopus)

Software that meets its Intent

Huisman, M., Bos, H., Brinkkemper, S., van Deursen, A., Groote, J. F., Lago, P., van de Pol, J. & Visser, E., Oct 2016, Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II. Margaria, T. & Steffen, B. (eds.). Springer, p. 609-625 17 p. (Lecture Notes in Computer Science; vol. 9953).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)
13 Downloads (Pure)

Specification and Verification of Synchronization with Condition Variables.

Gomes, P., Gurov, D. & Huisman, M., Nov 2016, Proceedings of the Fifth International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2016). Artho, C. & Ölveczky, P. C. (eds.). London: Springer, p. 3-19 16 p. (Communications in Computer and Information Science; vol. 694).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
1 Citation (Scopus)

Static and runtime verification, competitors or friends? (Track summary)

Gurov, D., Havelund, K., Huisman, M. & Monahan, R., Oct 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I. Margaria, T. & Steffen, B. (eds.). Berlin: Springer, p. 397-401 5 p. (Lecture Notes in Computer Science; vol. 9952).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Data storage equipment
116 Downloads (Pure)

Static Verification of Message Passing Programs

Oortwijn, W. H. M., Blom, S. & Huisman, M., Mar 2016. 2 p.

Research output: Contribution to conferencePaperAcademic

File
3 Citations (Scopus)
21 Downloads (Pure)

VerCors: A Layered Approach to Practical Verification of Concurrent Software

Amighi, A., Blom, S. & Huisman, M., Feb 2016, Proceedings of the 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2016). USA: IEEE Computer Society, p. 495-503 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
3 Citations (Scopus)
9 Downloads (Pure)

VerifyThis 2015: A program verification competition

Huisman, M., Klebanov, V., Monahan, R. & Tautschnig, M., Oct 2016, In : International journal on software tools for technology transfer. 19, 6, p. 763–771 9 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
40 Downloads (Pure)

VerifyThis 2016: A Program Verification Competition

Huisman, M., Monahan, R., Müller, P. & Poll, E., Jun 2016, Enschede: Centre for Telematics and Information Technology (CTIT). 6 p. (CTIT Technical Report Series; no. TR-CTIT-16-07)

Research output: Book/ReportReportProfessional

File
2015
1 Citation (Scopus)
59 Downloads (Pure)

A Benchmark for Online Non-Blocking Schema Transformations

Wevers, L., Hofstra, M., Tammens, M., Huisman, M. & van Keulen, M., 20 Jul 2015, Proceedings of 4th International Conference on Data Management Technologies and Applications, DATA 2015. SCITEPRESS, p. 288-298 11 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
1 Citation (Scopus)
26 Downloads (Pure)

Analysis of the blocking behaviour of schema transformations in relational database systems

Wevers, L., Hofstra, M., Tammens, M., Huisman, M. & van Keulen, M., Sep 2015, Proceedings of the 19th East European Conference on Advances in Databases and Information Systems, ADBIS 2015. Berlin: Springer, p. 169-183 15 p. (Lecture Notes in Computer Science; vol. 9282).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
4 Citations (Scopus)
12 Downloads (Pure)

A Symbolic Approach to Permission Accounting for Concurrent Reasoning

Huisman, M. & Mostowski, W., 29 Jun 2015, Proceedings of the 14th International Symposium on Parallel and Distributed Computing, ISPDC 2015. USA: IEEE Computer Society, p. 165-174 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review