Author Publications

Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type
Number of items: 152.

Article

Blom, Stefan and Kant, Gijs and Rensink, Arend (2010) Distributed graph-based state space generation. Electronic Communications of the EASST, 32 . ISSN 1863-2122

Boneva, Iovka and Kreiker, Jörg and Kurban, Marcos E. and Rensink, Arend (2009) Graph Abstraction for a Modal Logic. Bulletin of the European Association for Theoretical Computer Science, 97 . pp. 106-116. ISSN 0252-9742

Crouzen, P. and Pol, J.C. van de and Rensink, A. (2008) Applying Formal Methods to Gossiping Networks with mCRL and Groove. ACM SIGMETRICS Performance Evaluation Review, 36 (3). pp. 7-16. ISSN 0163-5999

Ghamarian, Amir Hossein and Jalali, Arash and Rensink, Arend (2010) Incremental Pattern Matching in Graph-Based State Space Exploration. Electronic Communications of the EASST . ISSN 1863-2122

Ghamarian, Amir Hossein and Mol, Maarten de and Rensink, Arend and Zambon, Eduardo and Zimakova, Maria (2011) Modelling and analysis using GROOVE. International Journal on Software Tools for Technology Transfer (STTT) . ISSN 1433-2779

Goltz, Ursula and Gorrieri, Roberto and Rensink, Arend (1996) Comparing Syntactic and Semantics Action Refinement. Information and Computation, 125 (2). pp. 118-143. ISSN 0890-5401

Goltz, Ursula and Rensink, Arend (1994) Finite petri nets as models for recursive causal behaviour. Theoretical Computer Science, 124 (1). pp. 169-179. ISSN 0304-3975

Jakumeit, E. and Buchwald, S. and Wagelaar, D. and Dan, L. and Hegedüs, Á and Hermannsdörfer, M. and Horn, T. and Kalnina, E. and Krause, C. and Lano, K. and Lepper, M. and Rensink, A. and Rose, L.M. and Wätzoldt, S. and Mazanek, S. (2013) A survey and comparison of transformation tools based on the transformation tool contest. Science of computer programming . p. 1. ISSN 0167-6423

Kleppe, Anneke and Rensink, Arend (2008) On a Graph-Based Semantics for UML Class and Object Diagrams. Electronic Communications of the EASST, 10 . ISSN 1863-2122

Rensink, A. (2002) Visualisatie van het Objectgeoriënteerde Paradigma. TINFON, 11 (2). pp. 80-83. ISSN 0927-8982

Rensink, A. (1996) Algebra and Theory of Order-Deterministic Pomsets. Notre Dame Journal of Formal Logic, 37 (2). pp. 283-320. ISSN 0029-4527

Rensink, A. and Vogler, W. (2007) Fair Testing. Information and Computation, 205 (2). pp. 125-198. ISSN 0890-5401

Rensink, A. and Wehrheim, H. (2001) Process Algebra with Action Dependencies. Acta informatica, 38 (3). pp. 155-234. ISSN 0001-5903

Rensink, Arend (2005) Time and Space Issues in the Generation of Graph Transition Systems. Electronic Notes in Theoretical Computer Science (ENTCS), 127 (1). pp. 127-139. ISSN 1571-0661

Rensink, Arend (2005) The Joys of Graph Transformation. Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica . pp. 22-33.

Rensink, Arend (2000) Bisimilarity of Open Terms. Information and Computation, 156 (1-2). pp. 345-385. ISSN 0890-5401

Rensink, Arend and Gorp, Pieter van (2010) Graph transformation tool contest 2008. International Journal on Software Tools for Technology Transfer (STTT), 12 (3-4). pp. 171-181. ISSN 1433-2779

Rensink, Arend and Gorrieri, Roberto (2001) Vertical Implementation. Information and Computation, 170 (1). pp. 95-133. ISSN 0890-5401

Rensink, Arend and Rozenberg, Grzegorz and Schürr, Andy (2012) Recent Developments in the Theory of Graph Transformation, 2010. Fundamenta Informaticae, 118 (3). i-iii. ISSN 0169-2968

