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

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

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

Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; 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,
[Book]

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

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

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

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

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

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

Ahrendt, Wolfgang ; Beckert, Bernhard ; Hähnle, Reiner ; Rümmer, Philipp ; Schmitt, Peter H.
de Boer, Frank S. ; Bonsangue, Marcello M. ; Graf, Susanne ; de Roever, Willem P. (eds.) (2006):
Verifying Object-Oriented Programs with KeY: A Tutorial.
In: Lecture Notes in Computer Science, 4709, pp. 70-101, Springer, Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures, DOI: 10.1007/978-3-540-74792-5₄,
[Conference or Workshop Item]

Ahrendt, Wolfgang ; Baar, Thomas ; Beckert, Bernhard ; Giese, Martin ; Habermalz, Elmar ; Hähnle, Reiner ; Menzel, Wolfram ; Mostowski, Wojciech ; Schmitt, Peter H.
Kutsche, Ralf-Detlef ; Weber, Herbert (eds.) (2002):
The KeY System: Integrating Object-Oriented Design and Formal Methods.
In: Lecture Notes in Computer Science, 2306, pp. 327-330, Springer, Fundamental Approaches to Software Engineering, 5th International Conference, FASE 2002, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings, DOI: 10.1007/3-540-45923-5₂₃,
[Conference or Workshop Item]

Baar, Thomas ; Hähnle, Reiner ; Sattler, Theo ; Schmitt, Peter H.
Mehlhorn, Kurt ; Snelting, Gregor (eds.) (2000):
Entwurfsmustergesteuerte Erzeugung von OCL-Constraints.
In: Informatik aktuell, pp. 389-404, Springer, Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung der Gesellschaft für Informatik Berlin, 19.-22. September 2000., DOI: 10.1007/978-3-642-58322-3₃₀,
[Conference or Workshop Item]

Hähnle, Reiner ; Menzel, Wolfram ; Schmitt, Peter H. ; Reif, Wolfgang (1999):
J.UCS Special Issue on Integration of Deduction Systems.
In: J. UCS, 5 (3), [Article]

Hähnle, Reiner ; Schmitt, Peter H. (1994):
The Liberalized delta-Rule in Free Variable Semantic Tableaux.
In: J. Autom. Reasoning, 13 (2), pp. 211-221. DOI: 10.1007/BF00881956,
[Article]

Beckert, Bernhard ; Hähnle, Reiner ; Schmitt, Peter H.
Gottlob, Georg ; Leitsch, Alexander ; Mundici, Daniele (eds.) (1993):
The Even More Liberalized delta-Rule in Free Variable Semantic Tableaux.
In: Lecture Notes in Computer Science, 713, pp. 108-119, Springer, Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings, DOI: 10.1007/BFb0022559,
[Conference or Workshop Item]

This list was generated on Sat May 28 02:43:50 2022 CEST.