Arend Rensink

Amir Hossein Ghamarian, Arend Rensink: Graph Passing in Graph Transformation. ECEASST 47 (2012)

Arash Jalali, Arend Rensink, Amir Hossein Ghamarian: Incremental Pattern Matching for Regular Expressions. ECEASST 47 (2012)

Arend Rensink, Grzegorz Rozenberg, Andy Schürr: Preface. Fundam. Inform. 118(1-2) (2012)

Amir Hossein Ghamarian, Maarten de Mol, Arend Rensink, Eduardo Zambon, Maria Zimakova: Modelling and analysis using GROOVE. STTT 14(1): 15-40 (2012)

Maarten de Mol, Arend Rensink, James J. Hunt: Graph Transforming Java Data. FASE 2012: 209-223

Arend Rensink, Eduardo Zambon: Pattern-Based Graph Abstraction. ICGT 2012: 66-80

Amir Hossein Ghamarian, Arend Rensink: Generalised Compositionality in Graph Transformation. ICGT 2012: 234-248

Eduardo Zambon, Arend Rensink: Graph Subsumption in Abstract State Space Exploration. GRAPHITE 2012: 35-49

Eduardo Zambon, Arend Rensink: Using Graph Transformations and Graph Abstractions for Software Verification. ECEASST 38 (2011)

Ismênia Galvão, Eduardo Zambon, Arend Rensink, Lesley Wevers, Mehmet Aksit: Knowledge-Based Graph Exploration Analysis. AGTIVE 2011: 105-120

Arend Rensink, Eduardo Zambon: Solving the TTC 2011 Compiler Optimization Case with GROOVE. TTC 2011: 126-130

Amir Hossein Ghamarian, Maarten de Mol, Arend Rensink, Eduardo Zambon: Saying Hello World with GROOVE - A Solution to the TTC 2011 Instructive Case. TTC 2011: 215-222

Maarten de Mol, Arend Rensink: On A Graph Formalism for Ordered Edges. ECEASST 29 (2010)

Stefan Blom, Gijs Kant, Arend Rensink: Distributed Graph-Based State Space Generation. ECEASST 32 (2010)

Amir Hossein Ghamarian, Arash Jalali, Arend Rensink: Incremental Pattern Matching in Graph-Based State Space Exploration. ECEASST 32 (2010)

Arend Rensink, Eduardo Zambon: Neighbourhood Abstraction in GROOVE. ECEASST 32 (2010)

Arend Rensink, Pieter Van Gorp: Graph transformation tool contest 2008. STTT 12(3-4): 171-181 (2010)

Arend Rensink: The Edge of Graph Transformation - Graphs for Behavioural Specification. Graph Transformations and Model-Driven Engineering 2010: 6-32

Arend Rensink: Compositionality in Graph Transformation. ICALP (2) 2010: 309-320

Mathias Hülsbusch, Barbara König, Arend Rensink, Maria Semenyak, Christian Soltenborn, Heike Wehrheim: Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques. IFM 2010: 183-198

Hartmut Ehrig, Arend Rensink, Grzegorz Rozenberg, Andy Schürr (Eds.): Graph Transformations - 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27 - - October 2, 2010. Proceedings. Lecture Notes in Computer Science 6372, Springer 2010, isbn 978-3-642-15927-5

Iovka Boneva, Jörg Kreiker, Marcos E. Kurbán, Arend Rensink: Graph Abstraction for a Modal Logic. Bulletin of the EATCS 97: 106-116 (2009)

Arend Rensink, Jan-Hendrik Kuperus: Repotting the Geraniums: On Nested Graph Transformation Rules. ECEASST 18 (2009)

Ruzanna Chitchyan, Johan Fabry, Shmuel Katz, Arend Rensink: Editorial for Special Section on Dependencies and Interactions with Aspects. T. Aspect-Oriented Software Development 5: 133-134 (2009)

Mehmet Aksit, Arend Rensink, Tom Staijen: A graph-transformation-based simulation approach for analysing aspect interference on shared join points. AOSD 2009: 39-50

Tom Staijen, Arend Rensink: Graph-based specification and simulation of featherweight Java with around advice. FOAL 2009: 25-30

Arend Rensink, Eduardo Zambon: A Type Graph Model for Java Programs. FMOODS/FORTE 2009: 237-242

Richard F. Paige, Alan Hartman, Arend Rensink (Eds.): Model Driven Architecture - Foundations and Applications, 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings. Lecture Notes in Computer Science 5562, Springer 2009, isbn 978-3-642-02673-7

Arend Rensink, Anneke Kleppe: On a Graph-Based Semantics for UML Class and Object Diagrams. ECEASST 10 (2008)

