Arend Rensink

According to our database, Arend Rensink authored at least 122 papers between 1992 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

A Case in Point: Verification and Testing of a EULYNX Interface.

Mark Bouwman, Djurre van der Wal, Bas Luttik, Mariëlle Stoelinga, Arend Rensink

Formal Aspects Comput., March, 2023

From BDD Scenarios to Test Case Generation.

Tannaz Zameni, Petra van den Bos, Jan Tretmans, Johan Foederer, Arend Rensink

Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2023, 2023

2021

Multi-paradigm modelling for cyber-physical systems: a descriptive framework.

Moussa Amrani, Dominique Blouin, Robert Heinrich, Arend Rensink, Hans Vangheluwe, Andreas Wortmann

Softw. Syst. Model., 2021

On the Efficacy of Online Proctoring using Proctorio.

Laura Bergmans, Nacir Bouali, Marloes Luttikhuis, Arend Rensink

Proceedings of the 13th International Conference on Computer Supported Education, 2021

Integration and Orchestration of Analysis Tools.

Robert Heinrich, Erwan Bousse, Sandro Koch, Arend Rensink, Elvinia Riccobene, Daniel Ratiu, Marjan Sirjani

Proceedings of the Composing Model-Based Analysis Tools, 2021

2020

Special section on ICMT at STAF 2018.

Jesús Sánchez Cuadrado, Arend Rensink

Softw. Syst. Model., 2020

2019

Contents for a Model-Based Software Engineering Body of Knowledge.

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

Softw. Syst. Model., 2019

Towards a Formal Specification of Multi-paradigm Modelling.

Moussa Amrani, Dominique Blouin, Robert Heinrich, Arend Rensink, Hans Vangheluwe, Andreas Wortmann

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

Rewriting Abstract Structures: Materialization Explained Categorically.

Andrea Corradini, Tobias Heindel, Barbara König, Dennis Nolte, Arend Rensink

Proceedings of the Foundations of Software Science and Computation Structures, 2019

2018

LOCKS: a property specification language for security goals.

Rajesh Kumar, Arend Rensink, Mariëlle Stoelinga

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

How do we teach modelling and model-driven engineering?: a survey.

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

Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2018

Towards a body of knowledge for model-based software engineering.

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

Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2018

Effective Analysis of Attack Trees: A Model-Driven Approach.

Rajesh Kumar, Stefano Schivo, Enno Ruijters, Bugra Mehmet Yildiz, David Huistra, Jacco Brandt, Arend Rensink, Mariëlle Stoelinga

Proceedings of the Fundamental Approaches to Software Engineering, 2018

Recipes for Coffee: Compositional Construction of JAVA Control Flow Graphs in GROOVE.

Eduardo Zambon, Arend Rensink

Proceedings of the Principled Software Development, 2018

Graph Attribution Through Sub-Graphs.

Harmen Kastenberg, Arend Rensink

Proceedings of the Graph Transformation, Specifications, and Nets, 2018

A Tutorial on Graph Transformation.

Barbara König, Dennis Nolte, Julia Padberg, Arend Rensink

Proceedings of the Graph Transformation, Specifications, and Nets, 2018

2017

Fault trees on a diet: automated reduction by graph rewriting.

Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Arend Rensink, Mariëlle Stoelinga

Formal Aspects Comput., 2017

A Model-Derivation Framework for Software Analysis.

Bugra M. Yildiz, Arend Rensink, Christoph Bockisch, Mehmet Aksit

Proceedings of the Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, 2017

A Java Bytecode Metamodel for Composable Program Analyses.

Bugra M. Yildiz, Christoph Bockisch, Arend Rensink, Mehmet Aksit

Proceedings of the Software Technologies: Applications and Foundations, 2017

How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach.

Stefano Schivo, Bugra M. Yildiz, Enno Ruijters, Christopher Gerking, Rajesh Kumar, Stefan Dziwok, Arend Rensink, Mariëlle Stoelinga

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2017

An MDE Approach for Modular Program Analyses.

