Albert, Elvira ; Bubel, Richard ; Genaim, Samir ; Hähnle, Reiner ; Puebla, German ; Roman-Diez, Guillermo (2016):
A formal verification framework for static analysis - As well as its instantiation to the resource analyzer COSTA and formal verification tool KeY.
In: Software and System Modeling, 15 (4), pp. 987-1012. DOI: 10.1007/s10270-015-0476-y,
[Article]

Mantel, Heiko ; Sudbrock, Henning ; Kraußer, Tina
Puebla, German (ed.) (2007):
Combining Different Proof Techniques for Verifying Information Flow Security.
In: LNCS, 4407, In: 16th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2006,
Springer, [Conference or Workshop Item]

Mantel, Heiko ; Sudbrock, Henning ; Kraußer, Tina
Puebla, German (ed.) (2006):
Combining Different Proof Techniques for Verifying Information Flow Security.
In: In Pre-Proceedings of 16th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2006, pp. 85-101,
Venice, Italy, Raporta di Ricerca CS-2006-5, Università Ca' Foscari Di Venezia, [Conference or Workshop Item]