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

Ahrendt, Wolfgang and Baar, Thomas and Beckert, Bernhard and Giese, Martin and Habermalz, Elmar and Hähnle, Reiner and Menzel, Wolfram and Mostowski, Wojciech and Schmitt, Peter H. Kutsche, Ralf-Detlef and Weber, Herbert (eds.) (2002):
The KeY System: Integrating Object-Oriented Design and Formal Methods.
In: Lecture Notes in Computer Science, 2306, Springer, In: 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, pp. 327-330, DOI: 10.1007/3-540-45923-5₂₃,
[Online-Edition: https://doi.org/10.1007/3-540-45923-5_23],
[Conference or Workshop Item]

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

Hähnle, Reiner and Menzel, Wolfram and Schmitt, Peter H. and Reif, Wolfgang (1999):
J.UCS Special Issue on Integration of Deduction Systems.
5, In: J. UCS, (3), [Online-Edition: http://www.jucs.org/jucs_5_3/j_ucs_special_issue],
[Article]

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

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

This list was generated on Sat Dec 14 01:52:38 2019 CET.