Alex Groce

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning Annals of Mathematics and Artificial Intelligence	2014-09-26	Paper
Making the most of BMC counterexamples	2013-09-20	Paper
Predicate abstraction with minimum predicates Lecture Notes in Computer Science	2010-02-05	Paper
New Challenges in Model Checking 25 Years of Model Checking	2008-07-15	Paper
Extending Model Checking with Dynamic Analysis Lecture Notes in Computer Science	2008-04-04	Paper
Tools and Algorithms for the Construction and Analysis of Systems Lecture Notes in Computer Science	2007-09-28	Paper
Adaptive Model Checking Logic Journal of the IGPL	2007-02-15	Paper
Computer Aided Verification Lecture Notes in Computer Science	2005-08-25	Paper
Efficient verification of sequential and concurrent C programs Formal Methods in System Design	2004-11-22	Paper
scientific article; zbMATH DE number 2087636 (Why is no real title available?)	2004-08-11	Paper
scientific article; zbMATH DE number 2080060 (Why is no real title available?)	2004-08-04	Paper
scientific article; zbMATH DE number 1982201 (Why is no real title available?)	2003-09-16	Paper
scientific article; zbMATH DE number 1903377 (Why is no real title available?)	2003-05-01	Paper
scientific article; zbMATH DE number 1796122 (Why is no real title available?)	2002-09-04	Paper

Research outcomes over time

This page was built for person: Alex Groce