Bugra M. Yildiz, Christoph Bockisch, Arend Rensink, Mehmet Aksit

Proceedings of the Companion to the first International Conference on the Art, 2017

How Much Are Your Geraniums? Taking Graph Conditions Beyond First Order.

Arend Rensink

Proceedings of the ModelEd, TestEd, TrustEd, 2017

2016

Model Patterns - The Quest for the Right Level of Abstraction.

Arend Rensink

LNCS Trans. Found. Mastering Chang., 2016

A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications.

Waheed Ahmad, Bugra M. Yildiz, Arend Rensink, Mariëlle Stoelinga

Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2016

2015

Towards Compliance Verification Between Global and Local Process Models.

Pieter M. Kwantes, Pieter Van Gorp, Jetty Kleijn, Arend Rensink

Proceedings of the Graph Transformation - 8th International Conference, 2015

2014

Software and systems modeling with graph transformations theme issue of the Journal on Software and Systems Modeling.

Andy Schürr, Arend Rensink

Softw. Syst. Model., 2014

A survey and comparison of transformation tools based on the transformation tool contest.

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

Sci. Comput. Program., 2014

Solving the N-Queens Problem with GROOVE - Towards a Compendium of Best Practices.

Eduardo Zambon, Arend Rensink

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014

Graph- versus Vector-Based Analysis of a Consensus Protocol.

Giorgio Delzanno, Arend Rensink, Riccardo Traverso

Proceedings of the Proceedings 3rd Workshop on GRAPH Inspection and Traversal Engineering, 2014

Noninvasive regelbasierte Graphtransformation für Java.

James J. Hunt, Maarten de Mol, Arend Rensink

Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

Towards Rigorously Faking Bidirectional Model Transformations.

Christopher M. Poskitt, Mike Dodds, Richard F. Paige, Arend Rensink

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

BenchmarX.

Anthony Anjorin, Alcino Cunha, Holger Giese, Frank Hermann, Arend Rensink, Andy Schürr

Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014), 2014

2013

Class Diagram Restructuring with GROOVE.

Wietse Smid, Arend Rensink

Proceedings of the Proceedings Sixth Transformation Tool Contest, 2013

2012

Modelling and analysis using GROOVE.

Amir Hossein Ghamarian, Maarten de Mol, Arend Rensink, Eduardo Zambon, Maria Zimakova

Int. J. Softw. Tools Technol. Transf., 2012

Preface.

Arend Rensink, Grzegorz Rozenberg, Andy Schürr

Fundam. Informaticae, 2012

Incremental Pattern Matching for Regular Expressions.

Arash Jalali, Arend Rensink, Amir Hossein Ghamarian

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012

Graph Passing in Graph Transformation.

Amir Hossein Ghamarian, Arend Rensink

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012

Graph Subsumption in Abstract State Space Exploration

Eduardo Zambon, Arend Rensink

Proceedings of the Proceedings First Workshop on GRAPH Inspection and Traversal Engineering, 2012

Pattern-Based Graph Abstraction.

Arend Rensink, Eduardo Zambon

Proceedings of the Graph Transformations - 6th International Conference, 2012

Generalised Compositionality in Graph Transformation.

Amir Hossein Ghamarian, Arend Rensink

Proceedings of the Graph Transformations - 6th International Conference, 2012

Graph Transforming Java Data.

Maarten de Mol, Arend Rensink, James J. Hunt

Proceedings of the Fundamental Approaches to Software Engineering, 2012

2011

Using Graph Transformations and Graph Abstractions for Software Verification.

Eduardo Zambon, Arend Rensink

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Saying Hello World with GROOVE - A Solution to the TTC 2011 Instructive Case

Amir Hossein Ghamarian, Maarten de Mol, Arend Rensink, Eduardo Zambon

Proceedings of the Proceedings Fifth Transformation Tool Contest, 2011

Solving the TTC 2011 Compiler Optimization Case with GROOVE

Arend Rensink, Eduardo Zambon

