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.

  • 27 Similar Profiles
Model checking Engineering & Materials Science
Specifications Engineering & Materials Science
Concurrency control Engineering & Materials Science
Message passing Engineering & Materials Science
Static analysis Engineering & Materials Science
Theorem proving Engineering & Materials Science
Technical presentations Engineering & Materials Science
Quality assurance Engineering & Materials Science

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

Research Output 2008 2018

A Broader View on Verification: From Static to Runtime and Back (Track Summary)

Ahrendt, W., Huisman, M., Reger, G. & Rozier, K. Y. 2018 Leveraging Applications of Formal Methods, Verification and Validation. Verification : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II. Margaria, T. & Steffen, B. (eds.). Cham: Springer, p. 3-7 5 p. (Lecture Notes in Computer Science; no. 11245)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Specifications
Costs

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

Formal Methods in Industrial Practice: Bridging the Gap (Track Summary)

Felderer, M., Gurov, D., Huisman, M., Lisper, B. & Schlick, R. 2018 Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV. Margaria, T. & Steffen, B. (eds.). Cham: Springer, p. 77-81 5 p. (Lecture Notes in Computer Science; vol. 11247)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Software development
Software industry
Formal methods
Software

Mercedes: Maximal Reliability of Concurrent and Distributed Software

Huisman, M. 2018 1 p.

Research output: Contribution to conferencePaper

Open Access
File