Jörg Kreiker

Shape Analysis of Low-Level C with Overlapping Structures

Helmut Seidl, Vesal Vojdani, Jörg Kreiker, 2010, VMCAI.

Modeling, Analysis, and Verification - The Formal Methods Manifesto 2010 (Dagstuhl Perspectives Workshop 10482)

Reinhard Wilhelm, Moshe Y. Vardi, Andrzej Tarlecki, 2011, Dagstuhl Manifestos.

Interprocedural Shape Analysis for Effectively Cutpoint-Free Programs

Eran Yahav, Reinhard Wilhelm, Noam Rinetzky, 2013, Programming Logics.

Specification and Verification of Dynamic Communication Systems

Ina Schaefer, Bernd Westphal, Jörg Kreiker, 2006, Sixth International Conference on Application of Concurrency to System Design (ACSD'06).

Graph abstraction and abstract graph transformations (Amended version)

Arend Rensink, Eduardo Zambon, Iovka Boneva, 2012 .