Patrice Godefroid

	2009
66		Bassem Elkarablieh, Patrice Godefroid, Michael Y. Levin: Precise pointer reasoning for dynamic test generation. ISSTA 2009: 129-140
65		Patrice Godefroid: Software Model Checking Improving Security of a Billion Computers. SPIN 2009: 1
64		Kousha Etessami, Patrice Godefroid: An Abort-Aware Model of Transactional Programming. VMCAI 2009: 59-73
63		Patrice Godefroid, Nir Piterman: LTL Generalized Model Checking Revisited. VMCAI 2009: 89-104
	2008
62		Patrice Godefroid, Michael Y. Levin, David A. Molnar: Active property checking. EMSOFT 2008: 207-216
61		Ru-Gang Xu, Patrice Godefroid, Rupak Majumdar: Testing for buffer overflows with length abstraction. ISSTA 2008: 27-38
60		Patrice Godefroid, Michael Y. Levin, David A. Molnar: Automated Whitebox Fuzz Testing. NDSS 2008
59		Patrice Godefroid, Adam Kiezun, Michael Y. Levin: Grammar-based whitebox fuzzing. PLDI 2008: 206-215
58		Saswat Anand, Patrice Godefroid, Nikolai Tillmann: Demand-Driven Compositional Symbolic Execution. TACAS 2008: 367-381
57		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		Patrice Godefroid: Compositional dynamic test generation. POPL 2007: 47-54
	2006
55		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		Patrice Godefroid, Nils Klarlund: Software Model Checking: Searching for Computations in the Abstract or the Concrete. IFM 2005: 20-32
52		Patrice Godefroid, Michael Huth: Model Checking Vs. Generalized Model Checking: Semantic Minimizations for Temporal Logics. LICS 2005: 158-167
51		Patrice Godefroid, Nils Klarlund, Koushik Sen: DART: directed automated random testing. PLDI 2005: 213-223
50		Cormac Flanagan, Patrice Godefroid: Dynamic partial-order reduction for model checking software. POPL 2005: 110-121
49		Patrice Godefroid: Generalized Model Checking. TIME 2005: 3
48		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		Patrice Godefroid: Software Model Checking: The VeriSoft Approach. Formal Methods in System Design 26(2): 77-101 (2005)
	2004
46		Glenn Bruns, Patrice Godefroid: Model Checking with Multi-valued Logics. ICALP 2004: 281-293
45		Luca de Alfaro, Patrice Godefroid, Radha Jagadeesan: Three-Valued Abstractions of Games: Uncertainty, but with Precision. LICS 2004: 170-179
44		Patrice Godefroid: Invited Talk: "Model checking" software with VeriSoft. PASTE 2004: 36
43		A. Prasad Sistla, Patrice Godefroid: Symmetry and reduced symmetry in model checking. ACM Trans. Program. Lang. Syst. 26(4): 702-734 (2004)
42		Patrice Godefroid, Sarfraz Khurshid: Exploring very large state spaces using genetic algorithms. STTT 6(2): 117-127 (2004)
	2003
41		Patrice Godefroid: Reasoning about Abstract Open Systems with Generalized Module Checking. EMSOFT 2003: 223-240
40		Patrice Godefroid, Radha Jagadeesan: On the Expressiveness of 3-Valued Models. VMCAI 2003: 206-222
	2002
39		Patrice Godefroid, Radha Jagadeesan: Automatic Abstraction Using Generalized Model Checking. CAV 2002: 137-150
38		Satish Chandra, Patrice Godefroid, Christopher Palm: Software model checking in practice: an industrial case study. ICSE 2002: 431-441
37		Patrice Godefroid, Sarfraz Khurshid: Exploring Very Large State Spaces Using Genetic Algorithms. TACAS 2002: 266-280
	2001
36		A. Prasad Sistla, Patrice Godefroid: Symmetry and Reduced Symmetry in Model Checking. CAV 2001: 91-103
35		Patrice Godefroid, Michael Huth, Radha Jagadeesan: Abstraction-Based Model Checking Using Modal Transition Systems. CONCUR 2001: 426-440
34		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		Glenn Bruns, Patrice Godefroid: Generalized Model Checking: Reasoning about Partial State Spaces. CONCUR 2000: 168-182
31		Patrice Godefroid, James D. Herbsleb, Lalita Jategaonkar Jagadeesan, Du Li: Ensuring privacy in presence awareness: an automated verification approach. CSCW 2000: 59-68
30		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		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		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		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		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		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		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

Coauthor Index

1	Luca de Alfaro	[45]
2	Rajeev Alur	[48]
3	Saswat Anand	[58]
4	Michael Benedikt	[34] [48]
5	Bernard Boigelot	[16] [17] [19] [20] [27]
6	Glenn Bruns	[29] [32] [33] [46]
7	Arindam Chakrabarti	[55]
8	Satish Chandra	[38]
9	Christopher Colby	[24]
10	Bassem Elkarablieh	[66]
11	Kousha Etessami	[48] [64]
12	Cormac Flanagan	[50]
13	Jonathan de Halleux	[57]
14	Robert S. Hanmer	[25]
15	James D. Herbsleb	[31]
16	Gerard J. Holzmann	[5] [6] [8] [12]
17	Michael Huth	[35] [52]
18	Lalita Jategaonkar Jagadeesan (Lalita Jategaonkar)	[24] [25] [30] [31]
19	Radha Jagadeesan	[30] [35] [39] [40] [45]
20	Froduald Kabanza	[4]
21	John Kelly	[23]
22	Sarfraz Khurshid	[37] [42]
23	Adam Kiezun	[59]
24	Nils Klarlund	[51] [53]
25	Konstantin Läufer	[30]
26	Michael Y. Levin	[57] [59] [60] [62] [66]
27	Du Li	[31]
28	David E. Long	[14] [26]
29	Rupak Majumdar	[61]
30	Steven P. Miller	[23]
31	David A. Molnar	[60] [62]
32	Aditya V. Nori	[57]
33	Christopher Palm	[38]
34	Doron Peled	[13] [15]
35	Didier Pirottin	[5] [6] [10] [12]
36	Nir Piterman	[63]
37	Sriram K. Rajamani	[57]
38	Thomas W. Reps	[34] [48]
39	Wolfram Schulte	[57]
40	Koushik Sen	[51]
41	A. Prasad Sistla	[36] [43]
42	Mark G. Staskauskas	[13] [15]
43	Nikolai Tillmann	[57] [58]
44	Frank Weil	[23]
45	Bernard Willems	[20]
46	Pierre Wolper	[2] [3] [7] [9] [11] [20]
47	Ru-Gang Xu	[61]
48	Mihalis Yannakakis	[48]

Colors in the list of coauthors