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
Paper
2018
1 Citation (Scopus)
22 Downloads (Pure)

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

Open Access
File
File editors
Data structures
36 Downloads (Pure)

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

Open Access
File
21 Downloads (Pure)

Mercedes: Maximal Reliability of Concurrent and Distributed Software

Huisman, M., 2018. 1 p.

Research output: Contribution to conferencePaperAcademicpeer-review

Open Access
File
2016
120 Downloads (Pure)

Static Verification of Message Passing Programs

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

Research output: Contribution to conferencePaperAcademic

File
2015
43 Downloads (Pure)

Verification of Loop Parallelisations

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

Research output: Contribution to conferencePaperAcademic

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