German

Wasser, Nathan ; Hähnle, Reiner ; Bubel, Richard
eds.: Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (2016)
Abstract Interpretation.
In: Deductive Software Verification - The KeY Book - From Theory to Practice
doi: 10.1007/978-3-319-49812-6_6
Book Section, Bibliographie

Hentschel, Martin ; Hähnle, Reiner ; Bubel, Richard
eds.: Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (2016)
Debugging and Visualization.
In: Deductive Software Verification - The KeY Book - From Theory to Practice
doi: 10.1007/978-3-319-49812-6_11
Book Section, Bibliographie

eds.: Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (2016)
Deductive Software Verification - The KeY Book - From Theory to Practice.
doi: 10.1007/978-3-319-49812-6
Book, Bibliographie

Beckert, Bernhard ; Hähnle, Reiner ; Hentschel, Martin ; Schmitt, Peter H.
eds.: Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (2016)
Formal Verification with KeY: A Tutorial.
In: Deductive Software Verification - The KeY Book - From Theory to Practice
doi: 10.1007/978-3-319-49812-6_16
Book Section, Bibliographie

Gouw, Stijn de ; de Boer, Frank S. ; Ahrendt, Wolfgang ; Bubel, Richard (2016)
Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic.
In: Software and System Modeling, 15 (4)
doi: 10.1007/s10270-014-0446-9
Article, Bibliographie

Bubel, Richard ; Hähnle, Reiner
eds.: Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (2016)
KeY-Hoare.
In: Deductive Software Verification - The KeY Book - From Theory to Practice
doi: 10.1007/978-3-319-49812-6_17
Book Section, Bibliographie

Grahl, Daniel ; Bubel, Richard ; Mostowski, Wojciech ; Schmitt, Peter H. ; Ulbrich, Mattias ; Weiß, Benjamin
eds.: Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (2016)
Modular Specification and Verification.
In: Deductive Software Verification - The KeY Book - From Theory to Practice
doi: 10.1007/978-3-319-49812-6_9
Book Section, Bibliographie

Ji, Ran ; Bubel, Richard
eds.: Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (2016)
Program Transformation and Compilation.
In: Deductive Software Verification - The KeY Book - From Theory to Practice
doi: 10.1007/978-3-319-49812-6_14
Book Section, Bibliographie

Hähnle, Reiner
eds.: Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (2016)
Quo Vadis Formal Verification?
In: Deductive Software Verification - The KeY Book - From Theory to Practice
doi: 10.1007/978-3-319-49812-6_1
Book Section, Bibliographie

Schmitt, Peter H. ; Bubel, Richard
eds.: Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (2016)
Theories.
In: Deductive Software Verification - The KeY Book - From Theory to Practice
doi: 10.1007/978-3-319-49812-6_5
Book Section, Bibliographie

Ahrendt, Wolfgang ; Beckert, Bernhard ; Bruns, Daniel ; Bubel, Richard ; Gladisch, Christoph ; Grebing, Sarah ; Hähnle, Reiner ; Hentschel, Martin ; Klebanov, Vladimir ; Mostowski, Wojciech ; Scheben, Christoph ; Schmitt, Peter ; Ulbrich, Mattias
eds.: Giannakopoulou, Dimitra ; Kroening, Daniel (2014)
The KeY Platform for Verification and Analysis of Java Programs.
Conference or Workshop Item, 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
Conference or Workshop Item, Bibliographie

Ahrendt, Wolfgang ; Bubel, Richard ; Hähnle, Reiner
eds.: Gibbons, J. ; Oliveira, J. N. (2009)
Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification.
Teaching Formal Methods, Second International Conference, TFM 2009. Eindhoven (November 2-6, 2009)
doi: 10.1007/978-3-642-04912-5_9
Conference or Workshop Item, Bibliographie

Ahrendt, Wolfgang ; Beckert, Bernhard ; Hähnle, Reiner ; Rümmer, Philipp ; Schmitt, Peter
eds.: 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
Conference or Workshop Item, Bibliographie

Ahrendt, Wolfgang ; Beckert, Bernhard ; Hähnle, Reiner ; Rümmer, Philipp ; Schmitt, Peter H.
eds.: de Boer, Frank S. ; Bonsangue, Marcello M. ; Graf, Susanne ; de Roever, Willem P. (2006)
Verifying Object-Oriented Programs with KeY: A Tutorial.
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_4
Conference or Workshop Item, Bibliographie

