2013

Hähnle, Reiner
Hrsg.: Bonsangue, Marcello ; de Boer, Frank ; Giachino, Elena ; Hähnle, Reiner (2013)
The Abstract Behavioral Specification Language: A Tutorial Introduction.
Konferenzveröffentlichung, Bibliographie

Albert, Elvira ; de Boer, Frank ; Hähnle, Reiner ; Johnsen, Einar Broch ; Laneve, Cosimo
Hrsg.: Babar, Ali ; Dumas, Marlon (2013)
Engineering Virtualized Services.
Konferenzveröffentlichung, Bibliographie

Hrsg.: Bonsangue, Marcello ; de Boer, Frank ; Giachino, Elena ; Hähnle, Reiner (2013)
International School on Formal Models for Components and Objects: Post Proceedings.
Konferenzveröffentlichung, Bibliographie

Gouw, Stijn de ; de Boer, Frank ; Ahrendt, Wolfgang ; Bubel, Richard (2013)
Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks.
doi: 10.1007/978-3-642-35843-2_19
Konferenzveröffentlichung, Bibliographie

2011

Bubel, Richard ; Hähnle, Reiner ; Ji, Ran
Hrsg.: Aichernig, Bernhard ; de Boer, Frank ; Bonsangue, Marcello (2011)
Program Specialization Via a Software Verification Tool.
Konferenzveröffentlichung, Bibliographie

2010

Bubel, Richard ; Hähnle, Reiner ; Ji, Ran
Hrsg.: de Boer, Frank ; Bonsangue, Marcello ; Hallerstede, Stefan ; Leuschel, Michael (2010)
Interleaving Symbolic Eexecution and Partial Evaluation.
Konferenzveröffentlichung, Bibliographie

2007

Ahrendt, Wolfgang ; Beckert, Bernhard ; Hähnle, Reiner ; Rümmer, Philipp ; Schmitt, Peter
Hrsg.: de Boer, Frank ; Bonsangue, Marcello ; Graf, Susanne ; de Roever, Willem (2007)
Verifying Object-Oriented Programs with KeY: a Tutorial.
doi: 10.1007/978-3-540-74792-5_4
Konferenzveröffentlichung, Bibliographie