Person:457245

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
https://portal.mardi4nfdi.de/entity/Q2849596	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

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: Alex Groce