Author Publications

Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type
Jump to: 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 | 1996 | 1995 | 1994 | 1993 | 1992
Number of items: 152.

2014

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).

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

2013

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

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

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).

2012

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]

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. 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).

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

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).

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

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, 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

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).

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).

2011

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).

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 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

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

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

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

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).

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.

2010

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

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).

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 (2010) Modelling and Analysis Using GROOVE. [Report]

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).

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]

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.

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.

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

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 (2010) Isomorphism Checking for Symmetry Reduction. [Report]

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 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 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)

2009

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).

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

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

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, A. and Zimakova, M.V. (2009) Flow Diagram Decomposition Using Graph Transformations. [Report]

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 Zambon, Eduardo (2009) A Type Graph Model for Java Programs. [Report]

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

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).

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

2008

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).

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

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).

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).

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

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

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).

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. 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. 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 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, 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).

2007

Bijl, Machiel van der and Rensink, Arend and Tretmans, Jan (2007) Atomic Action Refinement in Model Based 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 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).

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

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).

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

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).

2006

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).

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

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. [Report]

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.

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

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).

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, Arend (2006) Isomorphism Checking in GROOVE. In: Third InternationalWorkshop on Graph Based Tools, GraBaTs 2006, 21-22 September 2006, Natal, Brazil.

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 (2006) Preface. In: Workshop on Graph Transformation for Verification and Concurrency, GT-VC, Aug 2005, San Fransisco, USA (pp. pp. 1-5).

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

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).

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).

2005

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

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]

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

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 Brinksma, Ed (2005) Modelling mobile health systems: an application of augmented MDA for the extended healthcare enterprise. [Report]

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) Subjects, Models, Languages, Transformations. In: Dagstuhl Seminar Proceedings (04101) (pp. pp. 1-13).

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

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

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

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).

2004

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).

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).

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).

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. (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. 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).

2003

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

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

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

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

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).

2002

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).

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

2001

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

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.

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

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

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

2000

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

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 (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).

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

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

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

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

1999

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

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

1998

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 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).

1997

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).

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

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, 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 Wehrheim, H. (1997) Dependency-Based Action Refinement. In: Mathematical Foundations of Computer Science (MFCS) (pp. pp. 468-477).

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

1996

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).

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

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. (1996) Denotational, Causal, and Operational Determinism in Event Structures. In: Trees in Algebra and Programming (CAAP) (pp. pp. 272-286).

1995

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).

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, Arend (1995) Causal Traces. [Report]

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

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

1994

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).

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

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

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

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

1993

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

1992

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

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

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

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