


Остановите войну!
for scientists:
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
- 2021
- [j40]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) - [c81]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
- [j39]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
- [j38]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) - [c80]Andrea Corradini, Tobias Heindel, Barbara König, Dennis Nolte, Arend Rensink:
Rewriting Abstract Structures: Materialization Explained Categorically. FoSSaCS 2019: 169-188 - [c79]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 - [e10]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
- [c78]Barbara König
, Dennis Nolte
, Julia Padberg, Arend Rensink
:
A Tutorial on Graph Transformation. Graph Transformation, Specifications, and Nets 2018: 83-104 - [c77]Harmen Kastenberg, Arend Rensink
:
Graph Attribution Through Sub-Graphs. Graph Transformation, Specifications, and Nets 2018: 245-265 - [c76]Eduardo Zambon, Arend Rensink:
Recipes for Coffee: Compositional Construction of JAVA Control Flow Graphs in GROOVE. Principled Software Development 2018: 305-323 - [c75]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 - [c74]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 - [c73]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 - [c72]Rajesh Kumar
, Arend Rensink, Mariëlle Stoelinga
:
LOCKS: a property specification language for security goals. SAC 2018: 1907-1915 - [e9]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
- [j37]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) - [c71]Arend Rensink:
How Much Are Your Geraniums? Taking Graph Conditions Beyond First Order. ModelEd, TestEd, TrustEd 2017: 191-213 - [c70]Bugra M. Yildiz, Christoph Bockisch, Arend Rensink, Mehmet Aksit:
An MDE Approach for Modular Program Analyses. Programming 2017: 15:1-15:5 - [c69]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 - [c68]Bugra M. Yildiz, Christoph Bockisch, Arend Rensink, Mehmet Aksit:
A Java Bytecode Metamodel for Composable Program Analyses. STAF Workshops 2017: 30-40 - [c67]Bugra M. Yildiz, Arend Rensink, Christoph Bockisch, Mehmet Aksit:
A Model-Derivation Framework for Software Analysis. MARS@ETAPS 2017: 217-229 - [e8]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
- [j36]Arend Rensink:
Model Patterns - The Quest for the Right Level of Abstraction. LNCS Trans. Found. Mastering Chang. 1: 47-70 (2016) - [c66]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
- [c65]Pieter M. Kwantes, Pieter Van Gorp
, Jetty Kleijn, Arend Rensink:
Towards Compliance Verification Between Global and Local Process Models. ICGT 2015: 221-236 - [c64]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 - [e7]Arend Rensink, Eduardo Zambon:
Proceedings Graphs as Models, GaM@ETAPS 2015, London, UK, 11-12 April 2015. EPTCS 181, 2015 [contents] - 2014
- [j35]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) - [j34]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) - [j33]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) - [c63]Anthony Anjorin, Alcino Cunha, Holger Giese, Frank Hermann, Arend Rensink, Andy Schürr:
BenchmarX. EDBT/ICDT Workshops 2014: 82-86 - [c62]Christopher M. Poskitt, Mike Dodds, Richard F. Paige, Arend Rensink:
Towards Rigorously Faking Bidirectional Model Transformations. AMT@MoDELS 2014: 70-75 - [c61]James J. Hunt, Maarten de Mol, Arend Rensink:
Noninvasive regelbasierte Graphtransformation für Java. Software Engineering 2014: 91-92 - [c60]Giorgio Delzanno, Arend Rensink, Riccardo Traverso:
Graph- versus Vector-Based Analysis of a Consensus Protocol. GRAPHITE 2014: 44-57 - [e6]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
- [c59]Wietse Smid, Arend Rensink:
Class Diagram Restructuring with GROOVE. TTC 2013: 83-87 - 2012
- [j32]Amir Hossein Ghamarian, Arend Rensink:
Graph Passing in Graph Transformation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 47 (2012) - [j31]Arash Jalali, Arend Rensink, Amir Hossein Ghamarian:
Incremental Pattern Matching for Regular Expressions. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 47 (2012) - [j30]Arend Rensink, Grzegorz Rozenberg, Andy Schürr:
Preface. Fundam. Informaticae 118(1-2) (2012) - [j29]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) - [c58]Maarten de Mol, Arend Rensink, James J. Hunt:
Graph Transforming Java Data. FASE 2012: 209-223 - [c57]Arend Rensink, Eduardo Zambon:
Pattern-Based Graph Abstraction. ICGT 2012: 66-80 - [c56]Amir Hossein Ghamarian, Arend Rensink:
Generalised Compositionality in Graph Transformation. ICGT 2012: 234-248 - [c55]Eduardo Zambon, Arend Rensink:
Graph Subsumption in Abstract State Space Exploration. GRAPHITE 2012: 35-49 - 2011
- [j28]Eduardo Zambon, Arend Rensink:
Using Graph Transformations and Graph Abstractions for Software Verification. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 38 (2011) - [c54]Ismênia Galvão, Eduardo Zambon, Arend Rensink, Lesley Wevers, Mehmet Aksit:
Knowledge-Based Graph Exploration Analysis. AGTIVE 2011: 105-120 - [c53]Arend Rensink, Eduardo Zambon:
Solving the TTC 2011 Compiler Optimization Case with GROOVE. TTC 2011: 126-130 - [c52]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
- [j27]Maarten de Mol, Arend Rensink:
On A Graph Formalism for Ordered Edges. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 29 (2010) - [j26]Stefan Blom, Gijs Kant, Arend Rensink:
Distributed Graph-Based State Space Generation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 32 (2010) - [j25]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) - [j24]Arend Rensink, Eduardo Zambon:
Neighbourhood Abstraction in GROOVE. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 32 (2010) - [j23]Arend Rensink, Pieter Van Gorp:
Graph transformation tool contest 2008. Int. J. Softw. Tools Technol. Transf. 12(3-4): 171-181 (2010) - [c51]Arend Rensink:
The Edge of Graph Transformation - Graphs for Behavioural Specification. Graph Transformations and Model-Driven Engineering 2010: 6-32 - [c50]Arend Rensink:
Compositionality in Graph Transformation. ICALP (2) 2010: 309-320 - [c49]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 - [e5]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
- [j22]Iovka Boneva, Jörg Kreiker, Marcos E. Kurbán, Arend Rensink:
Graph Abstraction for a Modal Logic. Bull. EATCS 97: 106-116 (2009) - [j21]Arend Rensink, Jan-Hendrik Kuperus:
Repotting the Geraniums: On Nested Graph Transformation Rules. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 18 (2009) - [j20]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) - [c48]Mehmet Aksit, Arend Rensink, Tom Staijen:
A graph-transformation-based simulation approach for analysing aspect interference on shared join points. AOSD 2009: 39-50 - [c47]Tom Staijen, Arend Rensink:
Graph-based specification and simulation of featherweight Java with around advice. FOAL 2009: 25-30 - [c46]Arend Rensink, Eduardo Zambon:
A Type Graph Model for Java Programs. FMOODS/FORTE 2009: 237-242 - [e4]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
- [j19]Arend Rensink, Anneke Kleppe:
On a Graph-Based Semantics for UML Class and Object Diagrams. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008) - [j18]Arend Rensink, Ronald Nederpel:
Graph Transformation Semantics for a QVT Language. Electron. Notes Theor. Comput. Sci. 211: 51-62 (2008) - [j17]Barbara König, Arend Rensink, Reiko Heckel:
Preface. Electron. Notes Theor. Comput. Sci. 213(1): 1-2 (2008) - [j16]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) - [c45]Arend Rensink:
Explicit State Model Checking for Graph Grammars. Concurrency, Graphs and Models 2008: 114-132 - [c44]Harmen Kastenberg, Arend Rensink:
Dynamic Partial Order Reduction Using Probe Sets. CONCUR 2008: 233-247 - [c43]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 - [c42]Jörg Bauer, Iovka Boneva, Marcos E. Kurbán, Arend Rensink:
A Modal-Logic Based Graph Abstraction. ICGT 2008: 321-335 - [c41]Arend Rensink, Pieter Van Gorp
:
Graph-Based Tools: The Contest. ICGT 2008: 463-466 - 2007
- [j15]Iovka Boneva, Frank Hermann, Harmen Kastenberg, Arend Rensink:
Simulating Multigraph Transformations Using Simple Graphs. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 6 (2007) - [j14]Arend Rensink, Reiko Heckel, Barbara König:
Preface. Electron. Notes Theor. Comput. Sci. 175(4): 1-2 (2007) - [j13]Arend Rensink, Walter Vogler:
Fair testing. Inf. Comput. 205(2): 125-198 (2007) - [c40]Arend Rensink, Gabriele Taentzer:
AGTIVE 2007 Graph Transformation Tool Contest. AGTIVE 2007: 487-492 - [c39]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 - 2006
- [j12]Arend Rensink:
Isomorphism Checking in GROOVE. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 1 (2006) - [j11]Arend Rensink, Reiko Heckel, Barbara König:
Preface. Electron. Notes Theor. Comput. Sci. 154(2): 1-5 (2006) - [j10]Arend Rensink, Dino Distefano:
Abstract Graph Transformation. Electron. Notes Theor. Comput. Sci. 157(1): 39-59 (2006) - [c38]Arend Rensink:
Model Checking Quantified Computation Tree Logic. CONCUR 2006: 110-125 - [c37]Harmen Kastenberg, Anneke Kleppe, Arend Rensink:
Defining Object-Oriented Execution Semantics Using Graph Transformations. FMOODS 2006: 186-201 - [c36]Arend Rensink:
Nested Quantification in Graph Transformation Rules. ICGT 2006: 1-13 - [c35]Annegret Habel, Karl-Heinz Pennemann, Arend Rensink:
Weakest Preconditions for High-Level Programs. ICGT 2006: 445-460 - [c34]Harmen Kastenberg, Arend Rensink:
Model Checking Dynamic States in GROOVE. SPIN 2006: 299-305 - [c33]Ruben Smelik, Arend Rensink, Harmen Kastenberg:
Specification and Construction of Control Flow Semantics. VL/HCC 2006: 65-72 - [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
- [j9]Arend Rensink:
Time and Space Issues in the Generation of Graph Transition Systems. Electron. Notes Theor. Comput. Sci. 127(1): 127-139 (2005) - [c32]Val Jones, Arend Rensink, Ed Brinksma:
Modelling mobile health systems: an application of augmented MDA for the extended healthcare enterprise.. EDOC 2005: 58-69 - [c31]Gabriele Taentzer, Arend Rensink:
Ensuring Structural Constraints in Graph-Based Models with Type Inheritance. FASE 2005: 64-79 - [c30]Dino Distefano, Joost-Pieter Katoen, Arend Rensink:
Safety and Liveness in Concurrent Pointer Programs. FMCO 2005: 280-312 - [c29]Machiel van der Bijl, Arend Rensink, Jan Tretmans:
Action Refinement in Conformance Testing. TestCom 2005: 81-96 - [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
- [c28]Arend Rensink:
Canonical Graph Shapes. ESOP 2004: 401-415 - [c27]Dino Distefano, Joost-Pieter Katoen, Arend Rensink:
Who is Pointing When to Whom? FSTTCS 2004: 250-262 - [c26]Arend Rensink, Ákos Schmidt, Dániel Varró:
Model Checking Graph Transformations: A Comparison of Two Approaches. ICGT 2004: 226-241 - [c25]Arend Rensink:
Representing First-Order Logic Using Graphs. ICGT 2004: 319-335 - [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 R. Devillers, Elisabeth Pelz, Arend Rensink, Manuel Silva, Enrique Teruel:
CALIBAN - Esprit Basic Research WG 6067. STRICT 1995: 2-31 - [c5]