Search the dblp DataBase
Arend Rensink :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Arend Rensink The GROOVE Simulator: A Tool for State Space Generation. [Citation Graph (0, 0)][DBLP ] AGTIVE, 2003, pp:479-485 [Conf ] Arend Rensink AGTIVE'03: Summary from the Outside In. [Citation Graph (0, 0)][DBLP ] AGTIVE, 2003, pp:486-488 [Conf ] Arend Rensink Denotational, Causal, and Operational Determinism in Event Structures. [Citation Graph (0, 0)][DBLP ] CAAP, 1996, pp:272-286 [Conf ] Ed Brinksma , Arend Rensink , Walter Vogler Fair Testing. [Citation Graph (0, 0)][DBLP ] CONCUR, 1995, pp:313-327 [Conf ] Arend Rensink Action Contraction. [Citation Graph (0, 0)][DBLP ] CONCUR, 2000, pp:290-304 [Conf ] Arend Rensink Model Checking Quantified Computation Tree Logic. [Citation Graph (0, 0)][DBLP ] CONCUR, 2006, pp:110-125 [Conf ] Arend Rensink Posets for Configurations! [Citation Graph (0, 0)][DBLP ] CONCUR, 1992, pp:269-285 [Conf ] Arend Rensink A Complete Theory of Deterministic Event Structures. [Citation Graph (0, 0)][DBLP ] CONCUR, 1995, pp:160-174 [Conf ] Arend Rensink , Heike Wehrheim Weak Sequential Composition in Process Algebras. [Citation Graph (0, 0)][DBLP ] CONCUR, 1994, pp:226-241 [Conf ] Paolo Baldan , Barbara König , Arend Rensink Summary 2: Graph Grammar Verification through Abstraction. [Citation Graph (0, 0)][DBLP ] Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 2004, pp:- [Conf ] Arend Rensink Subjects, Models, Languages, Transformations. [Citation Graph (0, 0)][DBLP ] Language Engineering for Model-Driven Software Development, 2004, pp:- [Conf ] Val Jones , Arend Rensink , Ed Brinksma Modelling mobile health systems: an application of augmented MDA for the extended healthcare enterprise.. [Citation Graph (0, 0)][DBLP ] EDOC, 2005, pp:58-69 [Conf ] Arend Rensink Canonical Graph Shapes. [Citation Graph (0, 0)][DBLP ] ESOP, 2004, pp:401-415 [Conf ] Gabriele Taentzer , Arend Rensink Ensuring Structural Constraints in Graph-Based Models with Type Inheritance. [Citation Graph (0, 0)][DBLP ] FASE, 2005, pp:64-79 [Conf ] Machiel van der Bijl , Arend Rensink , Jan Tretmans Compositional Testing with ioco. [Citation Graph (0, 0)][DBLP ] FATES, 2003, pp:86-100 [Conf ] Arend Rensink , Roberto Gorrieri Action refinement for Vertical Implementation. [Citation Graph (0, 0)][DBLP ] FBT, 1997, pp:69-78 [Conf ] Thomas Firley , Thomas Gehrke , Arend Rensink Spezifikation eines RPC-Speichers mit der Sprache ProFun. [Citation Graph (0, 0)][DBLP ] FBT, 1998, pp:136-147 [Conf ] Thomas Gehrke , Michaela Huhn , Peter Niebert , Arend Rensink , Heike Wehrheim A Process Algebra Semantics for MSC Including Conditions. [Citation Graph (0, 0)][DBLP ] FBT, 1998, pp:185-196 [Conf ] Dino Distefano , Joost-Pieter Katoen , Arend Rensink Safety and Liveness in Concurrent Pointer Programs. [Citation Graph (0, 0)][DBLP ] FMCO, 2005, pp:280-312 [Conf ] Dino Distefano , Joost-Pieter Katoen , Arend Rensink On a Temporal Logic for Object-Based Systems. [Citation Graph (0, 0)][DBLP ] FMOODS, 2000, pp:285-304 [Conf ] Harmen Kastenberg , Anneke Kleppe , Arend Rensink Defining Object-Oriented Execution Semantics Using Graph Transformations. [Citation Graph (0, 0)][DBLP ] FMOODS, 2006, pp:186-201 [Conf ] Ed Brinksma , Arend Rensink , Walter Vogler Applications of Fair Testing. [Citation Graph (0, 0)][DBLP ] FORTE, 1996, pp:145-160 [Conf ] Thomas Gehrke , Michaela Huhn , Arend Rensink , Heike Wehrheim An Algebraic Semantics for Message Sequence Chart Documents. [Citation Graph (0, 0)][DBLP ] FORTE, 1998, pp:3-18 [Conf ] Dino Distefano , Joost-Pieter Katoen , Arend Rensink Who is Pointing When to Whom? [Citation Graph (0, 0)][DBLP ] FSTTCS, 2004, pp:250-262 [Conf ] Annegret Habel , Karl-Heinz Pennemann , Arend Rensink Weakest Preconditions for High-Level Programs. [Citation Graph (0, 0)][DBLP ] ICGT, 2006, pp:445-460 [Conf ] Arend Rensink Representing First-Order Logic Using Graphs. [Citation Graph (0, 0)][DBLP ] ICGT, 2004, pp:319-335 [Conf ] Arend Rensink Nested Quantification in Graph Transformation Rules. [Citation Graph (0, 0)][DBLP ] ICGT, 2006, pp:1-13 [Conf ] Arend Rensink , Ákos Schmidt , Dániel Varró Model Checking Graph Transformations: A Comparison of Two Approaches. [Citation Graph (0, 0)][DBLP ] ICGT, 2004, pp:226-241 [Conf ] Dino Distefano , Arend Rensink , Joost-Pieter Katoen Model Checking Birth and Death. [Citation Graph (0, 0)][DBLP ] IFIP TCS, 2002, pp:435-447 [Conf ] Arend Rensink , Heike Wehrheim Dependency-Based Action Refinement. [Citation Graph (0, 0)][DBLP ] MFCS, 1997, pp:468-477 [Conf ] Arend Rensink Methodological Aspects of Action Refinement. [Citation Graph (0, 0)][DBLP ] PROCOMET, 1994, pp:227-246 [Conf ] Machiel van der Bijl , Arend Rensink , Jan Tretmans Action Refinement in Conformance Testing. [Citation Graph (0, 0)][DBLP ] TestCom, 2005, pp:81-96 [Conf ] Harmen Kastenberg , Arend Rensink Model Checking Dynamic States in GROOVE. [Citation Graph (0, 0)][DBLP ] SPIN, 2006, pp:299-305 [Conf ] Ursula Goltz , Roberto Gorrieri , Arend Rensink On Syntactic and Semantic Action Refinement. [Citation Graph (0, 0)][DBLP ] TACS, 1994, pp:385-404 [Conf ] Arend Rensink , Roberto Gorrieri Action Refinement as an Implementation Relations. [Citation Graph (0, 0)][DBLP ] TAPSOFT, 1997, pp:772-786 [Conf ] Ruben Smelik , Arend Rensink , Harmen Kastenberg Specification and Construction of Control Flow Semantics. [Citation Graph (0, 0)][DBLP ] VL/HCC, 2006, pp:65-72 [Conf ] Arend Rensink , Heike Wehrheim Process algebra with action dependencies. [Citation Graph (0, 0)][DBLP ] Acta Inf., 2001, v:38, n:3, pp:155-234 [Journal ] Arend Rensink Order isomorphism odes not preserve global event independence. [Citation Graph (0, 0)][DBLP ] Bulletin of the EATCS, 1993, v:51, n:, pp:228-235 [Journal ] Arend Rensink Order isomorphism odes not preserve global event independence. [Citation Graph (0, 0)][DBLP ] Bulletin of the EATCS, 1993, v:49, n:, pp:228-235 [Journal ] Thomas Gehrke , Arend Rensink Process creation and full sequential composition in a name-passing calculus. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1997, v:7, n:, pp:- [Journal ] Arend Rensink Bisimilarity of open terms. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1997, v:7, n:, pp:- [Journal ] Arend Rensink , Dino Distefano Abstract Graph Transformation. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2006, v:157, n:1, pp:39-59 [Journal ] Arend Rensink , Reiko Heckel , Barbara König Preface. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2006, v:154, n:2, pp:1-5 [Journal ] Ursula Goltz , Roberto Gorrieri , Arend Rensink Comparing Syntactic and Semantic Sction Refinement. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1996, v:125, n:2, pp:118-143 [Journal ] Arend Rensink Bisimilarity of Open Terms. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 2000, v:156, n:1-2, pp:345-385 [Journal ] Arend Rensink , Roberto Gorrieri Vertical Implementation. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 2001, v:170, n:1, pp:95-133 [Journal ] Arend Rensink , Walter Vogler Fair testing. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 2007, v:205, n:2, pp:125-198 [Journal ] Arend Rensink Algebra and Theory of Order-Deterministic Pomsets. [Citation Graph (0, 0)][DBLP ] Notre Dame Journal of Formal Logic, 1996, v:37, n:2, pp:283-320 [Journal ] Ursula Goltz , Arend Rensink Finite Petri Nets as Models for Recursive Causal Behaviour. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1994, v:124, n:1, pp:169-179 [Journal ] Arend Rensink , Reiko Heckel , Barbara König Preface. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2007, v:175, n:4, pp:1-2 [Journal ] AGTIVE 2007 Graph Transformation Tool Contest. [Citation Graph (, )][DBLP ] Ludo: A Case Study for Graph Transformation Tools. [Citation Graph (, )][DBLP ] A graph-transformation-based simulation approach for analysing aspect interference on shared join points. [Citation Graph (, )][DBLP ] Explicit State Model Checking for Graph Grammars. [Citation Graph (, )][DBLP ] Dynamic Partial Order Reduction Using Probe Sets. [Citation Graph (, )][DBLP ] From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations. [Citation Graph (, )][DBLP ] A Type Graph Model for Java Programs. [Citation Graph (, )][DBLP ] Graph-Based Tools: The Contest. [Citation Graph (, )][DBLP ] A Modal-Logic Based Graph Abstraction. [Citation Graph (, )][DBLP ] Compositionality in Graph Transformation. [Citation Graph (, )][DBLP ] Graph-based specification and simulation of featherweight Java with around advice. [Citation Graph (, )][DBLP ] Graph Transformation Semantics for a QVT Language. [Citation Graph (, )][DBLP ] Preface. [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.304secs