Patrice Godefroid

From MaRDI portal
Person:1327382

Available identifiers

zbMath Open godefroid.patriceMaRDI QIDQ1327382

List of research outcomes

PublicationDate of PublicationType
Combining Model Checking and Testing2018-07-20Paper
Dynamic partial-order reduction for model checking software2017-07-14Paper
Compositional may-must program analysis2015-06-11Paper
Analysis of Boolean Programs2013-08-05Paper
An Abort-Aware Model of Transactional Programming2009-02-10Paper
LTL Generalized Model Checking Revisited2009-02-10Paper
Demand-Driven Compositional Symbolic Execution2008-04-11Paper
Software Model Checking: Searching for Computations in the Abstract or the Concrete2007-11-29Paper
Automata, Languages and Programming2005-08-24Paper
https://portal.mardi4nfdi.de/entity/Q48187962004-09-24Paper
https://portal.mardi4nfdi.de/entity/Q44722442004-08-04Paper
https://portal.mardi4nfdi.de/entity/Q44143902003-07-25Paper
https://portal.mardi4nfdi.de/entity/Q48048922003-05-01Paper
https://portal.mardi4nfdi.de/entity/Q47918482003-02-03Paper
https://portal.mardi4nfdi.de/entity/Q45366012002-11-28Paper
https://portal.mardi4nfdi.de/entity/Q45350542002-06-12Paper
https://portal.mardi4nfdi.de/entity/Q49420172000-03-19Paper
https://portal.mardi4nfdi.de/entity/Q43536401997-09-10Paper
Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem1996-03-20Paper
A partial approach to model checking1994-06-19Paper
Using partial orders for the efficient verification of deadlock freedom and safety properties1993-08-17Paper
https://portal.mardi4nfdi.de/entity/Q40371081993-05-18Paper
https://portal.mardi4nfdi.de/entity/Q40373821993-05-18Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Patrice Godefroid