Ahrendt, Wolfgang ; Baar, Thomas ; Beckert, Bernhard ; Giese, Martin ; Habermalz, Elmar ; Hähnle, Reiner ; Menzel, Wolfram ; Mostowski, Wojciech ; Schmitt, Peter H.
eds.: Kutsche, Ralf-Detlef ; Weber, Herbert (2002)
The KeY System: Integrating Object-Oriented Design and Formal Methods.
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_23
Conference or Workshop Item, Bibliographie

Ahrendt, Wolfgang ; Baar, Thomas ; Beckert, Bernhard ; Giese, Martin ; Habermalz, Elmar ; Hähnle, Reiner ; Menzel, Wolfram ; Schmitt, Peter (2000)
The KeY Approach: Integrating Object Oriented Design and Formal Verification.
Report, Bibliographie

Ahrendt, Wolfgang ; Baar, Thomas ; Beckert, Bernhard ; Giese, Martin ; Habermalz, Elmar ; Hähnle, Reiner ; Menzel, Wolfram ; Schmitt, Peter (2000)
The KeY Approach: Integrating Object Oriented Design and Formal Verification.
Conference or Workshop Item, Bibliographie

Ahrendt, Wolfgang ; Baar, Thomas ; Beckert, Bernhard ; Giese, Martin ; Habermalz, Elmar ; Hähnle, Reiner ; Menzel, Wolfram ; Schmitt, Peter
eds.: Ojeda-Aciego, Manuel ; de Guzmán, Inma P. ; Brewka, Gerhard ; Pereira, Luís Moniz (2000)
The KeY Approach: Integrating Object Oriented Design and Formal Verification.
Conference or Workshop Item, Bibliographie

Ahrendt, Wolfgang ; Beckert, Bernhard ; Hähnle, Reiner ; Menzel, Wolfram ; Reif, Wolfgang ; Schellhorn, Gerhard ; Schmitt, Peter
eds.: Bibel, Wolfgang ; Schmitt, Peter (1998)
Integration of Automated and Interactive Theorem Proving.
In: Automated Deduction: A Basis for Applications
Book Section, Bibliographie

English

Bubel, Richard ; Hähnle, Reiner ; Tabar, Asmae Heydari
eds.: Ahrendt, Wolfgang ; Tarifa, Silvia Lizeth Tapia (2019)
A Program Logic for Dependence Analysis.
15th International Conference onIntegrated Formal Methods (IFM 2019). Bergen, Norway (02.-06.11.2019)
doi: 10.1007/978-3-030-34968-4_5
Conference or Workshop Item, Bibliographie

Huisman, Marieke ; Ahrendt, Wolfgang ; Bruns, Daniel ; Hentschel, Martin (2014)
Formal Specification with JML.
Report, Bibliographie

Gouw, Stijn de ; de Boer, Frank S. ; Ahrendt, Wolfgang ; Bubel, Richard
eds.: Emde Boas, Peter van ; Groen, Frans C. A. ; Italiano, Giuseppe F. ; Nawrocki, Jerzy R. ; Sack, Harald (2013)
Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks.
SOFSEM 2013: Theory and Practice of Computer Science, 39th International Conference on Current Trends in Theory and Practice of Computer Science, \vpindler\rv Ml\'n, Czech Republic, January 26-31, 2013. Proceedings.
doi: 10.1007/978-3-642-35843-2_19
Conference or Workshop Item, Bibliographie

Ahrendt, Wolfgang ; Beckert, Bernhard ; Hähnle, Reiner ; Schmitt, Peter
eds.: Bonsangue, Marcello ; Johnsen, Einar Broch (2007)
KeY: A Formal Method for Object-Oriented Systems.
Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings.
doi: 10.1007/978-3-540-72952-5_2
Conference or Workshop Item, Bibliographie

Ahrendt, Wolfgang ; Baar, Thomas ; Beckert, Bernhard ; Bubel, Richard ; Giese, Martin ; Hähnle, Reiner ; Menzel, Wolfram ; Mostowski, Wojciech ; Roth, Andreas ; Schlager, Steffen ; Schmitt, Peter (2005)
The KeY tool: integrating object oriented design and formal verification.
In: Software and System Modeling, 4 (1)
doi: 10.1007/s10270-004-0058-x
Article, Bibliographie