TU Darmstadt / ULB / TUbiblio

Browsen nach Person

Ebene hoch
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Datum | Sprache
Anzahl der Einträge: 24.

Wasser, Nathan ; Hähnle, Reiner ; Bubel, Richard
Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (eds.) :

Abstract Interpretation.
[Online-Edition: https://doi.org/10.1007/978-3-319-49812-6_6]
In: Deductive Software Verification - The KeY Book - From Theory to Practice. Lecture Notes in Computer Science, 10001. Springer , pp. 167-189.
[Buchkapitel], (2016)

Hentschel, Martin ; Hähnle, Reiner ; Bubel, Richard
Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (eds.) :

Debugging and Visualization.
[Online-Edition: https://doi.org/10.1007/978-3-319-49812-6_11]
In: Deductive Software Verification - The KeY Book - From Theory to Practice. Lecture Notes in Computer Science, 10001. Springer , pp. 383-413.
[Buchkapitel], (2016)

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

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

Formal Verification with KeY: A Tutorial.
[Online-Edition: https://doi.org/10.1007/978-3-319-49812-6_16]
In: Deductive Software Verification - The KeY Book - From Theory to Practice. Lecture Notes in Computer Science, 10001. Springer , pp. 541-570.
[Buchkapitel], (2016)

de Gouw, Stijn ; de Boer, Frank S. ; Ahrendt, Wolfgang ; Bubel, Richard :
Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic.
[Online-Edition: https://doi.org/10.1007/s10270-014-0446-9]
In: Software and System Modeling, 15 (4) pp. 1117-1140.
[Artikel], (2016)

Bubel, Richard ; Hähnle, Reiner
Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (eds.) :

KeY-Hoare.
[Online-Edition: https://doi.org/10.1007/978-3-319-49812-6_17]
In: Deductive Software Verification - The KeY Book - From Theory to Practice. Lecture Notes in Computer Science, 10001. Springer , pp. 571-589.
[Buchkapitel], (2016)

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

Modular Specification and Verification.
[Online-Edition: https://doi.org/10.1007/978-3-319-49812-6_9]
In: Deductive Software Verification - The KeY Book - From Theory to Practice. Lecture Notes in Computer Science, 10001. Springer , pp. 289-351.
[Buchkapitel], (2016)

Ji, Ran ; Bubel, Richard
Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (eds.) :

Program Transformation and Compilation.
[Online-Edition: https://doi.org/10.1007/978-3-319-49812-6_14]
In: Deductive Software Verification - The KeY Book - From Theory to Practice. Lecture Notes in Computer Science, 10001. Springer , pp. 473-492.
[Buchkapitel], (2016)

Hähnle, Reiner
Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (eds.) :

Quo Vadis Formal Verification?
[Online-Edition: https://doi.org/10.1007/978-3-319-49812-6_1]
In: Deductive Software Verification - The KeY Book - From Theory to Practice. Lecture Notes in Computer Science, 10001. Springer , pp. 1-19.
[Buchkapitel], (2016)

Schmitt, Peter H. ; Bubel, Richard
Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (eds.) :

Theories.
[Online-Edition: https://doi.org/10.1007/978-3-319-49812-6_5]
In: Deductive Software Verification - The KeY Book - From Theory to Practice. Lecture Notes in Computer Science, 10001. Springer , pp. 149-166.
[Buchkapitel], (2016)

Huisman, Marieke ; Ahrendt, Wolfgang ; Bruns, Daniel ; Hentschel, Martin :
Formal Specification with JML.

[Report], (2014)

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
Giannakopoulou, Dimitra ; Kroening, Daniel (eds.) :

The KeY Platform for Verification and Analysis of Java Programs.
In: LNCS . Springer
[Konferenz- oder Workshop-Beitrag], (2014)

de Gouw, Stijn ; de Boer, Frank S. ; Ahrendt, Wolfgang ; Bubel, Richard
van Emde Boas, Peter ; Groen, Frans C. A. ; Italiano, Giuseppe F. ; Nawrocki, Jerzy R. ; Sack, Harald (eds.) :

Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks.
[Online-Edition: https://doi.org/10.1007/978-3-642-35843-2_19]
In: 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. In: Lecture Notes in Computer Science , 7741 . Springer
[Konferenz- oder Workshop-Beitrag], (2013)

de Gouw, Stijn ; de Boer, Frank ; Ahrendt, Wolfgang ; Bubel, Richard :
Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks.
In: LNCS (7741). Springer
[Konferenz- oder Workshop-Beitrag], (2013)

Ahrendt, Wolfgang ; Bubel, Richard ; Hähnle, Reiner
Gibbons, J. ; Oliveira, J. N. (eds.) :

Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification.
[Online-Edition: https://doi.org/10.1007/978-3-642-04912-5_9]
In: Teaching Formal Methods, Second International Conference, TFM 2009, November 2-6, 2009, Eindhoven. In: LNCS , 5846 . Springer-Verlag
[Konferenz- oder Workshop-Beitrag], (2009)

Ahrendt, Wolfgang ; Beckert, Bernhard ; Hähnle, Reiner ; Schmitt, Peter
Bonsangue, Marcello ; Johnsen, Einar Broch (eds.) :

KeY: A Formal Method for Object-Oriented Systems.
[Online-Edition: https://doi.org/10.1007/978-3-540-72952-5_2]
In: Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings. In: LNCS , 4468 . Springer-Verlag
[Konferenz- oder Workshop-Beitrag], (2007)

Ahrendt, Wolfgang ; Beckert, Bernhard ; Hähnle, Reiner ; Rümmer, Philipp ; Schmitt, Peter
de Boer, Frank ; Bonsangue, Marcello ; Graf, Susanne ; de Roever, Willem (eds.) :

Verifying Object-Oriented Programs with KeY: a Tutorial.
In: LNCS , 4709 . Springer-Verlag
[Konferenz- oder Workshop-Beitrag], (2007)

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

Verifying Object-Oriented Programs with KeY: A Tutorial.
[Online-Edition: https://doi.org/10.1007/978-3-540-74792-5_4]
In: Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures. In: Lecture Notes in Computer Science , 4709 . Springer
[Konferenz- oder Workshop-Beitrag], (2006)

Ahrendt, Wolfgang ; Baar, Thomas ; Beckert, Bernhard ; Bubel, Richard ; Giese, Martin ; Hähnle, Reiner ; Menzel, Wolfram ; Mostowski, Wojciech ; Roth, Andreas ; Schlager, Steffen ; Schmitt, Peter :
The KeY tool: integrating object oriented design and formal verification.
[Online-Edition: http://www.springerlink.com/index/10.1007/s10270-004-0058-x]
In: Software and System Modeling, 4 (1) p. 32.
[Artikel], (2005)

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

The KeY System: Integrating Object-Oriented Design and Formal Methods.
[Online-Edition: https://doi.org/10.1007/3-540-45923-5_23]
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. In: Lecture Notes in Computer Science , 2306 . Springer
[Konferenz- oder Workshop-Beitrag], (2002)

Ahrendt, Wolfgang ; Baar, Thomas ; Beckert, Bernhard ; Giese, Martin ; Habermalz, Elmar ; Hähnle, Reiner ; Menzel, Wolfram ; Schmitt, Peter
Ojeda-Aciego, Manuel ; de Guzmán, Inma P. ; Brewka, Gerhard ; Pereira, Luís Moniz (eds.) :

The KeY Approach: Integrating Object Oriented Design and Formal Verification.
In: LNCS , 1919 . Springer-Verlag
[Konferenz- oder Workshop-Beitrag], (2000)

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

[Report], (2000)

Ahrendt, Wolfgang ; Baar, Thomas ; Beckert, Bernhard ; Giese, Martin ; Habermalz, Elmar ; Hähnle, Reiner ; Menzel, Wolfram ; Schmitt, Peter :
The KeY Approach: Integrating Object Oriented Design and Formal Verification.
In Proc. Java Card Workshop, Cannes, France {INRIA} technical report
[Konferenz- oder Workshop-Beitrag], (2000)

Ahrendt, Wolfgang ; Beckert, Bernhard ; Hähnle, Reiner ; Menzel, Wolfram ; Reif, Wolfgang ; Schellhorn, Gerhard ; Schmitt, Peter
Bibel, Wolfgang ; Schmitt, Peter (eds.) :

Integration of Automated and Interactive Theorem Proving.
In: Automated Deduction: A Basis for Applications. Kluwer , 97--116.
[Buchkapitel], (1998)

Diese Liste wurde am Tue Jul 17 03:44:33 2018 CEST generiert.