Proceedings of the Proceedings Fifth Transformation Tool Contest, 2011

Knowledge-Based Graph Exploration Analysis.

Ismênia Galvão, Eduardo Zambon, Arend Rensink, Lesley Wevers, Mehmet Aksit

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2011

2010

Graph transformation tool contest 2008.

Arend Rensink, Pieter Van Gorp

Int. J. Softw. Tools Technol. Transf., 2010

Neighbourhood Abstraction in GROOVE.

Arend Rensink, Eduardo Zambon

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

On A Graph Formalism for Ordered Edges.

Maarten de Mol, Arend Rensink

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Incremental Pattern Matching in Graph-Based State Space Exploration.

Amir Hossein Ghamarian, Arash Jalali, Arend Rensink

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Distributed Graph-Based State Space Generation.

Stefan Blom, Gijs Kant, Arend Rensink

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques.

Mathias Hülsbusch, Barbara König, Arend Rensink, Maria Semenyak, Christian Soltenborn, Heike Wehrheim

Proceedings of the Integrated Formal Methods - 8th International Conference, 2010

Compositionality in Graph Transformation.

Arend Rensink

Proceedings of the Automata, Languages and Programming, 37th International Colloquium, 2010

The Edge of Graph Transformation - Graphs for Behavioural Specification.

Arend Rensink

Proceedings of the Graph Transformations and Model-Driven Engineering, 2010

2009

Editorial for Special Section on Dependencies and Interactions with Aspects.

Ruzanna Chitchyan, Johan Fabry, Shmuel Katz, Arend Rensink

LNCS Trans. Aspect Oriented Softw. Dev., 2009

Repotting the Geraniums: On Nested Graph Transformation Rules.

Arend Rensink, Jan-Hendrik Kuperus

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Graph Abstraction for a Modal Logic.

Iovka Boneva, Jörg Kreiker, Marcos E. Kurbán, Arend Rensink

Bull. EATCS, 2009

A Type Graph Model for Java Programs.

Arend Rensink, Eduardo Zambon

Proceedings of the Formal Techniques for Distributed Systems, 2009

Graph-based specification and simulation of featherweight Java with around advice.

Tom Staijen, Arend Rensink

Proceedings of the 8th Workshop on Foundations of Aspect-Oriented Languages, 2009

A graph-transformation-based simulation approach for analysing aspect interference on shared join points.

Mehmet Aksit, Arend Rensink, Tom Staijen

Proceedings of the 8th International Conference on Aspect-Oriented Software Development, 2009

2008

Applying formal methods to gossiping networks with mCRL and groove.

Pepijn Crouzen, Jaco van de Pol, Arend Rensink

SIGMETRICS Perform. Evaluation Rev., 2008

On a Graph-Based Semantics for UML Class and Object Diagrams.

Arend Rensink, Anneke Kleppe

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

Graph-Based Tools: The Contest.

Arend Rensink, Pieter Van Gorp

Proceedings of the Graph Transformations, 4th International Conference, 2008

A Modal-Logic Based Graph Abstraction.

Jörg Bauer, Iovka Boneva, Marcos E. Kurbán, Arend Rensink

Proceedings of the Graph Transformations, 4th International Conference, 2008

From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations.

Gregor Engels, Anneke Kleppe, Arend Rensink, Maria Semenyak, Christian Soltenborn, Heike Wehrheim

Proceedings of the Model Driven Architecture, 2008

Dynamic Partial Order Reduction Using Probe Sets.

Harmen Kastenberg, Arend Rensink

Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

Explicit State Model Checking for Graph Grammars.

Arend Rensink

Proceedings of the Concurrency, 2008

2007

Fair testing.

Arend Rensink, Walter Vogler

Inf. Comput., 2007

Simulating Multigraph Transformations Using Simple Graphs.

Iovka Boneva, Frank Hermann, Harmen Kastenberg, Arend Rensink

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007

AGTIVE 2007 Graph Transformation Tool Contest.

Arend Rensink, Gabriele Taentzer

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

