Ruurd Kuiper

2008
26	EE	Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit: Invariants for Non-Hierarchical Object Structures. Electr. Notes Theor. Comput. Sci. 195: 211-229 (2008)
25	EE	Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit: Specification and Verification of Invariants by Exploiting Layers in OO Designs. Fundam. Inform. 85(1-4): 377-398 (2008)
2006
24	EE	Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit: Cooperation-based Invariants for OO Languages. Electr. Notes Theor. Comput. Sci. 160: 225-237 (2006)
2005
23		Cornelis Huizing, Ruurd Kuiper, Teade Punter, Alexander Serebrenik: Looking for Stability. DDoPS 2005: 31-44
2003
22	EE	Ella E. Roubtsova, Ruurd Kuiper: Process Semantics for UML Component Specifications to Assess Inheritance. Electr. Notes Theor. Comput. Sci. 72(3): (2003)
2002
21	EE	Ella E. Roubtsova, L. C. M. van Gool, Ruurd Kuiper, H. B. M. Jonkers: Consistent specification of interface suites in UML. Software and System Modeling 1(2): 98-112 (2002)
2001
20	EE	Ella E. Roubtsova, L. C. M. van Gool, Ruurd Kuiper, H. B. M. Jonkers: A Specification Model for Interface Suites. UML 2001: 457-471
2000
19	EE	Kees Huizing, Ruurd Kuiper: Verification of Object Oriented Programs Using Class Invariants. FASE 2000: 208-221
18		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
17		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
16	EE	Frank Dignum, Ruurd Kuiper: Obligations and Dense Time for Specifying Deadlines. HICSS (5) 1998: 186-195
15	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
14	EE	Frank Dignum, Ruurd Kuiper: Combining Dynamic Deontic Logic and Temporal Logic for the Specification of Deadlines. HICSS (5) 1997: 336-346
1996
13		Frank Dignum, John-Jules Ch. Meyer, Roel Wieringa, Ruurd Kuiper: A Modal Approach to Intentions, Commitments and Obligations: Intention plus Commitment Yields Obligation. DEON 1996: 80-97
12		Ping Zhou, Jozef Hooman, Ruurd Kuiper: Compositional Verification of Real-Time Systems with Explicit Clock Temporal Logic. Formal Asp. Comput. 8(3): 294-323 (1996)
1995
11		Rob Gerth, Ruurd Kuiper, Doron Peled, Wojciech Penczek: A Partial Order Approach to Branching Time Logic Model Checking. ISTCS 1995: 130-139
1993
10		Shengzong Zhou, Rob Gerth, Ruurd Kuiper: Transformations Preserving Properties and Properties Preserved by Transformations in Fair Transition Systems (Extended Abstract). CONCUR 1993: 353-367
1992
9		Ursula Goltz, Ruurd Kuiper, Wojciech Penczek: Propositional Temporal Logics and Equivalences. CONCUR 1992: 222-236
8		Rob Gerth, Ruurd Kuiper, John Segers: Interface Refinement in Reactive Systems (Extended Abstract). CONCUR 1992: 77-93
1989
7		Eduard Diepstraten, Ruurd Kuiper: Abadi & Lamport and Stark: towards a Proof Theory for Stuttering, Dense Domains and Refinement Mappings. REX Workshop 1989: 208-238
1988
6		Ron Koymans, Ruurd Kuiper, Erik Zijstra: Paradigms for Real-time Systems. FTRTFT 1988: 159-174
1987
5		Ruurd Kuiper: Enforcing Nondeterminism via Linear Time Temporal Logic Specifications using Hiding. Temporal Logic in Specification 1987: 295-303
1986
4		Howard Barringer, Ruurd Kuiper, Amir Pnueli: A Really Abstract Concurrent Model and its Temporal Logic. POPL 1986: 173-183
1984
3		Howard Barringer, Ruurd Kuiper, Amir Pnueli: Now You May Compose Temporal Logic Specifications STOC 1984: 51-63
2		Howard Barringer, Ruurd Kuiper: Hierarchical Development of Cncurrent Systems in a Temporal Logic Framework. Seminar on Concurrency 1984: 35-61
1983
1		Howard Barringer, Ruurd Kuiper: Towards the Hierarchical, Temporal Logic, Specification. The Analysis of Concurrent Systems 1983: 157-183

Coauthor Index

1	Howard Barringer	[1] [2] [3] [4]
2	Dennis Dams	[15]
3	Eduard Diepstraten	[7]
4	Frank Dignum (F. P. M. Dignum)	[13] [14] [16]
5	Rob Gerth	[8] [10] [11] [15] [17] [18]
6	Ursula Goltz	[9]
7	L. C. M. van Gool	[20] [21]
8	Jozef Hooman	[12]
9	Cornelis Huizing (Kees Huizing)	[19] [23] [24] [25] [26]
10	H. B. M. Jonkers (Hans Jonkers)	[20] [21]
11	Bart Knaack	[15]
12	Ron Koymans	[6]
13	Erik J. Luit	[24] [25] [26]
14	John-Jules Ch. Meyer	[13]
15	Ronald Middelkoop	[24] [25] [26]
16	Doron Peled	[11] [17]
17	Wojciech Penczek	[9] [11] [17] [18]
18	Amir Pnueli	[3] [4]
19	Teade Punter	[23]
20	Ella E. Roubtsova	[20] [21] [22]
21	John Segers	[8]
22	Alexander Serebrenik	[23]
23	Maciej Szreter	[18]
24	Roel Wieringa	[13]
25	Ping Zhou	[12]
26	Shengzong Zhou	[10]
27	Erik Zijstra	[6]

Colors in the list of coauthors