@inproceedings{Rensink92,
  title = {Posets for Configurations!},
  author = {Arend Rensink},
  year = {1992},
  researchr = {https://researchr.org/publication/Rensink92},
  cites = {0},
  citedby = {0},
  pages = {269-285},
  booktitle = {CONCUR  92, Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August  24-27, 1992, Proceedings},
  editor = {Rance Cleaveland},
  volume = {630},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-55822-5},
}

@inproceedings{BrinksmaRV96,
  title = {Applications of Fair Testing},
  author = {Ed Brinksma and Arend Rensink and Walter Vogler},
  year = {1996},
  tags = {testing},
  researchr = {https://researchr.org/publication/BrinksmaRV96},
  cites = {0},
  citedby = {0},
  pages = {145-160},
  booktitle = {Formal Description Techniques IX: Theory, application and tools, IFIP TC6 WG6.1 International Conference on Formal Description Techniques IX / Protocol Specification, Testing and Verification XVI, Kaiserslautern, Germany, 8-11 October 1996},
  editor = {Reinhard Gotzhein and Jan Bredereke},
  volume = {69},
  series = {IFIP Conference Proceedings},
  publisher = {Chapman & Hall},
  isbn = {0-412-79490-X},
}

@inproceedings{TaentzerR05,
  title = {Ensuring Structural Constraints in Graph-Based Models with Type Inheritance},
  author = {Gabriele Taentzer and Arend Rensink},
  year = {2005},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3442&spage=64},
  tags = {rule-based, constraints, graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/TaentzerR05},
  cites = {0},
  citedby = {0},
  pages = {64-79},
  booktitle = {Fundamental Approaches to Software Engineering, 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings},
  editor = {Maura Cerioli},
  volume = {3442},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-25420-X},
}

@inproceedings{Rensink00,
  title = {Action Contraction},
  author = {Arend Rensink},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/1877/18770290.htm},
  researchr = {https://researchr.org/publication/Rensink00},
  cites = {0},
  citedby = {0},
  pages = {290-304},
  booktitle = {CONCUR 2000 - Concurrency Theory, 11th International Conference, University Park, PA, USA, August 22-25, 2000, Proceedings},
  editor = {Catuscia Palamidessi},
  volume = {1877},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-67897-2},
}

@inproceedings{KastenbergR06,
  title = {Model Checking Dynamic States in GROOVE},
  author = {Harmen Kastenberg and Arend Rensink},
  year = {2006},
  doi = {10.1007/11691617_19},
  url = {http://dx.doi.org/10.1007/11691617_19},
  tags = {model checking, meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/KastenbergR06},
  cites = {0},
  citedby = {0},
  pages = {299-305},
  booktitle = {Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings},
  editor = {Antti Valmari},
  volume = {3925},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-33102-6},
}

