MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named Patrice Godefroid – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

49 documents found, showing 1 through 10. Next 10 →

ATOM

On the Costs and Benefits of using Partial-Order Methods for the Verification of Concurrent Systems
by Patrice Godefroid, Patrice Godefroid — 1997 — Proceedings of DIMACS Workshop on Partial-Order Methods in Verification
… Patrice Godefroid Proceedings of DIMACS Workshop on Partial-Order Methods in Verification, AMS, Princeton…
Cited by 10 (0 self) – Add To MetaCart

Exploiting Symmetry When Model-Checking Software (Extended Abstract)
by Patrice Godefroid — 1999 — Proc. of FORTE/PSTV'99 (Formal Methods for Protocol Engineering and Distributed Systems
…EXPLOITING SYMMETRY WHEN MODEL-CHECKING SOFTWARE (EXTENDED ABSTRACT) Patrice Godefroid Bell…
Cited by 9 (1 self) – Add To MetaCart

Model checking vs. generalized model checking: Semantic minimizations for temporal logics
by Patrice Godefroid — in LICS, 2005
… Godefroid Bell Laboratories, Lucent Technologies 2701 Lucent Lane, Lisle, IL 60532 god…
Cited by 3 (1 self) – Add To MetaCart

Partial-Order Methods for the Verification of Concurrent Systems - An Approach to the State-Explosion Problem
by Patrice Godefroid — 1995
… of Concurrent Systems An Approach to the State-Explosion Problem Th`ese pr'esent'ee par Patrice Godefroid en…
Cited by 180 (11 self) – Add To MetaCart

Model Checking for Programming Languages using VeriSoft
by Patrice Godefroid — 1997 — IN PROCEEDINGS OF THE 24TH ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES
…Model Checking for Programming Languages using VeriSoft Patrice Godefroid Bell Laboratories Lucent…
Cited by 250 (9 self) – Add To MetaCart

VeriSoft: A Tool for the Automatic Analysis of Concurrent Reactive Software
by Patrice Godefroid, Patrice Godefroid — 1997 — In Proceedings of CAV'97
…VeriSoft: A Tool for the Automatic Analysis of Concurrent Reactive Software Patrice Godefroid June…
Cited by 21 (0 self) – Add To MetaCart

Model Checking with Multi-Valued Logics
by Glenn Bruns Patrice, Patrice Godefroid — 2003 — In ICALP
…Model Checking with Multi-Valued Logics Glenn Bruns Patrice Godefroid Bell Laboratories, Lucent…
Add To MetaCart

The ULg Partial-Order Package for SPIN
by Patrice Godefroid Att, Patrice Godefroid
…The ULg Partial-Order Package for SPIN Patrice Godefroid AT&T Bell Laboratories 1000 E…
Add To MetaCart

Automatic Synthesis of Specifications from the Dynamic Observation of Reactive Programs
by Bernard Boigelot, Patrice Godefroid — 1997 — In Proceedings of the Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'97
… Boigelot 1? and Patrice Godefroid 2 1 Universit'e de Li`ege Institut Montefiore, B28 B-4000 Li`ege Sart…
Cited by 15 (2 self) – Add To MetaCart

On The Expressiveness of 3-Valued Models
by Patrice Godefroid, Radha Jagadeesan — 2003 — In Verification, Model Checking and Abstract Interpretation (VMCAI), LNCS 2575
…On The Expressiveness of 3-Valued Models Patrice Godefroid 1 and Radha Jagadeesan ?2 1 Bell…
Cited by 18 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB