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

An Exercise in Verifying Sequential Programs with VerCors

Joosten, S. J. C., Oortwijn, W., Safari, M. & Huisman, M. 16 Jul 2018 6 p.

Research output: Contribution to conferencePaper

Open Access
File
File editors
Data structures

An overview of GPU Computing Research in the Netherlands: Results from the NIRICT GPGPU Reconnaissance workshop

Huisman, M., Varbanescu, A. L., van Werkhoven, B. & Wijs, A. 2018 7 p.

Research output: Contribution to conferencePaper

Open Access
File

Mercedes: Maximal Reliability of Concurrent and Distributed Software

Huisman, M. 2018 1 p.

Research output: Contribution to conferencePaper

Open Access
File
2016

Static Verification of Message Passing Programs

Oortwijn, W. H. M., Blom, S. & Huisman, M. Mar 2016 2 p.

Research output: Contribution to conferencePaper

File
2015

Verification of Loop Parallelisations

Blom, S., Darabi, S. & Huisman, M. 24 Mar 2015 p. IPA-4 2 p.

Research output: Contribution to conferencePaper

File
2013

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 conferencePaper

File
Technical presentations
Particle accelerators
Computer science

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

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

Research output: Contribution to conferencePaper

Open Access
File
Specifications
Computer programming languages
Energy efficiency
Graphics processing unit