Rob Gerth

According to our database, Rob Gerth authored at least 32 papers between 1981 and 2002.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2002

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002

2001

Model Checking if Your Life Depends on It a View from Intel's Trenches.

Rob Gerth

Proceedings of the Model Checking Software, 2001

2000

Improving Partial Order Reductions for Universal Branching Time Properties.

Wojciech Penczek, Maciej Szreter, Rob Gerth, Ruurd Kuiper

Fundam. Informaticae, 2000

1999

A Partial Order Approach to Branching Time Logic Model Checking.

Rob Gerth, Ruurd Kuiper, Doron A. Peled, Wojciech Penczek

Inf. Comput., 1999

Sequential Consistency and the Lazy Caching Algorithm.

Rob Gerth

Distributed Comput., 1999

1998

Partial-order Reduction Techniques for Real-time Model Checking.

Dennis Dams, Rob Gerth, Bart Knaack, Ruurd Kuiper

Formal Aspects Comput., 1998

1997

Abstract Interpretation of Reactive Systems.

Dennis Dams, Rob Gerth, Orna Grumberg

ACM Trans. Program. Lang. Syst., 1997

The bounded retransmission protocol revisited.

Dennis Dams, Rob Gerth

Proceedings of the Second International Workshop on Verification of Infinite State Systems, 1997

Model Checking (Abstract).

Rob Gerth

Proceedings of the Logic Programming, 1997

1995

Simple on-the-fly automatic verification of linear temporal logic.

Rob Gerth, Doron A. Peled, Moshe Y. Vardi, Pierre Wolper

Proceedings of the Protocol Specification, 1995

1994

Model Checking Using Adaptive State and Data Abstraction.

Dennis Dams, Rob Gerth, Gert Döhmen, Ronald Herrmann, Peter Kelb, Hergen Pargmann

Proceedings of the Computer Aided Verification, 6th International Conference, 1994

1993

A Compositinal Proof Theory for Fault Tolerant Real-Time Distributed Systems.

Henk Schepers, Rob Gerth

Proceedings of the 12th Symposium on Reliable Distributed Systems, 1993

Transformations Preserving Properties and Properties Preserved by Transformations in Fair Transition Systems (Extended Abstract).

Shengzong Zhou, Rob Gerth, Ruurd Kuiper

Proceedings of the CONCUR '93, 1993

Generation of Reduced Models for Checking Fragments of CTL.

Dennis Dams, Orna Grumberg, Rob Gerth

Proceedings of the Computer Aided Verification, 5th International Conference, 1993

1992

Exception Handling in Process Algebra.

Frank S. de Boer, J. Coenen, Rob Gerth

Proceedings of the NAPAW 92, 1992

Interface Refinement in Reactive Systems (Extended Abstract).

Rob Gerth, Ruurd Kuiper, John Segers

Proceedings of the CONCUR '92, 1992

1991

Semantics of Reactive Systems in Abstract Time.

Cornelis Huizing, Rob Gerth

Proceedings of the Real-Time: Theory in Practice, 1991

1989

The upsilon-Calculus as an Assertion-Language for Fairness Arguments

Frank A. Stomp, Willem P. de Roever, Rob Gerth

Inf. Comput., September, 1989

Foundations of Compositional Program Refinement - Safety Properties.

Rob Gerth

Proceedings of the Stepwise Refinement of Distributed Systems, 1989

Reasoning of real-time distributed programming languages.

Rudrapatna K. Shyamasundar, Jozef Hooman, Rob Gerth

Proceedings of the 5th International Workshop on Software Specification and Design, 1989

Rooting UNITY.

Rob Gerth, Amir Pnueli

Proceedings of the 5th International Workshop on Software Specification and Design, 1989

1988

Compositional Semantics for Real-Time Distributed Computing

Ron Koymans, R. K. Shyamasundar, Willem P. de Roever, Rob Gerth, S. Arun-Kumar

Inf. Comput., December, 1988

Fully Abstract Denotational Semantics for Flat Concurrent Prolog

Rob Gerth, Michael Codish, Yossi Lichtenstein, Ehud Shapiro

Proceedings of the Third Annual Symposium on Logic in Computer Science (LICS '88), 1988

Modeling Statecharts Behaviour in a Fully Abstract Way.

Cornelis Huizing, Rob Gerth, Willem P. de Roever

Proceedings of the CAAP '88, 1988

1987

Full Abstraction of a Real-Time Denotational Semantics for an Occam-like Language.

Cornelis Huizing, Rob Gerth, Willem P. de Roever

Proceedings of the Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, 1987

A Timed Failures Model for Extended Communicating Processes.

Rob Gerth, Andy Boucher

Proceedings of the Automata, Languages and Programming, 14th International Colloquium, 1987

1986

On Proving Communication Closedness of Distributed Layers.

Rob Gerth, Liuba Shrira

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1986

1984

A Proof System for Concurrent ADA Programs.

Rob Gerth, Willem P. de Roever

Sci. Comput. Program., 1984

Transition Logic: How to Reason About Temporal Properties in a Compositional Way

Rob Gerth

Proceedings of the 16th Annual ACM Symposium on Theory of Computing, April 30, 1984

1982

Procedures and concurrency: A study in proof.

Rob Gerth, Willem P. de Roever, Marly Roncken

Proceedings of the International Symposium on Programming, 1982

A Sound and Complete Hoare Axiomatization of the Ada-Rendevous.

Rob Gerth

Proceedings of the Automata, 1982

1981

A Proof System for Brinch Hansen's Distributed Processes.

Marly Roncken, Rob Gerth, Willem P. de Roever

Proceedings of the GI, 1981