A Proof System for Brinch Hansen's Distributed Processes. - Marly Roncken; Rob Gerth; Willem P. de Roever (GI Jahrestagung, 1981)

A Sound and Complete Hoare Axiomatization of the Ada-Rendevous. - Rob Gerth (ICALP, 1982)

Procedures and concurrency: A study in proof. - Rob Gerth; Willem P. de Roever; Marly Roncken (Symposium on Programming, 1982)

Transition Logic: How to Reason About Temporal Properties in a Compositional Way - Rob Gerth (STOC, 1984)

A Proof System for Concurrent ADA Programs. - Rob Gerth; Willem P. de Roever (Sci. Comput. Program., 1984)

On Proving Communication Closedness of Distributed Layers. - Rob Gerth; Liuba Shrira (FSTTCS, 1986)

A Timed Failures Model for Extended Communicating Processes. - Rob Gerth; Andy Boucher 001 (ICALP, 1987)

Full Abstraction of a Real-Time Denotational Semantics for an Occam-like Language. - Cornelis Huizing; Rob Gerth; Willem P. de Roever (POPL, 1987)

Modeling Statecharts Behaviour in a Fully Abstract Way. - Cornelis Huizing; Rob Gerth; Willem P. de Roever (CAAP, 1988)

Fully Abstract Denotational Semantics for Flat Concurrent Prolog - Rob Gerth; Michael Codish; Yossi Lichtenstein; Ehud Shapiro (LICS, 1988)

Compositional Semantics for Real-Time Distributed Computing - Ron Koymans; R. K. Shyamasundar; Willem P. de Roever; Rob Gerth; S. Arun-Kumar (Inf. Comput., 1988)

Rooting UNITY. - Rob Gerth; Amir Pnueli (IWSSD, 1989)

Reasoning of real-time distributed programming languages. - Rudrapatna K. Shyamasundar; Jozef Hooman; Rob Gerth (IWSSD, 1989)

Foundations of Compositional Program Refinement - Safety Properties. - Rob Gerth (REX Workshop, 1989)

The upsilon-Calculus as an Assertion-Language for Fairness Arguments - Frank A. Stomp; Willem P. de Roever; Rob Gerth (Inf. Comput., 1989)

Semantics of Reactive Systems in Abstract Time. - Cornelis Huizing; Rob Gerth (REX Workshop, 1991)

Interface Refinement in Reactive Systems (Extended Abstract). - Rob Gerth; Ruurd Kuiper 001; John Segers (CONCUR, 1992)

Exception Handling in Process Algebra. - Frank S. de Boer; J. Coenen; Rob Gerth (NAPAW, 1992)

Generation of Reduced Models for Checking Fragments of CTL. - Dennis Dams; Orna Grumberg; Rob Gerth (CAV, 1993)

Transformations Preserving Properties and Properties Preserved by Transformations in Fair Transition Systems (Extended Abstract). - Shengzong Zhou; Rob Gerth; Ruurd Kuiper 001 (CONCUR, 1993)

A Compositinal Proof Theory for Fault Tolerant Real-Time Distributed Systems. - Henk Schepers; Rob Gerth (SRDS, 1993)

Model Checking Using Adaptive State and Data Abstraction. - Dennis Dams; Rob Gerth; Gert Döhmen; Ronald Herrmann; Peter Kelb; Hergen Pargmann (CAV, 1994)

Simple on-the-fly automatic verification of linear temporal logic. - Rob Gerth; Doron A. Peled; Moshe Y. Vardi; Pierre Wolper (PSTV, 1995)

Model Checking (Abstract). - Rob Gerth (ILPS, 1997)

The bounded retransmission protocol revisited. - Dennis Dams; Rob Gerth (INFINITY, 1997)

Abstract Interpretation of Reactive Systems. - Dennis Dams; Rob Gerth; Orna Grumberg (ACM Trans. Program. Lang. Syst., 1997)

Partial-order Reduction Techniques for Real-time Model Checking. - Dennis Dams; Rob Gerth; Bart Knaack; Ruurd Kuiper 001 (Formal Aspects Comput., 1998)

Sequential Consistency and the Lazy Caching Algorithm. - Rob Gerth (Distributed Comput., 1999)

A Partial Order Approach to Branching Time Logic Model Checking. - Rob Gerth; Ruurd Kuiper 001; Doron A. Peled; Wojciech Penczek (Inf. Comput., 1999)

Improving Partial Order Reductions for Universal Branching Time Properties. - Wojciech Penczek; Maciej Szreter; Rob Gerth; Ruurd Kuiper 001 (Fundam. Informaticae, 2000)

Model Checking if Your Life Depends on It a View from Intel's Trenches. - Rob Gerth (SPIN, 2001)

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 (TACAS, 2002)