Alex Groce

Available identifiers

zbMath Open groce.alexMaRDI QIDQ457245

List of research outcomes

Publication	Date of Publication	Type
Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning	2014-09-26	Paper
Making the most of BMC counterexamples	2013-09-20	Paper
Correct Hardware Design and Verification Methods	2010-02-05	Paper
New Challenges in Model Checking	2008-07-15	Paper
Extending Model Checking with Dynamic Analysis	2008-04-04	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-09-28	Paper
Adaptive Model Checking	2007-02-15	Paper
Computer Aided Verification	2005-08-25	Paper
Efficient verification of sequential and concurrent C programs	2004-11-22	Paper
https://portal.mardi4nfdi.de/entity/Q4738485	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4472253	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4426376	2003-09-16	Paper
https://portal.mardi4nfdi.de/entity/Q4804922	2003-05-01	Paper
https://portal.mardi4nfdi.de/entity/Q4551132	2002-09-04	Paper

Research outcomes over time

This page was built for person: Alex Groce