Gerard Johan Holzmann
#114,713
Most Influential Person Now
Gerard Johan Holzmann's AcademicInfluence.com Rankings
Gerard Johan Holzmanncomputer-science Degrees
Computer Science
#4445
World Rank
#4684
Historical Rank
Software Engineering
#125
World Rank
#125
Historical Rank
Database
#1659
World Rank
#1739
Historical Rank

Download Badge
Computer Science
Gerard Johan Holzmann's Degrees
- PhD Computer Science Stanford University
- Masters Computer Science University of Amsterdam
Similar Degrees You Can Earn
Why Is Gerard Johan Holzmann Influential?
(Suggest an Edit or Addition)Gerard Johan Holzmann's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- The Model Checker SPIN (1997) (4325)
- The SPIN Model Checker - primer and reference manual (2003) (2398)
- The SPIN Model Checker (2003) (1404)
- Design and validation of computer protocols (1991) (1050)
- Optimizing Büchi Automata (2000) (399)
- An improvement in formal verification (1994) (377)
- An Analysis of Bitstate Hashing (1995) (255)
- On nested depth first search (1996) (235)
- An Analyzer for Message Sequence Charts (1996) (198)
- Implementing statecharts in PROMELA/SPIN (1998) (189)
- Software model checking: extracting verification models from source code † (2001) (180)
- State-space caching revisited (1992) (165)
- An improved protocol reachability analysis technique (1988) (165)
- An Analyser for Mesage Sequence Charts (1996) (152)
- Logic Verification of ANSI-C Code with SPIN (2000) (148)
- A practical method for verifying event-driven software (1999) (145)
- The Design of a Multicore Extension of the SPIN Model Checker (2007) (141)
- Coverage Preserving Reduction Strategies for Reachability Analysis (1992) (133)
- Randomized Differential Testing as a Prelude to Formal Verification (2007) (128)
- Automating software feature verification (2000) (125)
- State Compression in SPIN: Recursive Indexing and Compression Training Runs (2002) (120)
- Model-Driven Software Verification (2004) (119)
- The State of SPIN (1996) (116)
- The power of 10: rules for developing safety-critical code (2006) (116)
- On Limits and Possibilities of Automated Protocol Analysis (1987) (108)
- Design and Validation of Protocols: A Tutorial (1993) (105)
- Validating requirements for fault tolerant systems using model checking (1998) (104)
- An Automated Verification Method for Distributed Systems Software Based on Model Extraction (2002) (101)
- Automated Protocol Validation in Argos: Assertion Proving and Scatter Searching (1987) (96)
- Swarm Verification Techniques (2011) (91)
- A mini challenge: build a verifiable filesystem (2007) (91)
- The logic of bugs (2002) (86)
- UNO: Static Source Code Checking for User-Defined Properties 1 (2002) (85)
- A minimized automaton representation of reachable states (1999) (80)
- Events and constraints: a graphical editor for capturing logic requirements of programs (2001) (79)
- The early history of data networks (1994) (78)
- Parallelizing the Spin Model Checker (2012) (78)
- Tracing protocols (1985) (76)
- Conquering Complexity (2007) (69)
- Algorithms for automated protocol verification (1990) (67)
- Using SPIN model checking for flight software verification (2002) (65)
- The Theory and Practice of A Formal Method: NewCoRe (1994) (61)
- The Engineering of a Model Checker: The Gnu i-Protocol Case Study Revisited (1999) (58)
- Algorithms for Automated Protocol Validation (1988) (58)
- Software Model Checking (1999) (57)
- From code to models (2001) (50)
- Tackling Large Verification Problems with the Swarm Tool (2008) (50)
- Validating SDL Specifications: an Experiment (1989) (50)
- Formal methods and software reliability (2004) (49)
- Software model checking with SPIN (2005) (48)
- On the Verification of Temporal Properties (1993) (48)
- Swarm Verification (2008) (47)
- Partial Order Methods in Verification (1997) (43)
- A Theory for Protocol Validation (1982) (43)
- Economics of software verification (2001) (43)
- Design tools for requirements engineering (1997) (41)
- Software Analysis and Model Checking (2002) (41)
- Design and validation of protocols (1990) (40)
- Model driven code checking (2008) (39)
- Improving Spin's Partial-Order Reduction for Breadth-First Search (2005) (36)
- Multi-Core Model Checking with SPIN (2007) (36)
- Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning (2014) (36)
- Early Fault Detection Tools (1996) (36)
- SPIN model checking: an introduction (2000) (35)
- v-Promela: a visual, object-oriented language for SPIN (1999) (32)
- Fighting livelock in the GNU i-protocol: a case study in explicit-state model checking (2003) (31)
- On-the-fly model checking (1996) (31)
- Validation of mission critical software design and implementation using model checking [spacecraft] (2002) (31)
- Landing a Spacecraft on Mars (2013) (29)
- Protocol design: redefining the state of the art (1992) (29)
- Designing executable abstractions (1998) (28)
- Trends in Software Verification (2003) (25)
- A Stack-Slicing Algorithm for Multi-Core Model Checking (2008) (25)
- Advanced SPIN Tutorial (2004) (23)
- Practical methods for the formal validation of SDL specifications (1992) (23)
- Tutorial: Proving Properties of Concurrent System with SPIN (1995) (22)
- An analysis of bistate hashing (1995) (21)
- Process Sleep and Wakeup on a Shared-memory Multiprocessor (1991) (21)
- Proving the value of formal methods (1994) (21)
- Model checking with bounded context switching (2011) (19)
- Formal Methods for Early Fault Detection (1996) (19)
- An improvement of the piggyback algorithm for parallel model checking (2014) (17)
- SCRUB: a tool for code reviews (2010) (17)
- Not checking for closure under stuttering (1996) (17)
- Outline for an operational semantics of Promela (1996) (17)
- Code Inflation (2015) (17)
- The SPIN Verification System (1997) (16)
- The Pandora System: An Interactive System for the Design of Data Communication Protocols (1984) (16)
- Abstracting C with abC (2002) (16)
- Putting Flight Software Through the Paces with Testing , Model Checking , and Constraint-Solving (2008) (14)
- A multi-paradigm language for reactive synthesis (2016) (14)
- The Power of Ten-Rules for Developing Safety Critical Code (2018) (13)
- Cloud-Based Verification of Concurrent Software (2016) (13)
- Cobra: a light-weight tool for static and dynamic program analysis (2017) (12)
- Effective Bug Hunting with Spin and Modex (2005) (12)
- New Challenges in Model Checking (2008) (12)
- Explicit-State Model Checking (2018) (11)
- PICO — A picture editor (1987) (11)
- Formal Methods after 15 Years: Status and Trends (Paper based on contributions of the panelists at the FORmal TEchnique '95, Conference, Montreal, October 1995) (1996) (10)
- Points of Truth (2015) (10)
- Extracting Verification Models from Source Code (1999) (9)
- Reliable Software Systems Design: Defect Prevention, Detection, and Containment (2005) (9)
- Outline for an Operational-Semantics Definition of PROMELA (1996) (9)
- THE FIRST DATA NETWORKS (1994) (9)
- Automatic Generation of Invariants in Spin (1998) (9)
- Pan - A Protocol Specification Analyzer (2002) (9)
- Designing bug-free protocols with SPIN (1997) (9)
- Workshop on Partial Order Methods in Verification (1996) (8)
- Backward Symbolic Execution of Protocols (1984) (8)
- Proceedings of the DIMACS workshop on Partial order methods in verification (1997) (8)
- Automated Testing of Planning Models (2009) (8)
- Model Checking Autonomous Planners: Even the B est L aid P lans M ust be V erified (2005) (8)
- Cobra: fast structural code checking (keynote) (2017) (7)
- Software verification at Bell Labs: One line of development (2000) (7)
- Code Clarity (2016) (7)
- Data Communications: The First 2500 Years (1994) (7)
- Proving Properties of Concurrent Programs - (Extended Abstract) (2013) (6)
- Using SPIN model checking for verification of flight software (2002) (5)
- Logic Model Checking of Time-Periodic Real-Time Systems (2012) (5)
- Standardized protocol interfaces (1993) (5)
- Software certification - coding, code, and coders (2011) (4)
- Debate '90: An electronic discussion on true concurrency (1997) (4)
- Software Components (2018) (4)
- Tutorial: Design and Validation of Protocols (2007) (4)
- Brace Yourself (2016) (4)
- Reliable Software Development: Analysis-Aware Design (2011) (3)
- The Value of Doubt (2017) (3)
- Protocol Validation (2005) (3)
- The Theory and Practice of A Formal Method: NewCoRe (Proceedings IFIP World Congress, Hamburg August 1994, Invited Paper) (1994) (3)
- Model Checking Artificial Intelligence Based Planners: Even the Best Laid Plans Must Be Verified (2005) (3)
- The Pandora Protocol Development System (1983) (3)
- Tiny Tools (2016) (2)
- Tr ends in Software Verification (2003) (2)
- Establishing Flight Software Reliability : Testing , Model Checking , Constraint-Solving , and Monitoring (2008) (2)
- Code Craft (2017) (2)
- Formal Software Verification: How Close Are We? (2010) (2)
- On Checking Model Checkers (1998) (2)
- Spin—a protocol analyzer (1990) (2)
- Synthesis from multi-paradigm specifications (2015) (2)
- A mini grand challenge: build a verifiable filesystem (2005) (2)
- Analysis-aware design of embedded systems software (2014) (2)
- Algebraic Validation Methods-A Comparison of Three Techniques (1982) (2)
- Fault Intolerance [Reliable Code] (2014) (2)
- Partial order methods in verification : DIMACS Workshop, July 24-26, 1996, (1997) (1)
- Keynote speaker 1: The economics of systems and software reliability (2013) (1)
- Hi Maintenance (2016) (1)
- Out of Bounds (2015) (1)
- Interval reduction through requirements analysis (1998) (1)
- Coordination problems in multiprocessing systems (1979) (1)
- Code Mining (2019) (1)
- Reliable Design of Concurrent Software (2005) (1)
- Test Fatigue (2020) (1)
- Proceedings of the Third international conference on NASA Formal methods (2011) (1)
- Model Checking Multitask Applications for OSEK Compliant Real-Time Operating Systems (2011) (1)
- Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning (2014) (1)
- Optimizing Bb Uchi Automata (2000) (1)
- OOPSLA keynote: Scrub and Spin: Stealth Use of Formal Methods in Software Development (2009) (1)
- A rigorous approach to combining use case modelling and accident scenarios (2015) (1)
- A Three-Step Program for Recovering Hackers (2013) (1)
- Logic Model Checking of Unintended Acceleration Claims in the 2005 Toyota Camry Electronic Throttle Control System (2011) (1)
- Code Overload (2019) (1)
- Curve Balls (2018) (0)
- Model-Checking Support for File System Development (2021) (0)
- The SPIN verification system : the second Workshop on the SPIN Verification System : proceedings of a DIMACS workshop, August 5, 1996 (1997) (0)
- Call for Software Engineering Award Nominations (2022) (0)
- Code Vault (2018) (0)
- Assertive Testing (2015) (0)
- Testing the FormalCheck Query Library (2013) (0)
- Verifying AI Plan Models: Even the Best Laid Plans Need to be Verified (2004) (0)
- Invaluable Feedback from a Superb Team of Requirements Engineers (1996) (0)
- Software Safety and Rocket Science (2008) (0)
- Special section on SPIN SPIN model checking: an introduction (2000) (0)
- To Code Is Human (2015) (0)
- Cobra - an interactive static code analyzer (2017) (0)
- A Process for Verifying and Validating Requirements for Fault Tolerant Systems Using Model Checking (1999) (0)
- A Tale of Three Programs (2017) (0)
- Randomly Right (2017) (0)
- Early Fault Detection Tools 13 Acknowledgements: I Am Grateful to 5 References (1996) (0)
- Concise Description of a Prot Ocol Validat Ion Algebra (1982) (0)
- An Analysis of Bitstate Hashing 1 ) (1995) (0)
- On Nested Depth First Search 7. Conclusion Nested Depth First Search for Non-progress Cycles (2002) (0)
- Assertive Testing [Reliable Code] (2015) (0)
- Formalizing Requirements Is \Diamond \Box Hard (2019) (0)
- The Weakest Link (2016) (0)
- Tau -- a lightweight tool for specifying and verifying tiny automata models (2015) (0)
- CORRECT DESIGN OF VEHICULAR CONTROL STRATEGIES (1992) (0)
- Frequently Unanswered Questions (2016) (0)
- Comparing Two Methods for Checking Runtime Properties (2021) (0)
- Early Fault Detect ion Tools (2005) (0)
- Does Not Compute (2019) (0)
- Predicting the Past (2020) (0)
- Right Code (2021) (0)
- Validation of autonomous space systems (2016) (0)
- NASA Formal Methods (2015) (0)
- Cobra: a light-weight tool for static and dynamic program analysis (2016) (0)
- Pico—a language for composing digital images (1990) (0)
- Keeping It Simple: Agile Analysis (2021) (0)
- Automated protocol verification on PANDORA Four examples (1983) (0)
- Ends and Means (2017) (0)
- Dead Programs (2017) (0)
- Interactive analysis of large code bases (invited talk) (2021) (0)
This paper list is powered by the following services:
What Schools Are Affiliated With Gerard Johan Holzmann?
Gerard Johan Holzmann is affiliated with the following schools: