Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Gerard J. Holzmann" ( http://dblp.L3S.de/Authors/Gerard_J._Holzmann )

URL (Homepage):  http://spinroot.com/gerard/  Author page on DBLP  Author page in RDF  Community of Gerard J. Holzmann in ASPL-2

Publication years (Num. hits)
1982-1993 (16) 1994-1996 (16) 1997-2000 (17) 2001-2005 (19) 2006-2010 (15) 2011 (6)
Publication types (Num. hits)
article(34) book(2) inproceedings(52) proceedings(1)
Venues (Conferences, Journals, ...)
PSTV(7) SPIN(7) CAV(5) IEEE Trans. Software Eng.(5) FORTE(3) STTT(3) TACAS(3) Bell Labs Technical Journal(2) Computer Communications(2) Computer Networks and ISDN Sys...(2) CONCUR(2) Formal Asp. Comput.(2) Formal Methods in System Desig...(2) ICSE(2) IEEE Computer(2) IFIP Congress(2) More (+10 of total 49)
Authors
Gerard J. Holzmann(89) Rajeev Joshi(12) Alex Groce(7) Margaret H. Smith(7) Doron Peled(4) Patrice Godefroid(4) Didier Pirottin(3) Dragan Bosnacki(3) Klaus Havelund(3) Kousha Etessami(2) Rajeev Alur(2) Theo C. Ruys(2) Ahmed Serhrouchni(1) Anuj Puri(1) Björn Pehrson(1) Dennis Dams(1) More (+10 of total 39)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 56 occurrences of 32 keywords
Results
Found 89 publication records. Showing 89 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Gerard J. Holzmann, Rajeev Joshi, Alex Groce Swarm Verification Techniques. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Gerard J. Holzmann, Mihai Florian Model checking with bounded context switching. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Mark L. McKelvin Jr., Edward B. Gamble Jr., Gerard J. Holzmann Model Checking Multitask Applications for OSEK Compliant Real-Time Operating Systems. Search on Bibsonomy PRDC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Klaus Havelund, Gerard J. Holzmann Software certification: coding, code, and coders. Search on Bibsonomy EMSOFT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Gerard J. Holzmann Reliable Software Development: Analysis-Aware Design. Search on Bibsonomy TACAS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Mihaela Gheorghiu Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi (eds.) NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings Search on Bibsonomy NASA Formal Methods The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Gerard J. Holzmann SCRUB: a tool for code reviews. Search on Bibsonomy ISSE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Gerard J. Holzmann Formal Software Verification: How Close Are We? Search on Bibsonomy FMOODS/FORTE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Gerard J. Holzmann, Rajeev Joshi, Alex Groce Model driven code checking. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Logic model checking, Embedded C code, Software verification, Spin model checker
1Gerard J. Holzmann A Stack-Slicing Algorithm for Multi-Core Model Checking. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Gerard J. Holzmann Software Safety and Rocket Science. Search on Bibsonomy ERCIM News The full citation details ... 2008 DBLP  BibTeX  RDF
1Gerard J. Holzmann, Rajeev Joshi, Alex Groce Swarm Verification. Search on Bibsonomy ASE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Gerard J. Holzmann, Rajeev Joshi, Alex Groce New Challenges in Model Checking. Search on Bibsonomy 25 Years of Model Checking The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Logic model checking, grand challenge project, flash file system challenge, software reliability, software verification, software structure
1Gerard J. Holzmann, Rajeev Joshi, Alex Groce Tackling Large Verification Problems with the Swarm Tool. Search on Bibsonomy SPIN The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Klaus Havelund, Alex Groce, Gerard J. Holzmann, Rajeev Joshi, Margaret H. Smith Automated Testing of Planning Models. Search on Bibsonomy MoChArt The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Gerard J. Holzmann, Dragan Bosnacki The Design of a Multicore Extension of the SPIN Model Checker. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Logics and meanings of Programs, Model Checking, Distributed Programming, Models of Computation, Software/Program Verification
1Rajeev Joshi, Gerard J. Holzmann A mini challenge: build a verifiable filesystem. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Verification grand challenge, Filesystem design, Formal verification
1Gerard J. Holzmann Conquering Complexity. Search on Bibsonomy IEEE Computer The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Perrow-class failures, software technologies, software defects
1Gerard J. Holzmann, Dragan Bosnacki Multi-Core Model Checking with SPIN. Search on Bibsonomy IPDPS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Alex Groce, Gerard J. Holzmann, Rajeev Joshi Randomized Differential Testing as a Prelude to Formal Verification. Search on Bibsonomy ICSE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Gerard J. Holzmann The Power of 10: Rules for Developing Safety-Critical Code. Search on Bibsonomy IEEE Computer The full citation details ... 2006 DBLP  DOI  BibTeX  RDF coding rules, software development, software technologies
1Gerard J. Holzmann Software model checking with SPIN. Search on Bibsonomy Advances in Computers The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Gerard J. Holzmann, Theo C. Ruys Effective Bug Hunting with Spin and Modex. Search on Bibsonomy SPIN The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Dragan Bosnacki, Gerard J. Holzmann Improving Spin's Partial-Order Reduction for Breadth-First Search. Search on Bibsonomy SPIN The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Rajeev Joshi, Gerard J. Holzmann A Mini Challenge: Build a Verifiable Filesystem. Search on Bibsonomy VSTTE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Gerard J. Holzmann, Rajeev Joshi Reliable Software Systems Design: Defect Prevention, Detection, and Containment. Search on Bibsonomy VSTTE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Gerard J. Holzmann The SPIN Model Checker - primer and reference manual. Search on Bibsonomy 2004   RDF
1Gerard J. Holzmann Formal methods and software reliability. Search on Bibsonomy MEMOCODE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Gerard J. Holzmann, Rajeev Joshi Model-Driven Software Verification. Search on Bibsonomy SPIN The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Theo C. Ruys, Gerard J. Holzmann Advanced SPIN Tutorial. Search on Bibsonomy SPIN The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Yifei Dong, Xiaoqun Du, Gerard J. Holzmann, Scott A. Smolka Fighting livelock in the GNU i-protocol: a case study in explicit-state model checking. Search on Bibsonomy STTT The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Explicit-state model checking, Protocol verification, Livelock, Sliding-window protocol
1Gerard J. Holzmann Trends in Software Verification. Search on Bibsonomy FME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Gerard J. Holzmann, Margaret H. Smith An Automated Verification Method for Distributed Systems Software Based on Model Extraction. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF call processing, model checking, formal methods, software testing, case studies, reactive systems, software verification, feature interaction
1Gerard J. Holzmann Software Analysis and Model Checking. Search on Bibsonomy CAV The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Dennis Dams, William Hesse, Gerard J. Holzmann Abstracting C with abC. Search on Bibsonomy CAV The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Gerard J. Holzmann The logic of bugs. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF distributed systems software, logic model checking, SPIN
1Gerard J. Holzmann, Margaret H. Smith Software model checking: extracting verification models from source code. Search on Bibsonomy Softw. Test., Verif. Reliab. The full citation details ... 2001 DBLP  BibTeX  RDF
1Gerard J. Holzmann From Code to Models. Search on Bibsonomy ACSD The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Margaret H. Smith, Gerard J. Holzmann, Kousha Etessami Events and Constraints: A Graphical Editor for Capturing Logic Requirements of Programs. (PDF / PS) Search on Bibsonomy RE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF model checking, testing, requirements, software verification
1Gerard J. Holzmann Economics of software verification. Search on Bibsonomy PASTE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF model checking, testing, software verification, spin
1Gerard J. Holzmann, Margaret H. Smith Automating software feature verification. Search on Bibsonomy Bell Labs Technical Journal The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Gerard J. Holzmann Software verification at Bell Labs: One line of development. Search on Bibsonomy Bell Labs Technical Journal The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Gerard J. Holzmann, Elie Najm, Ahmed Serhrouchni SPIN Model Checking: An Introduction. Search on Bibsonomy STTT The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Kousha Etessami, Gerard J. Holzmann Optimizing Büchi Automata. Search on Bibsonomy CONCUR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Gerard J. Holzmann Logic Verification of ANSI-C Code with SPIN. Search on Bibsonomy SPIN The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Gerard J. Holzmann, Anuj Puri A Minimized Automaton Representation of Reachable States. Search on Bibsonomy STTT The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Model checking, Verification, Data compression, Finite automata, Spin, OBDDs, Sharing trees
1Gerard J. Holzmann, Margaret H. Smith Software Model Checking. Search on Bibsonomy FORTE The full citation details ... 1999 DBLP  BibTeX  RDF
1Gerard J. Holzmann The Engineering of a Model Checker: The Gnu i-Protocol Case Study Revisited. Search on Bibsonomy SPIN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Stefan Leue, Gerard J. Holzmann v-Promela: A Visual, Object-Oriented Language for SPIN. Search on Bibsonomy ISORC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Gerard J. Holzmann, Margaret H. Smith A Practical Method for Verifying Event-Driven Software. Search on Bibsonomy ICSE The full citation details ... 1999 DBLP  BibTeX  RDF telephone call processing, model checking, formal methods, software testing, case studies, reactive systems, software verification, feature interactive
1Gerard J. Holzmann An Analysis of Bitstate Hashing. Search on Bibsonomy Formal Methods in System Design The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Francis Schneider, Steve M. Easterbrook, John R. Callahan, Gerard J. Holzmann Validating Requirements for Fault Tolerant Systems using Model Checking. (PDF / PS) Search on Bibsonomy ICRE The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Erich Mikk, Yassine Lakhnech, Michael Siegel, Gerard J. Holzmann Implementing Statecharts in PROMELA/SPIN. Search on Bibsonomy WIFT The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Gerard J. Holzmann Designing executable abstractions. Search on Bibsonomy FMSP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF distributed systems, model checking, software verification
1Gerard J. Holzmann On Checking Model Checkers. Search on Bibsonomy CAV The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Gerard J. Holzmann The Model Checker SPIN. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF distributed systems, model checking, Formal methods, concurrency, program verification, design verification
1Gerard J. Holzmann Designing bug-free protocols with SPIN. Search on Bibsonomy Computer Communications The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Gerard J. Holzmann Early Fault Detection Tools. Search on Bibsonomy Software - Concepts and Tools The full citation details ... 1996 DBLP  BibTeX  RDF
1Rajeev Alur, Gerard J. Holzmann, Doron Peled An Analyzer for Message Sequence Charts. Search on Bibsonomy Software - Concepts and Tools The full citation details ... 1996 DBLP  BibTeX  RDF
1Jean-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). Search on Bibsonomy Computer Networks and ISDN Systems The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Gerard J. Holzmann On-The-Fly Model Checking. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Gerard J. Holzmann Early Fault Detection Tools. Search on Bibsonomy TACAS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Rajeev Alur, Gerard J. Holzmann, Doron Peled An Analyser for Mesage Sequence Charts. Search on Bibsonomy TACAS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Gerard J. Holzmann, Doron Peled The State of SPIN. Search on Bibsonomy CAV The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Gerard J. Holzmann Formal Methods for Early Fault Detection. Search on Bibsonomy FTRTFT The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Patrice Godefroid, Gerard J. Holzmann, Didier Pirottin State-Space Caching Revisited. Search on Bibsonomy Formal Methods in System Design The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Gerard J. Holzmann, Björn Pehrson The early history of data networks. Search on Bibsonomy 1995   RDF
1Gerard J. Holzmann Tutorial: Proving Properties of Concurrent System with SPIN. Search on Bibsonomy CONCUR The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Gerard J. Holzmann An analysis of bistate hashing. Search on Bibsonomy PSTV The full citation details ... 1995 DBLP  BibTeX  RDF
1Gerard J. Holzmann Proving the value of formal methods. Search on Bibsonomy FORTE The full citation details ... 1994 DBLP  BibTeX  RDF
1Gerard J. Holzmann, Doron Peled An improvement in formal verification. Search on Bibsonomy FORTE The full citation details ... 1994 DBLP  BibTeX  RDF
1Gerard J. Holzmann Data Communications: The First 2500 Years. Search on Bibsonomy IFIP Congress The full citation details ... 1994 DBLP  BibTeX  RDF
1Gerard J. Holzmann The Theory and Practice of A Formal Method: NewCoRe. Search on Bibsonomy IFIP Congress The full citation details ... 1994 DBLP  BibTeX  RDF
1Gerard J. Holzmann Standardized Protocol Interfaces. Search on Bibsonomy Softw., Pract. Exper. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Gerard J. Holzmann Design and Validation of Protocols: A Tutorial. Search on Bibsonomy Computer Networks and ISDN Systems The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Patrice Godefroid, Gerard J. Holzmann On the Verification of Temporal Properties. Search on Bibsonomy PSTV The full citation details ... 1993 DBLP  BibTeX  RDF
1Gerard J. Holzmann Protocol Design: Redefining the State of the Art. Search on Bibsonomy IEEE Software The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Gerard J. Holzmann Practical methods for the formal validation of SDL specifications. Search on Bibsonomy Computer Communications The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Gerard J. Holzmann, Patrice Godefroid, Didier Pirottin Coverage Preserving Reduction Strategies for Reachability Analysis. Search on Bibsonomy PSTV The full citation details ... 1992 DBLP  BibTeX  RDF
1Patrice Godefroid, Gerard J. Holzmann, Didier Pirottin State-Space Caching Revisited. Search on Bibsonomy CAV The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Gerard J. Holzmann, Joanna Patti Validating SDL Specifications: an Experiment. Search on Bibsonomy PSTV The full citation details ... 1989 DBLP  BibTeX  RDF
1Gerard J. Holzmann An Improved Protocol Reachability Analysis Technique. Search on Bibsonomy Softw., Pract. Exper. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Gerard J. Holzmann Automated Protocol Validation in Argos: Assertion Proving and Scatter Searching. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Gerard J. Holzmann On Limits and Possibilities of Automated Protocol Analysis. Search on Bibsonomy PSTV The full citation details ... 1987 DBLP  BibTeX  RDF
1Gerard J. Holzmann The Pandora System: An Interactive System for the Design of Data Communication Protocols. Search on Bibsonomy Computer Networks The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1Gerard J. Holzmann Backward Symbolic Execution of Protocols. Search on Bibsonomy PSTV The full citation details ... 1984 DBLP  BibTeX  RDF
1Gerard J. Holzmann, Rob A. Beukers The Pandora Protocol Development System. Search on Bibsonomy Protocol Specification, Testing, and Verification The full citation details ... 1983 DBLP  BibTeX  RDF
1Gerard J. Holzmann A Theory for Protocol Validation. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
1Gerard J. Holzmann Algebraic Validation Methods-A Comparison of Three Techniques. Search on Bibsonomy PSTV The full citation details ... 1982 DBLP  BibTeX  RDF
Displaying result #1 - #89 of 89 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.