Rob Gerth

发表

Abstract Interpretation of Reactive Systems: Abstractions Preserving 'I1CTL *. 3CTL * and CTL *

Orna Grumberg, Dennis Dams, Rob Gerth, 1994 .

A Proof System for Brinch Hansen's Distributed Processes

Marly Roncken, Willem P. de Roever, Rob Gerth, 1981, GI Jahrestagung.

Semantics of Reactive Systems in Abstract Time

Rob Gerth, Cornelis Huizing, C. Huizing, 1991, REX Workshop.

A partial order approach to branching time logic model checking

Wojciech Penczek, Doron A. Peled, Ruurd Kuiper, 1995, Proceedings Third Israel Symposium on the Theory of Computing and Systems.

Procedures and concurrency: A study in proof

Marly Roncken, Willem P. de Roever, Rob Gerth, 1982, Symposium on Programming.

A Sound and Complete Hoare Axiomatization of the Ada-Rendevous

Rob Gerth, 1982, ICALP.

Formal Methods and Tools for the Development of Distributed and Real Time Systems: SPEC -- Esprit Project 3096 (Extended Abstract)

Pierre Wolper, Dov M. Gabbay, Amir Pnueli, 1990 .

Interface Refinement in Reactive Systems (Extended Abstract)

Ruurd Kuiper, Rob Gerth, John Segers, 1992, CONCUR.

Model checking if your life depends on it: a view from Intel's trenches

Rob Gerth, 2001, SPIN '01.

Full abstraction of a denotational semantics for real-time concurrency

W. P. de Roever, Rob Gerth, Cornelis Huizing, 1986 .

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

Willem P. de Roever, Frank A. Stomp, Rob Gerth, 1989, Inf. Comput..

Verifying Sequentially Consistent Memory Problem Definition

Rob Gerth, 1993 .

Abstract interpretation of reactive systems : abstractions preserving ..

Orna Grumberg, Dennis Dams, Rob Gerth, 1994 .

Full abstraction of a real-time denotational semantics for an OCCAM-like language

Willem P. de Roever, Rob Gerth, Cornelis Huizing, 1987, POPL '87.

Partial-order Reduction Techniques for Real-time Model Checking

Ruurd Kuiper, Dennis Dams, Rob Gerth, 1998, Formal Aspects of Computing.

Verifying sequentially consistent memory

Amir Pnueli, Bengt Jonsson, Mannes Poel, 1994 .

A Proof System for Concurrent ADA Programs

Willem P. de Roever, Rob Gerth, W. P. Roever, 1984, Sci. Comput. Program..

Sequential consistency and the lazy caching algorithm

Rob Gerth, 1999, Distributed Computing.

Fully abstract denotational semantics for flat Concurrent Prolog

Michael Codish, Ehud Shapiro, Yossi Lichtenstein, 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.

Improving Partial Order Reductions for Universal Branching Time Properties

Wojciech Penczek, Ruurd Kuiper, Maciej Szreter, 2000, Fundam. Informaticae.

Model Checking (Abstract)

Rob Gerth, 1997, ILPS.

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

Ruurd Kuiper, Rob Gerth, Shengzong Zhou, 1993, CONCUR.

Foundations of Compositional Program Refinement - Safety Properties

Rob Gerth, R. Gerth, 1989, REX Workshop.

Transition logic: How to reason about temporal properties in a compositional way

Rob Gerth, 1984, STOC '84.

Compositional Semantics for Real-Time Distributed Computing

Willem P. de Roever, R. K. Shyamasundar, Ron Koymans, 1985, Inf. Comput..

Exception Handling in Process Algebra

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

The bounded retransmission protocol revisited

Dennis Dams, Rob Gerth, 1997, INFINITY.

Formal methods and tools for the development of distributed and real time systems : Esprit Project 3096 (SPEC)

Pierre Wolper, Dov M. Gabbay, Amir Pnueli, 1990 .

A partial order approach to branching time logic model checking

Wojciech Penczek, Doron A. Peled, Ruurd Kuiper, 1995, Proceedings Third Israel Symposium on the Theory of Computing and Systems.

Compositional Semantics for Real-time Distributed Computing

Willem P. de Roever, R. K. Shyamasundar, Ron Koymans, 1985, Logic of Programs.

A compositional proof theory for fault tolerant real-time distributed systems

Henk Schepers, Rob Gerth, R. Gerth, 1993, Proceedings of 1993 IEEE 12th Symposium on Reliable Distributed Systems.

Theoretical and Practical Aspects of SPIN Model Checking

Mieke Massink, Stefan Leue, Dennis Dams, 1999, Lecture Notes in Computer Science.

A Denotational Semantics for Synchronous and Asynchronous Behavior with Multiform Time

Marly Roncken, Rob Gerth, 1990 .

A Timed Failures Model for Extended Communicating Processes

Andy Boucher, Rob Gerth, R. Gerth, 1987, ICALP.

The ForSpec Temporal Logic: A New Temporal Property-Specification Language

Avner Landver, Moshe Y. Vardi, Boris Ginsburg, 2002, TACAS.

Abstract interpretation of reactive systems

Orna Grumberg, Dennis Dams, Rob Gerth, 1997, TOPL.

A study in distributed systems and Dutch patriotism

Rob Gerth, W-P de Roever, W. P. Roever, 1982 .

On Proving Communication Closedness of Distributed Layers

Liuba Shrira, Rob Gerth, L. Shrira, 1986, FSTTCS.

Model Checking Using Adaptive State and Data Abstraction

Hergen Pargmann, Dennis Dams, Rob Gerth, 1994, CAV.

Generation of Reduced Models for Checking Fragments of CTL

Orna Grumberg, Dennis Dams, Rob Gerth, 1993, CAV.

Proving monitors revisited : a first step towards verifying object oriented systems

W. P. de Roever, Rob Gerth, 1986 .

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

Pierre Wolper, Doron A. Peled, Moshe Y. Vardi, 1995, PSTV.

Model checking (tutorial)

Rob Gerth, 1997, ICLP 1997.

Abstract interpretation of reactive systems : abstractions preserving ..

Orna Grumberg, Rob Gerth, 1994 .

Practical symbolic model checking of the full µ-calculus using compositional abstractions

Dennis Dams, Rob Gerth, Peter Kelb, 1995 .

The $\mu$-calculus as an insertion-language for fairness arguments

Frank A. Stomp, W. P. de Roever, Rob Gerth, 1989 .