Rob Gerth

Publication Activity (10 Years)

Years Active: 1981-2002
Publications (10 Years): 0

Publications

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
The ForSpec Temporal Logic: A New Temporal Property-Specification Language. TACAS (2002)
Rob Gerth
Model Checking if Your Life Depends on It a View from Intel's Trenches. SPIN (2001)
Wojciech Penczek, Maciej Szreter, Rob Gerth, Ruurd Kuiper
Improving Partial Order Reductions for Universal Branching Time Properties. Fundam. Informaticae 43 (1-4) (2000)
Rob Gerth, Ruurd Kuiper, Doron A. Peled, Wojciech Penczek
A Partial Order Approach to Branching Time Logic Model Checking. Inf. Comput. 150 (2) (1999)
Rob Gerth
Sequential Consistency and the Lazy Caching Algorithm. Distributed Comput. 12 (2-3) (1999)
Dennis Dams, Rob Gerth, Bart Knaack, Ruurd Kuiper
Partial-order Reduction Techniques for Real-time Model Checking. Formal Aspects Comput. 10 (5-6) (1998)
Dennis Dams, Rob Gerth
The bounded retransmission protocol revisited. INFINITY (1997)
Rob Gerth
Model Checking (Abstract). ILPS (1997)
Dennis Dams, Rob Gerth, Orna Grumberg
Abstract Interpretation of Reactive Systems. ACM Trans. Program. Lang. Syst. 19 (2) (1997)
Rob Gerth, Ruurd Kuiper, Doron A. Peled, Wojciech Penczek
A Partial Order Approach to Branching Time Logic Model Checking. ISTCS (1995)
Rob Gerth, Doron A. Peled, Moshe Y. Vardi, Pierre Wolper
Simple on-the-fly automatic verification of linear temporal logic. PSTV (1995)
Dennis Dams, Rob Gerth, Gert Döhmen, Ronald Herrmann, Peter Kelb, Hergen Pargmann
Model Checking Using Adaptive State and Data Abstraction. CAV (1994)
Dennis Dams, Orna Grumberg, Rob Gerth
Generation of Reduced Models for Checking Fragments of CTL. CAV (1993)
Henk Schepers, Rob Gerth
A Compositinal Proof Theory for Fault Tolerant Real-Time Distributed Systems. SRDS (1993)
Shengzong Zhou, Rob Gerth, Ruurd Kuiper
Transformations Preserving Properties and Properties Preserved by Transformations in Fair Transition Systems (Extended Abstract). CONCUR (1993)
Rob Gerth, Ruurd Kuiper, John Segers
Interface Refinement in Reactive Systems (Extended Abstract). CONCUR (1992)
Frank S. de Boer, J. Coenen, Rob Gerth
Exception Handling in Process Algebra. NAPAW (1992)
Cornelis Huizing, Rob Gerth
Semantics of Reactive Systems in Abstract Time. REX Workshop (1991)
Frank A. Stomp, Willem P. de Roever, Rob Gerth
The upsilon-Calculus as an Assertion-Language for Fairness Arguments Inf. Comput. 82 (3) (1989)
Rudrapatna K. Shyamasundar, Jozef Hooman, Rob Gerth
Reasoning of real-time distributed programming languages. IWSSD (1989)
Rob Gerth
Foundations of Compositional Program Refinement - Safety Properties. REX Workshop (1989)
Rob Gerth, Amir Pnueli
Rooting UNITY. IWSSD (1989)
Cornelis Huizing, Rob Gerth, Willem P. de Roever
Modeling Statecharts Behaviour in a Fully Abstract Way. CAAP (1988)
Rob Gerth, Michael Codish, Yossi Lichtenstein, Ehud Shapiro
Fully Abstract Denotational Semantics for Flat Concurrent Prolog LICS (1988)
Ron Koymans, R. K. Shyamasundar, Willem P. de Roever, Rob Gerth, S. Arun-Kumar
Compositional Semantics for Real-Time Distributed Computing Inf. Comput. 79 (3) (1988)
Cornelis Huizing, Rob Gerth, Willem P. de Roever
Full Abstraction of a Real-Time Denotational Semantics for an Occam-like Language. POPL (1987)
Rob Gerth, Andy Boucher
A Timed Failures Model for Extended Communicating Processes. ICALP (1987)
Rob Gerth, Liuba Shrira
On Proving Communication Closedness of Distributed Layers. FSTTCS (1986)
Ron Koymans, R. K. Shyamasundar, Willem P. de Roever, Rob Gerth, S. Arun-Kumar
Compositional Semantics for Real-time Distributed Computing. Logic of Programs (1985)
Rob Gerth
Transition Logic: How to Reason About Temporal Properties in a Compositional Way STOC (1984)
Rob Gerth, Willem P. de Roever
A Proof System for Concurrent ADA Programs. Sci. Comput. Program. 4 (2) (1984)
Rob Gerth
A Sound and Complete Hoare Axiomatization of the Ada-Rendevous. ICALP (1982)
Rob Gerth, Willem P. de Roever, Marly Roncken
Procedures and concurrency: A study in proof. Symposium on Programming (1982)
Marly Roncken, Rob Gerth, Willem P. de Roever
A Proof System for Brinch Hansen's Distributed Processes. GI Jahrestagung (1981)