No photo of Marieke Huisman

Marieke Huisman

prof.dr.

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

Research Output 2008 2018

Filter
Conference contribution
2018

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 contribution

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.). p. 37-41 5 p. (EPiC Series in Computing; vol. 51)

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

Open Access
File

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 contribution

Algebra
Specifications
Flow control
Data storage equipment

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 contribution

2 Citations

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 contribution

Chemical analysis
Fusion reactions
Semantics
2 Citations

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 contribution

Computer programming languages
Data storage equipment

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 contribution

Open Access
File
2016
1 Citations

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 contribution

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

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, p. 115-124 10 p.

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

File
Concurrency control
Data structures
Throughput
Control systems
1 Citations

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 contribution

2 Citations

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 Verlag, p. 3-19 16 p. (Communications in Computer and Information Science; vol. 694)

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

File

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 contribution

Data storage equipment

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 contribution

File
2015
1 Citations

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 contribution

File
1 Citations

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 Verlag, p. 169-183 15 p. (Lecture Notes in Computer Science; vol. 9282)

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

File
4 Citations

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 contribution

File

History-Based Verification of Functional Behaviour of Concurrent Programs

Blom, S., Huisman, M. & Zaharieva, M. Sep 2015 Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM 2015). Calinescu, R. & Rumpe, B. (eds.). Switzerland: Springer International Publishing, p. 84-98 15 p. (Lecture Notes in Computer Science; vol. 9276)

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

File
1 Citations

Run-time Assertion Checking of JML Annotations in Multithreaded Applications with e-OpenJML

Kandziora, J., Huisman, M., Bockisch, C. & Zaharieva, M. Jul 2015 Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs (FTfJP 2015). Monahan, R. (ed.). New York: Association for Computing Machinery, p. 8 6 p. 8

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

File
4 Citations

Specification and verification of atomic operations in GPGPU programs

Amighi, A., Darabi, S., Blom, S. & Huisman, M. Sep 2015 Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM 2015). Calinescu, R. & Rumpe, B. (eds.). Switzerland: Springer International Publishing, p. 69-83 15 p. (Lecture Notes in Computer Science; vol. 9276)

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

File
7 Citations

Verification of loop parallelisations

Blom, S., Darabi, S. & Huisman, M. Apr 2015 Proceedings of the 18th International Conference on Fundamental Approaches to Software Engineering (FASE 2015). Egyed, A. & Schaefer, I. (eds.). London: Springer Berlin Heidelberg, p. 202-217 15 p. (Lecture Notes in Computer Science; vol. 9033)

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

File
2014
7 Citations

Formal Specifications for Java's Synchronisation Classes

Amighi, A., Blom, S., Huisman, M., Mostowski, W. & Zaharieva, M. 12 Feb 2014 Proceedings of the 22nd Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP 2014). USA: IEEE Computer Society, p. 725-733 9 p. (IEEE Conference Publications)

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

File
3 Citations

Quantitative security analysis for programs with low input and noisy output

Ngo, M. T. & Huisman, M. Feb 2014 Proceedings of the 6th International Symposium on Engineering Secure Software and Systems, ESSoS 2014. London: Springer, p. 77-94 18 p. (Lecture Notes in Computer Science; vol. 8364)

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

1 Citations

Resource Protection Using Atomics: Patterns and Verification

Amighi, A., Blom, S. & Huisman, M. Nov 2014 Proceedings of the 12th Asian Symposium on Programming Languages and Systems, APLAS 2014. Garrigue, J. (ed.). Berlin: Springer, p. 255-274 20 p. (Lecture Notes in Computer Science; vol. 8858)

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

File
19 Citations

The VerCors Tool for Verification of Concurrent Programs

Blom, S. & Huisman, M. May 2014 Proceedings of the 19th International Symposium on Formal Methods, FM 2014. Jones, C., Pihlajasaari, P. & Sun, J. (eds.). Berlin: Springer, p. 127-131 5 p. (Lecture Notes in Computer Science; vol. 8442)

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

File

Towards Online Relational Schema Transformations

Wevers, L., Hofstra, M., Tammens, M., Huisman, M. & van Keulen, M. 17 Oct 2014 Dutch-Belgian Database Day 2014. Antwerp, Belgium: Dutch-Belgian Database Day, p. 1 1 p.

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

File

Verifying class invariants in concurrent programs

Zaharieva, M. & Huisman, M. Apr 2014 Proceedings of the 17th International Conference on Fundamental Approaches to Software Engineering (FASE 2014). Gnesi, S. & Rensink, A. (eds.). Berlin: Springer Verlag, p. 230-245 16 p. (Lecture Notes in Computer Science; vol. 8411)

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

File
1 Citations

Verifying Functional Behaviour of Concurrent Programs

