default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDArend Rensink
Person information
- affiliation: University of Twente, Enschede, Netherlands
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j36]Djurre van der Wal, Marcus Gerhold, Mariëlle Stoelinga
, Arend Rensink:
Conformance in the railway industry: Single-Input-Change testing a EULYNX controller. Int. J. Softw. Tools Technol. Transf. 27(3): 377-395 (2025)- [c92]Tannaz Zameni, Petra van den Bos, Johan Foederer, Arend Rensink:
Sequential Composition of BDD Transition Systems for Model-Based Testing. FORTE 2025: 36-54 - [c91]Barbara König, Arend Rensink, Lara Stoltenow, Fabian Urrigshardt:
Counterexample-Guided Abstraction Refinement for Generalized Graph Transformation Systems. ICGT 2025: 157-176 - [i5]Barbara König, Arend Rensink, Lara Stoltenow, Fabian Urrigshardt:
Counterexample-Guided Abstraction Refinement for Generalized Graph Transformation Systems (Full Version). CoRR abs/2504.08617 (2025) - 2024
- [c90]Arend Rensink, Andrea Corradini:
On Categories of Nested Conditions. Principles of Verification (1) 2024: 393-418 - [c89]Tannaz Zameni, Petra van den Bos, Arend Rensink, Jan Tretmans:
An Intermediate Language to Integrate Behavior-Driven Development Scenarios and Model-Based Testing. SANER (Companion) 2024: 199-206 - [i4]Arend Rensink, Andrea Corradini:
On Categories of Nested Conditions. CoRR abs/2408.06196 (2024) - 2023
- [j35]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): 2:1-2:38 (2023) - [c88]Tannaz Zameni, Petra van den Bos, Jan Tretmans, Johan Foederer, Arend Rensink:
From BDD Scenarios to Test Case Generation. ICSTW 2023: 36-44 - 2021
- [j34]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): 611-639 (2021) - [c87]Laura Bergmans, Nacir Bouali, Marloes Luttikhuis, Arend Rensink:
On the Efficacy of Online Proctoring using Proctorio. CSEDU (1) 2021: 279-290 - [p2]Robert Heinrich, Erwan Bousse, Sandro Koch, Arend Rensink, Elvinia Riccobene, Daniel Ratiu, Marjan Sirjani:
Integration and Orchestration of Analysis Tools. Composing Model-Based Analysis Tools 2021: 71-95 - 2020
- [j33]Jesús Sánchez Cuadrado, Arend Rensink:
Special section on ICMT at STAF 2018. Softw. Syst. Model. 19(2): 399-400 (2020)
2010 – 2019
- 2019
- [j32]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): 3193-3205 (2019) - [c86]Andrea Corradini, Tobias Heindel, Barbara König, Dennis Nolte, Arend Rensink:
Rewriting Abstract Structures: Materialization Explained Categorically. FoSSaCS 2019: 169-188 - [c85]Moussa Amrani, Dominique Blouin, Robert Heinrich, Arend Rensink, Hans Vangheluwe, Andreas Wortmann:
Towards a Formal Specification of Multi-paradigm Modelling. MoDELS (Companion) 2019: 419-424 - [e13]Loli 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:
22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS Companion 2019, Munich, Germany, September 15-20, 2019. IEEE 2019, ISBN 978-1-7281-5125-0 [contents] - [i3]Andrea Corradini, Tobias Heindel, Barbara König, Dennis Nolte, Arend Rensink:
Rewriting Abstract Structures: Materialization Explained Categorically. CoRR abs/1902.04809 (2019) - 2018
- [c84]Barbara König, Dennis Nolte, Julia Padberg, Arend Rensink:
A Tutorial on Graph Transformation. Graph Transformation, Specifications, and Nets 2018: 83-104 - [c83]Harmen Kastenberg, Arend Rensink:
Graph Attribution Through Sub-Graphs. Graph Transformation, Specifications, and Nets 2018: 245-265 - [c82]Eduardo Zambon, Arend Rensink:
Recipes for Coffee: Compositional Construction of JAVA Control Flow Graphs in GROOVE. Principled Software Development 2018: 305-323 - [c81]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: 56-73 - [c80]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: 82-89 - [c79]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: 122-129 - [c78]Rajesh Kumar, Arend Rensink, Mariëlle Stoelinga:
LOCKS: a property specification language for security goals. SAC 2018: 1907-1915 - [e12]Arend Rensink, Jesús Sánchez Cuadrado:
Theory and Practice of Model Transformation - 11th International Conference, ICMT@STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings. Lecture Notes in Computer Science 10888, Springer 2018, ISBN 978-3-319-93316-0 [contents] - 2017
- [j31]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): 651-703 (2017) - [c77]Arend Rensink:
How Much Are Your Geraniums? Taking Graph Conditions Beyond First Order. ModelEd, TestEd, TrustEd 2017: 191-213 - [c76]Bugra M. Yildiz, Christoph Bockisch, Arend Rensink, Mehmet Aksit:
An MDE Approach for Modular Program Analyses. Programming 2017: 15:1-15:5 - [c75]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: 319-336 - [c74]Bugra M. Yildiz, Christoph Bockisch, Arend Rensink, Mehmet Aksit:
A Java Bytecode Metamodel for Composable Program Analyses. STAF Workshops 2017: 30-40 - [c73]Bugra M. Yildiz, Arend Rensink, Christoph Bockisch, Mehmet Aksit:
A Model-Derivation Framework for Software Analysis. MARS@ETAPS 2017: 217-229 - [e11]Joost-Pieter Katoen, Rom Langerak, Arend Rensink:
ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 10500, Springer 2017, ISBN 978-3-319-68269-3 [contents] - 2016
- [j30]Arend Rensink:
Model Patterns - The Quest for the Right Level of Abstraction. LNCS Trans. Found. Mastering Chang. 1: 47-70 (2016) - [c72]Waheed Ahmad, Bugra M. Yildiz, Arend Rensink, Mariëlle Stoelinga:
A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications. CyPhy 2016: 1-16 - 2015
- [c71]Pieter M. Kwantes, Pieter Van Gorp, Jetty Kleijn, Arend Rensink:
Towards Compliance Verification Between Global and Local Process Models. ICGT 2015: 221-236 - [c70]Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Arend Rensink, Mariëlle Stoelinga:
Fault Trees on a Diet - - Automated Reduction by Graph Rewriting -. SETTA 2015: 3-18 - [e10]Arend Rensink, Eduardo Zambon:
Proceedings Graphs as Models, GaM@ETAPS 2015, London, UK, 11-12 April 2015. EPTCS 181, 2015 [contents] - 2014
- [j29]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) - [j28]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: 41-99 (2014) - [j27]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): 171-172 (2014) - [c69]Anthony Anjorin, Alcino Cunha, Holger Giese, Frank Hermann, Arend Rensink, Andy Schürr:
BenchmarX. EDBT/ICDT Workshops 2014: 82-86 - [c68]Christopher M. Poskitt, Mike Dodds, Richard F. Paige, Arend Rensink:
Towards Rigorously Faking Bidirectional Model Transformations. AMT@MoDELS 2014: 70-75 - [c67]James J. Hunt, Maarten de Mol, Arend Rensink:
Noninvasive regelbasierte Graphtransformation für Java. Software Engineering 2014: 91-92 - [c66]Giorgio Delzanno, Arend Rensink, Riccardo Traverso:
Graph- versus Vector-Based Analysis of a Consensus Protocol. GRAPHITE 2014: 44-57 - [e9]Stefania Gnesi, Arend Rensink:
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, Proceedings. Lecture Notes in Computer Science 8411, Springer 2014, ISBN 978-3-642-54803-1 [contents] - 2013
- [c65]Wietse Smid, Arend Rensink:
Class Diagram Restructuring with GROOVE. TTC 2013: 83-87 - 2012
- [j26]Amir Hossein Ghamarian, Arend Rensink:
Graph Passing in Graph Transformation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 47 (2012) - [j25]Arash Jalali, Arend Rensink, Amir Hossein Ghamarian:
Incremental Pattern Matching for Regular Expressions. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 47 (2012) - [j24]Arend Rensink, Grzegorz Rozenberg, Andy Schürr:
Preface. Fundam. Informaticae 118(1-2) (2012) - [j23]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): 15-40 (2012) - [c64]Maarten de Mol, Arend Rensink, James J. Hunt:
Graph Transforming Java Data. FASE 2012: 209-223 - [c63]Arend Rensink, Eduardo Zambon:
Pattern-Based Graph Abstraction. ICGT 2012: 66-80 - [c62]Amir Hossein Ghamarian, Arend Rensink:
Generalised Compositionality in Graph Transformation. ICGT 2012: 234-248 - [c61]Eduardo Zambon, Arend Rensink:
Graph Subsumption in Abstract State Space Exploration. GRAPHITE 2012: 35-49 - 2011
- [j22]Eduardo Zambon, Arend Rensink:
Using Graph Transformations and Graph Abstractions for Software Verification. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 38 (2011) - [c60]Ismênia Galvão, Eduardo Zambon, Arend Rensink, Lesley Wevers, Mehmet Aksit:
Knowledge-Based Graph Exploration Analysis. AGTIVE 2011: 105-120 - [c59]Arend Rensink, Eduardo Zambon:
Solving the TTC 2011 Compiler Optimization Case with GROOVE. TTC 2011: 126-130 - [c58]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: 215-222 - 2010
- [j21]Maarten de Mol, Arend Rensink:
On A Graph Formalism for Ordered Edges. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 29 (2010) - [j20]Stefan Blom, Gijs Kant, Arend Rensink:
Distributed Graph-Based State Space Generation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 32 (2010) - [j19]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) - [j18]Arend Rensink, Eduardo Zambon:
Neighbourhood Abstraction in GROOVE. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 32 (2010) - [j17]Arend Rensink, Pieter Van Gorp:
Graph transformation tool contest 2008. Int. J. Softw. Tools Technol. Transf. 12(3-4): 171-181 (2010) - [c57]Arend Rensink:
The Edge of Graph Transformation - Graphs for Behavioural Specification. Graph Transformations and Model-Driven Engineering 2010: 6-32 - [c56]Arend Rensink:
Compositionality in Graph Transformation. ICALP (2) 2010: 309-320 - [c55]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: 183-198 - [e8]Hartmut Ehrig, Arend Rensink, Grzegorz Rozenberg, Andy Schürr:
Graph Transformations - 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27 - - October 2, 2010. Proceedings. Lecture Notes in Computer Science 6372, Springer 2010, ISBN 978-3-642-15927-5 [contents]
2000 – 2009
- 2009
- [j16]Iovka Boneva, Jörg Kreiker, Marcos E. Kurbán, Arend Rensink:
Graph Abstraction for a Modal Logic. Bull. EATCS 97: 106-116 (2009) - [j15]Arend Rensink, Jan-Hendrik Kuperus:
Repotting the Geraniums: On Nested Graph Transformation Rules. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 18 (2009) - [j14]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: 133-134 (2009) - [c54]Mehmet Aksit, Arend Rensink, Tom Staijen:
A graph-transformation-based simulation approach for analysing aspect interference on shared join points. AOSD 2009: 39-50 - [c53]Tom Staijen, Arend Rensink:
Graph-based specification and simulation of featherweight Java with around advice. FOAL 2009: 25-30 - [c52]Arend Rensink, Eduardo Zambon:
A Type Graph Model for Java Programs. FMOODS/FORTE 2009: 237-242 - [e7]Richard F. Paige, Alan Hartman, Arend Rensink:
Model Driven Architecture - Foundations and Applications, 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings. Lecture Notes in Computer Science 5562, Springer 2009, ISBN 978-3-642-02673-7 [contents] - 2008
- [j13]Arend Rensink, Anneke Kleppe:
On a Graph-Based Semantics for UML Class and Object Diagrams. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008) - [j12]Pepijn Crouzen, Jaco van de Pol, Arend Rensink:
Applying formal methods to gossiping networks with mCRL and groove. SIGMETRICS Perform. Evaluation Rev. 36(3): 7-16 (2008) - [c51]Arend Rensink:
Explicit State Model Checking for Graph Grammars. Concurrency, Graphs and Models 2008: 114-132 - [c50]Harmen Kastenberg, Arend Rensink:
Dynamic Partial Order Reduction Using Probe Sets. CONCUR 2008: 233-247 - [c49]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: 94-109 - [c48]Jörg Bauer, Iovka Boneva, Marcos E. Kurbán, Arend Rensink:
A Modal-Logic Based Graph Abstraction. ICGT 2008: 321-335 - [c47]Arend Rensink, Pieter Van Gorp:
Graph-Based Tools: The Contest. ICGT 2008: 463-466 - [e6]Barbara König, Arend Rensink, Reiko Heckel:
Proceedings of the Third Workshop on Graph Transformation for Concurrency and Verification, GT-VC@CONCUR 2007, Lisbon, Portugal, September 3, 2007. Electronic Notes in Theoretical Computer Science 213(1), Elsevier 2008 [contents] - 2007
- [j11]Iovka Boneva, Frank Hermann, Harmen Kastenberg, Arend Rensink:
Simulating Multigraph Transformations Using Simple Graphs. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 6 (2007) - [j10]Arend Rensink, Walter Vogler:
Fair testing. Inf. Comput. 205(2): 125-198 (2007) - [c46]Arend Rensink, Gabriele Taentzer:
AGTIVE 2007 Graph Transformation Tool Contest. AGTIVE 2007: 487-492 - [c45]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: 493-513 - [c44]Barbara König, Arend Rensink, Reiko Heckel:
Preface. GT-VC@CONCUR 2007: 1-2 - [e5]Arend Rensink, Reiko Heckel, Barbara König:
Proceedings of the Workshop on Graph Transformation for Concurrency and Verification, GT-VC@CONCUR 2006, Bonn, Germany, August 31, 2006. Electronic Notes in Theoretical Computer Science 175(4), Elsevier 2007 [contents] - 2006
- [j9]Arend Rensink:
Isomorphism Checking in GROOVE. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 1 (2006) - [c43]Arend Rensink:
Model Checking Quantified Computation Tree Logic. CONCUR 2006: 110-125 - [c42]Harmen Kastenberg, Anneke Kleppe, Arend Rensink:
Defining Object-Oriented Execution Semantics Using Graph Transformations. FMOODS 2006: 186-201 - [c41]Arend Rensink:
Nested Quantification in Graph Transformation Rules. ICGT 2006: 1-13 - [c40]Annegret Habel, Karl-Heinz Pennemann, Arend Rensink:
Weakest Preconditions for High-Level Programs. ICGT 2006: 445-460 - [c39]Harmen Kastenberg, Arend Rensink:
Model Checking Dynamic States in GROOVE. SPIN 2006: 299-305 - [c38]Ruben Smelik, Arend Rensink, Harmen Kastenberg:
Specification and Construction of Control Flow Semantics. VL/HCC 2006: 65-72 - [c37]Arend Rensink, Reiko Heckel, Barbara König:
Preface. GT-VC@CONCUR 2006: 1-2 - [c36]Arend Rensink, Ronald Nederpel:
Graph Transformation Semantics for a QVT Language. GT-VMT@ETAPS 2006: 51-62 - [e4]Arend Rensink, Reiko Heckel, Barbara König:
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, 2005. Electronic Notes in Theoretical Computer Science 154(2), Elsevier 2006 [contents] - [e3]Arend Rensink, Jos Warmer:
Model Driven Architecture - Foundations and Applications, 2nd European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006, Proceedings. Lecture Notes in Computer Science 4066, Springer 2006, ISBN 3-540-35909-5 [contents] - 2005
- [c35]Val Jones, Arend Rensink, Ed Brinksma:
Modelling mobile health systems: an application of augmented MDA for the extended healthcare enterprise.. EDOC 2005: 58-69 - [c34]Gabriele Taentzer, Arend Rensink:
Ensuring Structural Constraints in Graph-Based Models with Type Inheritance. FASE 2005: 64-79 - [c33]Dino Distefano, Joost-Pieter Katoen, Arend Rensink:
Safety and Liveness in Concurrent Pointer Programs. FMCO 2005: 280-312 - [c32]Machiel van der Bijl, Arend Rensink, Jan Tretmans:
Action Refinement in Conformance Testing. TestCom 2005: 81-96 - [c31]Arend Rensink, Reiko Heckel, Barbara König:
Preface. GT-VC@CONCUR 2005: 1-5 - [c30]Arend Rensink, Dino Distefano:
Abstract Graph Transformation. SVV@ICFEM 2005: 39-59 - [e2]Uwe Aßmann, Mehmet Aksit, Arend Rensink:
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 Papers. Lecture Notes in Computer Science 3599, Springer 2005, ISBN 3-540-28240-8 [contents] - 2004
- [c29]Arend Rensink:
Canonical Graph Shapes. ESOP 2004: 401-415 - [c28]Dino Distefano, Joost-Pieter Katoen, Arend Rensink:
Who is Pointing When to Whom? FSTTCS 2004: 250-262 - [c27]Arend Rensink, Ákos Schmidt, Dániel Varró:
Model Checking Graph Transformations: A Comparison of Two Approaches. ICGT 2004: 226-241 - [c26]Arend Rensink:
Representing First-Order Logic Using Graphs. ICGT 2004: 319-335 - [c25]Arend Rensink:
Time and Space Issues in the Generation of Graph Transition Systems. GraBaTs 2004: 127-139 - [i2]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 - [i1]Arend Rensink:
Subjects, Models, Languages, Transformations. Language Engineering for Model-Driven Software Development 2004 - 2003
- [c24]Arend Rensink:
The GROOVE Simulator: A Tool for State Space Generation. AGTIVE 2003: 479-485 - [c23]Arend Rensink:
AGTIVE'03: Summary from the Outside In. AGTIVE 2003: 486-488 - [c22]Machiel van der Bijl, Arend Rensink, Jan Tretmans:
Compositional Testing with ioco. FATES 2003: 86-100 - 2002
- [c21]Dino Distefano, Arend Rensink, Joost-Pieter Katoen:
Model Checking Birth and Death. IFIP TCS 2002: 435-447 - [e1]Bart Jacobs, Arend Rensink:
Formal Methods for Open Object-Based Distributed Systems V, IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), March 20-22, 2002, Enschede, The Netherlands. IFIP Conference Proceedings 209, Kluwer 2002, ISBN 0-7923-7683-8 [contents] - 2001
- [j8]Arend Rensink, Heike Wehrheim:
Process algebra with action dependencies. Acta Informatica 38(3): 155-234 (2001) - [j7]Arend Rensink, Roberto Gorrieri:
Vertical Implementation. Inf. Comput. 170(1): 95-133 (2001) - [p1]Roberto Gorrieri, Arend Rensink:
Action Refinement. Handbook of Process Algebra 2001: 1047-1147 - 2000
- [j6]Arend Rensink:
Bisimilarity of Open Terms. Inf. Comput. 156(1-2): 345-385 (2000) - [c20]Arend Rensink:
Action Contraction. CONCUR 2000: 290-304 - [c19]Dino Distefano, Joost-Pieter Katoen, Arend Rensink:
On a Temporal Logic for Object-Based Systems. FMOODS 2000: 305-325
1990 – 1999
- 1998
- [c18]Thomas Firley, Thomas Gehrke, Arend Rensink:
Spezifikation eines RPC-Speichers mit der Sprache ProFun. FBT 1998: 136-147 - [c17]Thomas Gehrke, Michaela Huhn, Peter Niebert, Arend Rensink, Heike Wehrheim:
A Process Algebra Semantics for MSC Including Conditions. FBT 1998: 185-196 - [c16]Thomas Gehrke, Michaela Huhn, Arend Rensink, Heike Wehrheim:
An Algebraic Semantics for Message Sequence Chart Documents. FORTE 1998: 3-18 - 1997
- [c15]Arend Rensink, Roberto Gorrieri:
Action refinement for Vertical Implementation. FBT 1997: 69-78 - [c14]Arend Rensink, Heike Wehrheim:
Dependency-Based Action Refinement. MFCS 1997: 468-477 - [c13]Arend Rensink, Roberto Gorrieri:
Action Refinement as an Implementation Relations. TAPSOFT 1997: 772-786 - [c12]Thomas Gehrke, Arend Rensink:
Process creation and full sequential composition in a name-passing calculus. EXPRESS 1997: 141-160 - [c11]Arend Rensink:
Bisimilarity of open terms. EXPRESS 1997: 262 - 1996
- [j5]Ursula Goltz, Roberto Gorrieri, Arend Rensink:
Comparing Syntactic and Semantic Sction Refinement. Inf. Comput. 125(2): 118-143 (1996) - [j4]Arend Rensink:
Algebra and Theory of Order-Deterministic Pomsets. Notre Dame J. Formal Log. 37(2): 283-320 (1996) - [c10]Arend Rensink:
Denotational, Causal, and Operational Determinism in Event Structures. CAAP 1996: 272-286 - [c9]Ed Brinksma, Arend Rensink, Walter Vogler:
Applications of Fair Testing. FORTE 1996: 145-160 - 1995
- [c8]Arend Rensink:
A Complete Theory of Deterministic Event Structures. CONCUR 1995: 160-174 - [c7]Ed Brinksma, Arend Rensink, Walter Vogler:
Fair Testing. CONCUR 1995: 313-327 - [c6]Eike Best, Raymond Devillers, Elisabeth Pelz, Arend Rensink, Manuel Silva, Enrique Teruel:
CALIBAN - Esprit Basic Research WG 6067. STRICT 1995: 2-31 - [c5]Arend Rensink:
An Event-Based SOS for a Language with Refinement. STRICT 1995: 294-309 - 1994
- [j3]Ursula Goltz, Arend Rensink:
Finite Petri Nets as Models for Recursive Causal Behaviour. Theor. Comput. Sci. 124(1): 169-179 (1994) - [c4]Arend Rensink, Heike Wehrheim:
Weak Sequential Composition in Process Algebras. CONCUR 1994: 226-241 - [c3]Arend Rensink:
Methodological Aspects of Action Refinement. PROCOMET 1994: 227-246 - [c2]Ursula Goltz, Roberto Gorrieri, Arend Rensink:
On Syntactic and Semantic Action Refinement. TACS 1994: 385-404 - 1993
- [j2]Arend Rensink:
Order isomorphism odes not preserve global event independence. Bull. EATCS 49: 228-235 (1993) - [j1]Arend Rensink:
Order isomorphism odes not preserve global event independence. Bull. EATCS 51: 228-235 (1993) - 1992
- [c1]Arend Rensink:
Posets for Configurations! CONCUR 1992: 269-285
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-07-06 18:45 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
