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
Article
2018

Specification and verification of synchronization with condition variables

Gomes, P. D. C., Gurov, D., Huisman, M. & Artho, C. 2018 In : Science of computer programming. 163, p. 174-189 16 p.

Research output: Contribution to journalArticle

Open Access
File
2017
2 Citations

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 journalArticle

information flow
reviewing
scheduling
quantitative analysis
Scheduling
2016
File
Theorem proving
Model checking
Security systems
Industry
1 Citations

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 journalArticle

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 journalArticle

File
2015
8 Citations

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 journalArticle

File
2 Citations

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 journalArticle

File
5 Citations

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 journalArticle

File

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 journalArticle

File
2014
5 Citations

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 journalArticle

File

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 journalArticle

File

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 journalArticle

Open Access
File

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 journalArticle

File
15 Citations

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 journalArticle

File
2013

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 journalArticle

Open Access
File
Model checking
Technical presentations
Computer science
1 Citations

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 journalArticle

File
2011

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 journalArticle

File