Formal Languages

Dr. Hendrik Radke

Address: Dr. Hendrik Radke
University of Oldenburg
Faculty II
Department of Computing Science
D-26111 Oldenburg
Room: A2 2-207
Phone: (04 41) 798-4489
Fax: +49 441 798-2965
email: hendrik.radke


top of page

  (see also here)

Hendrik Radke. A Theory of HR* Graph Conditions and their Application to Meta-Modeling. PhD thesis, Carl von Ossietzky-Universität Oldenburg, 06 2016. [ http ]
Hendrik Radke, Thorsten Arendt, Jan Steffen Becker, Annegret Habel, and Grabriele Taentzer. Translating essential ocl invariants to nested graph constraints focusing on set operations. In Graph Transformations (ICGT 2015), volume 9151 of Lecture Notes in Computer Science, pages 155-170, 2015. [ long version ].
Thorsten Arendt, Annegret Habel, Hendrik Radke, and Gabriele Taentzer. From core OCL invariants to nested graph constraints. In Graph Transformations (ICGT 2014), volume 8571 of Lecture Notes in Computer Science, pages 97-112, 2014. [ .pdf ] [ long version ] [ Springer Link ].
Hendrik Radke. HR* graph conditions between counting monadic second-order and second-order graph formulas. Electronic Communications of the EASST, 61, 2013. Link.
Hendrik Radke. Weakest liberal preconditions relative to HR* graph conditions. In 3rd Int. Workshop on Graph Computation Models (GCM 2010), Preproceedings, pages 165-178, 2010. ISSN 0929-0672. [ .pdf ]
Hendrik Radke. Correctness of graph programs relative to HR+ conditions. In Graph Transformations (ICGT 2010), Doctoral Symposium, volume 6372 of Lecture Notes in Computer Science, pages 410-412, 2010. SpringerLink. [ .pdf ]
Annegret Habel and Hendrik Radke. Expressiveness of graph conditions with variables. Electronic Communications of the EASST, 30(Int. Colloquium on Graph and Model Transformation on the occasion of the 65th birthday of Hartmut Ehrig), 2010. ECEASST-Link. [ .pdf ]