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

Filter
Article
2018
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
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
2017
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
2016
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)

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

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
2015
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
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
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
1 Citation (Scopus)
43 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
2014
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
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
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
2013
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
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
2011
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