TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 3.

Albert, Elvira and Bubel, Richard and Genaim, Samir and Hähnle, Reiner and Puebla, German and 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,
[Online-Edition: https://doi.org/10.1007/s10270-015-0476-y],
[Article]

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

Mantel, Heiko and Sudbrock, Henning and 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, Venice, Italy, Raporta di Ricerca CS-2006-5, Università Ca' Foscari Di Venezia, pp. 85-101, [Conference or Workshop Item]

This list was generated on Sat Aug 8 02:15:23 2020 CEST.