Arend Rensink, Ronald Nederpel: Graph Transformation Semantics for a QVT Language. Electr. Notes Theor. Comput. Sci. 211: 51-62 (2008)

Barbara König, Arend Rensink, Reiko Heckel: Preface. Electr. Notes Theor. Comput. Sci. 213(1): 1-2 (2008)

Pepijn Crouzen, Jaco van de Pol, Arend Rensink: Applying formal methods to gossiping networks with mCRL and groove. SIGMETRICS Performance Evaluation Review 36(3): 7-16 (2008)

Arend Rensink: Explicit State Model Checking for Graph Grammars. Concurrency, Graphs and Models 2008: 114-132

Harmen Kastenberg, Arend Rensink: Dynamic Partial Order Reduction Using Probe Sets. CONCUR 2008: 233-247

Gregor Engels, Anneke Kleppe, Arend Rensink, Maria Semenyak, Christian Soltenborn, Heike Wehrheim: From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations. ECMDA-FA 2008: 94-109

Jörg Bauer, Iovka Boneva, Marcos E. Kurbán, Arend Rensink: A Modal-Logic Based Graph Abstraction. ICGT 2008: 321-335

Arend Rensink, Pieter Van Gorp: Graph-Based Tools: The Contest. ICGT 2008: 463-466

Iovka Boneva, Frank Hermann, Harmen Kastenberg, Arend Rensink: Simulating Multigraph Transformations Using Simple Graphs. ECEASST 6 (2007)

Arend Rensink, Reiko Heckel, Barbara König: Preface. Electr. Notes Theor. Comput. Sci. 175(4): 1-2 (2007)

Arend Rensink, Walter Vogler: Fair testing. Inf. Comput. 205(2): 125-198 (2007)

Arend Rensink, Gabriele Taentzer: AGTIVE 2007 Graph Transformation Tool Contest. AGTIVE 2007: 487-492

Arend Rensink, Alexander Dotor, Claudia Ermel, Stefan Jurack, Ole Kniemeyer, Juan de Lara, Sonja Maier, Tom Staijen, Albert Zündorf: Ludo: A Case Study for Graph Transformation Tools. AGTIVE 2007: 493-513

Arend Rensink: Isomorphism Checking in GROOVE. ECEASST 1 (2006)

Arend Rensink, Reiko Heckel, Barbara König: Preface. Electr. Notes Theor. Comput. Sci. 154(2): 1-5 (2006)

Arend Rensink, Dino Distefano: Abstract Graph Transformation. Electr. Notes Theor. Comput. Sci. 157(1): 39-59 (2006)

Arend Rensink: Model Checking Quantified Computation Tree Logic. CONCUR 2006: 110-125

Harmen Kastenberg, Anneke Kleppe, Arend Rensink: Defining Object-Oriented Execution Semantics Using Graph Transformations. FMOODS 2006: 186-201

Arend Rensink: Nested Quantification in Graph Transformation Rules. ICGT 2006: 1-13

Annegret Habel, Karl-Heinz Pennemann, Arend Rensink: Weakest Preconditions for High-Level Programs. ICGT 2006: 445-460

Harmen Kastenberg, Arend Rensink: Model Checking Dynamic States in GROOVE. SPIN 2006: 299-305

Ruben Smelik, Arend Rensink, Harmen Kastenberg: Specification and Construction of Control Flow Semantics. VL/HCC 2006: 65-72

Arend Rensink, Jos Warmer (Eds.): Model Driven Architecture - Foundations and Applications, Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006, Proceedings. Lecture Notes in Computer Science 4066, Springer 2006, isbn 3-540-35909-5

Arend Rensink: Time and Space Issues in the Generation of Graph Transition Systems. Electr. Notes Theor. Comput. Sci. 127(1): 127-139 (2005)

Val Jones, Arend Rensink, Ed Brinksma: Modelling mobile health systems: an application of augmented MDA for the extended healthcare enterprise.. EDOC 2005: 58-69

Gabriele Taentzer, Arend Rensink: Ensuring Structural Constraints in Graph-Based Models with Type Inheritance. FASE 2005: 64-79

Dino Distefano, Joost-Pieter Katoen, Arend Rensink: Safety and Liveness in Concurrent Pointer Programs. FMCO 2005: 280-312

Machiel van der Bijl, Arend Rensink, Jan Tretmans: Action Refinement in Conformance Testing. TestCom 2005: 81-96

Uwe Aßmann, Mehmet Aksit, Arend Rensink (Eds.): 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. Lecture Notes in Computer Science 3599, Springer 2005, isbn 3-540-28240-8

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

Arend Rensink: Subjects, Models, Languages, Transformations. Language Engineering for Model-Driven Software Development 2004

