Patrice Godefroid

发表

Patrice Godefroid, Didier Pirottin, Patrice Godefroid, 1993, CAV.
Patrice Godefroid, Patrice Godefroid, 2007, POPL '07.
Patrice Godefroid, Nir Piterman, 2010, International Journal on Software Tools for Technology Transfer.
Nikolai Tillmann, Patrice Godefroid, Saswat Anand, 2008, TACAS.
Radha Jagadeesan, Patrice Godefroid, Patrice Godefroid, 2002, VMCAI.
Nils Klarlund, Patrice Godefroid, Patrice Godefroid, 2005, IFM.
Patrice Godefroid, Patrice Godefroid, 1996 .
Pierre Wolper, Patrice Godefroid, Bernard Boigelot, 1997 .
Radha Jagadeesan, Luca de Alfaro, Patrice Godefroid, 2004, Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..
John Kelly, Patrice Godefroid, Steven P. Miller, 1998, Proceedings. 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques.
Patrice Godefroid, Ella Bounimova, David A. Molnar, 2013, 2013 35th International Conference on Software Engineering (ICSE).
Doron A. Peled, Patrice Godefroid, Mark G. Staskauskas, 1996, ISSTA '96.
Patrice Godefroid, Patrice Godefroid, 2020, Commun. ACM.
Pierre Wolper, Patrice Godefroid, Bernard Boigelot, 1997, SAS.
Patrice Godefroid, Nir Piterman, Patrice Godefroid, 2008, International Journal on Software Tools for Technology Transfer.
Patrice Godefroid, Patrice Godefroid, 2007 .
Rajeev Alur, Kousha Etessami, Mihalis Yannakakis, 2001, TOPL.
Patrice Godefroid, 2012, FSTTCS.
Sarfraz Khurshid, Patrice Godefroid, Patrice Godefroid, 2004, International Journal on Software Tools for Technology Transfer.
Peter Müller, Patrice Godefroid, Maria Christakis, 2017, 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE).
Patrice Godefroid, Glenn Bruns, Patrice Godefroid, 2001, Proceedings 16th Annual IEEE Symposium on Logic in Computer Science.
Vaggelis Atlidakis, Patrice Godefroid, Marina Polishchuk, 2020, 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST).
Mihalis Yannakakis, Patrice Godefroid, 2013, TACAS.
George Candea, Patrice Godefroid, G. Candea, 2019, Computing and Software Science.
Pierre Wolper, Patrice Godefroid, Patrice Godefroid, 1993, CONCUR.
Patrice Godefroid, Froduald Kabanza, Patrice Godefroid, 1991, AAAI.
Patrice Godefroid, Bernard Boigelot, Bernard Boigelot, 1996, FME.
Patrice Godefroid, Michael Y. Levin, David A. Molnar, 2008, NDSS.
Patrice Godefroid, Aditya V. Nori, Peli de Halleux, 2009 .
Michael Benedikt, Juliana Freire, Patrice Godefroid, 2002 .
Patrice Godefroid, David E. Long, 1999, Formal Methods Syst. Des..
Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte, 2008, IEEE Software.
Kousha Etessami, Patrice Godefroid, 2008 .
Andrea Polini, Nikolai Tillmann, Michael W. Whalen, 2010, FoSER '10.
Sriram K. Rajamani, Patrice Godefroid, Aditya V. Nori, 2010, POPL '10.
Patrice Godefroid, David Molnar, 2010 .
Patrice Godefroid, Patrice Godefroid, 1996 .
Patrice Godefroid, 2005, 12th International Symposium on Temporal Representation and Reasoning (TIME'05).
Patrice Godefroid, Bernard Boigelot, Bernard Boigelot, 1999, Formal Methods Syst. Des..
Patrice Godefroid, Maria Christakis, Patrice Godefroid, 2015, VMCAI.
Patrice Godefroid, 2016, Dependable Software Systems Engineering.
Shuvendu K. Lahiri, Patrice Godefroid, Cindy Rubio-González, 2011, SAS.
Pierre Wolper, Patrice Godefroid, Patrice Godefroid, 1991, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.
Pierre Wolper, Patrice Godefroid, Patrice Godefroid, 1991, Formal Methods Syst. Des..
A. Prasad Sistla, Patrice Godefroid, A. P. Sistla, 2001, CAV.
Doron A. Peled, Patrice Godefroid, Mark G. Staskauskas, 1996, ISSTA '96.
Radha Jagadeesan, Patrice Godefroid, 2002, CAV.
Michael Benedikt, Thomas W. Reps, Patrice Godefroid, 2001, ICALP.
Sarfraz Khurshid, Patrice Godefroid, Patrice Godefroid, 2004, International Journal on Software Tools for Technology Transfer.
Patrice Godefroid, Patrice Godefroid, 1996 .
Patrice Godefroid, Leonardo de Moura, Daniel Selsam, 2020, ArXiv.
A. Prasad Sistla, Patrice Godefroid, A. P. Sistla, 2001, TOPL.
Koushik Sen, Nils Klarlund, Patrice Godefroid, 2005, PLDI '05.
Patrice Godefroid, Patrice Godefroid, 1990, CAV.
Gerard J. Holzmann, Patrice Godefroid, Patrice Godefroid, 1993, PSTV.
Patrice Godefroid, Glenn Bruns, Patrice Godefroid, 1999, CAV.
Adam Kiezun, Patrice Godefroid, Michael Y. Levin, 2008, PLDI '08.
Daniel Lehmann, Patrice Godefroid, Marina Polishchuk, 2020, ISSTA.
James D. Herbsleb, Patrice Godefroid, Lalita Jategaonkar Jagadeesan, 2000, CSCW '00.
Pierre Wolper, Patrice Godefroid, 1994, Inf. Comput..
Koushik Sen, Patrice Godefroid, Patrice Godefroid, 2018, Handbook of Model Checking.
Patrice Godefroid, 2011, TAP@TOOLS.
Robert S. Hanmer, Patrice Godefroid, Lalita Jategaonkar Jagadeesan, 1998, Bell Labs Technical Journal.
Sarfraz Khurshid, Koushik Sen, Nikolai Tillmann, 2011, 2011 33rd International Conference on Software Engineering (ICSE).
Patrice Godefroid, Patrice Godefroid, Patrice Godefroid, 1996, Lecture Notes in Computer Science.
Patrice Godefroid, Daniel Luchaup, Patrice Godefroid, 2011, ISSTA '11.
Patrice Godefroid, Patrice Godefroid, 1996, Partial Order Methods in Verification.
Patrice Godefroid, Maria Christakis, Patrice Godefroid, 2015, SPIN.
Patrice Godefroid, Christopher Colby, Lalita Jategaonkar Jagadeesan, 1998, PLDI.
Robert S. Hanmer, Patrice Godefroid, Lalita Jategaonkar Jagadeesan, 1998, ISSTA '98.
Patrice Godefroid, David E. Long, D. E. Long, 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
Patrice Godefroid, Bernard Boigelot, Bernard Boigelot, 1997, TACAS.
Patrice Godefroid, Glenn Bruns, 2004, ICALP.
Radha Jagadeesan, Michael Huth, Patrice Godefroid, 2001, CONCUR.
Gerard J. Holzmann, Patrice Godefroid, Didier Pirottin, 1992, PSTV.
Patrice Godefroid, Patrice Godefroid, 2005, Formal Methods Syst. Des..
Patrice Godefroid, Glenn Bruns, Patrice Godefroid, 2000, CONCUR.
Gerard J. Holzmann, Patrice Godefroid, Didier Pirottin, 1992, Formal Methods Syst. Des..
Vaggelis Atlidakis, Patrice Godefroid, Marina Polishchuk, 2018, ArXiv.
Rishabh Singh, Hila Peleg, Patrice Godefroid, 2017, 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE).
Kousha Etessami, Patrice Godefroid, 2009, VMCAI.
Nachiappan Nagappan, Patrice Godefroid, Patrice Godefroid, 2008 .
Patrice Godefroid, Michael Y. Levin, Bassem Elkarablieh, 2009, ISSTA.
Patrice Godefroid, 2011, PLDI '11.
Ankur Taly, Patrice Godefroid, Patrice Godefroid, 2012, PLDI.
Vaggelis Atlidakis, Patrice Godefroid, Marina Polishchuk, 2019, 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE).
Radha Jagadeesan, Patrice Godefroid, L. de Alfaro, 2004, LICS 2004.
Rishabh Singh, Patrice Godefroid, Konstantin Böttinger, 2018, 2018 IEEE Security and Privacy Workshops (SPW).
Patrice Godefroid, Bo-Yuan Huang, Marina Polishchuk, 2020, ESEC/SIGSOFT FSE.
Pierre Wolper, Patrice Godefroid, Patrice Godefroid, 1991, Formal Methods Syst. Des..
Patrice Godefroid, Patrice Godefroid, 2014, ICSE.
Shuvendu K. Lahiri, Patrice Godefroid, 2011, LASER Summer School.
George Varghese, Nikolaj Bjørner, Patrice Godefroid, 2013 .
Kousha Etessami, Patrice Godefroid, 2011, International Journal on Software Tools for Technology Transfer.
Michael Huth, Patrice Godefroid, 2005, 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).
Radha Jagadeesan, Patrice Godefroid, Lalita Jategaonkar Jagadeesan, 2000, SIGSOFT '00/FSE-8.
Suman Nath, Wing Lam, Suresh Thummalapenta, 2019, ISSTA.
Patrice Godefroid, 2015 .
Rupak Majumdar, Patrice Godefroid, Ru-Gang Xu, 2008, ISSTA '08.
Patrice Godefroid, Arindam Chakrabarti, Patrice Godefroid, 2006, EMSOFT '06.
Satish Chandra, Patrice Godefroid, Christopher Palm, 2002, Proceedings of the 24th International Conference on Software Engineering. ICSE 2002.
Patrice Godefroid, Patrice Godefroid, 1999, FORTE.
George Varghese, Nikolaj Bjørner, Patrice Godefroid, 2015, NSDI.
Gerard J. Holzmann, Patrice Godefroid, Didier Pirottin, 1995, Formal Methods Syst. Des..
Patrice Godefroid, Michael Y. Levin, David A. Molnar, 2012, ACM Queue.
Patrice Godefroid, Michael Y. Levin, David A. Molnar, 2008, EMSOFT '08.
Patrice Godefroid, Cormac Flanagan, C. Flanagan, 2005, POPL '05.
Patrice Godefroid, Patrice Godefroid, 1997, POPL '97.
Patrice Godefroid, Patrice Godefroid, 2003, EMSOFT.
Thomas Zimmermann, Patrice Godefroid, Danielle Gonzalez, 2021, 2021 IEEE/ACM 43rd International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP).
Nusrat Zahan, Brendan Murphy, Thomas Zimmermann, 2021, ArXiv.
Patrice Godefroid, Weidong Cui, Xinyang Ge, 2021, CCS.
Patrice Godefroid, Patrice Godefroid, E. Warrenville, 2002 .
Patrice Godefroid, Cormac Flanagan, C. Flanagan, 2005, POPL '05.
Patrice Godefroid, Glenn Bruns, 2001 .