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