Schürr, Andy and Rensink, Arend (2014) Software and systems modeling with graph transformations: Theme issue of the Journal on Software and Systems Modeling. Software and systems modeling, 13 (1). pp. 171-172. ISSN 1619-1366

Book

Aßmann, Uwe and Aksit, Mehmet and Rensink, Arend , eds. (2005) 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 Verlag, Berlin. ISBN 9783540282402

Mazanek, Steffen and Rensink, Arend and Gorp, Pieter van, eds. (2010) Transformation Tool Contest 2010, 1-2 July 2010, Malaga, Spain. CTIT Workshop Proceedings Series ; WP 10-03, 10-03 . CTIT, University of Twente, Enschede.

Book Section

Chitchyan, Ruzanna and Fabry, Johan and Katz, Shmuel and Rensink, Arend (2009) Editorial for Special Section on Dependencies and Interactions with Aspects. In: Transactions on Aspect-Oriented Software Development V. Lecture Notes in Computer Science, 5490 . Springer Verlag, Berlin, pp. 133-134. ISBN 9783642020599

Gorrieri, R. and Rensink, A. (2001) Action Refinement. In: Handbook of Process Algebra. Elsevier, Amsterdam, pp. 1047-1146. ISBN 9780444828309

Rensink, A. (2008) Explicit State Model Checking for Graph Grammars. In: Concurrency, Graphs and Models. Lecture Notes in Computer Science, 5065 . Springer Verlag, Berlin, pp. 114-132. ISBN 9783540686767

Rensink, A. (1997) A Typed Functional Calculus With State. In: Special Issues in Object-Oriented Programming. dpunkt.verlag, Heidelberg, Germany, pp. 558-561. ISBN 9783920993676

Rensink, Arend (2010) The Edge of Graph Transformation - Graphs for Behavioural Specification. In: Graph Transformations and Model-Driven Engineering. Lecture Notes in Computer Science, 5765 . Springer Verlag, Berlin, pp. 6-32. ISBN 9783642173219

Rensink, Arend and Zambon, Eduardo (2009) A Type Graph Model for Java Programs. In: Formal Techniques for Distributed Systems. Lecture Notes in Computer Science, 5522 . Springer Verlag, Berlin, pp. 237-242. ISBN 9783642021374

Conference or Workshop Item

Akşit, M. and Rensink, A. and Staijen, T. (2009) A Graph-Transformation-Based Simulation Approach for Analysing Aspect Interference on Shared Join Points. In: AOSD '09: Proceedings of the 8th ACM International Conference on Aspect-Oriented Software Development, 3-6 Mar 2009, Charlottesville, Virginia, USA (pp. pp. 39-50).

Anjorin, Anthony and Cunha, Alcino and Giese, Holger and Hermann, Frank and Rensink, Arend and Schürr, Andy (2014) BenchmarX. In: Bidirectional Transformations (BX 2014) - Workshops of the EDBT/ICDT 2014 Joint Conference, 28 March 2014, Athens, Greece (pp. pp. 82-86).

Bauer, J. and Boneva, I.B. and Kurban, M.E. and Rensink, A. (2008) A Modal-Logic Based Graph Abstraction. In: International Conference on Graph Transformations (ICGT), 9-13 Sep 2008, Leicester, UK (pp. pp. 321-335).

Bijl, Machiel van der and Rensink, Arend and Tretmans, Jan (2004) Action Refinement in Testing with uioco. In: 5TH PROGRESS Symposium on Embedded Systems, October 20, 2004, Nieuwegein, the Netherlands (pp. pp. 16-26).

Bijl, Machiel van der and Rensink, Arend and Tretmans, Jan (2004) Compositional Testing with ioco. In: Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, October 6, 2003, Montreal, Quebec, Canada (pp. pp. 86-100).

