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 |