The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Gerard J. Holzmann: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Gerard J. Holzmann
    An Improved Protocol Reachability Analysis Technique. [Citation Graph (1, 0)][DBLP]
    Softw., Pract. Exper., 1988, v:18, n:2, pp:137-161 [Journal]
  2. Gerard J. Holzmann
    From Code to Models. [Citation Graph (0, 0)][DBLP]
    ACSD, 2001, pp:3-10 [Conf]
  3. Dennis Dams, William Hesse, Gerard J. Holzmann
    Abstracting C with abC. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:515-520 [Conf]
  4. Patrice Godefroid, Gerard J. Holzmann, Didier Pirottin
    State-Space Caching Revisited. [Citation Graph (0, 0)][DBLP]
    CAV, 1992, pp:178-191 [Conf]
  5. Gerard J. Holzmann
    Software Analysis and Model Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:1-16 [Conf]
  6. Gerard J. Holzmann
    On Checking Model Checkers. [Citation Graph (0, 0)][DBLP]
    CAV, 1998, pp:61-70 [Conf]
  7. Gerard J. Holzmann, Doron Peled
    The State of SPIN. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:385-389 [Conf]
  8. Kousha Etessami, Gerard J. Holzmann
    Optimizing Büchi Automata. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2000, pp:153-167 [Conf]
  9. Gerard J. Holzmann
    Tutorial: Proving Properties of Concurrent System with SPIN. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1995, pp:453-455 [Conf]
  10. Gerard J. Holzmann
    Trends in Software Verification. [Citation Graph (0, 0)][DBLP]
    FME, 2003, pp:40-50 [Conf]
  11. Gerard J. Holzmann
    Designing executable abstractions. [Citation Graph (0, 0)][DBLP]
    FMSP, 1998, pp:103-108 [Conf]
  12. Gerard J. Holzmann
    Proving the value of formal methods. [Citation Graph (0, 0)][DBLP]
    FORTE, 1994, pp:385-396 [Conf]
  13. Gerard J. Holzmann, Doron Peled
    An improvement in formal verification. [Citation Graph (0, 0)][DBLP]
    FORTE, 1994, pp:197-211 [Conf]
  14. Gerard J. Holzmann, Margaret H. Smith
    Software Model Checking. [Citation Graph (0, 0)][DBLP]
    FORTE, 1999, pp:481-497 [Conf]
  15. Gerard J. Holzmann
    Formal Methods for Early Fault Detection. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1996, pp:40-54 [Conf]
  16. Francis Schneider, Steve M. Easterbrook, John R. Callahan, Gerard J. Holzmann
    Validating Requirements for Fault Tolerant Systems using Model Checking. [Citation Graph (0, 0)][DBLP]
    ICRE, 1998, pp:4-13 [Conf]
  17. Gerard J. Holzmann, Margaret H. Smith
    A Practical Method for Verifying Event-Driven Software. [Citation Graph (0, 0)][DBLP]
    ICSE, 1999, pp:597-607 [Conf]
  18. Alex Groce, Gerard J. Holzmann, Rajeev Joshi
    Randomized Differential Testing as a Prelude to Formal Verification. [Citation Graph (0, 0)][DBLP]
    ICSE, 2007, pp:621-631 [Conf]
  19. Gerard J. Holzmann
    The Theory and Practice of A Formal Method: NewCoRe. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1994, pp:35-44 [Conf]
  20. Gerard J. Holzmann
    Data Communications: The First 2500 Years. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (2), 1994, pp:271-278 [Conf]
  21. Gerard J. Holzmann, Rob A. Beukers
    The Pandora Protocol Development System. [Citation Graph (0, 0)][DBLP]
    Protocol Specification, Testing, and Verification, 1983, pp:357-368 [Conf]
  22. Stefan Leue, Gerard J. Holzmann
    v-Promela: A Visual, Object-Oriented Language for SPIN. [Citation Graph (0, 0)][DBLP]
    ISORC, 1999, pp:14-23 [Conf]
  23. Gerard J. Holzmann
    Formal methods and software reliability. [Citation Graph (0, 0)][DBLP]
    MEMOCODE, 2004, pp:145-146 [Conf]
  24. Gerard J. Holzmann
    Economics of software verification. [Citation Graph (0, 0)][DBLP]
    PASTE, 2001, pp:80-85 [Conf]
  25. Patrice Godefroid, Gerard J. Holzmann
    On the Verification of Temporal Properties. [Citation Graph (0, 0)][DBLP]
    PSTV, 1993, pp:109-124 [Conf]
  26. Gerard J. Holzmann
    Algebraic Validation Methods-A Comparison of Three Techniques. [Citation Graph (0, 0)][DBLP]
    PSTV, 1982, pp:383-390 [Conf]
  27. Gerard J. Holzmann
    Backward Symbolic Execution of Protocols. [Citation Graph (0, 0)][DBLP]
    PSTV, 1984, pp:19-30 [Conf]
  28. Gerard J. Holzmann
    On Limits and Possibilities of Automated Protocol Analysis. [Citation Graph (0, 0)][DBLP]
    PSTV, 1987, pp:339-344 [Conf]
  29. Gerard J. Holzmann
    An analysis of bistate hashing. [Citation Graph (0, 0)][DBLP]
    PSTV, 1995, pp:301-314 [Conf]
  30. 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]
  31. Gerard J. Holzmann, Joanna Patti
    Validating SDL Specifications: an Experiment. [Citation Graph (0, 0)][DBLP]
    PSTV, 1989, pp:317-326 [Conf]
  32. Margaret H. Smith, Gerard J. Holzmann, Kousha Etessami
    Events and Constraints: A Graphical Editor for Capturing Logic Requirements of Programs. [Citation Graph (0, 0)][DBLP]
    RE, 2001, pp:14-22 [Conf]
  33. Gerard J. Holzmann
    The logic of bugs. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2002, pp:81-87 [Conf]
  34. Dragan Bosnacki, Gerard J. Holzmann
    Improving Spin's Partial-Order Reduction for Breadth-First Search. [Citation Graph (0, 0)][DBLP]
    SPIN, 2005, pp:91-105 [Conf]
  35. Gerard J. Holzmann
    Logic Verification of ANSI-C Code with SPIN. [Citation Graph (0, 0)][DBLP]
    SPIN, 2000, pp:131-147 [Conf]
  36. Gerard J. Holzmann
    The Engineering of a Model Checker: The Gnu i-Protocol Case Study Revisited. [Citation Graph (0, 0)][DBLP]
    SPIN, 1999, pp:232-244 [Conf]
  37. Gerard J. Holzmann, Rajeev Joshi
    Model-Driven Software Verification. [Citation Graph (0, 0)][DBLP]
    SPIN, 2004, pp:76-91 [Conf]
  38. Gerard J. Holzmann, Theo C. Ruys
    Effective Bug Hunting with Spin and Modex. [Citation Graph (0, 0)][DBLP]
    SPIN, 2005, pp:24-24 [Conf]
  39. Theo C. Ruys, Gerard J. Holzmann
    Advanced SPIN Tutorial. [Citation Graph (0, 0)][DBLP]
    SPIN, 2004, pp:304-305 [Conf]
  40. Rajeev Alur, Gerard J. Holzmann, Doron Peled
    An Analyser for Mesage Sequence Charts. [Citation Graph (0, 0)][DBLP]
    TACAS, 1996, pp:35-48 [Conf]
  41. Gerard J. Holzmann
    Early Fault Detection Tools. [Citation Graph (0, 0)][DBLP]
    TACAS, 1996, pp:1-13 [Conf]
  42. Erich Mikk, Yassine Lakhnech, Michael Siegel, Gerard J. Holzmann
    Implementing Statecharts in PROMELA/SPIN. [Citation Graph (0, 0)][DBLP]
    WIFT, 1998, pp:90-101 [Conf]
  43. Gerard J. Holzmann
    Software model checking with SPIN. [Citation Graph (0, 0)][DBLP]
    Advances in Computers, 2005, v:65, n:, pp:78-109 [Journal]
  44. Gerard J. Holzmann
    Software verification at Bell Labs: One line of development. [Citation Graph (0, 0)][DBLP]
    Bell Labs Technical Journal, 2000, v:5, n:1, pp:35-45 [Journal]
  45. Gerard J. Holzmann, Margaret H. Smith
    Automating software feature verification. [Citation Graph (0, 0)][DBLP]
    Bell Labs Technical Journal, 2000, v:5, n:2, pp:72-87 [Journal]
  46. Jean-Pierre Courtiat, Piotr Dembinski, Gerard J. Holzmann, Luigi Logrippo, Harry Rudin, Pamela Zave
    Formal Methods after 15 Years: Status and Trends (Paper based on contributions of the panelists at the FORmal TEchnique '95, Conference, Montreal, October 1995). [Citation Graph (0, 0)][DBLP]
    Computer Networks and ISDN Systems, 1996, v:28, n:13, pp:1845-1855 [Journal]
  47. Gerard J. Holzmann
    The Pandora System: An Interactive System for the Design of Data Communication Protocols. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 1984, v:8, n:, pp:71-79 [Journal]
  48. Gerard J. Holzmann
    Design and Validation of Protocols: A Tutorial. [Citation Graph (0, 0)][DBLP]
    Computer Networks and ISDN Systems, 1993, v:25, n:9, pp:981-1017 [Journal]
  49. Gerard J. Holzmann
    Practical methods for the formal validation of SDL specifications. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 1992, v:15, n:2, pp:129-134 [Journal]
  50. Gerard J. Holzmann
    Designing bug-free protocols with SPIN. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 1997, v:20, n:2, pp:97-105 [Journal]
  51. Gerard J. Holzmann
    The Power of 10: Rules for Developing Safety-Critical Code. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 2006, v:39, n:6, pp:95-97 [Journal]
  52. Gerard J. Holzmann
    On-The-Fly Model Checking. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:120- [Journal]
  53. 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]
  54. Gerard J. Holzmann
    An Analysis of Bitstate Hashing. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1998, v:13, n:3, pp:289-307 [Journal]
  55. Gerard J. Holzmann
    Protocol Design: Redefining the State of the Art. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 1992, v:9, n:1, pp:17-22 [Journal]
  56. Gerard J. Holzmann
    Standardized Protocol Interfaces. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1993, v:23, n:7, pp:711-731 [Journal]
  57. Rajeev Alur, Gerard J. Holzmann, Doron Peled
    An Analyzer for Message Sequence Charts. [Citation Graph (0, 0)][DBLP]
    Software - Concepts and Tools, 1996, v:17, n:2, pp:70-77 [Journal]
  58. Gerard J. Holzmann
    Early Fault Detection Tools. [Citation Graph (0, 0)][DBLP]
    Software - Concepts and Tools, 1996, v:17, n:2, pp:63-69 [Journal]
  59. Yifei Dong, Xiaoqun Du, Gerard J. Holzmann, Scott A. Smolka
    Fighting livelock in the GNU i-protocol: a case study in explicit-state model checking. [Citation Graph (0, 0)][DBLP]
    STTT, 2003, v:4, n:4, pp:505-528 [Journal]
  60. Gerard J. Holzmann, Elie Najm, Ahmed Serhrouchni
    SPIN Model Checking: An Introduction. [Citation Graph (0, 0)][DBLP]
    STTT, 2000, v:2, n:4, pp:321-327 [Journal]
  61. Gerard J. Holzmann, Anuj Puri
    A Minimized Automaton Representation of Reachable States. [Citation Graph (0, 0)][DBLP]
    STTT, 1999, v:2, n:3, pp:270-278 [Journal]
  62. Gerard J. Holzmann, Margaret H. Smith
    Software model checking: extracting verification models from source code. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 2001, v:11, n:2, pp:65-79 [Journal]
  63. Gerard J. Holzmann
    A Theory for Protocol Validation. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1982, v:31, n:8, pp:730-738 [Journal]
  64. Gerard J. Holzmann
    Automated Protocol Validation in Argos: Assertion Proving and Scatter Searching. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1987, v:13, n:6, pp:683-696 [Journal]
  65. Gerard J. Holzmann
    The Model Checker SPIN. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1997, v:23, n:5, pp:279-295 [Journal]
  66. Gerard J. Holzmann, Margaret H. Smith
    An Automated Verification Method for Distributed Systems Software Based on Model Extraction. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2002, v:28, n:4, pp:364-377 [Journal]
  67. Gerard J. Holzmann, Dragan Bosnacki
    Multi-Core Model Checking with SPIN. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2007, pp:1-8 [Conf]
  68. Rajeev Joshi, Gerard J. Holzmann
    A mini challenge: build a verifiable filesystem. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2007, v:19, n:2, pp:269-272 [Journal]
  69. Gerard J. Holzmann, Dragan Bosnacki
    The Design of a Multicore Extension of the SPIN Model Checker. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2007, v:33, n:10, pp:659-674 [Journal]

  70. Formal Software Verification: How Close Are We? [Citation Graph (, )][DBLP]


  71. Swarm Verification. [Citation Graph (, )][DBLP]


  72. Tackling Large Verification Problems with the Swarm Tool. [Citation Graph (, )][DBLP]


  73. New Challenges in Model Checking. [Citation Graph (, )][DBLP]


  74. Automated Testing of Planning Models. [Citation Graph (, )][DBLP]


  75. Reliable Software Systems Design: Defect Prevention, Detection, and Containment. [Citation Graph (, )][DBLP]


  76. A Mini Challenge: Build a Verifiable Filesystem. [Citation Graph (, )][DBLP]


  77. Model driven code checking. [Citation Graph (, )][DBLP]


  78. Conquering Complexity. [Citation Graph (, )][DBLP]


  79. A Stack-Slicing Algorithm for Multi-Core Model Checking. [Citation Graph (, )][DBLP]


Search in 0.063secs, Finished in 0.065secs
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