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: 7.

Hähnle, Reiner
Bonsangue, Marcello and de Boer, Frank and Giachino, Elena and Hähnle, Reiner (eds.) (2013):
The Abstract Behavioral Specification Language: A Tutorial Introduction.
In: International School on Formal Models for Components and Objects: Post Proceedings, Springer, 7866, [Conference or Workshop Item]

Albert, Elvira and de Boer, Frank and Hähnle, Reiner and Johnsen, Einar Broch and Laneve, Cosimo
Babar, Ali and Dumas, Marlon (eds.) (2013):
Engineering Virtualized Services.
In: 2nd Nordic Symposium on Cloud Computing and Internet Technologies (NordiCloud), ACM Press, [Conference or Workshop Item]

Bonsangue, Marcello and de Boer, Frank and Giachino, Elena and Hähnle, Reiner (eds.) (2013):
International School on Formal Models for Components and Objects: Post Proceedings.
Springer, 7866, [Conference or Workshop Item]

de Gouw, Stijn and de Boer, Frank and Ahrendt, Wolfgang and Bubel, Richard (2013):
Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks.
In: SOFSEM 2013, Springer, In: LNCS, DOI: 978-3-642-35843-2_19,
[Conference or Workshop Item]

Bubel, Richard and Hähnle, Reiner and Ji, Ran
Aichernig, Bernhard and de Boer, Frank and Bonsangue, Marcello (eds.) (2011):
Program Specialization Via a Software Verification Tool.
In: Post Conf. Proc. 9th International Symposium on Formal Methods for Components and Objects (FMCO), Springer-Verlag, In: LNCS, [Conference or Workshop Item]

Bubel, Richard and Hähnle, Reiner and Ji, Ran
de Boer, Frank and Bonsangue, Marcello and Hallerstede, Stefan and Leuschel, Michael (eds.) (2010):
Interleaving Symbolic Eexecution and Partial Evaluation.
In: Post Conf. Proc. 8th International Symposium on Formal Methods for Components and Objects (FMCO), Springer-Verlag, In: LNCS, 6286, [Conference or Workshop Item]

Ahrendt, Wolfgang and Beckert, Bernhard and Hähnle, Reiner and Rümmer, Philipp and Schmitt, Peter
de Boer, Frank and Bonsangue, Marcello and Graf, Susanne and de Roever, Willem (eds.) (2007):
Verifying Object-Oriented Programs with KeY: a Tutorial.
In: Post Conf. Proc. 5th International Symposium on Formal Methods for Components and Objects (FMCO), Springer-Verlag, In: LNCS, 4709, ISBN 978-3-540-74791-8,
DOI: 10.1007/978-3-540-74792-5_4,
[Conference or Workshop Item]

This list was generated on Tue Jul 16 00:20:07 2019 CEST.