Rob Gerth - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 34 from 34

2002

The ForSpec Temporal Logic: A New Temporal Property-Specification LanguageRoy 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. TACAS 2002: 296-211 [doi]

2001

Model Checking if Your Life Depends on It a View from Intel s TrenchesRob Gerth. spin 2001: 15 [doi]

2000

Improving Partial Order Reductions for Universal Branching Time PropertiesWojciech Penczek, Maciej Szreter, Rob Gerth, Ruurd Kuiper. FUIN, 43(1-4):245-267, 2000.

1999

Sequential Consistency and the Lazy Caching AlgorithmRob Gerth. dc, 12(2-3):57-59, 1999. [doi]

A Partial Order Approach to Branching Time Logic Model CheckingRob Gerth, Ruurd Kuiper, Doron Peled, Wojciech Penczek. iandc, 150(2):132-152, 1999.

1998

Partial-order Reduction Techniques for Real-time Model CheckingDennis Dams, Rob Gerth, Bart Knaack, Ruurd Kuiper. fac, 10(5-6):469-482, 1998. [doi]

1997

The bounded retransmission protocol revisitedDennis Dams, Rob Gerth. ENTCS, 9:26, 1997. [doi]

Abstract Interpretation of Reactive SystemsDennis Dams, Rob Gerth, Orna Grumberg. TOPLAS, 19(2):253-291, 1997. [doi]

Model Checking (Abstract)Rob Gerth. SLP 1997: 39

1995

Simple on-the-fly automatic verification of linear temporal logicRob Gerth, Doron Peled, Moshe Y. Vardi, Pierre Wolper. pstv 1996: 3-18

A Partial Order Approach to Branching Time Logic Model CheckingRob Gerth, Ruurd Kuiper, Doron Peled, Wojciech Penczek. istcs 1995: 130-139

1994

Model Checking Using Adaptive State and Data AbstractionDennis Dams, Rob Gerth, Gert Döhmen, Ronald Herrmann, Peter Kelb, Hergen Pargmann. cav 1994: 455-467

1993

Generation of Reduced Models for Checking Fragments of CTLDennis Dams, Orna Grumberg, Rob Gerth. cav 1993: 479-490

A Compositinal Proof Theory for Fault Tolerant Real-Time Distributed SystemsHenk Schepers, Rob Gerth. srds 1993: 34-43

Transformations Preserving Properties and Properties Preserved by Transformations in Fair Transition Systems (Extended Abstract)Shengzong Zhou, Rob Gerth, Ruurd Kuiper. concur 1993: 353-367

1992

Exception Handling in Process AlgebraFrank S. de Boer, J. Coenen, Rob Gerth. napaw 1993: 86-100

Interface Refinement in Reactive Systems (Extended Abstract)Rob Gerth, Ruurd Kuiper, John Segers. concur 1992: 77-93

1991

Semantics of Reactive Systems in Abstract TimeCornelis Huizing, Rob Gerth. rex 1992: 291-314

1989

Foundations of Compositional Program Refinement - Safety PropertiesRob Gerth. rex 1990: 777-807

Rooting UNITYRob Gerth, Amir Pnueli. iwssd 1989: 11-19 [doi]

Reasoning of real-time distributed programming languagesRudrapatna K. Shyamasundar, Jozef Hooman, Rob Gerth. iwssd 1989: 91-99 [doi]

The upsilon-Calculus as an Assertion-Language for Fairness ArgumentsFrank A. Stomp, Willem P. de Roever, Rob Gerth. iandc, 82(3):278-322, September 1989.

1988

Fully Abstract Denotational Semantics for Flat Concurrent PrologRob Gerth, Michael Codish, Yossi Lichtenstein, Ehud Y. Shapiro. lics 1988: 320-335

Modeling Statecharts Behaviour in a Fully Abstract WayCornelis Huizing, Rob Gerth, Willem P. de Roever. caap 1988: 271-294

Compositional Semantics for Real-Time Distributed ComputingRon Koymans, R. K. Shyamasundar, Willem P. de Roever, Rob Gerth, S. Arun-Kumar. iandc, 79(3):210-256, December 1988.

1987

A Timed Failures Model for Extended Communicating ProcessesRob Gerth, Andy Boucher. icalp 1987: 95-114

Full Abstraction of a Real-Time Denotational Semantics for an Occam-like LanguageCornelis Huizing, Rob Gerth, Willem P. de Roever. POPL 1987: 223-237

1986

On Proving Communication Closedness of Distributed LayersRob Gerth, Liuba Shrira. fsttcs 1986: 330-343

1985

Compositional Semantics for Real-time Distributed ComputingRon Koymans, R. K. Shyamasundar, Willem P. de Roever, Rob Gerth, S. Arun-Kumar. lop 1985: 167-189

1984

A Proof System for Concurrent ADA ProgramsRob Gerth, Willem P. de Roever. SCP, 4(2):159-204, 1984.

Transition Logic: How to Reason About Temporal Properties in a Compositional WayRob Gerth. stoc 1984: 39-50

1982

A Sound and Complete Hoare Axiomatization of the Ada-RendevousRob Gerth. icalp 1982: 252-264

Procedures and concurrency: A study in proofRob Gerth, Willem P. de Roever, Marly Roncken. programm 1982: 132-163

1981

A Proof System for Brinch Hansen s Distributed ProcessesMarly Roncken, Rob Gerth, Willem P. de Roever. gi 1981: 88-95

Sign in or sign up to see more results.

runs on WebDSL