Arend Rensink

2007
53	EE	Arend Rensink, Reiko Heckel, Barbara König: Preface. Electr. Notes Theor. Comput. Sci. 175(4): 1-2 (2007)
52	EE	Arend Rensink, Walter Vogler: Fair testing. Inf. Comput. 205(2): 125-198 (2007)
2006
51		Arend Rensink, Jos Warmer: Model Driven Architecture - Foundations and Applications, Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006, Proceedings Springer 2006
50	EE	Arend Rensink: Model Checking Quantified Computation Tree Logic. CONCUR 2006: 110-125
49	EE	Harmen Kastenberg, Anneke Kleppe, Arend Rensink: Defining Object-Oriented Execution Semantics Using Graph Transformations. FMOODS 2006: 186-201
48	EE	Arend Rensink: Nested Quantification in Graph Transformation Rules. ICGT 2006: 1-13
47	EE	Annegret Habel, Karl-Heinz Pennemann, Arend Rensink: Weakest Preconditions for High-Level Programs. ICGT 2006: 445-460
46	EE	Harmen Kastenberg, Arend Rensink: Model Checking Dynamic States in GROOVE. SPIN 2006: 299-305
45	EE	Ruben Smelik, Arend Rensink, Harmen Kastenberg: Specification and Construction of Control Flow Semantics. VL/HCC 2006: 65-72
44	EE	Arend Rensink, Reiko Heckel, Barbara König: Preface. Electr. Notes Theor. Comput. Sci. 154(2): 1-5 (2006)
43	EE	Arend Rensink, Dino Distefano: Abstract Graph Transformation. Electr. Notes Theor. Comput. Sci. 157(1): 39-59 (2006)
2005
42		Uwe Aßmann, Mehmet Aksit, Arend Rensink: Model Driven Architecture, European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003 and Linköping, Sweden, June 10-11, 2004, Revised Selected Papers Springer 2005
41	EE	Val Jones, Arend Rensink, Ed Brinksma: Modelling mobile health systems: an application of augmented MDA for the extended healthcare enterprise.. EDOC 2005: 58-69
40	EE	Gabriele Taentzer, Arend Rensink: Ensuring Structural Constraints in Graph-Based Models with Type Inheritance. FASE 2005: 64-79
39	EE	Dino Distefano, Joost-Pieter Katoen, Arend Rensink: Safety and Liveness in Concurrent Pointer Programs. FMCO 2005: 280-312
38	EE	Machiel van der Bijl, Arend Rensink, Jan Tretmans: Action Refinement in Conformance Testing. TestCom 2005: 81-96
2004
37	EE	Arend Rensink: Canonical Graph Shapes. ESOP 2004: 401-415
36	EE	Dino Distefano, Joost-Pieter Katoen, Arend Rensink: Who is Pointing When to Whom? FSTTCS 2004: 250-262
35	EE	Paolo Baldan, Barbara König, Arend Rensink: Summary 2: Graph Grammar Verification through Abstraction. Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems 2004
34	EE	Arend Rensink, Ákos Schmidt, Dániel Varró: Model Checking Graph Transformations: A Comparison of Two Approaches. ICGT 2004: 226-241
33	EE	Arend Rensink: Representing First-Order Logic Using Graphs. ICGT 2004: 319-335
32	EE	Arend Rensink: Subjects, Models, Languages, Transformations. Language Engineering for Model-Driven Software Development 2004
2003
31	EE	Arend Rensink: The GROOVE Simulator: A Tool for State Space Generation. AGTIVE 2003: 479-485
30	EE	Arend Rensink: AGTIVE'03: Summary from the Outside In. AGTIVE 2003: 486-488
29	EE	Machiel van der Bijl, Arend Rensink, Jan Tretmans: Compositional Testing with ioco. FATES 2003: 86-100
2002
28		Bart Jacobs, Arend Rensink: Formal Methods for Open Object-Based Distributed Systems V, IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), March 20-22, 2002, Enschede, The Netherlands Kluwer 2002
27		Dino Distefano, Arend Rensink, Joost-Pieter Katoen: Model Checking Birth and Death. IFIP TCS 2002: 435-447
2001
26	EE	Arend Rensink, Heike Wehrheim: Process algebra with action dependencies. Acta Inf. 38(3): 155-234 (2001)
25		Arend Rensink, Roberto Gorrieri: Vertical Implementation. Inf. Comput. 170(1): 95-133 (2001)
2000
24	EE	Arend Rensink: Action Contraction. CONCUR 2000: 290-304
23		Dino Distefano, Joost-Pieter Katoen, Arend Rensink: On a Temporal Logic for Object-Based Systems. FMOODS 2000: 285-304
22		Arend Rensink: Bisimilarity of Open Terms. Inf. Comput. 156(1-2): 345-385 (2000)
1998
21		Thomas Firley, Thomas Gehrke, Arend Rensink: Spezifikation eines RPC-Speichers mit der Sprache ProFun. FBT 1998: 136-147
20		Thomas Gehrke, Michaela Huhn, Peter Niebert, Arend Rensink, Heike Wehrheim: A Process Algebra Semantics for MSC Including Conditions. FBT 1998: 185-196
19		Thomas Gehrke, Michaela Huhn, Arend Rensink, Heike Wehrheim: An Algebraic Semantics for Message Sequence Chart Documents. FORTE 1998: 3-18
1997
18		Arend Rensink, Roberto Gorrieri: Action refinement for Vertical Implementation. FBT 1997: 69-78
17		Arend Rensink, Heike Wehrheim: Dependency-Based Action Refinement. MFCS 1997: 468-477
16		Arend Rensink, Roberto Gorrieri: Action Refinement as an Implementation Relations. TAPSOFT 1997: 772-786
15	EE	Arend Rensink: Bisimilarity of open terms. Electr. Notes Theor. Comput. Sci. 7: (1997)
14	EE	Thomas Gehrke, Arend Rensink: Process creation and full sequential composition in a name-passing calculus. Electr. Notes Theor. Comput. Sci. 7: (1997)
1996
13		Arend Rensink: Denotational, Causal, and Operational Determinism in Event Structures. CAAP 1996: 272-286
12		Ed Brinksma, Arend Rensink, Walter Vogler: Applications of Fair Testing. FORTE 1996: 145-160
11		Ursula Goltz, Roberto Gorrieri, Arend Rensink: Comparing Syntactic and Semantic Sction Refinement. Inf. Comput. 125(2): 118-143 (1996)
10		Arend Rensink: Algebra and Theory of Order-Deterministic Pomsets. Notre Dame Journal of Formal Logic 37(2): 283-320 (1996)
1995
9		Arend Rensink: A Complete Theory of Deterministic Event Structures. CONCUR 1995: 160-174
8		Ed Brinksma, Arend Rensink, Walter Vogler: Fair Testing. CONCUR 1995: 313-327
1994
7		Arend Rensink, Heike Wehrheim: Weak Sequential Composition in Process Algebras. CONCUR 1994: 226-241
6		Arend Rensink: Methodological Aspects of Action Refinement. PROCOMET 1994: 227-246
5		Ursula Goltz, Roberto Gorrieri, Arend Rensink: On Syntactic and Semantic Action Refinement. TACS 1994: 385-404
4		Ursula Goltz, Arend Rensink: Finite Petri Nets as Models for Recursive Causal Behaviour. Theor. Comput. Sci. 124(1): 169-179 (1994)
1993
3		Arend Rensink: Order isomorphism odes not preserve global event independence. Bulletin of the EATCS 49: 228-235 (1993)
2		Arend Rensink: Order isomorphism odes not preserve global event independence. Bulletin of the EATCS 51: 228-235 (1993)
1992
1		Arend Rensink: Posets for Configurations! CONCUR 1992: 269-285

