Arend Rensink - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

2010

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

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

2009

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]

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

2008

2007

Simulating Multigraph Transformations Using Simple GraphsIovka Boneva, Frank Hermann, Harmen Kastenberg, Arend Rensink. eceasst, 6, 2007. [doi]

Ludo: A Case Study for Graph Transformation ToolsArend Rensink, Alexander Dotor, Claudia Ermel, Stefan Jurack, Ole Kniemeyer, Juan de Lara, Sonja Maier, Tom Staijen, Albert Zündorf. agtive 2008: 493-513 [doi]

2006

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

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

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

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

Model Checking Quantified Computation Tree LogicArend Rensink. concur 2006: 110-125 [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.

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

2005

2004

2003

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

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]

1998

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

1997

Action Refinement as an Implementation RelationsArend Rensink, Roberto Gorrieri. tapsoft 1997: 772-786

Action refinement for Vertical ImplementationArend Rensink, Roberto Gorrieri. fbt 1997: 69-78

Bisimilarity of open termsArend Rensink. ENTCS, 7, 1997. [doi]

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.

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

1995

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

1994

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

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