SCEAS

The SCEAS System

Search the dblp DataBase

Title:
Author:

Rob Gerth: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

Cornelis Huizing, Rob Gerth, Willem P. de Roever
Modeling Statecharts Behaviour in a Fully Abstract Way. [Citation Graph (1, 0)][DBLP]
CAAP, 1988, pp:271-294 [Conf]
Dennis Dams, Rob Gerth, Gert Döhmen, Ronald Herrmann, Peter Kelb, Hergen Pargmann
Model Checking Using Adaptive State and Data Abstraction. [Citation Graph (0, 0)][DBLP]
CAV, 1994, pp:455-467 [Conf]
Dennis Dams, Orna Grumberg, Rob Gerth
Generation of Reduced Models for Checking Fragments of CTL. [Citation Graph (0, 0)][DBLP]
CAV, 1993, pp:479-490 [Conf]
Rob Gerth, Ruurd Kuiper, John Segers
Interface Refinement in Reactive Systems (Extended Abstract). [Citation Graph (0, 0)][DBLP]
CONCUR, 1992, pp:77-93 [Conf]
Shengzong Zhou, Rob Gerth, Ruurd Kuiper
Transformations Preserving Properties and Properties Preserved by Transformations in Fair Transition Systems (Extended Abstract). [Citation Graph (0, 0)][DBLP]
CONCUR, 1993, pp:353-367 [Conf]
Rob Gerth, Liuba Shrira
On Proving Communication Closedness of Distributed Layers. [Citation Graph (0, 0)][DBLP]
FSTTCS, 1986, pp:330-343 [Conf]
Marly Roncken, Rob Gerth, Willem P. de Roever
A Proof System for Brinch Hansen's Distributed Processes. [Citation Graph (0, 0)][DBLP]
GI Jahrestagung, 1981, pp:88-95 [Conf]
Rob Gerth
A Sound and Complete Hoare Axiomatization of the Ada-Rendevous. [Citation Graph (0, 0)][DBLP]
ICALP, 1982, pp:252-264 [Conf]
Rob Gerth, Andy Boucher
A Timed Failures Model for Extended Communicating Processes. [Citation Graph (0, 0)][DBLP]
ICALP, 1987, pp:95-114 [Conf]
Rob Gerth, Ruurd Kuiper, Doron Peled, Wojciech Penczek
A Partial Order Approach to Branching Time Logic Model Checking. [Citation Graph (0, 0)][DBLP]
ISTCS, 1995, pp:130-139 [Conf]
Rob Gerth, Michael Codish, Yossi Lichtenstein, Ehud Y. Shapiro
Fully Abstract Denotational Semantics for Flat Concurrent Prolog [Citation Graph (0, 0)][DBLP]
LICS, 1988, pp:320-335 [Conf]
Ron Koymans, R. K. Shyamasundar, Willem P. de Roever, Rob Gerth, S. Arun-Kumar
Compositional Semantics for Real-time Distributed Computing. [Citation Graph (0, 0)][DBLP]
Logic of Programs, 1985, pp:167-189 [Conf]
Frank S. de Boer, J. Coenen, Rob Gerth
Exception Handling in Process Algebra. [Citation Graph (0, 0)][DBLP]
NAPAW, 1992, pp:86-100 [Conf]
Cornelis Huizing, Rob Gerth, Willem P. de Roever
Full Abstraction of a Real-Time Denotational Semantics for an Occam-like Language. [Citation Graph (0, 0)][DBLP]
POPL, 1987, pp:223-237 [Conf]
Rob Gerth, Willem P. de Roever, Marly Roncken
Procedures and concurrency: A study in proof. [Citation Graph (0, 0)][DBLP]
Symposium on Programming, 1982, pp:132-163 [Conf]
Rob Gerth, Doron Peled, Moshe Y. Vardi, Pierre Wolper
Simple on-the-fly automatic verification of linear temporal logic. [Citation Graph (0, 0)][DBLP]
PSTV, 1995, pp:3-18 [Conf]
Rob Gerth
Foundations of Compositional Program Refinement - Safety Properties. [Citation Graph (0, 0)][DBLP]
REX Workshop, 1989, pp:777-807 [Conf]
Cornelis Huizing, Rob Gerth
Semantics of Reactive Systems in Abstract Time. [Citation Graph (0, 0)][DBLP]
REX Workshop, 1991, pp:291-314 [Conf]
Rob Gerth
Model Checking (Abstract). [Citation Graph (0, 0)][DBLP]
ILPS, 1997, pp:39- [Conf]
Rob Gerth
Model Checking if Your Life Depends on It a View from Intel's Trenches. [Citation Graph (0, 0)][DBLP]
SPIN, 2001, pp:15- [Conf]
Henk Schepers, Rob Gerth
A Compositinal Proof Theory for Fault Tolerant Real-Time Distributed Systems. [Citation Graph (0, 0)][DBLP]
Symposium on Reliable Distributed Systems, 1993, pp:34-43 [Conf]
Rob Gerth
Transition Logic: How to Reason About Temporal Properties in a Compositional Way [Citation Graph (0, 0)][DBLP]
STOC, 1984, pp:39-50 [Conf]
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. [Citation Graph (0, 0)][DBLP]
TACAS, 2002, pp:296-211 [Conf]
Rob Gerth
Sequential Consistency and the Lazy Caching Algorithm. [Citation Graph (0, 0)][DBLP]
Distributed Computing, 1999, v:12, n:2-3, pp:57-59 [Journal]
Dennis Dams, Rob Gerth
The bounded retransmission protocol revisited. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 1997, v:9, n:, pp:- [Journal]
Dennis Dams, Rob Gerth, Bart Knaack, Ruurd Kuiper
Partial-order Reduction Techniques for Real-time Model Checking. [Citation Graph (0, 0)][DBLP]
Formal Asp. Comput., 1998, v:10, n:5-6, pp:469-482 [Journal]
Wojciech Penczek, Maciej Szreter, Rob Gerth, Ruurd Kuiper
Improving Partial Order Reductions for Universal Branching Time Properties. [Citation Graph (0, 0)][DBLP]
Fundam. Inform., 2000, v:43, n:1-4, pp:245-267 [Journal]
Rob Gerth, Ruurd Kuiper, Doron Peled, Wojciech Penczek
A Partial Order Approach to Branching Time Logic Model Checking. [Citation Graph (0, 0)][DBLP]
Inf. Comput., 1999, v:150, n:2, pp:132-152 [Journal]
Ron Koymans, R. K. Shyamasundar, Willem P. de Roever, Rob Gerth, S. Arun-Kumar
Compositional Semantics for Real-Time Distributed Computing [Citation Graph (0, 0)][DBLP]
Inf. Comput., 1988, v:79, n:3, pp:210-256 [Journal]
Frank A. Stomp, Willem P. de Roever, Rob Gerth
The upsilon-Calculus as an Assertion-Language for Fairness Arguments [Citation Graph (0, 0)][DBLP]
Inf. Comput., 1989, v:82, n:3, pp:278-322 [Journal]
Rob Gerth, Willem P. de Roever
A Proof System for Concurrent ADA Programs. [Citation Graph (0, 0)][DBLP]
Sci. Comput. Program., 1984, v:4, n:2, pp:159-204 [Journal]
Dennis Dams, Rob Gerth, Orna Grumberg
Abstract Interpretation of Reactive Systems. [Citation Graph (0, 0)][DBLP]
ACM Trans. Program. Lang. Syst., 1997, v:19, n:2, pp:253-291 [Journal]

Search in 0.003secs, Finished in 0.005secs

NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades

NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP