Arend Rensink - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Arend Rensink' as author, editor, or advisor:

Integration and Orchestration of Analysis ToolsRobert Heinrich, Erwan Bousse, Sandro Koch, Arend Rensink, Elvinia Riccobene, Daniel Ratiu, Marjan Sirjani. In Robert Heinrich, Francisco Durán 0001, Carolyn L. Talcott, Steffen Zschaler, editors, Composing Model-Based Analysis Tools. pages 71-95, Springer, 2021. [doi]
A Model-Driven Framework for Hardware-Software Co-design of Dataflow ApplicationsWaheed Ahmad, Bugra M. Yildiz, Arend Rensink, Mariëlle Stoelinga. CyPhy 2017: 1-16 [doi]
Vertical ImplementationArend Rensink, Roberto Gorrieri. iandc, 170(1):95-133, 2001.
Incremental Pattern Matching in Graph-Based State Space ExplorationAmir Hossein Ghamarian, Arash Jalali, Arend Rensink. eceasst, 32, 2010. [doi]
Incremental Pattern Matching for Regular ExpressionsArash Jalali, Arend Rensink, Amir Hossein Ghamarian. eceasst, 47, 2012. [doi]
CALIBAN - Esprit Basic Research WG 6067Eike Best, Raymond R. Devillers, Elisabeth Pelz, Arend Rensink, Manuel Silva 0001, Enrique Teruel. strict 1995: 2-31 [doi]
LOCKS: a property specification language for security goalsRajesh Kumar 0012, Arend Rensink, Mariëlle Stoelinga. SAC 2018: 1907-1915 [doi]
Distributed Graph-Based State Space GenerationStefan Blom, Gijs Kant, Arend Rensink. eceasst, 32, 2010. [doi]
Proceedings of the Workshop on Graph Transformation for Verification and Concurrency, GT-VC 2005, Satellite Event of CONCUR 2005, San Francisco, CA, USA, August 22, 2005Arend Rensink, Reiko Heckel, Barbara König 0001, editors, Volume 154 of Electronic Notes in Theoretical Computer Science, Elsevier, 2006. [doi]
A Case in Point: Verification and Testing of a EULYNX InterfaceMark Bouwman, Djurre van der Wal, Bas Luttik, Mariëlle Stoelinga, Arend Rensink. fac, 35(1), March 2023. [doi]
Who is Pointing When to Whom?Dino Distefano, Joost-Pieter Katoen, Arend Rensink. fsttcs 2004: 250-262 [doi]
The GROOVE Simulator: A Tool for State Space GenerationArend Rensink. agtive 2004: 479-485 [doi]
Dependency-Based Action RefinementArend Rensink, Heike Wehrheim. mfcs 1997: 468-477
On a Graph-Based Semantics for UML Class and Object DiagramsArend Rensink, Anneke Kleppe. eceasst, 10, 2008. [doi]
Graph-Based Tools: The ContestArend Rensink, Pieter Van Gorp. gg 2008: 463-466 [doi]
Finite Petri Nets as Models for Recursive Causal BehaviourUrsula Goltz, Arend Rensink. TCS, 124(1):169-179, 1994.
How do we teach modelling and model-driven engineering?: a surveyFederico Ciccozzi, Michalis Famelis, Gerti Kappel, Leen Lambers, Sébastien Mosser 0001, Richard F. Paige, Alfonso Pierantonio, Arend Rensink, Rick Salay, Gabriele Taentzer, Antonio Vallecillo, Manuel Wimmer. MoDELS 2018: 122-129 [doi]
Theory and Practice of Model Transformation - 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25-26, 2018, ProceedingsArend Rensink, Jesús Sánchez Cuadrado, editors, Volume 10888 of Lecture Notes in Computer Science, Springer, 2018. [doi]
Graph Transforming Java DataMaarten de Mol, Arend Rensink, James J. Hunt. FASE 2012: 209-223 [doi]
Rewriting Abstract Structures: Materialization Explained CategoricallyAndrea Corradini, Tobias Heindel, Barbara König 0001, Dennis Nolte, Arend Rensink. fossacs 2019: 169-188 [doi]
Graph Attribution Through Sub-GraphsHarmen Kastenberg, Arend Rensink. BIRTHDAY 2018: 245-265 [doi]
Knowledge-Based Graph Exploration AnalysisIsmênia Galvão, Eduardo Zambon, Arend Rensink, Lesley Wevers, Mehmet Aksit. agtive 2012: 105-120 [doi]
Fault Trees on a Diet - - Automated Reduction by Graph Rewriting -Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Arend Rensink, Mariëlle Stoelinga. setta 2015: 3-18 [doi]
From BDD Scenarios to Test Case GenerationTannaz Zameni, Petra van den Bos, Jan Tretmans, Johan Foederer, Arend Rensink. icst 2023: 36-44 [doi]
A Process Algebra Semantics for MSC Including ConditionsThomas Gehrke, Michaela Huhn, Peter Niebert, Arend Rensink, Heike Wehrheim. fbt 1998: 185-196
Showing Full Semantics Preservation in Model Transformation - A Comparison of TechniquesMathias Hülsbusch, Barbara König, Arend Rensink, Maria Semenyak, Christian Soltenborn, Heike Wehrheim. IFM 2010: 183-198 [doi]
Contents for a Model-Based Software Engineering Body of KnowledgeLoli Burgueño, Federico Ciccozzi, Michalis Famelis, Gerti Kappel, Leen Lambers, Sébastien Mosser 0001, Richard F. Paige, Alfonso Pierantonio, Arend Rensink, Rick Salay, Gabriele Taentzer, Antonio Vallecillo, Manuel Wimmer. SoSyM, 18(6):3193-3205, 2019. [doi]
Using Graph Transformations and Graph Abstractions for Software VerificationEduardo Zambon, Arend Rensink. eceasst, 38, 2011. [doi]
Solving the N-Queens Problem with GROOVE - Towards a Compendium of Best PracticesEduardo Zambon, Arend Rensink. eceasst, 67, 2014. [doi]
Applying formal methods to gossiping networks with mCRL and groovePepijn Crouzen, Jaco van de Pol, Arend Rensink. sigmetrics, 36(3):7-16, 2008. [doi]
PrefaceArend Rensink, Grzegorz Rozenberg, Andy Schürr. FUIN, 118(1-2), 2012. [doi]
Denotational, Causal, and Operational Determinism in Event StructuresArend Rensink. caap 1996: 272-286
Effective Analysis of Attack Trees: A Model-Driven ApproachRajesh Kumar 0012, Stefano Schivo, Enno Ruijters, Bugra Mehmet Yildiz, David Huistra, Jacco Brandt, Arend Rensink, Mariëlle Stoelinga. FASE 2018: 56-73 [doi]
An Event-Based SOS for a Language with RefinementArend Rensink. strict 1995: 294-309 [doi]
Neighbourhood Abstraction in GROOVEArend Rensink, Eduardo Zambon. eceasst, 32, 2010. [doi]
Model Patterns - The Quest for the Right Level of AbstractionArend Rensink. fomac, 1:47-70, 2016. [doi]
How Much Are Your Geraniums? Taking Graph Conditions Beyond First OrderArend Rensink. BIRTHDAY 2017: 191-213 [doi]
Fault trees on a diet: automated reduction by graph rewritingSebastian Junges, Dennis Guck, Joost-Pieter Katoen, Arend Rensink, Mariëlle Stoelinga. fac, 29(4):651-703, 2017. [doi]
Time and Space Issues in the Generation of Graph Transition SystemsArend Rensink. ENTCS, 127(1):127-139, 2005. [doi]
A graph-transformation-based simulation approach for analysing aspect interference on shared join pointsMehmet Aksit, Arend Rensink, Tom Staijen. AOSD 2009: 39-50 [doi]
Compositionality in Graph TransformationArend Rensink. icalp 2010: 309-320 [doi]
Fair TestingEd Brinksma, Arend Rensink, Walter Vogler. concur 1995: 313-327
A survey and comparison of transformation tools based on the transformation tool contestEdgar Jakumeit, Sebastian Buchwald, Dennis Wagelaar, Li Dan, Ábel Hegedüs, Markus Herrmannsdörfer, Tassilo Horn, Elina Kalnina, Christian Krause, Kevin Lano, Markus Lepper, Arend Rensink, Louis M. Rose, Sebastian Wätzoldt, Steffen Mazanek. SCP, 85:41-99, 2014. [doi]
Spezifikation eines RPC-Speichers mit der Sprache ProFunThomas Firley, Thomas Gehrke, Arend Rensink. fbt 1998: 136-147
On A Graph Formalism for Ordered EdgesMaarten de Mol, Arend Rensink. eceasst, 29, 2010. [doi]
Noninvasive regelbasierte Graphtransformation für JavaJames J. Hunt, Maarten de Mol, Arend Rensink. se 2014: 91-92
BenchmarXAnthony Anjorin, Alcino Cunha, Holger Giese, Frank Hermann 0001, Arend Rensink, Andy Schürr. edbt 2014: 82-86 [doi]
Proceedings of the Workshop on Graph Transformation for Concurrency and Verification, GT-VC@CONCUR 2006, Bonn, Germany, August 31, 2006Arend Rensink, Reiko Heckel, Barbara König 0001, editors, Volume 175 of Electronic Notes in Theoretical Computer Science, Elsevier, 2007. [doi]
22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS Companion 2019, Munich, Germany, September 15-20, 2019Loli Burgueño, Alexander Pretschner, Sebastian Voss, Michel Chaudron, Jörg Kienzle, Markus Völter, Sébastien Gérard, Mansooreh Zahedi, Erwan Bousse, Arend Rensink, Fiona Polack, Gregor Engels, Gerti Kappel, editors, IEEE, 2019. [doi]
How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven ApproachStefano Schivo, Bugra M. Yildiz, Enno Ruijters, Christopher Gerking, Rajesh Kumar, Stefan Dziwok, Arend Rensink, Mariëlle Stoelinga. setta 2017: 319-336 [doi]
Graph Abstraction for a Modal LogicIovka Boneva, Jörg Kreiker, Marcos E. Kurbán, Arend Rensink. eatcs, 97:106-116, 2009.
Towards a Formal Specification of Multi-paradigm ModellingMoussa Amrani, Dominique Blouin, Robert Heinrich, Arend Rensink, Hans Vangheluwe, Andreas Wortmann. MoDELS 2019: 419-424 [doi]
AGTIVE 2007 Graph Transformation Tool ContestArend Rensink, Gabriele Taentzer. agtive 2008: 487-492 [doi]
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 PapersUwe Aßmann, Mehmet Aksit, Arend Rensink, editors, Volume 3599 of Lecture Notes in Computer Science, Springer, 2005.
Defining Object-Oriented Execution Semantics Using Graph TransformationsHarmen Kastenberg, Anneke Kleppe, Arend Rensink. fmoods 2006: 186-201 [doi]
AGTIVE 03: Summary from the Outside InArend Rensink. agtive 2004: 486-488 [doi]
Action RefinementRoberto Gorrieri, Arend Rensink. In Jan A. Bergstra, Alban Ponse, Scott A. Smolka, editors, Handbook of Process Algebra. pages 1047-1147, North-Holland / Elsevier, 2001. [doi]
Fundamental Approaches to Software Engineering - 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, ProceedingsStefania Gnesi, Arend Rensink, editors, Volume 8411 of Lecture Notes in Computer Science, Springer, 2014. [doi]
Graph transformation tool contest 2008Arend Rensink, Pieter Van Gorp. STTT, 12(3-4):171-181, 2010. [doi]
Pattern-Based Graph AbstractionArend Rensink, Eduardo Zambon. gg 2012: 66-80 [doi]
PrefaceArend Rensink, Reiko Heckel, Barbara König. ENTCS, 154(2):1-5, 2006. [doi]
Towards a body of knowledge for model-based software engineeringFederico Ciccozzi, Michalis Famelis, Gerti Kappel, Leen Lambers, Sébastien Mosser 0001, Richard F. Paige, Alfonso Pierantonio, Arend Rensink, Rick Salay, Gabi Taentzer, Antonio Vallecillo, Manuel Wimmer. MoDELS 2018: 82-89 [doi]
On the Efficacy of Online Proctoring using ProctorioLaura Bergmans, Nacir Bouali, Marloes Luttikhuis, Arend Rensink. csedu 2021: 279-290 [doi]
An MDE Approach for Modular Program AnalysesBugra M. Yildiz, Christoph Bockisch, Arend Rensink, Mehmet Aksit. Programming 2017: [doi]
PrefaceArend Rensink, Reiko Heckel, Barbara König. ENTCS, 175(4):1-2, 2007. [doi]
Weakest Preconditions for High-Level ProgramsAnnegret Habel, Karl-Heinz Pennemann, Arend Rensink. gg 2006: 445-460 [doi]
Call for Papers: STTT Special Section on. Graph-Based Tool ComparisonPieter Van Gorp, Arend Rensink. nov 2008.
Graph Transformations - 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27 - - October 2, 2010. ProceedingsHartmut Ehrig, Arend Rensink, Grzegorz Rozenberg, Andy Schürr, editors, Volume 6372 of Lecture Notes in Computer Science, Springer, 2010. [doi]
Bisimilarity of Open TermsArend Rensink. iandc, 156(1-2):345-385, 2000.
Special section on ICMT at STAF 2018Jesús Sánchez Cuadrado, Arend Rensink. SoSyM, 19(2):399-400, 2020. [doi]
Multi-paradigm modelling for cyber-physical systems: a descriptive frameworkMoussa Amrani, Dominique Blouin, Robert Heinrich, Arend Rensink, Hans Vangheluwe, Andreas Wortmann 0001. SoSyM, 20(3):611-639, 2021. [doi]
A Java Bytecode Metamodel for Composable Program AnalysesBugra M. Yildiz, Christoph Bockisch, Arend Rensink, Mehmet Aksit. staf 2018: 30-40 [doi]
Dynamic Partial Order Reduction Using Probe SetsHarmen Kastenberg, Arend Rensink. concur 2008: 233-247 [doi]
Graph Passing in Graph TransformationAmir Hossein Ghamarian, Arend Rensink. eceasst, 47, 2012. [doi]
Editorial for Special Section on Dependencies and Interactions with AspectsRuzanna Chitchyan, Johan Fabry, Shmuel Katz, Arend Rensink. TAOSD, 5:133-134, 2009. [doi]
ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th BirthdayJoost-Pieter Katoen, Rom Langerak, Arend Rensink, editors, Volume 10500 of Lecture Notes in Computer Science, Springer, 2017. [doi]
Recipes for Coffee: Compositional Construction of JAVA Control Flow Graphs in GROOVEEduardo Zambon, Arend Rensink. BIRTHDAY 2018: 305-323 [doi]
Towards Compliance Verification Between Global and Local Process ModelsPieter M. Kwantes, Pieter Van Gorp, Jetty Kleijn, Arend Rensink. gg 2015: 221-236 [doi]
Generalised Compositionality in Graph TransformationAmir Hossein Ghamarian, Arend Rensink. gg 2012: 234-248 [doi]
Repotting the Geraniums: On Nested Graph Transformation RulesArend Rensink, Jan-Hendrik Kuperus. eceasst, 18, 2009. [doi]
Process creation and full sequential composition in a name-passing calculusThomas Gehrke, Arend Rensink. ENTCS, 7:141-160, 1997. [doi]
Software and systems modeling with graph transformations theme issue of the Journal on Software and Systems ModelingAndy Schürr, Arend Rensink. SoSyM, 13(1):171-172, 2014. [doi]
Fair testingArend Rensink, Walter Vogler. iandc, 205(2):125-198, 2007. [doi]
A Tutorial on Graph TransformationBarbara König 0001, Dennis Nolte, Julia Padberg, Arend Rensink. BIRTHDAY 2018: 83-104 [doi]
Methodological Aspects of Action RefinementArend Rensink. procomet 1994: 227-246
The Edge of Graph Transformation - Graphs for Behavioural SpecificationArend Rensink. BIRTHDAY 2010: 6-32 [doi]
Graph-Based Tools: The ContestArend Rensink, Pieter Van Gorp. In Graph Transformations. 2008.
Modelling and analysis using GROOVEAmir Hossein Ghamarian, Maarten de Mol, Arend Rensink, Eduardo Zambon, Maria Zimakova. STTT, 14(1):15-40, 2012. [doi]
Proceedings of the Third Workshop on Graph Transformation for Concurrency and Verification, GT-VC@CONCUR 2007, Lisbon, Portugal, September 3, 2007Barbara König 0001, Arend Rensink, Reiko Heckel, editors, Volume 213 of Electronic Notes in Theoretical Computer Science, Elsevier, 2008. [doi]

runs on WebDSL