Boneva, Iovka and Hermann, Frank and Kastenberg, Harmen and Rensink, Arend (2007) Simulating Multigraph Transformations Using Simple Graphs. In: Sixth International Workshop on Graph Transformation and Visual Modeling Techniques, GT-VMT 2007, 31 March - 1 April 2007, Braga, Portugal (pp. p. 42).

Brinksma, Ed and Rensink, Arend and Vogler, Walter (1995) Fair Testing. In: 6th International Conference on Concurrency Theory, CONCUR 1995, August 21–24, 1995 , Philadelphia, PA, USA (pp. pp. 313-327).

Brinksma, H. and Rensink, A. and Vogler, W. (1996) Applications of Fair Testing. In: Protocol Specification, Testing and Verification XVI (PSTV) (pp. pp. 145-160).

Distefano, Dino and Katoen, Joost-Pieter and Rensink, Arend (2000) Towards Model Checking OCL. In: ECOOP 2000: Defining Precise Semantics for UML, 12 June 2000, Sophia Antipolis, France.

Distefano, Dino and Katoen, Joost-Pieter and Rensink, Arend (2006) Safety and Liveness in Concurrent Pointer Programs. In: 4th Internatinal Symposium on Formal Methods for Components and Objects, FMCO 2005, November 1-4, 2005, Amsterdam, The Netherlands (pp. pp. 280-312).

Distefano, Dino and Katoen, Joost-Pieter and Rensink, Arend (2004) Who is pointing when to whom? In: Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2004, 16-18 December 2004, Chennai, India (pp. pp. 250-262).

Distefano, Dino and Katoen, Joost-Pieter and Rensink, Arend (2000) On a Temporal Logic for Object-Based Systems. In: Fourth International Conference on Formal Methods for Open Object-based Distributed Systems, FMOODS 2000, September 6-8, 2000, Stanford, CA, USA (pp. pp. 305-326).

Distefano, Dino and Rensink, Arend and Katoen, Joost-Pieter (2002) Model checking birth and death. In: 2nd IFIP International Conference on Theoretical Computer Science, TCS: Foundations of Information Technology in the Era of Network and Mobile Computing, August 25-30, 2002, Quebec, Canada (pp. pp. 435-447).

Edelkamp, S. and Rensink, A. (2007) Graph Transformation and AI Planning. In: Knowledge Engineering Competition (ICKEPS), 22 Sep 2007, Rhode Island, USA.

Ehrig, Hartmut and Rensink, Arend and Rozenberg, Grzegorz and Schürr, Andy (2010) Preface. In: 5th International Conference on Graph Transformationcs, ICGT 2010, 27 Sep - 2 Oct 2010, Enschede, the Netherlands (pp. V-VI).

Engels, G. and Kleppe, A.G. and Rensink, A. and Semenyak, M. and Soltenborn, Ch. and Wehrheim, H. (2008) From UML Activities to TAAL: Towards behaviour-preserving model transformations. In: European Conference on Model Driven Architecture - Foundations and Applications (ECMDA-FA), 10-12 Jun 2008, Berlin, Germany (pp. pp. 94-109).

Galvão, Ismênia and Zambon, Eduardo and Rensink, Arend and Wevers, Lesley and Aksit, Mehmet (2011) Knowledge-based Graph Exploration Analysis. In: Fourth International Symposium on Applications of Graph Transformation with Industrial Relevance, AGTIVE 2011, 4-7 October 2011, Budapest, Hungary (pp. pp. 121-136).

Gehrke, T. and Huhn, M. and Rensink, A. and Wehrheim, H. (1998) An Algebraic Semantics for Message Sequence Chart Documents. In: Formal Decription Techniques (FORTE) (pp. pp. 3-18).

Gehrke, T. and Rensink, A. (1997) Process Creation and Full Sequential Composition in a Name-Passing Calculus. In: Expressiveness in Concurrency (pp. pp. 141-160).

