Search Results - "Rensink, Arend"

Multi-paradigm modelling for cyber–physical systems: a descriptive framework by Amrani, Moussa, Blouin, Dominique, Heinrich, Robert, Rensink, Arend, Vangheluwe, Hans, Wortmann, Andreas

“…The complexity of cyber–physical systems ( CPSs ) is commonly addressed through complex workflows , involving models in a plethora of different formalisms ,…”
Get full text

Special section on ICMT at STAF 2018 by Cuadrado, Jesús Sánchez, Rensink, Arend

Get full text

A Model-Derivation Framework for Software Analysis by Yildiz, Bugra M., Rensink, Arend, Bockisch, Christoph, Aksit, Mehmet

“…Model-based verification allows to express behavioral correctness conditions like the validity of execution states, boundaries of variables or timing at a high…”
Get full text

Class Diagram Restructuring with GROOVE by Smid, Wietse, Rensink, Arend

“…This paper describes the GROOVE solution to the "Class Diagram Restructuring" case study of the Tool Transformation Contest 2013. We show that the visual rule…”
Get full text

Graph Subsumption in Abstract State Space Exploration by Zambon, Eduardo, Rensink, Arend

“…In this paper we present the extension of an existing method for abstract graph-based state space exploration, called neighbourhood abstraction, with a…”
Get full text

Graph- versus Vector-Based Analysis of a Consensus Protocol by Delzanno, Giorgio, Rensink, Arend, Traverso, Riccardo

“…The Paxos distributed consensus algorithm is a challenging case-study for standard, vector-based model checking techniques. Due to asynchronous communication,…”
Get full text

Solving the TTC 2011 Compiler Optimization Case with GROOVE by Rensink, Arend, Zambon, Eduardo

“…This report presents a partial solution to the Compiler Optimization case study using GROOVE. We explain how the input graphs provided with the case study were…”
Get full text

Saying Hello World with GROOVE - A Solution to the TTC 2011 Instructive Case by Ghamarian, Amir Hossein, de Mol, Maarten, Rensink, Arend, Zambon, Eduardo

“…This report presents a solution to the Hello World case study of TTC 2011 using GROOVE. We provide and explain the grammar that we used to solve the case…”
Get full text

Fair testing by Rensink, Arend, Vogler, Walter

“…In this paper we present a solution to the long-standing problem of characterising the coarsest liveness-preserving pre-congruence with respect to a full…”
Get full text

A Case in Point: Verification and Testing of a EULYNX Interface by Bouwman, Mark, van der Wal, Djurre, Luttik, Bas, Stoelinga, Mariëlle, Rensink, Arend

“…We present a case study on the application of formal methods in the railway domain. The case study is part of the FormaSig project, which aims to support the…”
Get full text

Modelling and analysis using GROOVE by Ghamarian, Amir Hossein, de Mol, Maarten, Rensink, Arend, Zambon, Eduardo, Zimakova, Maria

“…In this paper we present case studies that describe how the graph transformation tool groove has been used to model problems from a wide variety of domains…”
Get full text

Proceedings 2nd Workshop on GRAPH Inspection and Traversal Engineering: Recipes for Reduced State Spaces by Rensink, Arend

Get full text

Proceedings Graphs as Models: Preface by Rensink, Arend, Zambon, Eduardo

Get full text

Contents for a Model-Based Software Engineering Body of Knowledge by Burgueño, Loli, Ciccozzi, Federico, Famelis, Michalis, Kappel, Gerti, Lambers, Leen, Mosser, Sebastien, Paige, Richard F., Pierantonio, Alfonso, Rensink, Arend, Salay, Rick, Taentzer, Gabriele, Vallecillo, Antonio, Wimmer, Manuel

“…Although Model-Based Software Engineering (MBE) is a widely accepted Software Engineering (SE) discipline, no agreed-upon core set of concepts and practices…”
Get full text

Fault trees on a diet: automated reduction by graph rewriting by Junges, Sebastian, Guck, Dennis, Katoen, Joost-Pieter, Rensink, Arend, Stoelinga, Mariëlle

“…Fault trees are a popular industrial technique for reliability modelling and analysis. Their extension with common reliability patterns, such as spare…”
Get full text

On Categories of Nested Conditions by Rensink, Arend, Corradini, Andrea

“…Nested conditions are used, among other things, as a graphical way to express first order formulas ruling the applicability of a graph transformation rule to a…”
Get full text

Software and systems modeling with graph transformations theme issue of the Journal on Software and Systems Modeling by Schürr, Andy, Rensink, Arend

Get full text

Graph transformation tool contest 2008 by Rensink, Arend, Van Gorp, Pieter

“…This special section is the outcome of the graph transformation tool contest organised during the Graph-Based Tools (GraBaTs) 2008 workshop, which took place…”
Get full text

Uniform analysis of fault trees through model transformations by Ruijters, Enno, Schivo, Stefano, Stoelinga, Marielle, Rensink, Arend

“…As the critical systems we rely on every day, such as nuclear power plants and airplanes, become ever more complex, the need to rigorously verify the safety…”
Get full text

A survey and comparison of transformation tools based on the transformation tool contest by Jakumeit, Edgar, Buchwald, Sebastian, Wagelaar, Dennis, Dan, Li, Hegedüs, Ábel, Herrmannsdörfer, Markus, Horn, Tassilo, Kalnina, Elina, Krause, Christian, Lano, Kevin, Lepper, Markus, Rensink, Arend, Rose, Louis, Wätzoldt, Sebastian, Mazanek, Steffen

“…Model transformation is one of the key tasks in model-driven engineering and relies on the efficient matching and modification of graph-based data structures;…”
Get full text