| 2002 | TACAS | The ForSpec Temporal Logic: A New Temporal Property-Specification Language. | Roy Armoni, Limor Fix, Alon Flaisher, Rob Gerth, Boris Ginsburg, Tomer Kanza, Avner Landver, Sela Mador-Haim, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar |
| 1994 | CAV | Model Checking Using Adaptive State and Data Abstraction. | Dennis Dams, Rob Gerth, Gert Dhmen, Ronald Herrmann, Peter Kelb, Hergen Pargmann |
| 1993 | CAV | Generation of Reduced Models for Checking Fragments of CTL. | Dennis Dams, Orna Grumberg, Rob Gerth |
| 1993 | CONCUR | Transformations Preserving Properties and Properties Preserved by Transformations in Fair Transition Systems (Extended Abstract). | Shengzong Zhou, Rob Gerth, Ruurd Kuiper |
| 1993 | SRDS | A Compositinal Proof Theory for Fault Tolerant Real-Time Distributed Systems. | Henk Schepers, Rob Gerth |
| 1992 | CONCUR | Interface Refinement in Reactive Systems (Extended Abstract). | Rob Gerth, Ruurd Kuiper, John Segers |
| 1988 | LICS | Fully Abstract Denotational Semantics for Flat Concurrent Prolog | Rob Gerth, Michael Codish, Yossi Lichtenstein, Ehud Shapiro |
| 1987 | ICALP | A Timed Failures Model for Extended Communicating Processes. | Rob Gerth, Andy Boucher |
| 1987 | POPL | Full Abstraction of a Real-Time Denotational Semantics for an Occam-like Language. | Cornelis Huizing, Rob Gerth, Willem P. de Roever |
| 1984 | STOC | Transition Logic: How to Reason About Temporal Properties in a Compositional Way | Rob Gerth |
| 1982 | ICALP | A Sound and Complete Hoare Axiomatization of the Ada-Rendevous. | Rob Gerth |
| 1981 | GI | A Proof System for Brinch Hansen's Distributed Processes. | Marly Roncken, Rob Gerth, Willem P. de Roever |