Rob Gerth

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