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

Article
3 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
10 Downloads (Pure)

Divide and conquer: the quest for compositional design and analysis (Dagstuhl Seminar 12511)

Huisman, M., Jobstmann, B., Schaefer, I. & Stoelinga, M. I. A., 2013, In : Dagstuhl reports. 2, 12, p. 64-88 25 p.

Research output: Contribution to journalArticleAcademic

Open Access
File
Model checking
Technical presentations
Computer science
5 Citations (Scopus)
48 Downloads (Pure)

Effective verification of confidentiality for multi-threaded programs

Ngo, M. T., Stoelinga, M. I. A. & Huisman, M., 2014, In : Journal of computer security. 22, 2, p. 269-300 31 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
36 Downloads (Pure)

Evaluating Software Verification Systems: Benchmarks and Competitions (Dagstuhl Reports 14171)

Beyer, D., Huisman, M., Klebanov, V. & Monahan, R., 27 Aug 2014, In : Dagstuhl reports. 4, 4, p. 1-19 19 p.

Research output: Contribution to journalArticleAcademic

File
64 Downloads (Pure)

Meer vrouwen in de ict, waarom eigenlijk?

Huisman, M. (ed.) & Stoelinga, M. I. A. (ed.), 7 Nov 2014, In : Bits en chips. 9, 9, p. 20-21 2 p.

Research output: Contribution to journalArticleProfessional

Open Access
File
26 Downloads (Pure)

Permission-Based Separation Logic for Multithreaded Java Programs

Haack, C., Huisman, M. & Hurlin, C., 2011, In : Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica. 15, p. 13-23 11 p.

Research output: Contribution to journalArticleAcademic

File
11 Citations (Scopus)
61 Downloads (Pure)

Permission-based separation logic for multi-threaded Java programs

Amighi, A., Haack, C., Huisman, M. & Hurlin, C., Feb 2015, In : Logical methods in computer science. 11, 1, p. 2 65 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
38 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)
6 Downloads (Pure)

Procedure-modular specification and verification of temporal safety properties

Soleimanifard, S., Gurov, D. & Huisman, M., Feb 2015, In : Software and systems modeling. 14, 1, p. 83-100 18 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
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)
7 Downloads (Pure)

Reducing Behavioural to Structural Properties of Programs with Procedures

Gurov, D. & Huisman, M., 8 Apr 2013, In : Theoretical computer science. 480, p. 69-103 35 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
33 Downloads (Pure)

SCP special issue on Bytecode 2012 - Preface

Huisman, M., Oct 2014, In : Science of computer programming. 92, Part A, p. 1-1 1 p.

Research output: Contribution to journalArticleAcademic

File
25 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
17 Citations (Scopus)
8 Downloads (Pure)

Specification and verification of GPGPU programs.

Blom, S., Huisman, M. & Mihelcic, M., 1 Dec 2014, In : Science of computer programming. 95, Part 3, p. 376-388 13 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
1 Citation (Scopus)
34 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
15 Citations (Scopus)
56 Downloads (Pure)

VerifyThis 2012 - A Program Verification Competition

Huisman, M., Klebanov, V. & Monahan, R., Nov 2015, In : International journal on software tools for technology transfer. 17, 6, p. 647-657 11 p.

Research output: Contribution to journalArticleAcademic

File
3 Citations (Scopus)
8 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
1 Citation (Scopus)
42 Downloads (Pure)

Witnessing the elimination of magic wands

Blom, S. & Huisman, M., Nov 2015, In : International journal on software tools for technology transfer. 17, 6, p. 757-781 25 p.

Research output: Contribution to journalArticleAcademicpeer-review

File

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

4 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
Chapter
2 Downloads (Pure)

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
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
6 Citations (Scopus)
16 Downloads (Pure)

Verification of concurrent systems with VerCors

Amighi, A., Blom, S., Darabi, S., Huisman, M., Mostowski, W. & Zaharieva-Stojanovski, M., Jun 2014, Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems. Bernardo, M., Damiani, F., Hähnle, R., Broch Johnsen, E. & Schaefer, I. (eds.). Cham: Springer, p. 172-216 45 p. (Lecture Notes in Computer Science; vol. 8483).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Invariance
Conference contribution
37 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
1 Citation (Scopus)
61 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
2 Citations (Scopus)

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, 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 contributionAcademicpeer-review

17 Downloads (Pure)

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 contributionAcademic

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
1 Citation (Scopus)
28 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

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
2 Citations (Scopus)

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, 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 contributionAcademicpeer-review

6 Citations (Scopus)

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, p. 107-122 16 p. (Lecture Notes in Computer Science; no. 7781).

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

8 Downloads (Pure)

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, p. 107-121 15 p. (Lecture Notes in Computer Science; vol. 6528).

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

File
13 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
7 Citations (Scopus)
25 Downloads (Pure)

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 contributionAcademicpeer-review

File

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, 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 contributionAcademic

1 Citation (Scopus)
40 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
9 Downloads (Pure)

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, p. 84-98 15 p. (Lecture Notes in Computer Science; vol. 9276).

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

File
6 Citations (Scopus)
49 Downloads (Pure)

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 contributionAcademicpeer-review

File
28 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
22 Downloads (Pure)

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, p. 148-165 18 p. (Lecture Notes in Computer Science; vol. 6993).

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

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)
18 Downloads (Pure)

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 (ACM), p. 8:1-8:6 6 p. 10.1145/1557898.1557906

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

File
3 Citations (Scopus)

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 (ACM), p. 7:1-7:6 6 p.

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

5 Citations (Scopus)
14 Downloads (Pure)

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 contributionAcademicpeer-review

File