| 2024 | FAST | Metis: File System Model Checking via Versatile Input and State Exploration. | Yifei Liu, Manish Adkar, Gerard J. Holzmann, Geoff Kuenning, Pei Liu, Scott A. Smolka, Wei Su, Erez Zadok |
| 2016 | VMCAI | Cloud-Based Verification of Concurrent Software. | Gerard J. Holzmann |
| 2013 | ISSRE | Keynote speaker 1: The economics of systems and software reliability. | Barry W. Boehm, Gerard J. Holzmann |
| 2011 | EMSOFT | Software certification: coding, code, and coders. | Klaus Havelund, Gerard J. Holzmann |
| 2011 | PRDC | Model Checking Multitask Applications for OSEK Compliant Real-Time Operating Systems. | Mark L. McKelvin Jr., Edward B. Gamble Jr., Gerard J. Holzmann |
| 2011 | TACAS | Reliable Software Development: Analysis-Aware Design. | Gerard J. Holzmann |
| 2010 | FORTE | Formal Software Verification: How Close Are We? | Gerard J. Holzmann |
| 2007 | ICSE | Randomized Differential Testing as a Prelude to Formal Verification. | Alex Groce, Gerard J. Holzmann, Rajeev Joshi |
| 2004 | MEMOCODE | Formal methods and software reliability. | Gerard J. Holzmann |
| 2003 | FM | Trends in Software Verification. | Gerard J. Holzmann |
| 2002 | CAV | Abstracting C with abC. | Dennis Dams, William Hesse, Gerard J. Holzmann |
| 2002 | CAV | Software Analysis and Model Checking. | Gerard J. Holzmann |
| 2001 | RE | Events and Constraints: A Graphical Editor for Capturing Logic Requirements of Programs. | Margaret H. Smith, Gerard J. Holzmann, Kousha Etessami |
| 2000 | CONCUR | Optimizing Bchi Automata. | Kousha Etessami, Gerard J. Holzmann |
| 1999 | FORTE | Software Model Checking. | Gerard J. Holzmann, Margaret H. Smith |
| 1999 | ICSE | A Practical Method for Verifying Event-Driven Software. | Gerard J. Holzmann, Margaret H. Smith |
| 1999 | ISORC | v-Promela: A Visual, Object-Oriented Language for SPIN. | Stefan Leue, Gerard J. Holzmann |
| 1998 | CAV | On Checking Model Checkers. | Gerard J. Holzmann |
| 1996 | CAV | The State of SPIN. | Gerard J. Holzmann, Doron A. Peled |
| 1996 | TACAS | An Analyser for Mesage Sequence Charts. | Rajeev Alur, Gerard J. Holzmann, Doron A. Peled |
| 1996 | TACAS | Early Fault Detection Tools. | Gerard J. Holzmann |
| 1995 | CONCUR | Tutorial: Proving Properties of Concurrent System with SPIN. | Gerard J. Holzmann |
| 1994 | FORTE | Proving the value of formal methods. | Gerard J. Holzmann |
| 1994 | FORTE | An improvement in formal verification. | Gerard J. Holzmann, Doron A. Peled |
| 1992 | CAV | State-Space Caching Revisited. | Patrice Godefroid, Gerard J. Holzmann, Didier Pirottin |