@inproceedings{Rensink06,
  title = {Model Checking Quantified Computation Tree Logic},
  author = {Arend Rensink},
  year = {2006},
  doi = {10.1007/11817949_8},
  url = {http://dx.doi.org/10.1007/11817949_8},
  tags = {model checking, meta-model, logic, Meta-Environment},
  researchr = {https://researchr.org/publication/Rensink06},
  cites = {0},
  citedby = {0},
  pages = {110-125},
  booktitle = {CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings},
  editor = {Christel Baier and Holger Hermanns},
  volume = {4137},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-37376-4},
}

@inproceedings{Rensink95,
  title = {A Complete Theory of Deterministic Event Structures},
  author = {Arend Rensink},
  year = {1995},
  tags = {completeness},
  researchr = {https://researchr.org/publication/Rensink95},
  cites = {0},
  citedby = {0},
  pages = {160-174},
  booktitle = {CONCUR  95: Concurrency Theory, 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995, Proceedings},
  editor = {Insup Lee and Scott A. Smolka},
  volume = {962},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-60218-6},
}

@article{KonigRH08,
  title = {Preface},
  author = {Barbara König and Arend Rensink and Reiko Heckel},
  year = {2008},
  doi = {10.1016/j.entcs.2008.04.070},
  url = {http://dx.doi.org/10.1016/j.entcs.2008.04.070},
  researchr = {https://researchr.org/publication/KonigRH08},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {213},
  number = {1},
  pages = {1-2},
}

@article{Rensink93a,
  title = {Order isomorphism odes not preserve global event independence},
  author = {Arend Rensink},
  year = {1993},
  researchr = {https://researchr.org/publication/Rensink93a},
  cites = {0},
  citedby = {0},
  journal = {Bulletin of the EATCS},
  volume = {49},
  pages = {228-235},
}

@inproceedings{Rensink04,
  title = {Subjects, Models, Languages, Transformations},
  author = {Arend Rensink},
  year = {2004},
  url = {http://drops.dagstuhl.de/opus/volltexte/2005/24},
  tags = {model-to-model transformation, meta-model, modeling language, transformation language, language modeling, source-to-source, model transformation, Meta-Environment, transformation},
  researchr = {https://researchr.org/publication/Rensink04},
  cites = {0},
  citedby = {0},
  booktitle = {Language Engineering for Model-Driven Software Development, 29. February - 5. March 2004},
  editor = {Jean Bézivin and Reiko Heckel},
  volume = {04101},
  series = {Dagstuhl Seminar Proceedings},
  publisher = {Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany},
}

@inproceedings{DistefanoKR05,
  title = {Safety and Liveness in Concurrent Pointer Programs},
  author = {Dino Distefano and Joost-Pieter Katoen and Arend Rensink},
  year = {2005},
  doi = {10.1007/11804192_14},
  url = {http://dx.doi.org/10.1007/11804192_14},
  researchr = {https://researchr.org/publication/DistefanoKR05},
  cites = {0},
  citedby = {0},
  pages = {280-312},
  booktitle = {Formal Methods for Components and Objects, 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures},
  editor = {Frank S. de Boer and Marcello M. Bonsangue and Susanne Graf and Willem P. de Roever},
  volume = {4111},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-36749-7},
}

@article{BonevaHKR07,
  title = {Simulating Multigraph Transformations Using Simple Graphs},
  author = {Iovka Boneva and Frank Hermann and Harmen Kastenberg and Arend Rensink},
  year = {2007},
  url = {http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/62},
  tags = {graph transformation, graph-rewriting, rewriting, transformation},
  researchr = {https://researchr.org/publication/BonevaHKR07},
  cites = {0},
  citedby = {0},
  journal = {ECEASST},
  volume = {6},
}

@inproceedings{RensinkZ09,
  title = {A Type Graph Model for Java Programs},
  author = {Arend Rensink and Eduardo Zambon},
  year = {2009},
  doi = {10.1007/978-3-642-02138-1_18},
  url = {http://dx.doi.org/10.1007/978-3-642-02138-1_18},
  tags = {Java, graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/RensinkZ09},
  cites = {0},
  citedby = {0},
  pages = {237-242},
  booktitle = {Formal Techniques for Distributed Systems, Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings},
  editor = {David Lee and Antónia Lopes and Arnd Poetzsch-Heffter},
  volume = {5522},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-02137-4},
}

@article{Rensink96:0,
  title = {Algebra and Theory of Order-Deterministic Pomsets},
  author = {Arend Rensink},
  year = {1996},
  tags = { algebra},
  researchr = {https://researchr.org/publication/Rensink96%3A0},
  cites = {0},
  citedby = {0},
  journal = {Notre Dame Journal of Formal Logic},
  volume = {37},
  number = {2},
  pages = {283-320},
}

@inproceedings{Rensink06:0,
  title = {Nested Quantification in Graph Transformation Rules},
  author = {Arend Rensink},
  year = {2006},
  doi = {10.1007/11841883_1},
  url = {http://dx.doi.org/10.1007/11841883_1},
  tags = {rule-based, graph transformation, graph-rewriting, rules, rewriting, transformation},
  researchr = {https://researchr.org/publication/Rensink06%3A0},
  cites = {0},
  citedby = {0},
  pages = {1-13},
  booktitle = {Graph Transformations, Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings},
  editor = {Andrea Corradini and Hartmut Ehrig and Ugo Montanari and Leila Ribeiro and Grzegorz Rozenberg},
  volume = {4178},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-38870-2},
}

@article{RensinkN08,
  title = {Graph Transformation Semantics for a QVT Language},
  author = {Arend Rensink and Ronald Nederpel},
  year = {2008},
  doi = {10.1016/j.entcs.2008.04.029},
  url = {http://dx.doi.org/10.1016/j.entcs.2008.04.029},
  tags = {semantics, QVT Transformations, QVT, graph transformation, transformation language, graph-rewriting, rewriting, transformation},
  researchr = {https://researchr.org/publication/RensinkN08},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {211},
  pages = {51-62},
}

@article{GoltzGR96,
  title = {Comparing Syntactic and Semantic Sction Refinement},
  author = {Ursula Goltz and Roberto Gorrieri and Arend Rensink},
  year = {1996},
  tags = {refinement},
  researchr = {https://researchr.org/publication/GoltzGR96},
  cites = {0},
  citedby = {0},
  journal = {Inf. Comput.},
  volume = {125},
  number = {2},
  pages = {118-143},
}

@inproceedings{BaldanKR04,
  title = {Summary 2: Graph Grammar Verification through Abstraction},
  author = {Paolo Baldan and Barbara König and Arend Rensink},
  year = {2004},
  url = {http://drops.dagstuhl.de/opus/volltexte/2005/29},
  tags = {graph-rewriting, abstraction, rewriting, grammar},
  researchr = {https://researchr.org/publication/BaldanKR04},
  cites = {0},
  citedby = {0},
  booktitle = {Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 6.-11. June 2004},
  editor = {Barbara König and Ugo Montanari and Philippa Gardner},
  volume = {04241},
  series = {Dagstuhl Seminar Proceedings},
  publisher = {IBFI, Schloss Dagstuhl, Germany},
}

@inproceedings{DistefanoKR00,
  title = {On a Temporal Logic for Object-Based Systems},
  author = {Dino Distefano and Joost-Pieter Katoen and Arend Rensink},
  year = {2000},
  tags = {rule-based, meta-model, logic, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/DistefanoKR00},
  cites = {0},
  citedby = {0},
  pages = {285-304},
  booktitle = {Formal Methods for Open Object-Based Distributed Systems IV, IFIF TC6/WG6.1 Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), September 6-8, 2000, Stanford, California, USA},
  editor = {Scott F. Smith and Carolyn L. Talcott},
  volume = {177},
  series = {IFIP Conference Proceedings},
  publisher = {Kluwer},
  isbn = {0-7923-7923-3},
}

@inproceedings{Rensink08,
  title = {Explicit State Model Checking for Graph Grammars},
  author = {Arend Rensink},
  year = {2008},
  doi = {10.1007/978-3-540-68679-8_8},
  url = {http://dx.doi.org/10.1007/978-3-540-68679-8_8},
  tags = {model checking, meta-model, graph-rewriting, Meta-Environment, rewriting, grammar},
  researchr = {https://researchr.org/publication/Rensink08},
  cites = {0},
  citedby = {0},
  pages = {114-132},
  booktitle = {Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday},
  editor = {Pierpaolo Degano and Rocco De Nicola and José Meseguer},
  volume = {5065},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-68676-7},
}

@inproceedings{GoltzGR94,
  title = {On Syntactic and Semantic Action Refinement},
  author = {Ursula Goltz and Roberto Gorrieri and Arend Rensink},
  year = {1994},
  tags = {refinement},
  researchr = {https://researchr.org/publication/GoltzGR94},
  cites = {0},
  citedby = {0},
  pages = {385-404},
  booktitle = {Theoretical Aspects of Computer Software, International Conference TACS  94, Sendai, Japan, April 19-22, 1994, Proceedings},
  editor = {Masami Hagiya and John C. Mitchell},
  volume = {789},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-57887-0},
}

@inproceedings{JonesRB05,
  title = {Modelling mobile health systems: an application of augmented MDA for the extended healthcare enterprise.},
  author = {Val Jones and Arend Rensink and Ed Brinksma},
  year = {2005},
  doi = {10.1109/EDOC.2005.22},
  url = {http://doi.ieeecomputersociety.org/10.1109/EDOC.2005.22},
  tags = {mobile},
  researchr = {https://researchr.org/publication/JonesRB05},
  cites = {0},
  citedby = {0},
  pages = {58-69},
  booktitle = {Ninth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2005), 19-23 September 2005, Enschede, The Netherlands},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2441-9},
}

@inproceedings{PoskittDPR14,
  title = {Towards Rigorously Faking Bidirectional Model Transformations},
  author = {Christopher M. Poskitt and Mike Dodds and Richard F. Paige and Arend Rensink},
  year = {2014},
  url = {http://ceur-ws.org/Vol-1277/8.pdf},
  researchr = {https://researchr.org/publication/PoskittDPR14},
  cites = {0},
  citedby = {0},
  pages = {70-75},
  booktitle = {Proceedings of the Workshop on Analysis of Model Transformations co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), Valencia, Spain, September 29, 2014},
  editor = {Jürgen Dingel and Juan de Lara and Levi Lucio and Hans Vangheluwe},
  volume = {1277},
  series = {CEUR Workshop Proceedings},
  publisher = {CEUR-WS.org},
}

@inproceedings{StaijenR09,
  title = {Graph-based specification and simulation of featherweight Java with around advice},
  author = {Tom Staijen and Arend Rensink},
  year = {2009},
  doi = {10.1145/1509837.1509844},
  url = {http://doi.acm.org/10.1145/1509837.1509844},
  tags = {rule-based, Java, graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/StaijenR09},
  cites = {0},
  citedby = {0},
  pages = {25-30},
  booktitle = {Proceedings of the 8th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2009, Charlottesville, Virginia, USA, March 2, 2009},
  editor = {Mario Südholt},
  publisher = {ACM},
  isbn = {978-1-60558-452-2},
}

@inproceedings{BijlRT05,
  title = {Action Refinement in Conformance Testing},
  author = {Machiel van der Bijl and Arend Rensink and Jan Tretmans},
  year = {2005},
  doi = {10.1007/11430230_7},
  url = {http://dx.doi.org/10.1007/11430230_7},
  tags = {refinement, testing},
  researchr = {https://researchr.org/publication/BijlRT05},
  cites = {0},
  citedby = {0},
  pages = {81-96},
  booktitle = {Testing of Communicating Systems, 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005, Proceedings},
  editor = {Ferhat Khendek and Rachida Dssouli},
  volume = {3502},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-26054-4},
}

@inproceedings{Rensink04:0,
  title = {Canonical Graph Shapes},
  author = {Arend Rensink},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2986&spage=401},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/Rensink04%3A0},
  cites = {0},
  citedby = {0},
  pages = {401-415},
  booktitle = {Programming Languages and Systems, 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings},
  editor = {David A. Schmidt},
  volume = {2986},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-21313-9},
}

@inproceedings{RensinkG97,
  title = {Action refinement for Vertical Implementation},
  author = {Arend Rensink and Roberto Gorrieri},
  year = {1997},
  tags = {refinement},
  researchr = {https://researchr.org/publication/RensinkG97},
  cites = {0},
  citedby = {0},
  pages = {69-78},
  booktitle = {Formale Beschreibungstechniken für verteilte Systeme, GI/ITG-Fachgespräch, Berlin, 19.-20. Juni 1997},
  editor = {Adam Wolisz and Ina Schieferdecker and Axel Rennoch},
  volume = {315},
  series = {GMD-Studien},
  publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
  isbn = {3-88457-315-2},
}

@article{RensinkW01,
  title = {Process algebra with action dependencies},
  author = {Arend Rensink and Heike Wehrheim},
  year = {2001},
  url = {http://link.springer.de/link/service/journals/00236/bibs/1038003/10380155.htm},
  tags = {process algebra,  algebra},
  researchr = {https://researchr.org/publication/RensinkW01},
  cites = {0},
  citedby = {0},
  journal = {Acta Informatica},
  volume = {38},
  number = {3},
  pages = {155-234},
}

@article{RensinkD06,
  title = {Abstract Graph Transformation},
  author = {Arend Rensink and Dino Distefano},
  year = {2006},
  doi = {10.1016/j.entcs.2006.01.022},
  url = {http://dx.doi.org/10.1016/j.entcs.2006.01.022},
  tags = {graph transformation, graph-rewriting, rewriting, transformation},
  researchr = {https://researchr.org/publication/RensinkD06},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {157},
  number = {1},
  pages = {39-59},
}

@inproceedings{BijlRT03,
  title = {Compositional Testing with ioco},
  author = {Machiel van der Bijl and Arend Rensink and Jan Tretmans},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2931&spage=86},
  tags = {composition, testing},
  researchr = {https://researchr.org/publication/BijlRT03},
  cites = {0},
  citedby = {0},
  pages = {86-100},
  booktitle = {Formal Approaches to Software Testing, Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003},
  editor = {Alexandre Petrenko and Andreas Ulrich},
  volume = {2931},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-20894-1},
}

@inproceedings{DistefanoRK02,
  title = {Model Checking Birth and Death},
  author = {Dino Distefano and Arend Rensink and Joost-Pieter Katoen},
  year = {2002},
  tags = {model checking, meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/DistefanoRK02},
  cites = {0},
  citedby = {0},
  pages = {435-447},
  booktitle = {Foundations of Information Technology in the Era of Networking and Mobile Computing, IFIP 17:::th::: World Computer Congress - TC1 Stream / 2:::nd::: IFIP International Conference on Theoretical Computer Science (TCS 2002), August 25-30, 2002, Montr&eacut},
  editor = {Ricardo A. Baeza-Yates and Ugo Montanari and Nicola Santoro},
  volume = {223},
  series = {IFIP Conference Proceedings},
  publisher = {Kluwer},
  isbn = {1-4020-7181-7},
}

@inproceedings{SmelikRK06,
  title = {Specification and Construction of Control Flow Semantics},
  author = {Ruben Smelik and Arend Rensink and Harmen Kastenberg},
  year = {2006},
  doi = {10.1109/VLHCC.2006.45},
  url = {http://doi.ieeecomputersociety.org/10.1109/VLHCC.2006.45},
  tags = {semantics, data-flow},
  researchr = {https://researchr.org/publication/SmelikRK06},
  cites = {0},
  citedby = {0},
  pages = {65-72},
  booktitle = {2006 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2006), 4-8 September 2006, Brighton, UK},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2586-5},
}

@inproceedings{and-Maarten-de-Mol-and-Arend-Rensink-and-Eduardo-Zambon:TTC:2010,
  title = {Solving the Topology Analysis Case Study with  GROOVE},
  author = {Amir Hossein Ghamarian and Maarten de Mol and Arend Rensink and Eduardo Zambon},
  year = {2010},
  tags = {model-to-model transformation, case study, points-to analysis, analysis, source-to-source, model transformation, peer-to-peer, open-source, transformation},
  researchr = {https://researchr.org/publication/and-Maarten-de-Mol-and-Arend-Rensink-and-Eduardo-Zambon%3ATTC%3A2010},
  cites = {0},
  citedby = {0},
  booktitle = {Transformation Tool Contest},
  editor = {Pieter Van Gorp and Steffen Mazanek and Arend Rensink},
  address = {Malaga},
}

@inproceedings{RensinkG97:0,
  title = {Action Refinement as an Implementation Relations},
  author = {Arend Rensink and Roberto Gorrieri},
  year = {1997},
  tags = {refinement},
  researchr = {https://researchr.org/publication/RensinkG97%3A0},
  cites = {0},
  citedby = {0},
  pages = {772-786},
  booktitle = {TAPSOFT 97: Theory and Practice of Software Development, 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
  editor = {Michel Bidoit and Max Dauchet},
  volume = {1214},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-62781-2},
}

@inproceedings{RensinkDEJKLMSZ07,
  title = {Ludo: A Case Study for Graph Transformation Tools},
  author = {Arend Rensink and Alexander Dotor and Claudia Ermel and Stefan Jurack and Ole Kniemeyer and Juan de Lara and Sonja Maier and Tom Staijen and Albert Zündorf},
  year = {2007},
  doi = {10.1007/978-3-540-89020-1_34},
  url = {http://dx.doi.org/10.1007/978-3-540-89020-1_34},
  tags = {case study, graph transformation, graph-rewriting, rewriting, transformation},
  researchr = {https://researchr.org/publication/RensinkDEJKLMSZ07},
  cites = {0},
  citedby = {0},
  pages = {493-513},
  booktitle = {Applications of Graph Transformations with Industrial Relevance, Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers},
  editor = {Andy Schürr and Manfred Nagl and Albert Zündorf},
  volume = {5088},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-89019-5},
}

@article{Rensink93,
  title = {Order isomorphism odes not preserve global event independence},
  author = {Arend Rensink},
  year = {1993},
  researchr = {https://researchr.org/publication/Rensink93},
  cites = {0},
  citedby = {0},
  journal = {Bulletin of the EATCS},
  volume = {51},
  pages = {228-235},
}

@article{Rensink06:1,
  title = {Isomorphism Checking in GROOVE},
  author = {Arend Rensink},
  year = {2006},
  url = {http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/77},
  researchr = {https://researchr.org/publication/Rensink06%3A1},
  cites = {0},
  citedby = {0},
  journal = {ECEASST},
  volume = {1},
}

@article{Rensink97,
  title = {Bisimilarity of open terms},
  author = {Arend Rensink},
  year = {1997},
  url = {http://www.elsevier.com/gej-ng/31/29/23/33/23/show/Products/notes/index.htt#017},
  tags = {source-to-source, open-source},
  researchr = {https://researchr.org/publication/Rensink97},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {7},
  pages = {262},
}

@inproceedings{GehrkeHRW98,
  title = {An Algebraic Semantics for Message Sequence Chart Documents},
  author = {Thomas Gehrke and Michaela Huhn and Arend Rensink and Heike Wehrheim},
  year = {1998},
  tags = {semantics,  algebra},
  researchr = {https://researchr.org/publication/GehrkeHRW98},
  cites = {0},
  citedby = {0},
  pages = {3-18},
  booktitle = {Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE XI / PSTV XVIII 98, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and},
  editor = {Stanislaw Budkowski and Ana R. Cavalli and Elie Najm},
  volume = {135},
  series = {IFIP Conference Proceedings},
  publisher = {Kluwer},
  isbn = {0-412-84760-4},
}

@inproceedings{BauerBKR08,
  title = {A Modal-Logic Based Graph Abstraction},
  author = {Jörg Bauer and Iovka Boneva and Marcos E. Kurbán and Arend Rensink},
  year = {2008},
  doi = {10.1007/978-3-540-87405-8_22},
  url = {http://dx.doi.org/10.1007/978-3-540-87405-8_22},
  tags = {rule-based, modal logic, graph-rewriting, e-science, logic, abstraction, rewriting logic, rewriting},
  researchr = {https://researchr.org/publication/BauerBKR08},
  cites = {0},
  citedby = {0},
  pages = {321-335},
  booktitle = {Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings},
  editor = {Hartmut Ehrig and Reiko Heckel and Grzegorz Rozenberg and Gabriele Taentzer},
  volume = {5214},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-87404-1},
}

@inproceedings{RensinkW94,
  title = {Weak Sequential Composition in Process Algebras},
  author = {Arend Rensink and Heike Wehrheim},
  year = {1994},
  tags = {composition, process algebra,  algebra},
  researchr = {https://researchr.org/publication/RensinkW94},
  cites = {0},
  citedby = {0},
  pages = {226-241},
  booktitle = {CONCUR  94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings},
  editor = {Bengt Jonsson and Joachim Parrow},
  volume = {836},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-58329-7},
}

@inproceedings{RensinkSV04,
  title = {Model Checking Graph Transformations: A Comparison of Two Approaches},
  author = {Arend Rensink and Ákos Schmidt and Dániel Varró},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3256&spage=226},
  tags = {model-to-model transformation, model checking, graph transformation, meta-model, source-to-source, graph-rewriting, model transformation, Meta-Environment, rewriting, systematic-approach, transformation},
  researchr = {https://researchr.org/publication/RensinkSV04},
  cites = {0},
  citedby = {0},
  pages = {226-241},
  booktitle = {Graph Transformations, Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 2, 2004, Proceedings},
  editor = {Hartmut Ehrig and Gregor Engels and Francesco Parisi-Presicce and Grzegorz Rozenberg},
  volume = {3256},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-23207-9},
}

@inproceedings{EngelsKRSSW08,
  title = {From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations},
  author = {Gregor Engels and Anneke Kleppe and Arend Rensink and Maria Semenyak and Christian Soltenborn and Heike Wehrheim},
  year = {2008},
  doi = {10.1007/978-3-540-69100-6_7},
  url = {http://dx.doi.org/10.1007/978-3-540-69100-6_7},
  tags = {model-to-model transformation, meta-model, UML, source-to-source, model transformation, Meta-Environment, transformation},
  researchr = {https://researchr.org/publication/EngelsKRSSW08},
  cites = {0},
  citedby = {0},
  pages = {94-109},
  booktitle = {Model Driven Architecture - Foundations and Applications, 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings},
  editor = {Ina Schieferdecker and Alan Hartman},
  volume = {5095},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-69095-5},
}

@inproceedings{Rensink04:1,
  title = {Representing First-Order Logic Using Graphs},
  author = {Arend Rensink},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3256&spage=319},
  tags = {graph-rewriting, logic, rewriting logic, rewriting},
  researchr = {https://researchr.org/publication/Rensink04%3A1},
  cites = {0},
  citedby = {0},
  pages = {319-335},
  booktitle = {Graph Transformations, Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 2, 2004, Proceedings},
  editor = {Hartmut Ehrig and Gregor Engels and Francesco Parisi-Presicce and Grzegorz Rozenberg},
  volume = {3256},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-23207-9},
}
@proceedings{ecmdafa:2009,
  title = {Model Driven Architecture - Foundations and Applications, 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings},
  year = {2009},
  doi = {10.1007/978-3-642-02674-4},
  url = {http://dx.doi.org/10.1007/978-3-642-02674-4},
  tags = {architecture},
  researchr = {https://researchr.org/publication/ecmdafa%3A2009},
  cites = {0},
  citedby = {0},
  booktitle = {Model Driven Architecture - Foundations and Applications, 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings},
  conference = {ECMDA-FA},
  editor = {Richard F. Paige and Alan Hartman and Arend Rensink},
  volume = {5562},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-02673-7},
}

@proceedings{ecmdafa:2006,
  title = {Model Driven Architecture - Foundations and Applications, Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006, Proceedings},
  year = {2006},
  tags = {architecture},
  researchr = {https://researchr.org/publication/ecmdafa%3A2006},
  cites = {0},
  citedby = {0},
  booktitle = {Model Driven Architecture - Foundations and Applications, Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006, Proceedings},
  conference = {ECMDA-FA},
  editor = {Arend Rensink and Jos Warmer},
  volume = {4066},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-35909-5},
}

@proceedings{ttc-2010,
  title = {Transformation Tool Contest},
  year = {2010},
  tags = {experimental research, model-to-model transformation, transformation engineering, graph transformation, meta-model, case studies, source-to-source, graph-rewriting, model-driven engineering, model transformation, Meta-Environment, rewriting, transformation},
  researchr = {https://researchr.org/publication/ttc-2010},
  cites = {0},
  citedby = {0},
  booktitle = {Transformation Tool Contest},
  conference = {TTC},
  editor = {Pieter Van Gorp and Steffen Mazanek and Arend Rensink},
  address = {Malaga},
}

@proceedings{fmoods:2002,
  title = {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},
  year = {2002},
  tags = {rule-based, source-to-source, open-source},
  researchr = {https://researchr.org/publication/fmoods%3A2002},
  cites = {0},
  citedby = {0},
  booktitle = {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},
  conference = {fmoods},
  editor = {Bart Jacobs and Arend Rensink},
  volume = {209},
  series = {IFIP Conference Proceedings},
  publisher = {Kluwer},
  isbn = {0-7923-7683-8},
}