Research Output per year
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 proceeding › Conference 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 conference › Paper
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 conference › Paper
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 proceeding › Conference 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 conference › Paper
Open Access
File