Arend Rensink - researchr alias

researchr

You are not signed in
Sign in
Sign up

2010

Distributed Graph-Based State Space GenerationStefan Blom, Gijs Kant, Arend Rensink. eceasst, 32, 2010. [doi]

On A Graph Formalism for Ordered EdgesMaarten de Mol, Arend Rensink. eceasst, 29, 2010. [doi]

Graph Transformations - 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27 - - October 2, 2010. ProceedingsHartmut Ehrig, Arend Rensink, Grzegorz Rozenberg, Andy Schürr, editors, Volume 6372 of Lecture Notes in Computer Science, Springer, 2010. [doi]

Solving the Topology Analysis Case Study with GROOVEAmir Hossein Ghamarian, Maarten de Mol, Arend Rensink, Eduardo Zambon. TTC 2010:

Incremental Pattern Matching in Graph-Based State Space ExplorationAmir Hossein Ghamarian, Arash Jalali, Arend Rensink. eceasst, 32, 2010. [doi]

Showing Full Semantics Preservation in Model Transformation - A Comparison of TechniquesMathias Hülsbusch, Barbara König, Arend Rensink, Maria Semenyak, Christian Soltenborn, Heike Wehrheim. IFM 2010: 183-198 [doi]

Neighbourhood Abstraction in GROOVEArend Rensink, Eduardo Zambon. eceasst, 32, 2010. [doi]

The Edge of Graph Transformation - Graphs for Behavioural SpecificationArend Rensink. BIRTHDAY 2010: 6-32 [doi]

Compositionality in Graph TransformationArend Rensink. icalp 2010: 309-320 [doi]

Graph transformation tool contest 2008Arend Rensink, Pieter Van Gorp. STTT, 12(3-4):171-181, 2010. [doi]

Transformation Tool ContestPieter Van Gorp, Steffen Mazanek, Arend Rensink, editors, Malaga, 2010.

2009

A graph-transformation-based simulation approach for analysing aspect interference on shared join pointsMehmet Aksit, Arend Rensink, Tom Staijen. AOSD 2009: 39-50 [doi]

Editorial for Special Section on Dependencies and Interactions with AspectsRuzanna Chitchyan, Johan Fabry, Shmuel Katz, Arend Rensink. TAOSD, 5:133-134, 2009. [doi]

Model Driven Architecture - Foundations and Applications, 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. ProceedingsRichard F. Paige, Alan Hartman, Arend Rensink, editors, Volume 5562 of Lecture Notes in Computer Science, Springer, 2009. [doi]

A Type Graph Model for Java ProgramsArend Rensink, Eduardo Zambon. forte 2009: 237-242 [doi]

Repotting the Geraniums: On Nested Graph Transformation RulesArend Rensink, Jan-Hendrik Kuperus. eceasst, 18, 2009. [doi]

Graph-based specification and simulation of featherweight Java with around adviceTom Staijen, Arend Rensink. foal 2009: 25-30 [doi]

2008

A Modal-Logic Based Graph AbstractionJörg Bauer, Iovka Boneva, Marcos E. Kurbán, Arend Rensink. gg 2008: 321-335 [doi]

Applying formal methods to gossiping networks with mCRL and groovePepijn Crouzen, Jaco van de Pol, Arend Rensink. sigmetrics, 36(3):7-16, 2008. [doi]

From UML Activities to TAAL - Towards Behaviour-Preserving Model TransformationsGregor Engels, Anneke Kleppe, Arend Rensink, Maria Semenyak, Christian Soltenborn, Heike Wehrheim. ECMDA-FA 2008: 94-109 [doi]

Dynamic Partial Order Reduction Using Probe SetsHarmen Kastenberg, Arend Rensink. concur 2008: 233-247 [doi]

PrefaceBarbara König, Arend Rensink, Reiko Heckel. ENTCS, 213(1):1-2, 2008. [doi]

Graph-Based Tools: The ContestArend Rensink, Pieter Van Gorp. gg 2008: 463-466 [doi]

Explicit State Model Checking for Graph GrammarsArend Rensink. birthday 2008: 114-132 [doi]

Graph Transformation Semantics for a QVT LanguageArend Rensink, Ronald Nederpel. ENTCS, 211:51-62, 2008. [doi]

Graph-Based Tools: The ContestArend Rensink, Pieter Van Gorp. In Graph Transformations. 2008.

On a Graph-Based Semantics for UML Class and Object DiagramsArend Rensink, Anneke Kleppe. eceasst, 10, 2008. [doi]

Call for Papers: STTT Special Section on. Graph-Based Tool ComparisonPieter Van Gorp, Arend Rensink. nov 2008.

2007

2006

Weakest Preconditions for High-Level ProgramsAnnegret Habel, Karl-Heinz Pennemann, Arend Rensink. gg 2006: 445-460 [doi]

Model Checking Dynamic States in GROOVEHarmen Kastenberg, Arend Rensink. spin 2006: 299-305 [doi]

Defining Object-Oriented Execution Semantics Using Graph TransformationsHarmen Kastenberg, Anneke Kleppe, Arend Rensink. fmoods 2006: 186-201 [doi]

