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
Software model checking	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

This page was built for person: Gerard J. Holzmann