Ghamarian, Amir Hossein and Mol, Maarten de and Rensink, Arend and Zambon, Eduardo (2011) Saying Hello World with GROOVE - A Solution to the TTC 2011 Instructive Case. In: Fifth Transformation Tool Contest, TTC 2011, 29-30 June 2011, Zurich, Switzerland (pp. pp. 215-222).

Ghamarian, Amir Hossein and Rensink, Arend (2012) Generalised compositionality in graph transformation. In: 6th International Conference on Graph Transformation, ICGT 2012, 24-29 September 2012, Bremen, Germany (pp. pp. 234-248).

Ghamarian, Amir Hossein and Rensink, Arend (2012) Graph passing in graph transformation. In: 11th International Workshop on Graph Transformation and Visual Modeling Techniques, GTVMT 2012, 24-25 March 2012, Tallinn, Estonia (pp. 723:1-723:14).

Glandrup, M.H.J. and Rensink, A. (2001) Formal Foundations for Reasoning about Composition. In: OOPSLA 2001 Advanced Separation of Concerns Workshop, 14 October 2001, Tampa Bay, USA.

Goltz, U. and Gorrieri, R. and Rensink, A. (1994) On Syntactic and Semantic Action Refinement. In: Theoretical Aspects of Computer Software, Sendai, Japan (pp. pp. 385-404).

Habel, Annegret and Pennemann, Karl-Heinz and Rensink, Arend (2006) Weakest Preconditions for High-Level Programs. In: Third International Conference on Graph Transformations, ICGT 2006, 19-21 September 2006, Natal, Rio Grande do Norte, Brazil (pp. pp. 445-460).

Havinga, Wilke and Staijen, Tom and Rensink, Arend and Bergmans, Lodewijk and Berg, Klaas van den (2006) An Abstract Metamodel for Aspect Languages. In: Open and Dynamic Aspect Languages, 20 Mar 2006, Bonn, Germany.

Hüksbusch, Mathias and König, Barbara and Rensink, Arend and Semenyak, Maria and Soltenborn, Christian and Wehrheim, Heike (2010) Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques. In: 8th International Conference on Integrated Formal Methods, IFM 2010, October 11-14, 2010, Nancy, France (pp. pp. 183-198).

Jalali, Arash and Ghamarian, Amir Hossein and Rensink, Arend (2012) Incremental pattern matching for regular expressions. In: 11th International Workshop on Graph Transformation and Visual Modeling Techniques, GTVMT 2012, 24-25 March 2012, Tallinn, Estonia (pp. 736:1-736:12).

Jones, Val and Rensink, Arend and Brinksma, Ed (2005) Modelling mobile health systems: an application of augmented MDA for the extended healthcare enterprise. In: Ninth IEEE International EDOC Enterprise Computing Conference, 2005, 19-23 September 2005, Enschede, the Netherlands (pp. pp. 58-69).

Jones, Val and Rensink, Arend and Ruys, Theo and Brinksma, Ed and Halteren, Aart van (2004) A formal MDA approach for mobile health systems. In: Second European Workshop on Model Driven Architecture (MDA) with an emphasis on Methodologies and Transformations, EWMDA-2, 7-8 September 2004, Canterbury, England (pp. pp. 28-35).

Kastenberg, H. and Rensink, A. (2008) Dynamic Partial Order Reduction Using Probe Sets. In: Concurrency Theory (CONCUR), 19-22 Aug 2008, Toronto, Canada (pp. pp. 233-247).

Kastenberg, H. and Kleppe, A.G. and Rensink, A. (2006) Defining Object-Oriented Execution Semantics Using Graph Transformations. In: Proceedings of the 8th IFIP International Conference on Formal Methods for Open-Object Based Distributed Systems, 14-16 June 2006, Bologna, Italy (pp. pp. 186-201).

Kastenberg, H. and Rensink, A. (2006) Model Checking Dynamic States in GROOVE. In: Model Checking Software (SPIN), 30 Mar - 1 Apr 2006, Vienna, Austria (pp. pp. 299-305).