Zaharieva, M., Huisman, M. & Blom, S. Jul 2014 FTfJP'14: Proceedings of 16th Workshop on Formal Techniques for Java-like Programs. Pearce, D. (ed.). New York: Association for Computing Machinery, p. 4:1-4:6 6 p.

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

File
1 Citations

Verifying parallel loops with separation logic

Blom, S., Darabi, S. & Huisman, M. 12 Apr 2014 Proceedings of the 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2014). New York: Cornell University, p. 47-53 7 p. (EPTCS; vol. 155, no. arXiv:1406.3313)

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

File
2013
6 Citations

Confidentiality for Probabilistic Multi-Threaded Programs and Its Verification

Ngo, M. T., Stoelinga, M. I. A. & Huisman, M. Feb 2013 Proceedings of the 5th International Conference on Engineering Secure Software and Systems, ESSoS 2013. London: Springer Verlag, p. 107-122 16 p. (Lecture Notes in Computer Science; no. 7781)

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

5 Citations

How do developers use APIs? A case study in concurrency

Blom, S., Kiniry, J. & Huisman, M. Jul 2013 Proceedings of the 18th International Conference on Engineering of Complex Computer Systems, ICECCS 2013. USA: IEEE Computer Society, p. 212-221 10 p.

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

File

Quantitative Security Analysis for Multi-threaded Programs

Ngo, M. T. & Huisman, M. 11 Jun 2013 Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems. Bortolussi, L. & Wiklicky, H. (eds.). Australia: Open Publishing Association, p. 34-48 15 p. (Electronic Proceedings in Theoretical Computer Science; vol. 117)

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

Open Access
File
Chemical analysis
Uncertainty
2012

A history of BlockingQueues

Zaharieva, M., Huisman, M. & Blom, S. 19 Sep 2012 Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS 2012). Pace, G. J. & Ravn, A. P. (eds.). London: EPTCS, p. 31-35 5 p. (Electronic Proceedings in Theoretical Computer Science; vol. 94)

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

File
4 Citations

On the organisation of program verification competitions

Huisman, M., Klebanov, V. & Monahan, R. Jun 2012 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems (COMPARE 2012). Klebanov, V., Beckert, B., Biere, A. & Sutcliffe, G. (eds.). Aachen: Sun SITE Central Europe, p. 50-59 10 p. (CEUR-WS Proceedings; vol. 873)

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

File
8 Citations

Scheduler-Specific Confidentiality for Multi-Threaded Programs and Its Logic-Based Verification

Huisman, M. & Ngo, M. T. 2012 2nd International Conference on Formal Verification of Object-Oriented Software (FoVeOOS 2011), Revised Selected Papers. Beckert, B., Damiani, F. & Gurov, D. (eds.). Berlin: Springer Verlag, p. 178-195 18 p. (Lecture Notes in Computer Science; vol. 7421)

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

File
6 Citations

Sound Control-Flow Graph Extraction for Java Programs with Exceptions

Amighi, A., de Carvalho Gomes, P., Gurov, D. & Huisman, M. Oct 2012 10th International Conference on Software Engineering and Formal Methods (SEFM 2012). Eleftherakis, G., Hinchey, M. & Holcombe, M. (eds.). Berlin: Springer Verlag, p. 33-47 15 p. (Lecture Notes in Computer Science; vol. 7504)

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

File
14 Citations

The COST IC0701 Verification Competition 2011

Bormer, T., Brockschmidt, M., Distefano, D. S., Distefano, D., Ernst, G., Filliatre, J-C., Grigore, R., Huisman, M., Klebanov, V., Marche, C., Monahan, R., Mostowski, W., Poiikarpova, N., Scheben, C., Schellhorn, G., Tofan, B., Tschannen, J. & Ulbrich, M. 2012 International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011. Beckert, B., Damiani, F. & Gurov, D. (eds.). Berlin: Springer Verlag, p. 3-21 19 p. (Lecture Notes in Computer Science; vol. 7421)

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

8 Citations

The VerCors Project: Setting Up Basecamp

Amighi, A., Blom, S., Huisman, M. & Zaharieva, M. 24 Jan 2012 Sixth Workshop Programming Languages meets Program Verification (PLPV 2012). New York: Association for Computing Machinery, p. 71-82 12 p.

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

2011

Model-checking Secure Information Flow for Multi-Threaded Programs

Huisman, M. & Blondeel, H-C. Mar 2011 Proceedings of the Joint Workshop on Theory of Security and Applications, TOSCA 2011. Mödersheim, S. & Palamadessi, C. (eds.). Berlin: Springer Verlag, p. 148-165 18 p. (Lecture Notes in Computer Science; vol. 6993)

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

File
2 Citations

On the Interplay of Exception Handling and Design by Contract: An Aspect-Oriented Recovery Approach

