Jonathan Heinen

According to our database, Jonathan Heinen authored at least 6 papers between 2009 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Verifying Java Programs - A Graph Grammar Approach.

Jonathan Heinen

PhD thesis, 2015

Verifying pointer programs using graph grammars.

Jonathan Heinen, Christina Jansen, Joost-Pieter Katoen, Thomas Noll

Sci. Comput. Program., 2015

Juggrnaut: using graph grammars for abstracting unbounded heap structures.

Jonathan Heinen, Christina Jansen, Joost-Pieter Katoen, Thomas Noll

Formal Methods Syst. Des., 2015

2011

A Local Greibach Normal Form for Hyperedge Replacement Grammars.

Christina Jansen, Jonathan Heinen, Joost-Pieter Katoen, Thomas Noll

Proceedings of the Language and Automata Theory and Applications, 2011

Juggrnaut - An Abstract JVM.

Jonathan Heinen, Henrik Barthels, Christina Jansen

Proceedings of the Formal Verification of Object-Oriented Software, 2011

2009

Juggrnaut: Graph Grammar Abstraction for Unbounded Heap Structures.

Jonathan Heinen, Thomas Noll, Stefan Rieger

Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software, 2009