Kattenbelt, M. and Ruys, T.C. and Rensink, A. (2007) An Object-Oriented Framework for Explicit-State Model Checking. In: Proceedings of the 3rd European Symposium on Verification and Validation of Software Systems (VVSS 2007), 23 March 2007, Eindhoven, The Netherlands (pp. pp. 84-92).

König, Barbara and Rensink, Arend and Heckel, Reiko (2008) Graph Transformation for Concurrency and Verification - Preface. In: Third Workshop on Graph Transformation for Concurrency and Verification, GT-VC, 3 September 2007, Lisbon, Portugal (pp. pp. 1-2).

Mol, Maarten de and Rensink, Arend (2010) On A Graph Formalism for Ordered Edges. In: Ninth International Workshop on Graph Transformation and Visual Modeling Techniques, GT-VMT 2010, 20-21 March 2010, Paphos, Cyprus.

Mol, Maarten de and Rensink, Arend and Hunt, James J. (2012) Graph Transforming Java Data. In: 15th International Conference on Fundamental Approaches to Software Engineering, FASE 2012, 26-29 March 2012, Talinn, Estonia.

Rensink, A. (2004) The GROOVE Simulator: A Tool for State Space Generation. In: Applications of Graph Transformations with Industrial Relevance (AGTIVE) (pp. pp. 479-485).

Rensink, A. and Van Gorp, P. (2008) Graph-Based Tools: The Contest. In: International Conference on Graph Transformations (ICGT), 9-13 Sep 2008, Leicester, UK (pp. pp. 463-466).

Rensink, A. (2006) Model Checking Quantified Computation Tree Logic. In: Concurrency Theory (CONCUR), 27-30 Aug 2006, Bonn, Germany (pp. pp. 110-125).

Rensink, A. (2006) Nested Quantification in Graph Transformation Rules. In: Graph Transformations (ICGT), 19-21 Sep 2006, Natal, Brazil (pp. pp. 1-13).

Rensink, A. (2004) Canonical Graph Shapes. In: Programming Languages and Systems (ESOP) (pp. pp. 401-415).

Rensink, A. (2004) Representing First-Order Logic Using Graphs. In: International Conference on Graph Transformations (ICGT) (pp. pp. 319-335).

Rensink, A. (1992) Posets for Configurations! In: Third International Conference on Concurrency Theory (CONCUR), Stony Brook, U.S.A. (pp. pp. 269-285).

Rensink, A. (1994) Methodological Aspects of Action Refinement. In: Programming Concepts, Methods and Calculi, San Miniato, Italy (pp. pp. 227-246).

Rensink, A. (1995) An Event-Based SOS for a Language with Refinement. In: Structures in Concurrency Theory, Berlin, Germany (pp. pp. 294-309).

Rensink, A. (1995) A Theory of Deterministic Event Structures. In: Concurrency Theory (CONCUR), Long Island, USA (pp. pp. 160-174).

Rensink, A. (1996) Denotational, Causal, and Operational Determinism in Event Structures. In: Trees in Algebra and Programming (CAAP) (pp. pp. 272-286).

Rensink, A. (2000) Action Contraction. In: Concurrency Theory (CONCUR), Aug 2000, State College, USA (pp. pp. 290-304).

Rensink, A. and Dotor, A. and Ermel, C. and Jurack, S. and Kniemeyer, O. and De Lara, J. and Maier, S. and Staijen, T. and Zündorf, A. (2008) Ludo: A Case Study for Graph Transformation Tools. In: Applications of Graph Transformation with Industrial Relevance (AGTIVE), 10-12 Oct 2007, Kassel, Germany (pp. pp. 493-513).

Rensink, A. and Gorrieri, R. (1997) Action Refinement as an Implementation Relation. In: Theory and Practice of Software Development (TAPSOFT) (pp. pp. 772-786).

Rensink, A. and Schmidt, Á. and Varró, D. (2004) Model Checking Graph Transformations: A Comparison of Two Approaches. In: International Conference on Graph Transformations (ICGT) (pp. pp. 226-241).