Rebelo, H., Coelho, R., Lima, R., Leavens, G. T., Huisman, M., Mota, A. & Castor, F. 26 Jul 2011 Proceedings of the 13th Workshop on Formal Techniques for Java-like Programs, FTfJP 2011. Freund, S. (ed.). New York: Association for Computing Machinery, p. 7:1-7:6 6 p.

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

4 Citations

ProMoVer: Modular Verification of Temporal Safety Properties.

Soleimanifard, S., Gurov, D. & Huisman, M. Nov 2011 Proceedings of the 9th International Conference on Software Engineering and Formal Methods (SEFM 2011). Barthe, G., Pardo, A. & Schneider, G. (eds.). Berlin: Springer Verlag, p. 366-381 16 p. (Lecture Notes in Computer Science; vol. 7041)

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

Provably Correct Control-Flow Graphs from Java Programs with Exceptions

Amighi, A., de Carvalho Gomes, P. & Huisman, M. Oct 2011 Papers the of 2nd International Conference on Formal Verification of Object-Oriented Software, FoVeOOS'11. Karlsruhe: Karlsruhe Institute of Technology, p. 31-48 18 p. (Karlsruhe Reports in Informatics; vol. 26, no. 26)

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

File
2010

CVPP: A Tool Set for Compositonal Verification of Control-Flow Safety Properties.

Huisman, M. & Gurov, D. 2010 Formal Verification of Object-Oriented Software (FoVeOOS) 2010.. Beckert, B. & Marche, C. (eds.). Berlin: Springer Verlag, p. 107-121 15 p. (Lecture Notes in Computer Science; vol. 6528)

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

File
3 Citations

Procedure-Modular Verification of Control Flow Safety Properties

Soleimanifard, S., Gurov, D. & Huisman, M. 2010 12th Workshop on Formal Techniques for Java-like Programs, FTfJP 2010. New York: Association for Computing Machinery, p. 5:1-5:7 7 p.

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

File
2009
2 Citations

A Formal Connection between Security Automata and JML Annotations

Huisman, M. & Tamalet, A. 2009 Fundamental Approaches to Software Engineering. Checkik, M. & Wirsing, M. (eds.). Berlin: Springer Verlag, p. 340-354 15 p. 10.1007/978-3-642-00593-0_23. (Lecture Notes in Computer Science; vol. 5503)

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

2 Citations

BML and Related Tools

Chrząszcz, J., Huisman, M. & Schubert, A. 2009 Formal Methods for Components and Objects. de Boer, F. S., Bonsangue, M. M. & Madelaine, E. (eds.). London: Springer Verlag, p. 278-297 20 p. 10.1007/978-3-642-04167-9_14. (Lecture Notes in Computer Science; vol. 5751)

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

Formal Techniques for Java-Like Programs - Report on the 10th Workshop FTfJP at ECOOP 2008

Albert, E., Banerjee, A., Drossopoulou, S., Huisman, M., Igarashi, A., Leavens, G. T., Müller, P. & Wrigstad, T. 2009 Object-Oriented Technology. ECOOP 2008 Workshop Reader. Eugster, P. (ed.). Berlin: Springer Verlag, p. 70-76 7 p. 10.1007/978-3-642-02047-6_8. (Lecture Notes in Computer Science; vol. 5475)

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

2 Citations

On the Interplay between the Semantics of Java's Finally Clauses and the JML Run-Time Checker

Huisman, M. 2009 Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs. Banerjee, A. (ed.). New York: Association for Computing Machinery, p. 8:1-8:6 6 p. 10.1145/1557898.1557906

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

File
6 Citations

Reducing Behavioural to Structural Properties of Programs with Procedures

Gurov, D. & Huisman, M. 2009 Verification, Model Checking, and Abstract Interpretation. Jones, N. D. & Müller-Olm, M. (eds.). London: Springer Verlag, p. 136-150 15 p. 10.1007/978-3-540-93900-9_14. (Lecture Notes in Computer Science; vol. 5403)

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

2008
10 Citations

Program models for compositional verification

Huisman, M., Aktug, I. & Gurov, D. 2008 10th International Conference on Formal Engineering Methods. Berlin: Springer Verlag, p. 147-166 20 p. 10.1007/978-3-540-88194-0_11. (Lecture Notes in Computer Science; vol. 5256, no. WoTUG-31)

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

24 Citations

Reasoning about Java's Reentrant Locks

Haack, C., Huisman, M. & Hurlin, C. 1 Sep 2008 The Sixth ASIAN Symposium on Programming Languages and Systems. Ramalingam, G. (ed.). London: Springer Verlag, p. 171-187 17 p. 10.1007/978-3-540-89330-1_13. (Lecture Notes in Computer Science; vol. 5356)

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