Patrice Godefroid

Available identifiers

zbMath Open godefroid.patriceMaRDI QIDQ1327382

List of research outcomes

Publication	Date of Publication	Type
Using partial orders for the efficient verification of deadlock freedom and safety properties	2024-04-29	Paper
Combining model checking and testing	2018-07-20	Paper
Dynamic partial-order reduction for model checking software	2017-07-14	Paper
Compositional may-must program analysis: unleashing the power of alternation	2015-06-11	Paper
Analysis of Boolean Programs	2013-08-05	Paper
LTL Generalized Model Checking Revisited	2009-02-10	Paper
An Abort-Aware Model of Transactional Programming	2009-02-10	Paper
Demand-Driven Compositional Symbolic Execution	2008-04-11	Paper
Software Model Checking: Searching for Computations in the Abstract or the Concrete	2007-11-29	Paper
Automata, Languages and Programming	2005-08-24	Paper
https://portal.mardi4nfdi.de/entity/Q4818796	2004-09-24	Paper
https://portal.mardi4nfdi.de/entity/Q4472244	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4414390	2003-07-25	Paper
https://portal.mardi4nfdi.de/entity/Q4804892	2003-05-01	Paper
https://portal.mardi4nfdi.de/entity/Q4791848	2003-02-03	Paper
https://portal.mardi4nfdi.de/entity/Q4536601	2002-11-28	Paper
https://portal.mardi4nfdi.de/entity/Q4535054	2002-06-12	Paper
https://portal.mardi4nfdi.de/entity/Q4942017	2000-03-19	Paper
https://portal.mardi4nfdi.de/entity/Q4353640	1997-09-10	Paper
Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem	1996-03-20	Paper
A partial approach to model checking	1994-06-19	Paper
Using partial orders for the efficient verification of deadlock freedom and safety properties	1993-08-17	Paper
https://portal.mardi4nfdi.de/entity/Q4037108	1993-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4037382	1993-05-18	Paper

Research outcomes over time

This page was built for person: Patrice Godefroid