Rensink, A. and Taentzer, G. (2008) AGTIVE 2007 Graph Transformation Tool Contest. In: Applications of Graph Transformation with Industrial Relevance (AGTIVE), 10-12 Oct 2007, Kassel, Germany (pp. pp. 487-492).

Rensink, A. and Wehrheim, H. (1994) Weak Sequential Composition in Process Algebras. In: Concurrency Theory (CONCUR), Uppsala, Sweden (pp. pp. 226-241).

Rensink, A. and Wehrheim, H. (1997) Dependency-Based Action Refinement. In: Mathematical Foundations of Computer Science (MFCS) (pp. pp. 468-477).

Rensink, A. and Zimakova, M.V. (2009) Towards model structuring based on flow diagram decomposition. In: Proceedings of the 1st Workshop on Behaviour Modelling in Model-Driven Architecture, 23 Jun 2009, Enschede, The Netherlands (pp. No. 05).

Rensink, Arend (2005) Subjects, Models, Languages, Transformations. In: Dagstuhl Seminar Proceedings (04101) (pp. pp. 1-13).

Rensink, Arend (2003) Towards model checking graph grammars. In: 3rd Workshop on Automated Verification of Critical Systems, AVoCS, April 2-3, 2003, Southampton, UK (pp. pp. 150-160).

Rensink, Arend (2006) Isomorphism Checking in GROOVE. In: Third InternationalWorkshop on Graph Based Tools, GraBaTs 2006, 21-22 September 2006, Natal, Brazil.

Rensink, Arend (1997) Bisimilarity of Open Terms. In: Expressiveness in Concurrency, EXPRESS '97, 8-12 September 1997, Ligure, Italy (pp. pp. 262-285).

Rensink, Arend (2010) Compositionality in Graph Transformation. In: 37th International Colloquium on Automata, Languages and Programming, ICALP 2010, July 6-10, 2010, Bordeaux, France (pp. pp. 309-320).

Rensink, Arend (2011) Modelleren is het Nieuwe Programmeren. In: i&i conferentie, 23-24 November 2011, Lunteren, Nederland.

Rensink, Arend and Distefano, Dino (2006) Abstract Graph Transformation. In: Software Verification and Validation, 31 Oct 2005, Manchester (pp. pp. 39-59).

Rensink, Arend and Heckel, Reiko and König, Barbara (2007) Graph Transformation for Concurrency and Verification - Preface. In: Workshop on Graph Transformation for Concurrency and Verification, GT-VC, 31 Aug 2006, Bonn, Germany (pp. pp. 1-2).

Rensink, Arend and Heckel, Reiko and König, Barbara (2006) Preface. In: Workshop on Graph Transformation for Verification and Concurrency, GT-VC, Aug 2005, San Fransisco, USA (pp. pp. 1-5).

Rensink, Arend and Kuperus, Jan-Hendrik (2009) Repotting the Geraniums: On Nested Graph Transformation Rules. In: Eighth International Workshop on Graph Transformation and Visual Modeling Techniques, GT-VMT, 28-29 March 2009, York, U.K..

Rensink, Arend and Nederpel, Ronald (2008) Graph Transformation Semantics for a QVT Language. In: Fifth International Workshop on Graph Transformation and Visual Modeling Techniques, GT-VMT, April 1-2, 2006, Vienna, Austria (pp. pp. 51-62).

Rensink, Arend and Zambon, Eduardo (2010) Neighbourhood Abstraction in GROOVE - Tool Paper. In: Fourth International Workshop on Graph-Based Tools, GraBaTs 2010, 28 September 2010, Enschede, NL. (In Press)

Rensink, Arend and Zambon, Eduardo (2011) Neighbourhood Abstraction in GROOVE. In: Fourth International Workshop on Graph-Based Tools, GraBaTs 2010, 28 September 2010, Enschede, NL.

Rensink, Arend and Zambon, Eduardo (2011) Solving the TTC 2011 Compiler Optimization Case with GROOVE. In: Fifth Transformation Tool Contest, TTC 2011, 29-30 June 2011, Zurich, Switzerland (pp. pp. 126-130).

