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

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

Research output: Contribution to journalArticleProfessional

Open Access
File
Quality assurance
Technology transfer
Software engineering

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

Open Access
File
Synchronization
Specifications
Petri nets
Explosions
Economics
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 journalArticleAcademicpeer-review

information flow
reviewing
scheduling
quantitative analysis
Scheduling
2016

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

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 Citations

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

File
2015
10 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 journalArticleAcademicpeer-review

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

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

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

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

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 journalArticleAcademic

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 journalArticleProfessional

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 journalArticleAcademic

File
16 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 journalArticleAcademicpeer-review

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 journalArticleAcademic

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

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 journalArticleAcademic

File