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
Jump to: 2011 | 2010 | 2007 | 2006
Number of items: 4.

2011

Albert, Elvira and Bubel, Richard and Genaim, Samir and Hähnle, Reiner and Puebla, Germán and Román-Díez, Guillermo (2011):
Verified Resource Guarantees using COSTA and KeY.
In: Proc. ACM SIGPLAN 2011 Workshop on Partial Evaluation and Program Manipulation (PEPM'11), Austin, Texas, USA, ACM Press, [Conference or Workshop Item]

2010

Clarke, Dave and Diakov, Nikolay and Hähnle, Reiner and Johnsen, Einar Broch and Puebla, Germán and Weitzel, Balthasar and Wong, Peter
Botterweck, Goetz and Jarzabek, Stan and Kishi, Tomoji and Lee, Jaejoon and Livengood, Steve (eds.) (2010):
HATS - A Formal Software Product Line Engineering Methodology.
In: Proc. International Workshop on Formal Methods in Software Product Line Engineering, Jeju Island, South Corea, In: 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), [Online-Edition: http://splc2010.postech.ac.kr/SPLC2010_second_volume.pdf],
[Conference or Workshop Item]

2007

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

2006

Mantel, Heiko and Sudbrock, Henning and Krausser, Tina
Puebla, Germán (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, Raporta di Ricerca CS-2006-5, Università Ca' Foscari Di Venezia, [Conference or Workshop Item]

This list was generated on Tue Jul 16 02:20:40 2019 CEST.