Rob Gerth

2002
33	EE	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. TACAS 2002: 296-211
2001
32	EE	Rob 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
29	EE	Rob 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
27	EE	Dennis 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
25	EE	Dennis Dams, Rob Gerth, Orna Grumberg: Abstract Interpretation of Reactive Systems. ACM Trans. Program. Lang. Syst. 19(2): 253-291 (1997)
24	EE	Dennis 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
21		Dennis 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
20		Dennis Dams, Orna Grumberg, Rob Gerth: Generation of Reduced Models for Checking Fragments of CTL. CAV 1993: 479-490
19		Shengzong 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
17		Rob 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
15		Cornelis Huizing, Rob Gerth: Semantics of Reactive Systems in Abstract Time. REX Workshop 1991: 291-314
1989
14		Rob 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
12		Cornelis 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
9		Rob 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
7		Rob 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
3		Rob 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

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

Colors in the list of coauthors