Gerard J. Holzmann

Available identifiers

zbMath Open holzmann.gerard-jMaRDI QIDQ539427

List of research outcomes

Publication	Date of Publication	Type
Explicit-State Model Checking	2018-07-20	Paper
Cloud-Based Verification of Concurrent Software	2016-03-23	Paper
Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning	2014-09-26	Paper
A Stack-Slicing Algorithm for Multi-Core Model Checking	2013-12-13	Paper
Model checking with bounded context switching	2011-05-30	Paper
New Challenges in Model Checking	2008-07-15	Paper
Model Checking Software	2007-09-28	Paper
Model Checking Software	2007-09-28	Paper
A mini challenge: build a verifiable filesystem	2007-08-23	Paper
Model Checking Software	2006-11-01	Paper
https://portal.mardi4nfdi.de/entity/Q4806203	2003-05-21	Paper
https://portal.mardi4nfdi.de/entity/Q4804921	2003-05-01	Paper
https://portal.mardi4nfdi.de/entity/Q4536600	2002-11-28	Paper
https://portal.mardi4nfdi.de/entity/Q2767990	2002-07-28	Paper
https://portal.mardi4nfdi.de/entity/Q2753757	2002-01-06	Paper
A minimized automaton representation of reachable states	1999-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4356434	1997-11-26	Paper
https://portal.mardi4nfdi.de/entity/Q4356435	1997-10-01	Paper
https://portal.mardi4nfdi.de/entity/Q4889348	1997-01-05	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Gerard J. Holzmann