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

Jung, Reiner and Märtin, Lukas and Johanssen, Jan Ole and Paech, Barbara and Lochau, Malte and Thüm, Thomas and Schneider, Kurt and Tichy, Matthias and Ulbrich, Mattias (2019):
Addressed Challenges.
In: Managed Software Evolution, Springer, pp. 21-36, DOI: 10.1007/978-3-030-13499-0_3,
[Book Section]

Wasser, Nathan and Hähnle, Reiner and Bubel, Richard Ahrendt, Wolfgang and Beckert, Bernhard and Bubel, Richard and Hähnle, Reiner and Schmitt, Peter H. and Ulbrich, Mattias (eds.) (2016):
Abstract Interpretation.
In: Lecture Notes in Computer Science, In: Deductive Software Verification - The KeY Book - From Theory to Practice, Springer, pp. 167-189, DOI: 10.1007/978-3-319-49812-6₆,
[Online-Edition: https://doi.org/10.1007/978-3-319-49812-6_6],
[Book Section]

Hentschel, Martin and Hähnle, Reiner and Bubel, Richard Ahrendt, Wolfgang and Beckert, Bernhard and Bubel, Richard and Hähnle, Reiner and Schmitt, Peter H. and Ulbrich, Mattias (eds.) (2016):
Debugging and Visualization.
In: Lecture Notes in Computer Science, In: Deductive Software Verification - The KeY Book - From Theory to Practice, Springer, pp. 383-413, DOI: 10.1007/978-3-319-49812-6₁₁,
[Online-Edition: https://doi.org/10.1007/978-3-319-49812-6_11],
[Book Section]

Ahrendt, Wolfgang and Beckert, Bernhard and Bubel, Richard and Hähnle, Reiner and Schmitt, Peter H. and Ulbrich, Mattias (eds.) (2016):
Deductive Software Verification - The KeY Book - From Theory to Practice.
In: Lecture Notes in Computer Science, 10001, Springer, ISBN 978-3-319-49811-9,
DOI: 10.1007/978-3-319-49812-6,
[Online-Edition: https://doi.org/10.1007/978-3-319-49812-6],
[Book]

Beckert, Bernhard and Hähnle, Reiner and Hentschel, Martin and Schmitt, Peter H. Ahrendt, Wolfgang and Beckert, Bernhard and Bubel, Richard and Hähnle, Reiner and Schmitt, Peter H. and Ulbrich, Mattias (eds.) (2016):
Formal Verification with KeY: A Tutorial.
In: Lecture Notes in Computer Science, In: Deductive Software Verification - The KeY Book - From Theory to Practice, Springer, pp. 541-570, DOI: 10.1007/978-3-319-49812-6₁₆,
[Online-Edition: https://doi.org/10.1007/978-3-319-49812-6_16],
[Book Section]

Bubel, Richard and Hähnle, Reiner Ahrendt, Wolfgang and Beckert, Bernhard and Bubel, Richard and Hähnle, Reiner and Schmitt, Peter H. and Ulbrich, Mattias (eds.) (2016):
KeY-Hoare.
In: Lecture Notes in Computer Science, In: Deductive Software Verification - The KeY Book - From Theory to Practice, Springer, pp. 571-589, DOI: 10.1007/978-3-319-49812-6₁₇,
[Online-Edition: https://doi.org/10.1007/978-3-319-49812-6_17],
[Book Section]

Grahl, Daniel and Bubel, Richard and Mostowski, Wojciech and Schmitt, Peter H. and Ulbrich, Mattias and Weiß, Benjamin Ahrendt, Wolfgang and Beckert, Bernhard and Bubel, Richard and Hähnle, Reiner and Schmitt, Peter H. and Ulbrich, Mattias (eds.) (2016):
Modular Specification and Verification.
In: Lecture Notes in Computer Science, In: Deductive Software Verification - The KeY Book - From Theory to Practice, Springer, pp. 289-351, DOI: 10.1007/978-3-319-49812-6₉,
[Online-Edition: https://doi.org/10.1007/978-3-319-49812-6_9],
[Book Section]

Ji, Ran and Bubel, Richard Ahrendt, Wolfgang and Beckert, Bernhard and Bubel, Richard and Hähnle, Reiner and Schmitt, Peter H. and Ulbrich, Mattias (eds.) (2016):
Program Transformation and Compilation.
In: Lecture Notes in Computer Science, In: Deductive Software Verification - The KeY Book - From Theory to Practice, Springer, pp. 473-492, DOI: 10.1007/978-3-319-49812-6₁₄,
[Online-Edition: https://doi.org/10.1007/978-3-319-49812-6_14],
[Book Section]

Hähnle, Reiner Ahrendt, Wolfgang and Beckert, Bernhard and Bubel, Richard and Hähnle, Reiner and Schmitt, Peter H. and Ulbrich, Mattias (eds.) (2016):
Quo Vadis Formal Verification?
In: Lecture Notes in Computer Science, In: Deductive Software Verification - The KeY Book - From Theory to Practice, Springer, pp. 1-19, DOI: 10.1007/978-3-319-49812-6₁,
[Online-Edition: https://doi.org/10.1007/978-3-319-49812-6_1],
[Book Section]

Schmitt, Peter H. and Bubel, Richard Ahrendt, Wolfgang and Beckert, Bernhard and Bubel, Richard and Hähnle, Reiner and Schmitt, Peter H. and Ulbrich, Mattias (eds.) (2016):
Theories.
In: Lecture Notes in Computer Science, In: Deductive Software Verification - The KeY Book - From Theory to Practice, Springer, pp. 149-166, DOI: 10.1007/978-3-319-49812-6₅,
[Online-Edition: https://doi.org/10.1007/978-3-319-49812-6_5],
[Book Section]

Ahrendt, Wolfgang and Beckert, Bernhard and Bruns, Daniel and Bubel, Richard and Gladisch, Christoph and Grebing, Sarah and Hähnle, Reiner and Hentschel, Martin and Klebanov, Vladimir and Mostowski, Wojciech and Scheben, Christoph and Schmitt, Peter and Ulbrich, Mattias Giannakopoulou, Dimitra and Kroening, Daniel (eds.) (2014):
The KeY Platform for Verification and Analysis of Java Programs.
In: LNCS, In: Post-Conference Proceedings VSTTE 2014, Springer, pp. 55--71, [Conference or Workshop Item]

This list was generated on Sat Dec 14 02:28:34 2019 CET.