Jonathan Heinen

Publication Activity (10 Years)

Years Active: 2010-2015
Publications (10 Years): 2

Top Topics

Top Venues

Sci. Comput. Program.

Formal Methods Syst. Des.

RWTH Aachen University (PHD)

Education History

RWTH Aachen University

PHD

Publications

Jonathan Heinen, Christina Jansen, Joost-Pieter Katoen, Thomas Noll
Verifying pointer programs using graph grammars. Sci. Comput. Program. 97 (2015)
Jonathan Heinen, Christina Jansen, Joost-Pieter Katoen, Thomas Noll
Juggrnaut: using graph grammars for abstracting unbounded heap structures. Formal Methods Syst. Des. 47 (2) (2015)
Christina Jansen, Jonathan Heinen, Joost-Pieter Katoen, Thomas Noll
A Local Greibach Normal Form for Hyperedge Replacement Grammars. LATA (2011)
Jonathan Heinen, Henrik Barthels, Christina Jansen
Juggrnaut - An Abstract JVM. FoVeOOS (2011)
Jonathan Heinen, Thomas Noll, Stefan Rieger
Juggrnaut: Graph Grammar Abstraction for Unbounded Heap Structures. Electron. Notes Theor. Comput. Sci. 266 (2010)