


default search action
Arend 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
- 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]