No photo of Marieke Huisman

Marieke Huisman

prof.dr.

20082018
If you made any changes in Pure these will be visible here soon.

Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 19 Similar Profiles
Model checking Engineering & Materials Science
Specifications Engineering & Materials Science
information flow Physics & Astronomy
Concurrency control Engineering & Materials Science
Message passing Engineering & Materials Science
Static analysis Engineering & Materials Science
Technical presentations Engineering & Materials Science
Computer science Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2008 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

Software reliability for everyone

Huisman, M. 25 Jan 2018 Enschede. 32 p.

Research output: Book/ReportInaugural speech

Open Access
File

Specification and verification of synchronisation classes in Java: A practical approach

Amighi, A. 17 Jan 2018 Enschede. 206 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

Open Access
File
Synchronization
Specifications
Data storage equipment
Data structures
Acoustic waves