Arend Rensink - RankMe

152 papers A 1B 27C 6Misc 3Journal 41Unranked 61

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Disjunction Composition of BDD Transition Systems for Model-Based Testing. CoRR Tannaz Zameni, Petra van den Bos, Arend Rensink
2025	J	`jnl`	Conformance in the railway industry: Single-Input-Change testing a EULYNX controller. Int. J. Softw. Tools Technol. Transf. Djurre van der Wal, Marcus Gerhold, Mariëlle Stoelinga, Arend Rensink
2025	J	`jnl`	Counterexample-Guided Abstraction Refinement for Generalized Graph Transformation Systems (Full Version). CoRR Barbara König, Arend Rensink, Lara Stoltenow, Fabian Urrigshardt
2025	B	`conf`	Counterexample-Guided Abstraction Refinement for Generalized Graph Transformation Systems. ICGT Barbara König, Arend Rensink, Lara Stoltenow, Fabian Urrigshardt
2025	J	`jnl`	Experimenting with Reaction Systems using Graph Transformation and GROOVE. Nat. Comput. Roberto Bruni, Arend Rensink
2025	C	`conf`	Ontology-Driven Software Development: Generating Java Code from OntoUML. FOIS Guus Grievink, Luís Ferreira Pires, João Luiz Rebelo Moreira, Arend Rensink
2025	C	`ed.`	Proceedings of the 20th International Conference on Software Technologies, ICSOFT 2025, Bilbao, Spain, June 10-12, 2025. ICSOFT Massimo Mecella, Arend Rensink, Leszek A. Maciaszek
2025	C	`conf`	Sequential Composition of BDD Transition Systems for Model-Based Testing. FORTE Tannaz Zameni, Petra van den Bos, Johan Foederer, Arend Rensink
2024	—	`conf`	An Intermediate Language to Integrate Behavior-Driven Development Scenarios and Model-Based Testing. SANER (Companion) Tannaz Zameni, Petra van den Bos, Arend Rensink, Jan Tretmans
2024	—	`conf`	On Categories of Nested Conditions. Principles of Verification (1) Arend Rensink, Andrea Corradini
2024	J	`jnl`	On Categories of Nested Conditions. CoRR Arend Rensink, Andrea Corradini
2023	J	`jnl`	A Case in Point: Verification and Testing of a EULYNX Interface. Formal Aspects Comput. Mark Bouwman, Djurre van der Wal, Bas Luttik, Mariëlle Stoelinga, Arend Rensink
2023	—	`conf`	From BDD Scenarios to Test Case Generation. ICSTW Tannaz Zameni, Petra van den Bos, Jan Tretmans, Johan Foederer, Arend Rensink
2021	—	`ch.`	Integration and Orchestration of Analysis Tools. Composing Model-Based Analysis Tools Robert Heinrich, Erwan Bousse, Sandro Koch, Arend Rensink, Elvinia Riccobene, Daniel Ratiu, Marjan Sirjani
2021	J	`jnl`	Multi-paradigm modelling for cyber-physical systems: a descriptive framework. Softw. Syst. Model. Moussa Amrani, Dominique Blouin, Robert Heinrich, Arend Rensink, Hans Vangheluwe, Andreas Wortmann
2021	—	`conf`	On the Efficacy of Online Proctoring using Proctorio. CSEDU (1) Laura Bergmans, Nacir Bouali, Marloes Luttikhuis, Arend Rensink
2020	J	`jnl`	Special section on ICMT at STAF 2018. Softw. Syst. Model. Jesús Sánchez Cuadrado, Arend Rensink
2019	—	`ed.`	22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS Companion 2019, Munich, Germany, September 15-20, 2019 MoDELS (Companion) 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
2019	J	`jnl`	Contents for a Model-Based Software Engineering Body of Knowledge. Softw. Syst. Model. 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
2019	B	`conf`	Rewriting Abstract Structures: Materialization Explained Categorically. FoSSaCS Andrea Corradini, Tobias Heindel, Barbara König, Dennis Nolte, Arend Rensink
2019	J	`jnl`	Rewriting Abstract Structures: Materialization Explained Categorically. CoRR Andrea Corradini, Tobias Heindel, Barbara König, Dennis Nolte, Arend Rensink
2019	—	`conf`	Towards a Formal Specification of Multi-paradigm Modelling. MoDELS (Companion) Moussa Amrani, Dominique Blouin, Robert Heinrich, Arend Rensink, Hans Vangheluwe, Andreas Wortmann
2018	—	`conf`	A Tutorial on Graph Transformation. Graph Transformation, Specifications, and Nets Barbara König, Dennis Nolte, Julia Padberg, Arend Rensink
2018	B	`conf`	Effective Analysis of Attack Trees: A Model-Driven Approach. FASE Rajesh Kumar, Stefano Schivo, Enno Ruijters, Bugra Mehmet Yildiz, David Huistra, Jacco Brandt, Arend Rensink, Mariëlle Stoelinga
2018	—	`conf`	Graph Attribution Through Sub-Graphs. Graph Transformation, Specifications, and Nets Harmen Kastenberg, Arend Rensink
2018	—	`conf`	How do we teach modelling and model-driven engineering?: a survey. MoDELS (Companion) 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
2018	Misc	`conf`	LOCKS: a property specification language for security goals. SAC Rajesh Kumar, Arend Rensink, Mariëlle Stoelinga
2018	—	`conf`	Recipes for Coffee: Compositional Construction of JAVA Control Flow Graphs in GROOVE. Principled Software Development Eduardo Zambon, Arend Rensink
2018	—	`ed.`	Theory and Practice of Model Transformation - 11th International Conference, ICMT@STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings ICMT Arend Rensink, Jesús Sánchez Cuadrado
2018	—	`conf`	Towards a body of knowledge for model-based software engineering. MoDELS (Companion) 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
2017	—	`conf`	A Java Bytecode Metamodel for Composable Program Analyses. STAF Workshops Bugra M. Yildiz, Christoph Bockisch, Arend Rensink, Mehmet Aksit
2017	—	`conf`	A Model-Derivation Framework for Software Analysis. MARS Bugra M. Yildiz, Arend Rensink, Christoph Bockisch, Mehmet Aksit
2017	—	`conf`	An MDE Approach for Modular Program Analyses. Programming Bugra M. Yildiz, Christoph Bockisch, Arend Rensink, Mehmet Aksit
2017	J	`jnl`	Fault trees on a diet: automated reduction by graph rewriting. Formal Aspects Comput. Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Arend Rensink, Mariëlle Stoelinga
2017	—	`conf`	How Much Are Your Geraniums? Taking Graph Conditions Beyond First Order. ModelEd, TestEd, TrustEd Arend Rensink
2017	Misc	`conf`	How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach. SETTA Stefano Schivo, Bugra M. Yildiz, Enno Ruijters, Christopher Gerking, Rajesh Kumar, Stefan Dziwok, Arend Rensink, Mariëlle Stoelinga
2017	—	`ed.`	ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday ModelEd, TestEd, TrustEd Joost-Pieter Katoen, Rom Langerak, Arend Rensink
2016	—	`conf`	A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications. CyPhy Waheed Ahmad, Bugra M. Yildiz, Arend Rensink, Mariëlle Stoelinga
2016	J	`jnl`	Model Patterns - The Quest for the Right Level of Abstraction. LNCS Trans. Found. Mastering Chang. Arend Rensink
2015	Misc	`conf`	Fault Trees on a Diet - - Automated Reduction by Graph Rewriting -. SETTA Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Arend Rensink, Mariëlle Stoelinga
2015	—	`ed.`	Proceedings Graphs as Models, GaM@ETAPS 2015, London, UK, 11-12 April 2015. GaM Arend Rensink, Eduardo Zambon
2015	B	`conf`	Towards Compliance Verification Between Global and Local Process Models. ICGT Pieter M. Kwantes, Pieter Van Gorp, Jetty Kleijn, Arend Rensink
2014	J	`jnl`	A survey and comparison of transformation tools based on the transformation tool contest. Sci. Comput. Program. 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
2014	—	`conf`	BenchmarX. EDBT/ICDT Workshops Anthony Anjorin, Alcino Cunha, Holger Giese, Frank Hermann, Arend Rensink, Andy Schürr
2014	B	`ed.`	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 FASE Stefania Gnesi, Arend Rensink
2014	—	`conf`	Graph- versus Vector-Based Analysis of a Consensus Protocol. GRAPHITE Giorgio Delzanno, Arend Rensink, Riccardo Traverso
2014	C	`conf`	Noninvasive regelbasierte Graphtransformation für Java. Software Engineering James J. Hunt, Maarten de Mol, Arend Rensink
2014	J	`jnl`	Software and systems modeling with graph transformations theme issue of the Journal on Software and Systems Modeling. Softw. Syst. Model. Andy Schürr, Arend Rensink
2014	J	`jnl`	Solving the N-Queens Problem with GROOVE - Towards a Compendium of Best Practices. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Eduardo Zambon, Arend Rensink
2014	—	`conf`	Towards Rigorously Faking Bidirectional Model Transformations. AMT@MoDELS Christopher M. Poskitt, Mike Dodds, Richard F. Paige, Arend Rensink
2013	—	`conf`	Class Diagram Restructuring with GROOVE. TTC Wietse Smid, Arend Rensink
2012	B	`conf`	Generalised Compositionality in Graph Transformation. ICGT Amir Hossein Ghamarian, Arend Rensink
2012	J	`jnl`	Graph Passing in Graph Transformation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Amir Hossein Ghamarian, Arend Rensink
2012	—	`conf`	Graph Subsumption in Abstract State Space Exploration GRAPHITE Eduardo Zambon, Arend Rensink
2012	B	`conf`	Graph Transforming Java Data. FASE Maarten de Mol, Arend Rensink, James J. Hunt
2012	J	`jnl`	Incremental Pattern Matching for Regular Expressions. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Arash Jalali, Arend Rensink, Amir Hossein Ghamarian
2012	J	`jnl`	Modelling and analysis using GROOVE. Int. J. Softw. Tools Technol. Transf. Amir Hossein Ghamarian, Maarten de Mol, Arend Rensink, Eduardo Zambon, Maria Zimakova
2012	B	`conf`	Pattern-Based Graph Abstraction. ICGT Arend Rensink, Eduardo Zambon
2012	J	`jnl`	Preface. Fundam. Informaticae Arend Rensink, Grzegorz Rozenberg, Andy Schürr
2011	—	`conf`	Knowledge-Based Graph Exploration Analysis. AGTIVE Ismênia Galvão, Eduardo Zambon, Arend Rensink, Lesley Wevers, Mehmet Aksit
2011	—	`conf`	Saying Hello World with GROOVE - A Solution to the TTC 2011 Instructive Case TTC Amir Hossein Ghamarian, Maarten de Mol, Arend Rensink, Eduardo Zambon
2011	—	`conf`	Solving the TTC 2011 Compiler Optimization Case with GROOVE TTC Arend Rensink, Eduardo Zambon
2011	J	`jnl`	Using Graph Transformations and Graph Abstractions for Software Verification. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Eduardo Zambon, Arend Rensink
2010	—	`conf`	Compositionality in Graph Transformation. ICALP (2) Arend Rensink
2010	J	`jnl`	Distributed Graph-Based State Space Generation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Stefan Blom, Gijs Kant, Arend Rensink
2010	B	`ed.`	Graph Transformations - 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27 - - October 2, 2010. Proceedings ICGT Hartmut Ehrig, Arend Rensink, Grzegorz Rozenberg, Andy Schürr
2010	J	`jnl`	Graph transformation tool contest 2008. Int. J. Softw. Tools Technol. Transf. Arend Rensink, Pieter Van Gorp
2010	J	`jnl`	Incremental Pattern Matching in Graph-Based State Space Exploration. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Amir Hossein Ghamarian, Arash Jalali, Arend Rensink
2010	J	`jnl`	Neighbourhood Abstraction in GROOVE. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Arend Rensink, Eduardo Zambon
2010	J	`jnl`	On A Graph Formalism for Ordered Edges. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Maarten de Mol, Arend Rensink
2010	B	`conf`	Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques. IFM Mathias Hülsbusch, Barbara König, Arend Rensink, Maria Semenyak, Christian Soltenborn, Heike Wehrheim
2010	—	`conf`	The Edge of Graph Transformation - Graphs for Behavioural Specification. Graph Transformations and Model-Driven Engineering Arend Rensink
2009	—	`conf`	A Type Graph Model for Java Programs. FMOODS/FORTE Arend Rensink, Eduardo Zambon
2009	—	`conf`	A graph-transformation-based simulation approach for analysing aspect interference on shared join points. AOSD Mehmet Aksit, Arend Rensink, Tom Staijen
2009	J	`jnl`	Editorial for Special Section on Dependencies and Interactions with Aspects. LNCS Trans. Aspect Oriented Softw. Dev. Ruzanna Chitchyan, Johan Fabry, Shmuel Katz, Arend Rensink
2009	J	`jnl`	Graph Abstraction for a Modal Logic. Bull. EATCS Iovka Boneva, Jörg Kreiker, Marcos E. Kurbán, Arend Rensink
2009	—	`conf`	Graph-based specification and simulation of featherweight Java with around advice. FOAL Tom Staijen, Arend Rensink
2009	—	`ed.`	Model Driven Architecture - Foundations and Applications, 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings ECMDA-FA Richard F. Paige, Alan Hartman, Arend Rensink
2009	J	`jnl`	Repotting the Geraniums: On Nested Graph Transformation Rules. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Arend Rensink, Jan-Hendrik Kuperus
2008	B	`conf`	A Modal-Logic Based Graph Abstraction. ICGT Jörg Bauer, Iovka Boneva, Marcos E. Kurbán, Arend Rensink
2008	J	`jnl`	Applying formal methods to gossiping networks with mCRL and groove. SIGMETRICS Perform. Evaluation Rev. Pepijn Crouzen, Jaco van de Pol, Arend Rensink
2008	B	`conf`	Dynamic Partial Order Reduction Using Probe Sets. CONCUR Harmen Kastenberg, Arend Rensink
2008	—	`conf`	Explicit State Model Checking for Graph Grammars. Concurrency, Graphs and Models Arend Rensink
2008	—	`conf`	From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations. ECMDA-FA Gregor Engels, Anneke Kleppe, Arend Rensink, Maria Semenyak, Christian Soltenborn, Heike Wehrheim
2008	B	`conf`	Graph-Based Tools: The Contest. ICGT Arend Rensink, Pieter Van Gorp
2008	J	`jnl`	On a Graph-Based Semantics for UML Class and Object Diagrams. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Arend Rensink, Anneke Kleppe
2008	—	`ed.`	Proceedings of the Third Workshop on Graph Transformation for Concurrency and Verification, GT-VC@CONCUR 2007, Lisbon, Portugal, September 3, 2007 GT-VC@CONCUR Barbara König, Arend Rensink, Reiko Heckel
2007	—	`conf`	AGTIVE 2007 Graph Transformation Tool Contest. AGTIVE Arend Rensink, Gabriele Taentzer
2007	J	`jnl`	Fair testing. Inf. Comput. Arend Rensink, Walter Vogler
2007	—	`conf`	Ludo: A Case Study for Graph Transformation Tools. AGTIVE Arend Rensink, Alexander Dotor, Claudia Ermel, Stefan Jurack, Ole Kniemeyer, Juan de Lara, Sonja Maier, Tom Staijen, Albert Zündorf
2007	—	`conf`	Preface. GT-VC@CONCUR Barbara König, Arend Rensink, Reiko Heckel
2007	—	`ed.`	Proceedings of the Workshop on Graph Transformation for Concurrency and Verification, GT-VC@CONCUR 2006, Bonn, Germany, August 31, 2006 GT-VC@CONCUR Arend Rensink, Reiko Heckel, Barbara König
2007	J	`jnl`	Simulating Multigraph Transformations Using Simple Graphs. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Iovka Boneva, Frank Hermann, Harmen Kastenberg, Arend Rensink
2006	—	`conf`	Defining Object-Oriented Execution Semantics Using Graph Transformations. FMOODS Harmen Kastenberg, Anneke Kleppe, Arend Rensink
2006	—	`conf`	Graph Transformation Semantics for a QVT Language. GT-VMT@ETAPS Arend Rensink, Ronald Nederpel
2006	J	`jnl`	Isomorphism Checking in GROOVE. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Arend Rensink
2006	—	`conf`	Model Checking Dynamic States in GROOVE. SPIN Harmen Kastenberg, Arend Rensink
2006	B	`conf`	Model Checking Quantified Computation Tree Logic. CONCUR Arend Rensink
2006	—	`ed.`	Model Driven Architecture - Foundations and Applications, 2nd European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006, Proceedings ECMDA-FA Arend Rensink, Jos Warmer
2006	B	`conf`	Nested Quantification in Graph Transformation Rules. ICGT Arend Rensink
2006	—	`conf`	Preface. GT-VC@CONCUR Arend Rensink, Reiko Heckel, Barbara König
2006	—	`ed.`	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 GT-VC@CONCUR Arend Rensink, Reiko Heckel, Barbara König
2006	B	`conf`	Specification and Construction of Control Flow Semantics. VL/HCC Ruben Smelik, Arend Rensink, Harmen Kastenberg
2006	B	`conf`	Weakest Preconditions for High-Level Programs. ICGT Annegret Habel, Karl-Heinz Pennemann, Arend Rensink
2005	—	`conf`	Abstract Graph Transformation. SVV@ICFEM Arend Rensink, Dino Distefano
2005	—	`conf`	Action Refinement in Conformance Testing. TestCom Machiel van der Bijl, Arend Rensink, Jan Tretmans
2005	B	`conf`	Ensuring Structural Constraints in Graph-Based Models with Type Inheritance. FASE Gabriele Taentzer, Arend Rensink
2005	—	`ed.`	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 MDAFA Uwe Aßmann, Mehmet Aksit, Arend Rensink
2005	B	`conf`	Modelling mobile health systems: an application of augmented MDA for the extended healthcare enterprise.. EDOC Val Jones, Arend Rensink, Ed Brinksma
2005	—	`conf`	Preface. GT-VC@CONCUR Arend Rensink, Reiko Heckel, Barbara König
2005	—	`conf`	Safety and Liveness in Concurrent Pointer Programs. FMCO Dino Distefano, Joost-Pieter Katoen, Arend Rensink
2004	A	`conf`	Canonical Graph Shapes. ESOP Arend Rensink
2004	B	`conf`	Model Checking Graph Transformations: A Comparison of Two Approaches. ICGT Arend Rensink, Ákos Schmidt, Dániel Varró
2004	B	`conf`	Representing First-Order Logic Using Graphs. ICGT Arend Rensink
2004	—	`conf`	Subjects, Models, Languages, Transformations. Language Engineering for Model-Driven Software Development Arend Rensink
2004	—	`conf`	Summary 2: Graph Grammar Verification through Abstraction. Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems Paolo Baldan, Barbara König, Arend Rensink
2004	—	`conf`	Time and Space Issues in the Generation of Graph Transition Systems. GraBaTs Arend Rensink
2004	—	`conf`	Who is Pointing When to Whom? FSTTCS Dino Distefano, Joost-Pieter Katoen, Arend Rensink
2003	—	`conf`	AGTIVE'03: Summary from the Outside In. AGTIVE Arend Rensink
2003	—	`conf`	Compositional Testing with ioco. FATES Machiel van der Bijl, Arend Rensink, Jan Tretmans
2003	—	`conf`	The GROOVE Simulator: A Tool for State Space Generation. AGTIVE Arend Rensink
2002	—	`ed.`	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 FMOODS Bart Jacobs, Arend Rensink
2002	—	`conf`	Model Checking Birth and Death. IFIP TCS Dino Distefano, Arend Rensink, Joost-Pieter Katoen
2001	—	`ch.`	Action Refinement. Handbook of Process Algebra Roberto Gorrieri, Arend Rensink
2001	J	`jnl`	Process algebra with action dependencies. Acta Informatica Arend Rensink, Heike Wehrheim
2001	J	`jnl`	Vertical Implementation. Inf. Comput. Arend Rensink, Roberto Gorrieri
2000	B	`conf`	Action Contraction. CONCUR Arend Rensink
2000	J	`jnl`	Bisimilarity of Open Terms. Inf. Comput. Arend Rensink
2000	—	`conf`	On a Temporal Logic for Object-Based Systems. FMOODS Dino Distefano, Joost-Pieter Katoen, Arend Rensink
1998	—	`conf`	A Process Algebra Semantics for MSC Including Conditions. FBT Thomas Gehrke, Michaela Huhn, Peter Niebert, Arend Rensink, Heike Wehrheim
1998	C	`conf`	An Algebraic Semantics for Message Sequence Chart Documents. FORTE Thomas Gehrke, Michaela Huhn, Arend Rensink, Heike Wehrheim
1998	—	`conf`	Spezifikation eines RPC-Speichers mit der Sprache ProFun. FBT Thomas Firley, Thomas Gehrke, Arend Rensink
1997	—	`conf`	Action Refinement as an Implementation Relations. TAPSOFT Arend Rensink, Roberto Gorrieri
1997	—	`conf`	Action refinement for Vertical Implementation. FBT Arend Rensink, Roberto Gorrieri
1997	—	`conf`	Bisimilarity of open terms. EXPRESS Arend Rensink
1997	B	`conf`	Dependency-Based Action Refinement. MFCS Arend Rensink, Heike Wehrheim
1997	—	`conf`	Process creation and full sequential composition in a name-passing calculus. EXPRESS Thomas Gehrke, Arend Rensink
1996	J	`jnl`	Algebra and Theory of Order-Deterministic Pomsets. Notre Dame J. Formal Log. Arend Rensink
1996	C	`conf`	Applications of Fair Testing. FORTE Ed Brinksma, Arend Rensink, Walter Vogler
1996	J	`jnl`	Comparing Syntactic and Semantic Sction Refinement. Inf. Comput. Ursula Goltz, Roberto Gorrieri, Arend Rensink
1996	—	`conf`	Denotational, Causal, and Operational Determinism in Event Structures. CAAP Arend Rensink
1995	B	`conf`	A Complete Theory of Deterministic Event Structures. CONCUR Arend Rensink
1995	—	`conf`	An Event-Based SOS for a Language with Refinement. STRICT Arend Rensink
1995	—	`conf`	CALIBAN - Esprit Basic Research WG 6067. STRICT Eike Best, Raymond Devillers, Elisabeth Pelz, Arend Rensink, Manuel Silva, Enrique Teruel
1995	B	`conf`	Fair Testing. CONCUR Ed Brinksma, Arend Rensink, Walter Vogler
1994	J	`jnl`	Finite Petri Nets as Models for Recursive Causal Behaviour. Theor. Comput. Sci. Ursula Goltz, Arend Rensink
1994	—	`conf`	Methodological Aspects of Action Refinement. PROCOMET Arend Rensink
1994	—	`conf`	On Syntactic and Semantic Action Refinement. TACS Ursula Goltz, Roberto Gorrieri, Arend Rensink
1994	B	`conf`	Weak Sequential Composition in Process Algebras. CONCUR Arend Rensink, Heike Wehrheim
1993	J	`jnl`	Order isomorphism odes not preserve global event independence. Bull. EATCS Arend Rensink
1993	J	`jnl`	Order isomorphism odes not preserve global event independence. Bull. EATCS Arend Rensink
1992	B	`conf`	Posets for Configurations! CONCUR Arend Rensink