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

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 proceeding › Conference contribution › Academic

Open Access
File
Formal methods
Hardware

VerifyThis2018: A Program Verification Competition

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

Research output: Book/Report › Report › Academic

Open Access
File
Greece
event
software
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 proceeding › Chapter › Academic

Costs
1 Citation (Scopus)

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 conference › Paper › Academic › peer-review

Open Access
File
File editors
Data structures

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 conference › Paper › Academic › peer-review

Open Access
File

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 proceeding › Conference contribution › Academic

Software development
Software industry
Formal methods
Software

Mercedes: Maximal Reliability of Concurrent and Distributed Software

Huisman, M., 2018. 1 p.

Research output: Contribution to conference › Paper › Academic › peer-review

Open Access
File
1 Citation (Scopus)

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 proceeding › Conference contribution › Academic › peer-review

2 Citations (Scopus)

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 proceeding › Conference contribution › Academic › peer-review

Specifications

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 proceeding › Conference contribution › Academic › peer-review

Specifications
Specification languages
Interoperability
Semantics
Formal verification

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 journal › Article › Academic › peer-review

Open Access
File
Quality assurance
Technology transfer
Software engineering

Software reliability for everyone

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

Research output: Book/Report › Inaugural speech › Academic

Open Access
File

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

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

Research output: Thesis › PhD Thesis - Research UT, graduation UT › Academic

Open Access
File
Synchronization
Specifications
Data storage equipment
Data structures
Acoustic waves

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 journal › Article › Academic › peer-review

Synchronization
Specifications
Petri nets
Explosions
Economics

Static Code Verification Through Process Models

Joosten, S. J. C. & Huisman, M., 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 proceeding › Conference contribution › Academic › peer-review

Model checking

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

Beyer, D. (ed.) & Huisman, M. (ed.), 2018, Springer. (Lecture Notes in Computer Science; vol. 10806)

Research output: Book/Report › Book editing › Academic

Open Access
File

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I

Beyer, D. (ed.) & Huisman, M. (ed.), 2018, Springer. (Lecture Notes in Computer Science; vol. 10805)

Research output: Book/Report › Book editing › Academic

Open Access
File

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.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Automation

Verification of program parallelization

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

Research output: Thesis › PhD Thesis - Research UT, graduation UT › Academic

Open Access
File
Parallel programming
Computer programming languages
Semantics

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 proceeding › Conference contribution › Academic › peer-review

Open Access
File
2017

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 proceeding › Conference contribution › Academic › peer-review

Open Access
File
2 Citations (Scopus)

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 proceeding › Conference contribution › Academic › peer-review

Algebra
Specifications
Flow control
Data storage equipment

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/Report › Report › Academic

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 proceeding › Conference contribution › Academic

3 Citations (Scopus)

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 proceeding › Conference contribution › Academic › peer-review

Chemical analysis
Fusion reactions
Semantics

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/Report › Report › Other research output

File
2 Citations (Scopus)

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 journal › Article › Academic › peer-review

information flow
reviewing
scheduling
quantitative analysis
Scheduling

Fundamental Approaches to Software Engineering: 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Huisman, M. (ed.) & Rubin, J. (ed.), 2017, Springer. (Lecture Notes in Computer Science; vol. 10202)

Research output: Book/Report › Book editing › Academic

6 Citations (Scopus)

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 proceeding › Conference contribution › Academic › peer-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 journal › Editorial › Academic › peer-review

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 proceeding › Conference contribution › Academic

Open Access
File

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/Report › Report › Professional

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

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 proceeding › Chapter › Academic

File
1 Citation (Scopus)

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 proceeding › Conference contribution › Academic › peer-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/Report › Book editing › Academic

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 proceeding › Conference contribution › Academic › peer-review

File
Concurrency control
Data structures
Throughput
Control systems

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 journal › Article › Academic

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 journal › Article › Academic › peer-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 proceeding › Conference contribution › Academic › peer-review

2 Citations (Scopus)

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 proceeding › Conference contribution › Academic › peer-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 proceeding › Conference contribution › Academic

Data storage equipment

Static Verification of Message Passing Programs

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

Research output: Contribution to conference › Paper › Academic

File
3 Citations (Scopus)

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 proceeding › Conference contribution › Academic › peer-review

File
1 Citation (Scopus)

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. oneline pre-publication, p. 1-9 9 p.

Research output: Contribution to journal › Article › Academic › peer-review

File

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/Report › Report › Professional

File
2015
1 Citation (Scopus)

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 proceeding › Conference contribution › Academic › peer-review

File
1 Citation (Scopus)

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 proceeding › Conference contribution › Academic › peer-review

File
4 Citations (Scopus)

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 proceeding › Conference contribution › Academic › peer-review

Closer to Reliable Software: Verifying Functional Behaviour of Concurrent Programs

Zaharieva Stojanovski, M., 1 Oct 2015, Enschede: Universiteit Twente. 236 p.

Research output: Thesis › PhD Thesis - Research UT, graduation UT › Academic

Open Access
File
Formal logic
Machinery
Testing
Formal verification
6 Citations (Scopus)

History-based Verification of Functional Behaviour of Concurrent Programs

Blom, S., Huisman, M. & Zaharieva, M., 9 Mar 2015, Enschede: Centre for Telematics and Information Technology (CTIT). 25 p. (CTIT Technical Report Series; no. TR-CTIT-15-02)

Research output: Book/Report › Report › Professional

File
123Next ›