Arend Rensink: Canonical Graph Shapes. ESOP 2004: 401-415

Dino Distefano, Joost-Pieter Katoen, Arend Rensink: Who is Pointing When to Whom? FSTTCS 2004: 250-262

Arend Rensink, Ákos Schmidt, Dániel Varró: Model Checking Graph Transformations: A Comparison of Two Approaches. ICGT 2004: 226-241

Arend Rensink: Representing First-Order Logic Using Graphs. ICGT 2004: 319-335

Arend Rensink: The GROOVE Simulator: A Tool for State Space Generation. AGTIVE 2003: 479-485

Arend Rensink: AGTIVE'03: Summary from the Outside In. AGTIVE 2003: 486-488

Machiel van der Bijl, Arend Rensink, Jan Tretmans: Compositional Testing with ioco. FATES 2003: 86-100

Dino Distefano, Arend Rensink, Joost-Pieter Katoen: Model Checking Birth and Death. IFIP TCS 2002: 435-447

Bart Jacobs, Arend Rensink (Eds.): 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. IFIP Conference Proceedings 209, Kluwer 2002, isbn 0-7923-7683-8

Arend Rensink, Heike Wehrheim: Process algebra with action dependencies. Acta Inf. 38(3): 155-234 (2001)

Arend Rensink, Roberto Gorrieri: Vertical Implementation. Inf. Comput. 170(1): 95-133 (2001)

Arend Rensink: Bisimilarity of Open Terms. Inf. Comput. 156(1-2): 345-385 (2000)

Arend Rensink: Action Contraction. CONCUR 2000: 290-304

Dino Distefano, Joost-Pieter Katoen, Arend Rensink: On a Temporal Logic for Object-Based Systems. FMOODS 2000: 285-304

Thomas Firley, Thomas Gehrke, Arend Rensink: Spezifikation eines RPC-Speichers mit der Sprache ProFun. FBT 1998: 136-147

Thomas Gehrke, Michaela Huhn, Peter Niebert, Arend Rensink, Heike Wehrheim: A Process Algebra Semantics for MSC Including Conditions. FBT 1998: 185-196

Thomas Gehrke, Michaela Huhn, Arend Rensink, Heike Wehrheim: An Algebraic Semantics for Message Sequence Chart Documents. FORTE 1998: 3-18

Thomas Gehrke, Arend Rensink: Process creation and full sequential composition in a name-passing calculus. Electr. Notes Theor. Comput. Sci. 7: 141-160 (1997)

Arend Rensink: Bisimilarity of open terms. Electr. Notes Theor. Comput. Sci. 7: 262 (1997)

Arend Rensink, Roberto Gorrieri: Action refinement for Vertical Implementation. FBT 1997: 69-78

Arend Rensink, Heike Wehrheim: Dependency-Based Action Refinement. MFCS 1997: 468-477

Arend Rensink, Roberto Gorrieri: Action Refinement as an Implementation Relations. TAPSOFT 1997: 772-786

Ursula Goltz, Roberto Gorrieri, Arend Rensink: Comparing Syntactic and Semantic Sction Refinement. Inf. Comput. 125(2): 118-143 (1996)

Arend Rensink: Algebra and Theory of Order-Deterministic Pomsets. Notre Dame Journal of Formal Logic 37(2): 283-320 (1996)

Arend Rensink: Denotational, Causal, and Operational Determinism in Event Structures. CAAP 1996: 272-286

Ed Brinksma, Arend Rensink, Walter Vogler: Applications of Fair Testing. FORTE 1996: 145-160

Arend Rensink: A Complete Theory of Deterministic Event Structures. CONCUR 1995: 160-174

Ed Brinksma, Arend Rensink, Walter Vogler: Fair Testing. CONCUR 1995: 313-327

Ursula Goltz, Arend Rensink: Finite Petri Nets as Models for Recursive Causal Behaviour. Theor. Comput. Sci. 124(1): 169-179 (1994)

Arend Rensink, Heike Wehrheim: Weak Sequential Composition in Process Algebras. CONCUR 1994: 226-241

Arend Rensink: Methodological Aspects of Action Refinement. PROCOMET 1994: 227-246

Ursula Goltz, Roberto Gorrieri, Arend Rensink: On Syntactic and Semantic Action Refinement. TACS 1994: 385-404

Arend Rensink: Order isomorphism odes not preserve global event independence. Bulletin of the EATCS 49: 228-235 (1993)

Arend Rensink: Order isomorphism odes not preserve global event independence. Bulletin of the EATCS 51: 228-235 (1993)

Arend Rensink: Posets for Configurations! CONCUR 1992: 269-285