Rensink, Arend and Zambon, Eduardo (2012) Pattern-Based Graph Abstraction. In: International Conference on Graph Transformation, ICGT 2012, 24-29 September 2012, Bremen, Germany (pp. pp. 66-80).

Smelik, R. and Rensink, A. and Kastenberg, H. (2006) Specification and Construction of Control Flow Semantics. In: Visual Languages and Human-Centric Computing (VL/HCC), Sep 2006, Brighton, U.K. (pp. pp. 65-72).

Smid, Wietse and Rensink, Arend (2013) Class diagram restructuring with GROOVE. In: Sixth Transformation Tool Contest, 19-20 June 2013, Budapest. Hungary (pp. pp. 83-87).

Staijen, T. and Rensink, A. (2009) Graph-Based Specification and Simulation of Featherweight Java with Around Advice. In: FOAL '09: Proceedings of the 2009 workshop on Foundations of aspect-oriented languages, 2 Mar 2009, Charlottesville, Virginia, USA (pp. pp. 25-30).

Staijen, T. and Rensink, A. (2006) A Graph-Transformation-Based Semantics for Analysing Aspect Interference. In: Workshop on Graph Computation Models, 18 Sept 2006, Natal, Brazil (pp. pp. 1-12).

Taentzer, G. and Rensink, A. (2005) Ensuring Structural Constraints in Graph-Based Models with Type Inheritance. In: Fundamental Approaches to Software Engineering (FASE), 2-10 Apr 2005, Edinburgh, UK (pp. pp. 64-79).

Zambon, E. and Rensink, A. (2012) Graph Subsumption in Abstract State Space Exploration. In: First Workshop on Graph Inspection and Traversal Engineering, GRAPHite 2012, 1 April 2012, Tallinn, Estonia (pp. pp. 35-49).

Zambon, Eduardo and Rensink, Arend (2011) Using Graph Transformations and Graph Abstractions for Software Verification. In: Fifth International Conference on Graph Transformations - Doctoral Symposium, ICGT-DS 2010, 29 Sept - 1 Oct 2010, Enschede, The Netherlands.

Lecture

Rensink, Arend (2011) Graven in software. [Lecture]

Report

Belinfante, Axel and Rensink, Arend (2013) Publishing your prototype tool on the web: PUPTOL, a framework. [Report]

Bijl, Machiel van der and Rensink, Arend and Tretmans, Jan (2003) Component based testing with IOCO. [Report]

Bijl, Machiel van der and Rensink, Arend and Tretmans, Jan (2007) Atomic Action Refinement in Model Based Testing. [Report]

Bijl, Machiel van der and Rensink, Arend and Tretmans, Jan (2005) Action refinement in testing with UIOCO. [Report]

Bijl, Machiel van der and Rensink, Arend and Tretmans, Jan (2005) Action refinement in conformance testing. [Report]

Boneva, I.B. and Rensink, A. and Kurban, M.E. and Bauer, J. (2007) Graph Abstraction and Abstract Graph Transformation. [Report]

Boneva, Iovka and Kreiker, Jörg and Kurbán, Marcos and Rensink, Arend and Zambon, Eduardo (2012) Graph abstraction and abstract graph transformations (Amended version). [Report]

Costantini, R. and Rensink, A. (1992) Abstraction and Refinement in Configuration Structures. [Report]

Distefano, Dino and Katoen, Joost-Pieter and Rensink, Arend (2000) On a temporal logic for object-based systems. [Report]

Distefano, Dino and Rensink, Arend and Katoen, Joost-Pieter (2003) Who is pointing when to whom: on model-checking pointer structures. [Report]

Distefano, Dino and Rensink, Arend and Katoen, Joost-Pieter (2001) Model Checking Dynamic Allocation and Deallocation. [Report]

Gehrke, T. and Huhn, M. and Rensink, A. and Wehrheim, H. (1998) A Process Algebra Semantics for Message Sequence Chart Documents. [Report]

