Search the dblp DataBase
Gerard J. Holzmann :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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 ] Gerard J. Holzmann From Code to Models. [Citation Graph (0, 0)][DBLP ] ACSD, 2001, pp:3-10 [Conf ] Dennis Dams , William Hesse , Gerard J. Holzmann Abstracting C with abC. [Citation Graph (0, 0)][DBLP ] CAV, 2002, pp:515-520 [Conf ] Patrice Godefroid , Gerard J. Holzmann , Didier Pirottin State-Space Caching Revisited. [Citation Graph (0, 0)][DBLP ] CAV, 1992, pp:178-191 [Conf ] Gerard J. Holzmann Software Analysis and Model Checking. [Citation Graph (0, 0)][DBLP ] CAV, 2002, pp:1-16 [Conf ] Gerard J. Holzmann On Checking Model Checkers. [Citation Graph (0, 0)][DBLP ] CAV, 1998, pp:61-70 [Conf ] Gerard J. Holzmann , Doron Peled The State of SPIN. [Citation Graph (0, 0)][DBLP ] CAV, 1996, pp:385-389 [Conf ] Kousha Etessami , Gerard J. Holzmann Optimizing Büchi Automata. [Citation Graph (0, 0)][DBLP ] CONCUR, 2000, pp:153-167 [Conf ] Gerard J. Holzmann Tutorial: Proving Properties of Concurrent System with SPIN. [Citation Graph (0, 0)][DBLP ] CONCUR, 1995, pp:453-455 [Conf ] Gerard J. Holzmann Trends in Software Verification. [Citation Graph (0, 0)][DBLP ] FME, 2003, pp:40-50 [Conf ] Gerard J. Holzmann Designing executable abstractions. [Citation Graph (0, 0)][DBLP ] FMSP, 1998, pp:103-108 [Conf ] Gerard J. Holzmann Proving the value of formal methods. [Citation Graph (0, 0)][DBLP ] FORTE, 1994, pp:385-396 [Conf ] Gerard J. Holzmann , Doron Peled An improvement in formal verification. [Citation Graph (0, 0)][DBLP ] FORTE, 1994, pp:197-211 [Conf ] Gerard J. Holzmann , Margaret H. Smith Software Model Checking. [Citation Graph (0, 0)][DBLP ] FORTE, 1999, pp:481-497 [Conf ] Gerard J. Holzmann Formal Methods for Early Fault Detection. [Citation Graph (0, 0)][DBLP ] FTRTFT, 1996, pp:40-54 [Conf ] 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 ] 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 ] 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 ] 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 ] Gerard J. Holzmann Data Communications: The First 2500 Years. [Citation Graph (0, 0)][DBLP ] IFIP Congress (2), 1994, pp:271-278 [Conf ] 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 ] 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 ] Gerard J. Holzmann Formal methods and software reliability. [Citation Graph (0, 0)][DBLP ] MEMOCODE, 2004, pp:145-146 [Conf ] Gerard J. Holzmann Economics of software verification. [Citation Graph (0, 0)][DBLP ] PASTE, 2001, pp:80-85 [Conf ] Patrice Godefroid , Gerard J. Holzmann On the Verification of Temporal Properties. [Citation Graph (0, 0)][DBLP ] PSTV, 1993, pp:109-124 [Conf ] Gerard J. Holzmann Algebraic Validation Methods-A Comparison of Three Techniques. [Citation Graph (0, 0)][DBLP ] PSTV, 1982, pp:383-390 [Conf ] Gerard J. Holzmann Backward Symbolic Execution of Protocols. [Citation Graph (0, 0)][DBLP ] PSTV, 1984, pp:19-30 [Conf ] Gerard J. Holzmann On Limits and Possibilities of Automated Protocol Analysis. [Citation Graph (0, 0)][DBLP ] PSTV, 1987, pp:339-344 [Conf ] Gerard J. Holzmann An analysis of bistate hashing. [Citation Graph (0, 0)][DBLP ] PSTV, 1995, pp:301-314 [Conf ] 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 ] Gerard J. Holzmann , Joanna Patti Validating SDL Specifications: an Experiment. [Citation Graph (0, 0)][DBLP ] PSTV, 1989, pp:317-326 [Conf ] 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 ] Gerard J. Holzmann The logic of bugs. [Citation Graph (0, 0)][DBLP ] SIGSOFT FSE, 2002, pp:81-87 [Conf ] 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 ] Gerard J. Holzmann Logic Verification of ANSI-C Code with SPIN. [Citation Graph (0, 0)][DBLP ] SPIN, 2000, pp:131-147 [Conf ] 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 ] Gerard J. Holzmann , Rajeev Joshi Model-Driven Software Verification. [Citation Graph (0, 0)][DBLP ] SPIN, 2004, pp:76-91 [Conf ] Gerard J. Holzmann , Theo C. Ruys Effective Bug Hunting with Spin and Modex. [Citation Graph (0, 0)][DBLP ] SPIN, 2005, pp:24-24 [Conf ] Theo C. Ruys , Gerard J. Holzmann Advanced SPIN Tutorial. [Citation Graph (0, 0)][DBLP ] SPIN, 2004, pp:304-305 [Conf ] Rajeev Alur , Gerard J. Holzmann , Doron Peled An Analyser for Mesage Sequence Charts. [Citation Graph (0, 0)][DBLP ] TACAS, 1996, pp:35-48 [Conf ] Gerard J. Holzmann Early Fault Detection Tools. [Citation Graph (0, 0)][DBLP ] TACAS, 1996, pp:1-13 [Conf ] 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 ] Gerard J. Holzmann Software model checking with SPIN. [Citation Graph (0, 0)][DBLP ] Advances in Computers, 2005, v:65, n:, pp:78-109 [Journal ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Gerard J. Holzmann On-The-Fly Model Checking. [Citation Graph (0, 0)][DBLP ] ACM Comput. Surv., 1996, v:28, n:4es, pp:120- [Journal ] 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 ] 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 ] 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 ] Gerard J. Holzmann Standardized Protocol Interfaces. [Citation Graph (0, 0)][DBLP ] Softw., Pract. Exper., 1993, v:23, n:7, pp:711-731 [Journal ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Gerard J. Holzmann , Dragan Bosnacki Multi-Core Model Checking with SPIN. [Citation Graph (0, 0)][DBLP ] IPDPS, 2007, pp:1-8 [Conf ] 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 ] 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 ] Formal Software Verification: How Close Are We? [Citation Graph (, )][DBLP ] Swarm Verification. [Citation Graph (, )][DBLP ] Tackling Large Verification Problems with the Swarm Tool. [Citation Graph (, )][DBLP ] New Challenges in Model Checking. [Citation Graph (, )][DBLP ] Automated Testing of Planning Models. [Citation Graph (, )][DBLP ] Reliable Software Systems Design: Defect Prevention, Detection, and Containment. [Citation Graph (, )][DBLP ] A Mini Challenge: Build a Verifiable Filesystem. [Citation Graph (, )][DBLP ] Model driven code checking. [Citation Graph (, )][DBLP ] Conquering Complexity. [Citation Graph (, )][DBLP ] A Stack-Slicing Algorithm for Multi-Core Model Checking. [Citation Graph (, )][DBLP ] Search in 0.004secs, Finished in 0.457secs