PrefaceArend Rensink, Reiko Heckel, Barbara König. ENTCS, 154(2):1-5, 2006. [doi]

Isomorphism Checking in GROOVEArend Rensink. eceasst, 1, 2006. [doi]

Model Driven Architecture - Foundations and Applications, Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006, ProceedingsArend Rensink, Jos Warmer, editors, Volume 4066 of Lecture Notes in Computer Science, Springer, 2006.

Model Checking Quantified Computation Tree LogicArend Rensink. concur 2006: 110-125 [doi]

Nested Quantification in Graph Transformation RulesArend Rensink. gg 2006: 1-13 [doi]

Abstract Graph TransformationArend Rensink, Dino Distefano. ENTCS, 157(1):39-59, 2006. [doi]

Specification and Construction of Control Flow SemanticsRuben Smelik, Arend Rensink, Harmen Kastenberg. vl 2006: 65-72 [doi]

2005

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 PapersUwe Aßmann, Mehmet Aksit, Arend Rensink, editors, Volume 3599 of Lecture Notes in Computer Science, Springer, 2005.

Safety and Liveness in Concurrent Pointer ProgramsDino Distefano, Joost-Pieter Katoen, Arend Rensink. FMCO 2006: 280-312 [doi]

Modelling mobile health systems: an application of augmented MDA for the extended healthcare enterprise.Val Jones, Arend Rensink, Ed Brinksma. edoc 2005: 58-69 [doi]

Time and Space Issues in the Generation of Graph Transition SystemsArend Rensink. ENTCS, 127(1):127-139, 2005. [doi]

Ensuring Structural Constraints in Graph-Based Models with Type InheritanceGabriele Taentzer, Arend Rensink. FASE 2005: 64-79 [doi]

Action Refinement in Conformance TestingMachiel van der Bijl, Arend Rensink, Jan Tretmans. pts 2005: 81-96 [doi]

2004

2003

AGTIVE 03: Summary from the Outside InArend Rensink. agtive 2004: 486-488 [doi]

The GROOVE Simulator: A Tool for State Space GenerationArend Rensink. agtive 2004: 479-485 [doi]

Compositional Testing with iocoMachiel van der Bijl, Arend Rensink, Jan Tretmans. fates 2004: 86-100 [doi]

2002

Model Checking Birth and DeathDino Distefano, Arend Rensink, Joost-Pieter Katoen. ifipTCS 2002: 435-447

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 NetherlandsBart Jacobs, Arend Rensink, editors, Volume 209 of IFIP Conference Proceedings, Kluwer, 2002.

2001

Vertical ImplementationArend Rensink, Roberto Gorrieri. iandc, 170(1):95-133, 2001.

Process algebra with action dependenciesArend Rensink, Heike Wehrheim. ACTA, 38(3):155-234, 2001. [doi]

2000

On a Temporal Logic for Object-Based SystemsDino Distefano, Joost-Pieter Katoen, Arend Rensink. fmoods 2000: 285-304

Action ContractionArend Rensink. concur 2000: 290-304 [doi]

Bisimilarity of Open TermsArend Rensink. iandc, 156(1-2):345-385, 2000.

1998

Spezifikation eines RPC-Speichers mit der Sprache ProFunThomas Firley, Thomas Gehrke, Arend Rensink. fbt 1998: 136-147

A Process Algebra Semantics for MSC Including ConditionsThomas Gehrke, Michaela Huhn, Peter Niebert, Arend Rensink, Heike Wehrheim. fbt 1998: 185-196

An Algebraic Semantics for Message Sequence Chart DocumentsThomas Gehrke, Michaela Huhn, Arend Rensink, Heike Wehrheim. forte 1998: 3-18

1997

1996

Applications of Fair TestingEd Brinksma, Arend Rensink, Walter Vogler. forte 1996: 145-160

Comparing Syntactic and Semantic Sction RefinementUrsula Goltz, Roberto Gorrieri, Arend Rensink. iandc, 125(2):118-143, 1996.

Denotational, Causal, and Operational Determinism in Event StructuresArend Rensink. caap 1996: 272-286

Algebra and Theory of Order-Deterministic PomsetsArend Rensink. ndjfl, 37(2):283-320, 1996.

1995

Fair TestingEd Brinksma, Arend Rensink, Walter Vogler. concur 1995: 313-327

A Complete Theory of Deterministic Event StructuresArend Rensink. concur 1995: 160-174

1994

Finite Petri Nets as Models for Recursive Causal BehaviourUrsula Goltz, Arend Rensink. TCS, 124(1):169-179, 1994.

On Syntactic and Semantic Action RefinementUrsula Goltz, Roberto Gorrieri, Arend Rensink. tacs 1994: 385-404

Methodological Aspects of Action RefinementArend Rensink. procomet 1994: 227-246

Weak Sequential Composition in Process AlgebrasArend Rensink, Heike Wehrheim. concur 1994: 226-241

1993

Order isomorphism odes not preserve global event independenceArend Rensink. eatcs, 49:228-235, 1993.

Order isomorphism odes not preserve global event independenceArend Rensink. eatcs, 51:228-235, 1993.

1992

Posets for Configurations!Arend Rensink. concur 1992: 269-285