2026 Gerard J. Holzmann: Computer Science Researcher – H-Index, Publications & Awards

Discipline name	D-Index	World Ranking	Current World Ranking	National Ranking	Current National Ranking	Publications	Citations
Computer Science	55	4182	4065	1972	1903	179	23582

Discipline name

D-Index

World Ranking

Current World Ranking

National Ranking

Current National Ranking

Publications

Citations

Computer Science

4182

4065

1972

1903

179

23582

Research.com Recognitions

2011 - ACM Fellow For contributions to software verification by model checking.
2005 - ACM Paris Kanellakis Theory and Practice Award Gerard J. Holzmann, Robert P. Kurshan, Moshe Y. Vardi, Pierre Wolper
2005 - Member of the National Academy of Engineering For the creation of model checking systems for software verification.
2001 - ACM Software System Award Gerard Holzmann

Overview

Gerard J. Holzmann is affiliated with Nimble Research in the United States and has contributed extensively to the field of computer science. Their research encompasses multiple subfields, focusing primarily on software engineering and related areas.

The main fields of study include:

Computer Science

The subfields of study in which they have published work are:

Information Systems
Software
Computer Networks and Communications
Safety, Risk, Reliability and Quality

Gerard J. Holzmann's research covers a variety of topics, with a significant focus on software research and engineering practices:

Software Engineering Research
Software Reliability and Analysis Research
Software Testing and Debugging Techniques
Software System Performance and Reliability
Software Engineering Techniques and Practices
Safety Systems Engineering in Autonomy

The scientist has published in the following venues with frequency:

IEEE Software (4 publications)
IEEE Transactions on Software Engineering (1 publication)

Best Publications

The model checker SPIN

G.J. Holzmann

6352
Citations
The SPIN Model Checker: Primer and Reference Manual

Gerard Holzmann

3483
Citations
Design and validation of computer protocols

Gerard J. Holzmann

3097
Citations
The SPIN Model Checker

Gerard J. Holzmann

1477
Citations
An improvement in formal verification.

Gerard J. Holzmann;Doron A. Peled

867
Citations
An analyzer for message sequence charts

Rajeev Alur;Gerard J. Holzmann;Doron Peled

391
Citations
An Analysis of Bitstate Hashing

Gerard J. Holzmann

385
Citations
Optimizing Büchi Automata

Kousha Etessami;Gerard J. Holzmann

334
Citations
On nested depth first search.

Gerard J. Holzmann;Doron A. Peled;Mihalis Yannakakis

329
Citations
Software model checking: extracting verification models from source code*

Gerard J. Holzmann;Margaret H. Smith

265
Citations
Implementing statecharts in PROMELA/SPIN

E. Mikk;Y. Lakhnech;M. Siegel;G.J. Holzmann

249
Citations
An improved protocol reachability analysis technique

Gerard J. Holzmann

211
Citations
State-space caching revisited

Patrice Godefroid;Gerard J. Holzmann;Didier Pirottin

207
Citations
The early history of data networks

Gerard J. Holzmann;Björn Pehrson

199
Citations
State Compression in SPIN: Recursive Indexing and Compression Training Runs

Gerard J. Holzmann

189
Citations
Logic Verification of ANSI-C Code with SPIN

Gerard J. Holzmann

186
Citations
The Design of a Multicore Extension of the SPIN Model Checker

G.J. Holzmann;D. Bosnacki

182
Citations
The power of 10: rules for developing safety-critical code

G.J. Holzmann

173
Citations
Model-Driven Software Verification

Gerard J. Holzmann;Rajeev Joshi

167
Citations
Design and validation of protocols: a tutorial

Gerard J. Holzmann

167
Citations
A practical method for verifying event-driven software

Gerard J. Holzmann;Margaret H. Smith

165
Citations

Frequent Co-Authors

Doron Peled Bar-Ilan University

Alex Groce Northern Arizona University

Patrice Godefroid Microsoft (United States)

Klaus Havelund Jet Propulsion Lab

Rajeev Alur University of Pennsylvania

Mihalis Yannakakis Columbia University

Richard M. Murray California Institute of Technology

Kousha Etessami University of Edinburgh

Vaughan R. Pratt Stanford University

Orna Kupferman Hebrew University of Jerusalem

External Links

Wikipedia of Gerard J. Holzmann Personal website of Gerard J. Holzmann Google Scholar page

If you think any of the details on this page are incorrect, let us know.

Related Online Degrees & Career Pathways

Exploring computer science in the USA opens doors to a variety of online degree options and career paths. Flexible, affordable programs help students and professionals tailor their educational journey to fit both budget and goals.

Many consider advanced studies such as a cheapest executive mba online to gain leadership skills and advance into management. An MBA with a tech or analytics focus can lead to higher salaries and strategic roles in tech firms.

For those interested in information science, an mlis degree (Master of Library and Information Science) empowers graduates to work in data curation, digital libraries, or corporate information management.

If you are seeking variety, there are many online affordable master's programs available in related fields, from cybersecurity to data science. These specialized degrees can directly support a tech career or open the door to new opportunities.

Those with significant experience may consider a doctorate in organizational leadership online. This can lead to roles in academia, consulting, or senior management, especially where technology and leadership intersect.