Coauthor Index

1	Mehmet Aksit	[42]
2	Uwe Aßmann	[42]
3	Paolo Baldan	[35]
4	Machiel van der Bijl	[29] [38]
5	Ed Brinksma	[8] [12] [41]
6	Dino Distefano	[23] [27] [36] [39] [43]
7	Thomas Firley	[21]
8	Thomas Gehrke	[14] [19] [20] [21]
9	Ursula Goltz	[4] [5] [11]
10	Roberto Gorrieri	[5] [11] [16] [18] [25]
11	Annegret Habel	[47]
12	Reiko Heckel	[44] [53]
13	Michaela Huhn	[19] [20]
14	Bart Jacobs	[28]
15	Val Jones	[41]
16	Harmen Kastenberg	[45] [46] [49]
17	Joost-Pieter Katoen	[23] [27] [36] [39]
18	Anneke Kleppe	[49]
19	Barbara König	[35] [44] [53]
20	Peter Niebert	[20]
21	Karl-Heinz Pennemann	[47]
22	Ákos Schmidt	[34]
23	Ruben Smelik	[45]
24	Gabriele Taentzer	[40]
25	Jan Tretmans	[29] [38]
26	Dániel Varró	[34]
27	Walter Vogler	[8] [12] [52]
28	Jos Warmer	[51]
29	Heike Wehrheim	[7] [17] [19] [20] [26]

Colors in the list of coauthors