The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Patrice Godefroid: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  55. Active property checking. [Citation Graph (, )][DBLP]


  56. Testing for buffer overflows with length abstraction. [Citation Graph (, )][DBLP]


  57. Proving memory safety of floating-point computations by combining static and dynamic program analysis. [Citation Graph (, )][DBLP]


  58. Precise pointer reasoning for dynamic test generation. [Citation Graph (, )][DBLP]


  59. Automated Whitebox Fuzz Testing. [Citation Graph (, )][DBLP]


  60. Grammar-based whitebox fuzzing. [Citation Graph (, )][DBLP]


  61. Compositional may-must program analysis: unleashing the power of alternation. [Citation Graph (, )][DBLP]


  62. Software Model Checking Improving Security of a Billion Computers. [Citation Graph (, )][DBLP]


  63. Demand-Driven Compositional Symbolic Execution. [Citation Graph (, )][DBLP]


  64. An Abort-Aware Model of Transactional Programming. [Citation Graph (, )][DBLP]


  65. LTL Generalized Model Checking Revisited. [Citation Graph (, )][DBLP]


Search in 0.054secs, Finished in 0.057secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002