Arend Rensink

ORCID

Publication Activity (10 Years)

Years Active: 1992-2023
Publications (10 Years): 24

Top Venues

Softw. Syst. Model.

MoDELS (Companion)

SETTA

Formal Aspects Comput.

Publications

Tannaz Zameni, Petra van den Bos, Jan Tretmans, Johan Foederer, Arend Rensink
From BDD Scenarios to Test Case Generation. ICSTW (2023)
Mark Bouwman, Djurre van der Wal, Bas Luttik, Mariëlle Stoelinga, Arend Rensink
A Case in Point: Verification and Testing of a EULYNX Interface. Formal Aspects Comput. 35 (1) (2023)
Moussa Amrani, Dominique Blouin, Robert Heinrich, Arend Rensink, Hans Vangheluwe, Andreas Wortmann
Multi-paradigm modelling for cyber-physical systems: a descriptive framework. Softw. Syst. Model. 20 (3) (2021)
Laura Bergmans, Nacir Bouali, Marloes Luttikhuis, Arend Rensink
On the Efficacy of Online Proctoring using Proctorio. CSEDU (1) (2021)
Jesús Sánchez Cuadrado, Arend Rensink
Special section on ICMT at STAF 2018. Softw. Syst. Model. 19 (2) (2020)
Loli Burgueño, Federico Ciccozzi, Michalis Famelis, Gerti Kappel, Leen Lambers, Sébastien Mosser, Richard F. Paige, Alfonso Pierantonio, Arend Rensink, Rick Salay, Gabriele Taentzer, Antonio Vallecillo, Manuel Wimmer
Contents for a Model-Based Software Engineering Body of Knowledge. Softw. Syst. Model. 18 (6) (2019)
Andrea Corradini, Tobias Heindel, Barbara König, Dennis Nolte, Arend Rensink
Rewriting Abstract Structures: Materialization Explained Categorically. FoSSaCS (2019)
Moussa Amrani, Dominique Blouin, Robert Heinrich, Arend Rensink, Hans Vangheluwe, Andreas Wortmann
Towards a Formal Specification of Multi-paradigm Modelling. MoDELS (Companion) (2019)
Andrea Corradini, Tobias Heindel, Barbara König, Dennis Nolte, Arend Rensink
Rewriting Abstract Structures: Materialization Explained Categorically. CoRR (2019)
Federico Ciccozzi, Michalis Famelis, Gerti Kappel, Leen Lambers, Sébastien Mosser, Richard F. Paige, Alfonso Pierantonio, Arend Rensink, Rick Salay, Gabi Taentzer, Antonio Vallecillo, Manuel Wimmer
How do we teach modelling and model-driven engineering?: a survey. MoDELS (Companion) (2018)
Barbara König, Dennis Nolte, Julia Padberg, Arend Rensink
A Tutorial on Graph Transformation. Graph Transformation, Specifications, and Nets (2018)
Federico Ciccozzi, Michalis Famelis, Gerti Kappel, Leen Lambers, Sébastien Mosser, Richard F. Paige, Alfonso Pierantonio, Arend Rensink, Rick Salay, Gabi Taentzer, Antonio Vallecillo, Manuel Wimmer
Towards a body of knowledge for model-based software engineering. MoDELS (Companion) (2018)
Rajesh Kumar, Arend Rensink, Mariëlle Stoelinga
LOCKS: a property specification language for security goals. SAC (2018)
Eduardo Zambon, Arend Rensink
Recipes for Coffee: Compositional Construction of JAVA Control Flow Graphs in GROOVE. Principled Software Development (2018)
Rajesh Kumar, Stefano Schivo, Enno Ruijters, Bugra Mehmet Yildiz, David Huistra, Jacco Brandt, Arend Rensink, Mariëlle Stoelinga
Effective Analysis of Attack Trees: A Model-Driven Approach. FASE (2018)
Harmen Kastenberg, Arend Rensink
Graph Attribution Through Sub-Graphs. Graph Transformation, Specifications, and Nets (2018)
Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Arend Rensink, Mariëlle Stoelinga
Fault trees on a diet: automated reduction by graph rewriting. Formal Aspects Comput. 29 (4) (2017)
Bugra M. Yildiz, Christoph Bockisch, Arend Rensink, Mehmet Aksit
A Java Bytecode Metamodel for Composable Program Analyses. STAF Workshops (2017)
Stefano Schivo, Bugra M. Yildiz, Enno Ruijters, Christopher Gerking, Rajesh Kumar, Stefan Dziwok, Arend Rensink, Mariëlle Stoelinga
How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach. SETTA (2017)
Arend Rensink
How Much Are Your Geraniums? Taking Graph Conditions Beyond First Order. ModelEd, TestEd, TrustEd (2017)
Bugra M. Yildiz, Christoph Bockisch, Arend Rensink, Mehmet Aksit
An MDE Approach for Modular Program Analyses. Programming (2017)
Bugra M. Yildiz, Arend Rensink, Christoph Bockisch, Mehmet Aksit
A Model-Derivation Framework for Software Analysis. MARS@ETAPS (2017)
Arend Rensink
Model Patterns - The Quest for the Right Level of Abstraction. LNCS Trans. Found. Mastering Chang. 1 (2016)
Waheed Ahmad, Bugra M. Yildiz, Arend Rensink, Mariëlle Stoelinga
A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications. CyPhy (2016)
Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Arend Rensink, Mariëlle Stoelinga
Fault Trees on a Diet - - Automated Reduction by Graph Rewriting -. SETTA (2015)
Pieter M. Kwantes, Pieter Van Gorp, Jetty Kleijn, Arend Rensink
Towards Compliance Verification Between Global and Local Process Models. ICGT (2015)
Anthony Anjorin, Alcino Cunha, Holger Giese, Frank Hermann, Arend Rensink, Andy Schürr
BenchmarX. EDBT/ICDT Workshops (2014)
James J. Hunt, Maarten de Mol, Arend Rensink
Noninvasive regelbasierte Graphtransformation für Java. Software Engineering (2014)
Andy Schürr, Arend Rensink
Software and systems modeling with graph transformations theme issue of the Journal on Software and Systems Modeling. Softw. Syst. Model. 13 (1) (2014)
Giorgio Delzanno, Arend Rensink, Riccardo Traverso
Graph- versus Vector-Based Analysis of a Consensus Protocol. GRAPHITE (2014)
Eduardo Zambon, Arend Rensink
Solving the N-Queens Problem with GROOVE - Towards a Compendium of Best Practices. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 67 (2014)
Christopher M. Poskitt, Mike Dodds, Richard F. Paige, Arend Rensink
Towards Rigorously Faking Bidirectional Model Transformations. AMT@MoDELS (2014)
Edgar 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
A survey and comparison of transformation tools based on the transformation tool contest. Sci. Comput. Program. 85 (2014)
Wietse Smid, Arend Rensink
Class Diagram Restructuring with GROOVE. TTC (2013)
Amir Hossein Ghamarian, Maarten de Mol, Arend Rensink, Eduardo Zambon, Maria Zimakova
Modelling and analysis using GROOVE. Int. J. Softw. Tools Technol. Transf. 14 (1) (2012)
Arend Rensink, Grzegorz Rozenberg, Andy Schürr
Preface. Fundam. Informaticae 118 (1-2) (2012)
Maarten de Mol, Arend Rensink, James J. Hunt
Graph Transforming Java Data. FASE (2012)
Eduardo Zambon, Arend Rensink
Graph Subsumption in Abstract State Space Exploration GRAPHITE (2012)
Amir Hossein Ghamarian, Arend Rensink
Graph Passing in Graph Transformation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 47 (2012)
Arash Jalali, Arend Rensink, Amir Hossein Ghamarian
Incremental Pattern Matching for Regular Expressions. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 47 (2012)
Arend Rensink, Eduardo Zambon
Pattern-Based Graph Abstraction. ICGT (2012)
Amir Hossein Ghamarian, Arend Rensink
Generalised Compositionality in Graph Transformation. ICGT (2012)
Arend Rensink, Eduardo Zambon
Solving the TTC 2011 Compiler Optimization Case with GROOVE TTC (2011)
Eduardo Zambon, Arend Rensink
Using Graph Transformations and Graph Abstractions for Software Verification. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 38 (2011)
Amir Hossein Ghamarian, Maarten de Mol, Arend Rensink, Eduardo Zambon
Saying Hello World with GROOVE - A Solution to the TTC 2011 Instructive Case TTC (2011)
Ismênia Galvão, Eduardo Zambon, Arend Rensink, Lesley Wevers, Mehmet Aksit
Knowledge-Based Graph Exploration Analysis. AGTIVE (2011)
Mathias Hülsbusch, Barbara König, Arend Rensink, Maria Semenyak, Christian Soltenborn, Heike Wehrheim
Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques. IFM (2010)
Arend Rensink, Pieter Van Gorp
Graph transformation tool contest 2008. Int. J. Softw. Tools Technol. Transf. 12 (3-4) (2010)
Stefan Blom, Gijs Kant, Arend Rensink
Distributed Graph-Based State Space Generation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 32 (2010)
Arend Rensink
The Edge of Graph Transformation - Graphs for Behavioural Specification. Graph Transformations and Model-Driven Engineering (2010)
Arend Rensink, Eduardo Zambon
Neighbourhood Abstraction in GROOVE. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 32 (2010)
Amir Hossein Ghamarian, Arash Jalali, Arend Rensink
Incremental Pattern Matching in Graph-Based State Space Exploration. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 32 (2010)
Maarten de Mol, Arend Rensink
On A Graph Formalism for Ordered Edges. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 29 (2010)
Arend Rensink
Compositionality in Graph Transformation. ICALP (2) (2010)
Tom Staijen, Arend Rensink
Graph-based specification and simulation of featherweight Java with around advice. FOAL (2009)
Arend Rensink, Jan-Hendrik Kuperus
Repotting the Geraniums: On Nested Graph Transformation Rules. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 18 (2009)
Mehmet Aksit, Arend Rensink, Tom Staijen
A graph-transformation-based simulation approach for analysing aspect interference on shared join points. AOSD (2009)
Arend Rensink, Eduardo Zambon
A Type Graph Model for Java Programs. FMOODS/FORTE (2009)
Ruzanna Chitchyan, Johan Fabry, Shmuel Katz, Arend Rensink
Editorial for Special Section on Dependencies and Interactions with Aspects. LNCS Trans. Aspect Oriented Softw. Dev. 5 (2009)
Iovka Boneva, Jörg Kreiker, Marcos E. Kurbán, Arend Rensink
Graph Abstraction for a Modal Logic. Bull. EATCS 97 (2009)
Harmen Kastenberg, Arend Rensink
Dynamic Partial Order Reduction Using Probe Sets. CONCUR (2008)
Pepijn Crouzen, Jaco van de Pol, Arend Rensink
Applying formal methods to gossiping networks with mCRL and groove. SIGMETRICS Perform. Evaluation Rev. 36 (3) (2008)
Jörg Bauer, Iovka Boneva, Marcos E. Kurbán, Arend Rensink
A Modal-Logic Based Graph Abstraction. ICGT (2008)
Arend Rensink, Pieter Van Gorp
Graph-Based Tools: The Contest. ICGT (2008)
Arend Rensink, Ronald Nederpel
Graph Transformation Semantics for a QVT Language. Electron. Notes Theor. Comput. Sci. 211 (2008)
Gregor Engels, Anneke Kleppe, Arend Rensink, Maria Semenyak, Christian Soltenborn, Heike Wehrheim
From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations. ECMDA-FA (2008)
Arend Rensink, Anneke Kleppe
On a Graph-Based Semantics for UML Class and Object Diagrams. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008)
Arend Rensink
Explicit State Model Checking for Graph Grammars. Concurrency, Graphs and Models (2008)
Barbara König, Arend Rensink, Reiko Heckel
Preface. Electron. Notes Theor. Comput. Sci. 213 (1) (2008)
Arend Rensink, Reiko Heckel, Barbara König
Preface. Electron. Notes Theor. Comput. Sci. 175 (4) (2007)
Arend Rensink, Gabriele Taentzer
AGTIVE 2007 Graph Transformation Tool Contest. AGTIVE (2007)
Arend Rensink, Walter Vogler
Fair testing. Inf. Comput. 205 (2) (2007)
Iovka Boneva, Frank Hermann, Harmen Kastenberg, Arend Rensink
Simulating Multigraph Transformations Using Simple Graphs. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 6 (2007)
Arend Rensink, Alexander Dotor, Claudia Ermel, Stefan Jurack, Ole Kniemeyer, Juan de Lara, Sonja Maier, Tom Staijen, Albert Zündorf
Ludo: A Case Study for Graph Transformation Tools. AGTIVE (2007)
Arend Rensink
Nested Quantification in Graph Transformation Rules. ICGT (2006)
Annegret Habel, Karl-Heinz Pennemann, Arend Rensink
Weakest Preconditions for High-Level Programs. ICGT (2006)
Arend Rensink, Dino Distefano
Abstract Graph Transformation. Electron. Notes Theor. Comput. Sci. 157 (1) (2006)
Harmen Kastenberg, Anneke Kleppe, Arend Rensink
Defining Object-Oriented Execution Semantics Using Graph Transformations. FMOODS (2006)
Arend Rensink
Isomorphism Checking in GROOVE. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 1 (2006)
Harmen Kastenberg, Arend Rensink
Model Checking Dynamic States in GROOVE. SPIN (2006)
Ruben Smelik, Arend Rensink, Harmen Kastenberg
Specification and Construction of Control Flow Semantics. VL/HCC (2006)
Arend Rensink
Model Checking Quantified Computation Tree Logic. CONCUR (2006)
Arend Rensink, Reiko Heckel, Barbara König
Preface. Electron. Notes Theor. Comput. Sci. 154 (2) (2006)
Machiel van der Bijl, Arend Rensink, Jan Tretmans
Action Refinement in Conformance Testing. TestCom (2005)
Arend Rensink
Time and Space Issues in the Generation of Graph Transition Systems. Electron. Notes Theor. Comput. Sci. 127 (1) (2005)
Val Jones, Arend Rensink, Ed Brinksma
Modelling mobile health systems: an application of augmented MDA for the extended healthcare enterprise.. EDOC (2005)
Gabriele Taentzer, Arend Rensink
Ensuring Structural Constraints in Graph-Based Models with Type Inheritance. FASE (2005)
Dino Distefano, Joost-Pieter Katoen, Arend Rensink
Safety and Liveness in Concurrent Pointer Programs. FMCO (2005)
Arend Rensink
Subjects, Models, Languages, Transformations. Language Engineering for Model-Driven Software Development (2004)
Dino Distefano, Joost-Pieter Katoen, Arend Rensink
Who is Pointing When to Whom? FSTTCS (2004)
Arend Rensink, Ákos Schmidt, Dániel Varró
Model Checking Graph Transformations: A Comparison of Two Approaches. ICGT (2004)
Arend Rensink
Canonical Graph Shapes. ESOP (2004)
Paolo Baldan, Barbara König, Arend Rensink
Summary 2: Graph Grammar Verification through Abstraction. Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems (2004)
Arend Rensink
Representing First-Order Logic Using Graphs. ICGT (2004)
Arend Rensink
AGTIVE'03: Summary from the Outside In. AGTIVE (2003)
Machiel van der Bijl, Arend Rensink, Jan Tretmans
Compositional Testing with ioco. FATES (2003)
Arend Rensink
The GROOVE Simulator: A Tool for State Space Generation. AGTIVE (2003)
Dino Distefano, Arend Rensink, Joost-Pieter Katoen
Model Checking Birth and Death. IFIP TCS (2002)
Arend Rensink, Heike Wehrheim
Process algebra with action dependencies. Acta Informatica 38 (3) (2001)
Arend Rensink, Roberto Gorrieri
Vertical Implementation. Inf. Comput. 170 (1) (2001)

Arend Rensink.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Arend Rensink