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

2008
10 Citations (Scopus)

Program models for compositional verification

Huisman, M., Aktug, I. & Gurov, D., 2008, 10th International Conference on Formal Engineering Methods. Berlin: Springer, 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 contributionAcademicpeer-review

26 Citations (Scopus)

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

2009
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

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

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

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

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

Structural properties
Flow graphs
Acoustic waves
2010
9 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
3 Citations (Scopus)
30 Downloads (Pure)

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

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

File
2011
27 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
4 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

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

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, p. 366-381 16 p. (Lecture Notes in Computer Science; vol. 7041).

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

37 Downloads (Pure)

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

File
34 Downloads (Pure)

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

Huisman, M. & Ngo, M. T., 6 Oct 2011, Enschede: Centre for Telematics and Information Technology (CTIT). 21 p. (CTIT Technical Report Series; no. TR-CTIT-11-22)

Research output: Book/ReportReportProfessional

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

Confidentiality for Probabilistic Multi-Threaded Programs and Its Verification

Ngo, M. T., Stoelinga, M. I. A. & Huisman, M., 12 Dec 2012, Enschede: Centre for Telematics and Information Technology (CTIT). 19 p. (CTIT Technical Report Series; no. TR-CTIT-13-01)

Research output: Book/ReportReportProfessional

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

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, p. 178-195 18 p. (Lecture Notes in Computer Science; vol. 7421).

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

File
6 Citations (Scopus)
31 Downloads (Pure)

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, p. 33-47 15 p. (Lecture Notes in Computer Science; vol. 7504).

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

File
15 Citations (Scopus)
1 Downloads (Pure)

The COST IC0701 Verification Competition 2011

Bormer, T., Brockschmidt, M., Distefano, D., Ernst, G., Filliâtre, J-C., Grigore, R., Huisman, M., Klebanov, V., Marché, C., Monahan, R., Mostowski, W., Poiikarpova, N., Scheben, C., Schellhorn, G., Tofan, B., Tschannen, J. & Ulbrich, M., 2012, Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers. Beckert, B., Damiani, F. & Gurov, D. (eds.). Berlin, Heidelberg: Springer, p. 3-21 19 p. (Lecture Notes in Computer Science; vol. 7421).

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

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

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 (ACM), p. 71-82 12 p.

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

2013
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

15 Downloads (Pure)

Correct and efficient accelerator programming (Dagstuhl Seminar 13142)

Cohen, A., Donaldson, A. F., Huisman, M. & Katoen, J. P., 2013, p. 17-33.

Research output: Contribution to conferencePaperAcademic

Open Access
File
Technical presentations
Particle accelerators
Computer science
11 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
19 Downloads (Pure)

Formal specifications for Java’s synchronisation classes

Amighi, A., Blom, S., Huisman, M., Mostowski, W. & Zaharieva-Stojanovski, M., 11 Sep 2013, Enschede: Centre for Telematics and Information Technology (CTIT). 8 p. (CTIT Technical Report Series; no. TR-CTIT-13-18)

Research output: Book/ReportReportProfessional

Open Access
File
Synchronization
Application programming interfaces (API)
Formal specification
Semantics
Concretes
6 Citations (Scopus)
76 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
13 Downloads (Pure)

Parallel transaction processing in functional languages, towards practical functional databases

Wevers, L., Huisman, M. & de Keijzer, A., 2013, Enschede: Centre for Telematics and Information Technology (CTIT). 16 p. (CTIT Technical Report Series; no. TR-CTIT-13-06)

Research output: Book/ReportReportProfessional

File
1 Citation (Scopus)
36 Downloads (Pure)

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

Open Access
File
Chemical analysis
Uncertainty
1 Citation (Scopus)
9 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
28 Downloads (Pure)

Resource protection using atomics: patterns and verifications

Amighi, A., Blom, S. & Huisman, M., 1 May 2013, Enschede: Centre for Telematics and Information Technology (CTIT). 14 p. (CTIT Technical Report Series; no. TR-CTIT-13-10)

Research output: Book/ReportReportProfessional

File
36 Downloads (Pure)

Specification and verification of GPGPU programs

Blom, S., Huisman, M. & Mihelcic, M., 8 Nov 2013, Enschede: Centre for Telematics and Information Technology (CTIT). 18 p. (CTIT Technical Report Series; no. TR-CTIT-13-21)

Research output: Book/ReportReportProfessional

File
29 Downloads (Pure)

Specification and Verification of GPGPU programs using Permission-based Separation logic

Huisman, M. & Mihelcic, M., Mar 2013, Enschede: Centre for Telematics and Information Technology (CTIT). 8 p. (CTIT Technical Report Series; no. TR-CTIT-13-12)

Research output: Book/ReportReportProfessional

File
24 Downloads (Pure)

Specification and Verification of GPGPU Programs using Permission-Based Separation Logic

Huisman, M. & Mihelcic, M., 2013. 8 p.

Research output: Contribution to conferencePaperAcademicpeer-review

Open Access
File
Specifications
Computer programming languages
Energy efficiency
Graphics processing unit
47 Downloads (Pure)

Witnessing the elimination of magic wands

Blom, S. & Huisman, M., 8 Nov 2013, Enschede: Centre for Telematics and Information Technology (CTIT). 22 p. (CTIT Technical Report Series; no. TR-CTIT-13-22)

Research output: Book/ReportReportProfessional

File
2014
5 Citations (Scopus)
59 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
39 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
7 Citations (Scopus)
25 Downloads (Pure)

Formal Specifications for Java's Synchronisation Classes

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

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

Synchronization
Application programming interfaces (API)
Formal specification
Semantics
Concretes
36 Downloads (Pure)

Formal specification with JML

Huisman, M., Ahrendt, W., Bruns, D. & Hentschel, M., 2014, Karlsruhe: Department of Informatics, Karlsruhe Institute of Technology. 51 p. (Karlsruhe Reports in Informatics; no. 2014-10)

Research output: Book/ReportReportProfessional

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

Preface

Huisman, M. & van de Pol, J., Sep 2014, Proceedings of the 14th International Workshop on Automated Verification of Critical Systems (AVoCS 2014). Huisman, M. & van de Pol, J. (eds.). Berlin: European Association of Software Science and Technology, p. 1-3 3 p. (Electronic Communications of the EASST; vol. 70).

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

Open Access
File
Theorem proving
Surface mount technology
Model checking
Industry
51 Downloads (Pure)

Qualitative and quantitative information flow analysis for multi-threaded programs

Ngo, M. T., 17 Apr 2014, Enschede: Universiteit Twente. 180 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Program processors
Security of data
Information systems
Computer systems
Scheduling
4 Citations (Scopus)

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

3 Citations (Scopus)
16 Downloads (Pure)

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

File
41 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
18 Citations (Scopus)
11 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
24 Citations (Scopus)
90 Downloads (Pure)

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

File
27 Downloads (Pure)

Towards Online and Transactional Relational Schema Transformations

Wevers, L., Hofstra, M., Tammens, M., Huisman, M. & van Keulen, M., 3 Nov 2014, Enschede: Centre for Telematics and Information Technology (CTIT). 19 p. (CTIT Technical Report Series; no. TR-CTIT-14-10)

Research output: Book/ReportReportProfessional

File
1 Citation (Scopus)
20 Downloads (Pure)

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 contributionAcademic

File
7 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