Stop the war!Остановите войну!
for scientists:
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
- 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]