Ludo: A Case Study for Graph Transformation Tools.

Arend Rensink, Alexander Dotor, Claudia Ermel, Stefan Jurack, Ole Kniemeyer, Juan de Lara, Sonja Maier, Tom Staijen, Albert Zündorf

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

2006

Graph Transformation Semantics for a QVT Language.

Arend Rensink, Ronald Nederpel

Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques, 2006

Preface.

Arend Rensink, Reiko Heckel, Barbara König

Proceedings of the Workshop on Graph Transformation for Concurrency and Verification, 2006

Isomorphism Checking in GROOVE.

Arend Rensink

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006

Specification and Construction of Control Flow Semantics.

Ruben Smelik, Arend Rensink, Harmen Kastenberg

Proceedings of the 2006 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2006), 2006

Model Checking Dynamic States in GROOVE.

Harmen Kastenberg, Arend Rensink

Proceedings of the Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30, 2006

Nested Quantification in Graph Transformation Rules.

Arend Rensink

Proceedings of the Graph Transformations, Third International Conference, 2006

Weakest Preconditions for High-Level Programs.

Annegret Habel, Karl-Heinz Pennemann, Arend Rensink

Proceedings of the Graph Transformations, Third International Conference, 2006

Defining Object-Oriented Execution Semantics Using Graph Transformations.

Harmen Kastenberg, Anneke Kleppe, Arend Rensink

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2006

Model Checking Quantified Computation Tree Logic.

Arend Rensink

Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006

2005

Abstract Graph Transformation.

Arend Rensink, Dino Distefano

Proceedings of the Third International Workshop on Software Verification and Validation, 2005

Action Refinement in Conformance Testing.

Machiel van der Bijl, Arend Rensink, Jan Tretmans

Proceedings of the Testing of Communicating Systems, 2005

Safety and Liveness in Concurrent Pointer Programs.

Dino Distefano, Joost-Pieter Katoen, Arend Rensink

Proceedings of the Formal Methods for Components and Objects, 4th International Symposium, 2005

Ensuring Structural Constraints in Graph-Based Models with Type Inheritance.

Gabriele Taentzer, Arend Rensink

Proceedings of the Fundamental Approaches to Software Engineering, 2005

Modelling mobile health systems: an application of augmented MDA for the extended healthcare enterprise..

Val Jones, Arend Rensink, Ed Brinksma

Proceedings of the Ninth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2005), 2005

2004

Time and Space Issues in the Generation of Graph Transition Systems.

Arend Rensink

Proceedings of the 2nd International Workshop on Graph-Based Tools, 2004

Model Checking Graph Transformations: A Comparison of Two Approaches.

Arend Rensink, Ákos Schmidt, Dániel Varró

Proceedings of the Graph Transformations, Second International Conference, 2004

Representing First-Order Logic Using Graphs.

Arend Rensink

Proceedings of the Graph Transformations, Second International Conference, 2004

Who is Pointing When to Whom?

Dino Distefano, Joost-Pieter Katoen, Arend Rensink

Proceedings of the FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 2004

Canonical Graph Shapes.

Arend Rensink

Proceedings of the Programming Languages and Systems, 2004

Subjects, Models, Languages, Transformations.

Arend Rensink

Proceedings of the Language Engineering for Model-Driven Software Development, 29. February, 2004

Summary 2: Graph Grammar Verification through Abstraction.

Paolo Baldan, Barbara König, Arend Rensink

Proceedings of the Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 2004

2003

Compositional Testing with ioco.

Machiel van der Bijl, Arend Rensink, Jan Tretmans

Proceedings of the Formal Approaches to Software Testing, 2003

AGTIVE'03: Summary from the Outside In.

Arend Rensink

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2003

The GROOVE Simulator: A Tool for State Space Generation.

Arend Rensink

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2003

2002

Model Checking Birth and Death.

Dino Distefano, Arend Rensink, Joost-Pieter Katoen

Proceedings of the Foundations of Information Technology in the Era of Networking and Mobile Computing, 2002

2001

