2009 |
63 | EE | Kousha Etessami,
Patrice Godefroid:
An Abort-Aware Model of Transactional Programming.
VMCAI 2009: 59-73 |
62 | EE | Patrice Godefroid,
Nir Piterman:
LTL Generalized Model Checking Revisited.
VMCAI 2009: 89-104 |
2008 |
61 | EE | Patrice Godefroid,
Michael Y. Levin,
David A. Molnar:
Active property checking.
EMSOFT 2008: 207-216 |
60 | EE | Ru-Gang Xu,
Patrice Godefroid,
Rupak Majumdar:
Testing for buffer overflows with length abstraction.
ISSTA 2008: 27-38 |
59 | EE | Patrice Godefroid,
Adam Kiezun,
Michael Y. Levin:
Grammar-based whitebox fuzzing.
PLDI 2008: 206-215 |
58 | EE | Saswat Anand,
Patrice Godefroid,
Nikolai Tillmann:
Demand-Driven Compositional Symbolic Execution.
TACAS 2008: 367-381 |
57 | EE | Patrice Godefroid,
Jonathan de Halleux,
Aditya V. Nori,
Sriram K. Rajamani,
Wolfram Schulte,
Nikolai Tillmann,
Michael Y. Levin:
Automating Software Testing Using Program Analysis.
IEEE Software 25(5): 30-37 (2008) |
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 |