Gehrke, T. and Rensink, A. (1999) A Mobile Calculus with Data. [Report]

Gehrke, Thomas and Rensink, Arend (1997) Process Creation and Full Sequential Composition in a Name-Passing Calculus. [Report]

Ghamarian, Amir Hossein and Mol, Maarten de and Rensink, Arend and Zambon, Eduardo and Zimakova, Maria (2010) Modelling and Analysis Using GROOVE. [Report]

Ghamarian, Amir Hossein and Rensink, Arend (2012) Graph Passing in Graph Transformation. [Report]

Ghamarian, Amir Hossein and Rensink, Arend (2012) Generalised compositionality in graph transformation. [Report]

Goltz, Ursula and Gorrieri, Roberto and Rensink, Arend (1992) On Syntactic and Semantic Action Refinement. [Report]

Habel, A. and Pennemann, K.-H. and Rensink, A. (2006) Weakest Preconditions for High-Level Programs. [Report]

Havinga, Wilke and Staijen, Tom and Rensink, Arend and Bergmans, Lodewijk and Berg, Klaas van den (2006) An Abstract Metamodel for Aspect Languages. [Report]

Heckel, R. and König, B. and Rensink, A. (2005) Graph transformation for verification and concurrency. [Report]

Hülsbusch, Mathias and König, Barbara and Rensink, Arend and Semenyak, Maria and Soltenborn, Christian and Wehrheim, Heike (2010) Full Semantics Preservation in Model Transformation – A Comparison of Proof Techniques. [Report]

Jones, Val and Rensink, Arend and Brinksma, Ed (2005) Modelling mobile health systems: an application of augmented MDA for the extended healthcare enterprise. [Report]

Kastenberg, H. and Kleppe, A.G. and Rensink, A. (2006) Engineering Object-Oriented Semantics Using Graph Transformations. [Report]

Kastenberg, Harmen and Rensink, Arend (2012) Graph attribution through sub-graphs. [Report]

Kleppe, A.G. and Rensink, A. (2008) A Graph-Based Semantics for UML Class and Object Diagrams. [Report]

Mol, Maarten de and Rensink, Arend (2011) Formal Semantics of the CHART Transformation Language. [Report]

Rensink, A. (2000) YOO (Why object-orientation). [Report]

Rensink, A. and Zimakova, M.V. (2009) Flow Diagram Decomposition Using Graph Transformations. [Report]

Rensink, A. (2000) Action contraction using coupled simulation. [Report]

Rensink, A. (2003) Model driven architecture: foundations and applications. [Report]

Rensink, A. (2003) A Logic of Local Graph Shapes. [Report]

Rensink, Arend (1993) Order isomorphism does not preserve global event independence. [Report]

Rensink, Arend (1994) Deterministic Pomsets. [Report]

Rensink, Arend (1995) Causal Traces. [Report]

Rensink, Arend (1995) Denotational, Causal, and Operational Determinism in Event Structures. [Report]

Rensink, Arend (2010) A First Study of Compositionality in Graph Transformation. [Report]

Rensink, Arend (2010) Isomorphism Checking for Symmetry Reduction. [Report]

Rensink, Arend and Distefano, Dino (2005) Abstract graph transformation. [Report]

Rensink, Arend and Gorrieri, Roberto (1995) Vertical Bisimulation. [Report]

Rensink, Arend and Wehrheim, Heike (1999) Process algebra with action dependencies. [Report]

Rensink, Arend and Zambon, Eduardo (2009) A Type Graph Model for Java Programs. [Report]

Rensink, Arend and Vogler, W. (2005) Fair Testing. [Report]

Sathyanathan, P.W. and Rensink, A. (2006) Unfolding Shape Graphs. [Report]

Zambon, Eduardo and Rensink, Arend (2009) Using Graph Transformations and Graph Abstractions for Software Verification. [Report]

This list was generated on Tue Jul 29 05:14:20 2014 CEST.