Vertical Implementation.

Arend Rensink, Roberto Gorrieri

Inf. Comput., 2001

Process algebra with action dependencies.

Arend Rensink, Heike Wehrheim

Acta Informatica, 2001

Action Refinement.

Roberto Gorrieri, Arend Rensink

Proceedings of the Handbook of Process Algebra, 2001

2000

On a Temporal Logic for Object-Based Systems.

Dino Distefano, Joost-Pieter Katoen, Arend Rensink

Proceedings of the Formal Methods for Open Object-Based Distributed Systems IV, 2000

Action Contraction.

Arend Rensink

Proceedings of the CONCUR 2000, 2000

1998

An Algebraic Semantics for Message Sequence Chart Documents.

Thomas Gehrke, Michaela Huhn, Arend Rensink, Heike Wehrheim

Proceedings of the Formal Description Techniques and Protocol Specification, 1998

A Process Algebra Semantics for MSC Including Conditions.

Thomas Gehrke, Michaela Huhn, Peter Niebert, Arend Rensink, Heike Wehrheim

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1998

Spezifikation eines RPC-Speichers mit der Sprache ProFun.

Thomas Firley, Thomas Gehrke, Arend Rensink

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1998

1997

Bisimilarity of open terms.

Arend Rensink

Proceedings of the International Workshop on Expressiveness in Concurrency, 1997

Process creation and full sequential composition in a name-passing calculus.

Thomas Gehrke, Arend Rensink

Proceedings of the International Workshop on Expressiveness in Concurrency, 1997

Action Refinement as an Implementation Relations.

Arend Rensink, Roberto Gorrieri

Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

Dependency-Based Action Refinement.

Arend Rensink, Heike Wehrheim

Proceedings of the Mathematical Foundations of Computer Science 1997, 1997

Action refinement for Vertical Implementation.

Arend Rensink, Roberto Gorrieri

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1997

1996

Algebra and Theory of Order-Deterministic Pomsets.

Arend Rensink

Notre Dame J. Formal Log., 1996

Comparing Syntactic and Semantic Sction Refinement.

Ursula Goltz, Roberto Gorrieri, Arend Rensink

Inf. Comput., 1996

Applications of Fair Testing.

Ed Brinksma, Arend Rensink, Walter Vogler

Proceedings of the Formal Description Techniques IX: Theory, 1996

Denotational, Causal, and Operational Determinism in Event Structures.

Arend Rensink

Proceedings of the Trees in Algebra and Programming, 1996

1995

An Event-Based SOS for a Language with Refinement.

Arend Rensink

Proceedings of the International Workshop on Structures in Concurrency Theory, 1995

CALIBAN - Esprit Basic Research WG 6067.

Eike Best, Raymond R. Devillers, Elisabeth Pelz, Arend Rensink, Manuel Silva, Enrique Teruel

Proceedings of the International Workshop on Structures in Concurrency Theory, 1995

A Complete Theory of Deterministic Event Structures.

Arend Rensink

Proceedings of the CONCUR '95: Concurrency Theory, 1995

Fair Testing.

Ed Brinksma, Arend Rensink, Walter Vogler

Proceedings of the CONCUR '95: Concurrency Theory, 1995

1994

Finite Petri Nets as Models for Recursive Causal Behaviour.

Ursula Goltz, Arend Rensink

Theor. Comput. Sci., 1994

On Syntactic and Semantic Action Refinement.

Ursula Goltz, Roberto Gorrieri, Arend Rensink

Proceedings of the Theoretical Aspects of Computer Software, 1994

Methodological Aspects of Action Refinement.

Arend Rensink

Proceedings of the Programming Concepts, 1994

Weak Sequential Composition in Process Algebras.

Arend Rensink, Heike Wehrheim

Proceedings of the CONCUR '94, 1994

1993

Order isomorphism odes not preserve global event independence.

Arend Rensink

Bull. EATCS, 1993

1992

Posets for Configurations!

Arend Rensink

Proceedings of the CONCUR '92, 1992