The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Arend Rensink: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Arend Rensink
    The GROOVE Simulator: A Tool for State Space Generation. [Citation Graph (0, 0)][DBLP]
    AGTIVE, 2003, pp:479-485 [Conf]
  2. Arend Rensink
    AGTIVE'03: Summary from the Outside In. [Citation Graph (0, 0)][DBLP]
    AGTIVE, 2003, pp:486-488 [Conf]
  3. Arend Rensink
    Denotational, Causal, and Operational Determinism in Event Structures. [Citation Graph (0, 0)][DBLP]
    CAAP, 1996, pp:272-286 [Conf]
  4. Ed Brinksma, Arend Rensink, Walter Vogler
    Fair Testing. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1995, pp:313-327 [Conf]
  5. Arend Rensink
    Action Contraction. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2000, pp:290-304 [Conf]
  6. Arend Rensink
    Model Checking Quantified Computation Tree Logic. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2006, pp:110-125 [Conf]
  7. Arend Rensink
    Posets for Configurations! [Citation Graph (0, 0)][DBLP]
    CONCUR, 1992, pp:269-285 [Conf]
  8. Arend Rensink
    A Complete Theory of Deterministic Event Structures. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1995, pp:160-174 [Conf]
  9. Arend Rensink, Heike Wehrheim
    Weak Sequential Composition in Process Algebras. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1994, pp:226-241 [Conf]
  10. 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]
  11. Arend Rensink
    Subjects, Models, Languages, Transformations. [Citation Graph (0, 0)][DBLP]
    Language Engineering for Model-Driven Software Development, 2004, pp:- [Conf]
  12. 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]
  13. Arend Rensink
    Canonical Graph Shapes. [Citation Graph (0, 0)][DBLP]
    ESOP, 2004, pp:401-415 [Conf]
  14. 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]
  15. Machiel van der Bijl, Arend Rensink, Jan Tretmans
    Compositional Testing with ioco. [Citation Graph (0, 0)][DBLP]
    FATES, 2003, pp:86-100 [Conf]
  16. Arend Rensink, Roberto Gorrieri
    Action refinement for Vertical Implementation. [Citation Graph (0, 0)][DBLP]
    FBT, 1997, pp:69-78 [Conf]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. Ed Brinksma, Arend Rensink, Walter Vogler
    Applications of Fair Testing. [Citation Graph (0, 0)][DBLP]
    FORTE, 1996, pp:145-160 [Conf]
  23. 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]
  24. Dino Distefano, Joost-Pieter Katoen, Arend Rensink
    Who is Pointing When to Whom? [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2004, pp:250-262 [Conf]
  25. Annegret Habel, Karl-Heinz Pennemann, Arend Rensink
    Weakest Preconditions for High-Level Programs. [Citation Graph (0, 0)][DBLP]
    ICGT, 2006, pp:445-460 [Conf]
  26. Arend Rensink
    Representing First-Order Logic Using Graphs. [Citation Graph (0, 0)][DBLP]
    ICGT, 2004, pp:319-335 [Conf]
  27. Arend Rensink
    Nested Quantification in Graph Transformation Rules. [Citation Graph (0, 0)][DBLP]
    ICGT, 2006, pp:1-13 [Conf]
  28. 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]
  29. Dino Distefano, Arend Rensink, Joost-Pieter Katoen
    Model Checking Birth and Death. [Citation Graph (0, 0)][DBLP]
    IFIP TCS, 2002, pp:435-447 [Conf]
  30. Arend Rensink, Heike Wehrheim
    Dependency-Based Action Refinement. [Citation Graph (0, 0)][DBLP]
    MFCS, 1997, pp:468-477 [Conf]
  31. Arend Rensink
    Methodological Aspects of Action Refinement. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1994, pp:227-246 [Conf]
  32. Machiel van der Bijl, Arend Rensink, Jan Tretmans
    Action Refinement in Conformance Testing. [Citation Graph (0, 0)][DBLP]
    TestCom, 2005, pp:81-96 [Conf]
  33. Harmen Kastenberg, Arend Rensink
    Model Checking Dynamic States in GROOVE. [Citation Graph (0, 0)][DBLP]
    SPIN, 2006, pp:299-305 [Conf]
  34. Ursula Goltz, Roberto Gorrieri, Arend Rensink
    On Syntactic and Semantic Action Refinement. [Citation Graph (0, 0)][DBLP]
    TACS, 1994, pp:385-404 [Conf]
  35. Arend Rensink, Roberto Gorrieri
    Action Refinement as an Implementation Relations. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1997, pp:772-786 [Conf]
  36. 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]
  37. 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]
  38. 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]
  39. 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]
  40. 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]
  41. Arend Rensink
    Bisimilarity of open terms. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:7, n:, pp:- [Journal]
  42. 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]
  43. 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]
  44. 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]
  45. Arend Rensink
    Bisimilarity of Open Terms. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2000, v:156, n:1-2, pp:345-385 [Journal]
  46. Arend Rensink, Roberto Gorrieri
    Vertical Implementation. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2001, v:170, n:1, pp:95-133 [Journal]
  47. Arend Rensink, Walter Vogler
    Fair testing. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2007, v:205, n:2, pp:125-198 [Journal]
  48. 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]
  49. 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]
  50. 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]

  51. AGTIVE 2007 Graph Transformation Tool Contest. [Citation Graph (, )][DBLP]


  52. Ludo: A Case Study for Graph Transformation Tools. [Citation Graph (, )][DBLP]


  53. A graph-transformation-based simulation approach for analysing aspect interference on shared join points. [Citation Graph (, )][DBLP]


  54. Explicit State Model Checking for Graph Grammars. [Citation Graph (, )][DBLP]


  55. Dynamic Partial Order Reduction Using Probe Sets. [Citation Graph (, )][DBLP]


  56. From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations. [Citation Graph (, )][DBLP]


  57. A Type Graph Model for Java Programs. [Citation Graph (, )][DBLP]


  58. Graph-Based Tools: The Contest. [Citation Graph (, )][DBLP]


  59. A Modal-Logic Based Graph Abstraction. [Citation Graph (, )][DBLP]


  60. Compositionality in Graph Transformation. [Citation Graph (, )][DBLP]


  61. Graph-based specification and simulation of featherweight Java with around advice. [Citation Graph (, )][DBLP]


  62. Graph Transformation Semantics for a QVT Language. [Citation Graph (, )][DBLP]


  63. Preface. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.008secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002