dblp.uni-trier.dewww.uni-trier.de

Rob Gerth Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Roy Armoni [33]
2S. Arun-Kumar [6] [10]
3Frank S. de Boer [16]
4Andy Boucher (Andrew Boucher) [9]
5Michael Codish [11]
6J. Coenen [16]
7Dennis Dams [20] [21] [24] [25] [27] [30]
8Gert Döhmen [21]
9Limor Fix [33]
10Alon Flaisher [33]
11Boris Ginsburg [33]
12Orna Grumberg [20] [25]
13Ronald Herrmann [21]
14Cornelis Huizing (Kees Huizing) [8] [12] [15]
15Tomer Kanza [33]
16Peter Kelb [21]
17Bart Knaack [27]
18Ron Koymans [6] [10]
19Ruurd Kuiper [17] [19] [23] [27] [28] [31]
20Avner Landver [33]
21Stefan Leue [30]
22Yossi Lichtenstein [11]
23Sela Mador-Haim [33]
24Mieke Massink [30]
25Hergen Pargmann [21]
26Doron Peled [22] [23] [28]
27Wojciech Penczek [23] [28] [31]
28Willem P. de Roever [1] [2] [4] [6] [8] [10] [12] [13]
29Marly Roncken [1] [2]
30Henk Schepers [18]
31John Segers [17]
32Ehud Y. Shapiro [11]
33Liuba Shrira [7]
34R. K. Shyamasundar [6] [10]
35Eli Singerman [33]
36Frank A. Stomp [13]
37Maciej Szreter [31]
38Andreas Tiemeyer [33]
39Moshe Y. Vardi [22] [33]
40Pierre Wolper [22]
41Yael Zbar [33]
42Shengzong Zhou [19]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)