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.
7866, In: International School on Formal Models for Components and Objects: Post Proceedings, Springer, pp. 1-37, [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, pp. 59-63, [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.
7866, Springer, [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: LNCS, In: SOFSEM 2013, Springer, pp. 207-219, 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: LNCS, In: Post Conf. Proc. 9th International Symposium on Formal Methods for Components and Objects (FMCO), Springer-Verlag, [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: LNCS, 6286, In: Post Conf. Proc. 8th International Symposium on Formal Methods for Components and Objects (FMCO), Springer-Verlag, pp. 247--277, [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: LNCS, 4709, In: Post Conf. Proc. 5th International Symposium on Formal Methods for Components and Objects (FMCO), Springer-Verlag, pp. 70--101, 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 Jan 14 00:17:19 2020 CET.