Arend Rensink
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
32
Venues
17
Active years
1992–2026
Best venue rank
A*
Where they publish
Papers
32 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ICGT | User-Defined Types and Operations in GROOVE. | Arend Rensink |
| 2025 | FOIS | Ontology-Driven Software Development: Generating Java Code from OntoUML. | Guus Grievink, Lus Ferreira Pires, Joo Luiz Rebelo Moreira, Arend Rensink |
| 2025 | FORTE | Sequential Composition of BDD Transition Systems for Model-Based Testing. | Tannaz Zameni, Petra van den Bos, Johan Foederer, Arend Rensink |
| 2023 | ICST | From BDD Scenarios to Test Case Generation. | Tannaz Zameni, Petra van den Bos, Jan Tretmans, Johan Foederer, Arend Rensink |
| 2021 | CSEDU | On the Efficacy of Online Proctoring using Proctorio. | Laura Bergmans, Nacir Bouali, Marloes Luttikhuis, Arend Rensink |
| 2019 | FOSSACS | Rewriting Abstract Structures: Materialization Explained Categorically. | Andrea Corradini, Tobias Heindel, Barbara Knig, Dennis Nolte, Arend Rensink |
| 2019 | MODELS | Towards a Formal Specification of Multi-paradigm Modelling. | Moussa Amrani, Dominique Blouin, Robert Heinrich, Arend Rensink, Hans Vangheluwe, Andreas Wortmann |
| 2018 | FASE | Effective Analysis of Attack Trees: A Model-Driven Approach. | Rajesh Kumar, Stefano Schivo, Enno Ruijters, Bugra Mehmet Yildiz, David Huistra, Jacco Brandt, Arend Rensink, Marille Stoelinga |
| 2018 | MODELS | Towards a body of knowledge for model-based software engineering. | Federico Ciccozzi, Michalis Famelis, Gerti Kappel, Leen Lambers, Sbastien Mosser, Richard F. Paige, Alfonso Pierantonio, Arend Rensink, Rick Salay, Gabi Taentzer, Antonio Vallecillo, Manuel Wimmer |
| 2018 | MODELS | How do we teach modelling and model-driven engineering?: a survey. | Federico Ciccozzi, Michalis Famelis, Gerti Kappel, Leen Lambers, Sbastien Mosser, Richard F. Paige, Alfonso Pierantonio, Arend Rensink, Rick Salay, Gabi Taentzer, Antonio Vallecillo, Manuel Wimmer |
| 2018 | SAC | LOCKS: a property specification language for security goals. | Rajesh Kumar, Arend Rensink, Marille Stoelinga |
| 2017 | SETTA | 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, Marille Stoelinga |
| 2015 | SETTA | Fault Trees on a Diet - - Automated Reduction by Graph Rewriting -. | Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Arend Rensink, Marille Stoelinga |
| 2014 | EDBT | BenchmarX. | Anthony Anjorin, Alcino Cunha, Holger Giese, Frank Hermann, Arend Rensink, Andy Schrr |
| 2014 | MODELS | Towards Rigorously Faking Bidirectional Model Transformations. | Christopher M. Poskitt, Mike Dodds, Richard F. Paige, Arend Rensink |
| 2012 | FASE | Graph Transforming Java Data. | Maarten de Mol, Arend Rensink, James J. Hunt |
| 2010 | ICALP | Compositionality in Graph Transformation. | Arend Rensink |
| 2010 | IFM | Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques. | Mathias Hlsbusch, Barbara Knig, Arend Rensink, Maria Semenyak, Christian Soltenborn, Heike Wehrheim |
| 2009 | FORTE | A Type Graph Model for Java Programs. | Arend Rensink, Eduardo Zambon |
| 2008 | CONCUR | Dynamic Partial Order Reduction Using Probe Sets. | Harmen Kastenberg, Arend Rensink |
| 2006 | CONCUR | Model Checking Quantified Computation Tree Logic. | Arend Rensink |
| 2005 | EDOC | Modelling mobile health systems: an application of augmented MDA for the extended healthcare enterprise.. | Val Jones, Arend Rensink, Ed Brinksma |
| 2005 | FASE | Ensuring Structural Constraints in Graph-Based Models with Type Inheritance. | Gabriele Taentzer, Arend Rensink |
| 2004 | ESOP | Canonical Graph Shapes. | Arend Rensink |
| 2000 | CONCUR | Action Contraction. | Arend Rensink |
| 1998 | FORTE | An Algebraic Semantics for Message Sequence Chart Documents. | Thomas Gehrke, Michaela Huhn, Arend Rensink, Heike Wehrheim |
| 1997 | MFCS | Dependency-Based Action Refinement. | Arend Rensink, Heike Wehrheim |
| 1996 | FORTE | Applications of Fair Testing. | Ed Brinksma, Arend Rensink, Walter Vogler |
| 1995 | CONCUR | Fair Testing. | Ed Brinksma, Arend Rensink, Walter Vogler |
| 1995 | CONCUR | A Complete Theory of Deterministic Event Structures. | Arend Rensink |
| 1994 | CONCUR | Weak Sequential Composition in Process Algebras. | Arend Rensink, Heike Wehrheim |
| 1992 | CONCUR | Posets for Configurations! | Arend Rensink |