Albert, Elvira ; Bubel, Richard ; Genaim, Samir ; Hähnle, Reiner ; Puebla, Germán ; Román-Díez, Guillermo (2011)
Verified Resource Guarantees using COSTA and KeY.
Conference or Workshop Item, Bibliographie

Clarke, Dave ; Diakov, Nikolay ; Hähnle, Reiner ; Johnsen, Einar Broch ; Puebla, Germán ; Weitzel, Balthasar ; Wong, Peter
eds.: Botterweck, Goetz ; Jarzabek, Stan ; Kishi, Tomoji ; Lee, Jaejoon ; Livengood, Steve (2010)
HATS - A Formal Software Product Line Engineering Methodology.
Software Product Lines - 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Workshop Proceedings (Volume 2 : Workshops, Industrial Track, Doctoral Symposium, Demonstrations and Tools).
Conference or Workshop Item, Bibliographie

Mantel, Heiko ; Sudbrock, Henning ; Krausser, Tina
ed.: Puebla, Germán (2007)
Combining Different Proof Techniques for Verifying Information Flow Security.
Conference or Workshop Item, Bibliographie

Mantel, Heiko ; Sudbrock, Henning ; Krausser, Tina
ed.: Puebla, Germán (2006)
Combining Different Proof Techniques for Verifying Information Flow Security.
Conference or Workshop Item, Bibliographie