| 2008 |
|---|
| 57 | EE | Saswat Anand,
Patrice Godefroid,
Nikolai Tillmann:
Demand-Driven Compositional Symbolic Execution.
TACAS 2008: 367-381 |
| 2007 |
|---|
| 56 | EE | Patrice Godefroid:
Compositional dynamic test generation.
POPL 2007: 47-54 |
| 2006 |
|---|
| 55 | EE | Arindam Chakrabarti,
Patrice Godefroid:
Software partitioning for effective automated unit testing.
EMSOFT 2006: 262-271 |
| 2005 |
|---|
| 54 | | Patrice Godefroid:
Model Checking Software, 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings
Springer 2005 |
| 53 | EE | Patrice Godefroid,
Nils Klarlund:
Software Model Checking: Searching for Computations in the Abstract or the Concrete.
IFM 2005: 20-32 |
| 52 | EE | Patrice Godefroid,
Michael Huth:
Model Checking Vs. Generalized Model Checking: Semantic Minimizations for Temporal Logics.
LICS 2005: 158-167 |
| 51 | EE | Patrice Godefroid,
Nils Klarlund,
Koushik Sen:
DART: directed automated random testing.
PLDI 2005: 213-223 |
| 50 | EE | Cormac Flanagan,
Patrice Godefroid:
Dynamic partial-order reduction for model checking software.
POPL 2005: 110-121 |
| 49 | EE | Patrice Godefroid:
Generalized Model Checking.
TIME 2005: 3 |
| 48 | EE | Rajeev Alur,
Michael Benedikt,
Kousha Etessami,
Patrice Godefroid,
Thomas W. Reps,
Mihalis Yannakakis:
Analysis of recursive state machines.
ACM Trans. Program. Lang. Syst. 27(4): 786-818 (2005) |
| 47 | EE | Patrice Godefroid:
Software Model Checking: The VeriSoft Approach.
Formal Methods in System Design 26(2): 77-101 (2005) |
| 2004 |
|---|
| 46 | EE | Glenn Bruns,
Patrice Godefroid:
Model Checking with Multi-valued Logics.
ICALP 2004: 281-293 |
| 45 | EE | Luca de Alfaro,
Patrice Godefroid,
Radha Jagadeesan:
Three-Valued Abstractions of Games: Uncertainty, but with Precision.
LICS 2004: 170-179 |
| 44 | EE | Patrice Godefroid:
Invited Talk: "Model checking" software with VeriSoft.
PASTE 2004: 36 |
| 43 | EE | A. Prasad Sistla,
Patrice Godefroid:
Symmetry and reduced symmetry in model checking.
ACM Trans. Program. Lang. Syst. 26(4): 702-734 (2004) |
| 42 | EE | Patrice Godefroid,
Sarfraz Khurshid:
Exploring very large state spaces using genetic algorithms.
STTT 6(2): 117-127 (2004) |
| 2003 |
|---|
| 41 | EE | Patrice Godefroid:
Reasoning about Abstract Open Systems with Generalized Module Checking.
EMSOFT 2003: 223-240 |
| 40 | EE | Patrice Godefroid,
Radha Jagadeesan:
On the Expressiveness of 3-Valued Models.
VMCAI 2003: 206-222 |
| 2002 |
|---|
| 39 | EE | Patrice Godefroid,
Radha Jagadeesan:
Automatic Abstraction Using Generalized Model Checking.
CAV 2002: 137-150 |
| 38 | EE | Satish Chandra,
Patrice Godefroid,
Christopher Palm:
Software model checking in practice: an industrial case study.
ICSE 2002: 431-441 |
| 37 | EE | Patrice Godefroid,
Sarfraz Khurshid:
Exploring Very Large State Spaces Using Genetic Algorithms.
TACAS 2002: 266-280 |
| 2001 |
|---|
| 36 | EE | A. Prasad Sistla,
Patrice Godefroid:
Symmetry and Reduced Symmetry in Model Checking.
CAV 2001: 91-103 |
| 35 | EE | Patrice Godefroid,
Michael Huth,
Radha Jagadeesan:
Abstraction-Based Model Checking Using Modal Transition Systems.
CONCUR 2001: 426-440 |
| 34 | EE | Michael Benedikt,
Patrice Godefroid,
Thomas W. Reps:
Model Checking of Unrestricted Hierarchical State Machines.
ICALP 2001: 652-666 |
| 33 | | Glenn Bruns,
Patrice Godefroid:
Temporal Logic Query Checking.
LICS 2001: 409-417 |
| 2000 |
|---|
| 32 | EE | Glenn Bruns,
Patrice Godefroid:
Generalized Model Checking: Reasoning about Partial State Spaces.
CONCUR 2000: 168-182 |
| 31 | EE | Patrice Godefroid,
James D. Herbsleb,
Lalita Jategaonkar Jagadeesan,
Du Li:
Ensuring privacy in presence awareness: an automated verification approach.
CSCW 2000: 59-68 |
| 30 | EE | Patrice Godefroid,
Lalita Jategaonkar Jagadeesan,
Radha Jagadeesan,
Konstantin Läufer:
Automated systematic testing for constraint-based interactive services.
SIGSOFT FSE 2000: 40-49 |
| 1999 |
|---|
| 29 | EE | Glenn Bruns,
Patrice Godefroid:
Model Checking Partial State Spaces with 3-Valued Temporal Logics.
CAV 1999: 274-287 |
| 28 | | Patrice Godefroid:
Exploiting Symmetry when Model-Checking Software.
FORTE 1999: 257-275 |
| 27 | | Bernard Boigelot,
Patrice Godefroid:
Symbolic Verification of Communication Protocols with Infinite State Spaces using QDDs.
Formal Methods in System Design 14(3): 237-255 (1999) |
| 26 | | Patrice Godefroid,
David E. Long:
Symbolic Protocol Verification with Queue BDDs.
Formal Methods in System Design 14(3): 257-271 (1999) |
| 1998 |
|---|
| 25 | EE | Patrice Godefroid,
Robert S. Hanmer,
Lalita Jategaonkar Jagadeesan:
Model Checking Without a Model: An Analysis of the Heart-Beat Monitor of a Telephone Switch Using VeriSoft.
ISSTA 1998: 124-133 |
| 24 | | Christopher Colby,
Patrice Godefroid,
Lalita Jategaonkar Jagadeesan:
Automatically Closing Open Reactive Programs.
PLDI 1998: 345-357 |
| 23 | EE | Patrice Godefroid,
John Kelly,
Steven P. Miller,
Frank Weil:
Transferring Formal Methods Technology to Industry.
WIFT 1998: 128- |
| 1997 |
|---|
| 22 | | Patrice Godefroid:
VeriSoft: A Tool for the Automatic Analysis of Concurrent Reactive Software.
CAV 1997: 476-479 |
| 21 | EE | Patrice Godefroid:
Model Checking for Programming Languages using Verisoft.
POPL 1997: 174-186 |
| 20 | | Bernard Boigelot,
Patrice Godefroid,
Bernard Willems,
Pierre Wolper:
The Power of QDDs (Extended Abstract).
SAS 1997: 172-186 |
| 19 | | Bernard Boigelot,
Patrice Godefroid:
Automatic Synthesis of Specifications from the Dynamic Observation of Reactive Programs.
TACAS 1997: 321-333 |
| 1996 |
|---|
| 18 | | Patrice Godefroid:
Partial-Order Methods for the Verification of Concurrent Systems - An Approach to the State-Explosion Problem
Springer 1996 |
| 17 | | Bernard Boigelot,
Patrice Godefroid:
Symbolic Verification of Communication Protocols with Infinite State Spaces Using QDDs (Extended Abstract).
CAV 1996: 1-12 |
| 16 | | Bernard Boigelot,
Patrice Godefroid:
Model Checking in Practice: An Analysis of the ACCESS.bus Protocol using SPIN.
FME 1996: 465-478 |
| 15 | EE | Patrice Godefroid,
Doron Peled,
Mark G. Staskauskas:
Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs.
ISSTA 1996: 261-269 |
| 14 | | Patrice Godefroid,
David E. Long:
Symbolic Protocol Verification With Queue BDDs.
LICS 1996: 198-206 |
| 13 | EE | Patrice Godefroid,
Doron Peled,
Mark G. Staskauskas:
Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs.
IEEE Trans. Software Eng. 22(7): 496-507 (1996) |
| 1995 |
|---|
| 12 | | Patrice Godefroid,
Gerard J. Holzmann,
Didier Pirottin:
State-Space Caching Revisited.
Formal Methods in System Design 7(3): 227-241 (1995) |
| 1994 |
|---|
| 11 | | Patrice Godefroid,
Pierre Wolper:
A Partial Approach to Model Checking
Inf. Comput. 110(2): 305-326 (1994) |
| 1993 |
|---|
| 10 | | Patrice Godefroid,
Didier Pirottin:
Refining Dependencies Improves Partial-Order Verification Methods (Extended Abstract).
CAV 1993: 438-449 |
| 9 | | Pierre Wolper,
Patrice Godefroid:
Partial-Order Methods for Temporal Verification.
CONCUR 1993: 233-246 |
| 8 | | Patrice Godefroid,
Gerard J. Holzmann:
On the Verification of Temporal Properties.
PSTV 1993: 109-124 |
| 7 | | Patrice Godefroid,
Pierre Wolper:
Using Partial Orders for the Efficient Verification of Deadlock Freedom and Safety Properties.
Formal Methods in System Design 2(2): 149-164 (1993) |
| 1992 |
|---|
| 6 | | Patrice Godefroid,
Gerard J. Holzmann,
Didier Pirottin:
State-Space Caching Revisited.
CAV 1992: 178-191 |
| 5 | | Gerard J. Holzmann,
Patrice Godefroid,
Didier Pirottin:
Coverage Preserving Reduction Strategies for Reachability Analysis.
PSTV 1992: 349-363 |
| 1991 |
|---|
| 4 | | Patrice Godefroid,
Froduald Kabanza:
An Efficient Reactive Planner for Synthesizing Reactive Plans.
AAAI 1991: 640-645 |
| 3 | | Patrice Godefroid,
Pierre Wolper:
Using Partial Orders for the Efficient Verification of Deadlock Freedom and Safety Properties.
CAV 1991: 332-342 |
| 2 | | Patrice Godefroid,
Pierre Wolper:
A Partial Approach to Model Checking
LICS 1991: 406-415 |
| 1990 |
|---|
| 1 | | Patrice Godefroid:
Using Partial Orders to Improve Automatic Verification Methods.
CAV 1990: 176-185 |
