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
Jump to: German | English
Number of items: 59.

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

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

Beckert, Bernhard ; Hähnle, Reiner (2014)
Reasoning and Verification: State of the Art and Current Trends.
In: IEEE Intelligent Systems, 29 (1)
doi: 10.1109/MIS.2014.3
Article, Bibliographie

Hähnle, Reiner ; Helvensteijn, Michiel ; Johnsen, Einar Broch ; Lienhardt, Michael ; Sangiorgi, Davide ; Schaefer, Ina ; Wong, Peter Y. H.
eds.: Beckert, Bernhard ; Damiani, Ferruccio ; de Boer, Frank S. ; Bonsangue, Marcello M. (2011)
HATS Abstract Behavioral Specification: The Architectural View.
Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers.
doi: 10.1007/978-3-642-35887-6_6
Conference or Workshop Item, Bibliographie

eds.: Beckert, Bernhard ; Hähnle, Reiner (2010)
Special Issue on Tests and Proofs.
Conference or Workshop Item, Bibliographie

Maingaud, Séverine ; Balat, Vincent ; Bubel, Richard ; Hähnle, Reiner ; Miquel, Alexandre
eds.: Beckert, Bernhard ; Marché, Claude (2010)
Specifying Imperative ML-like Programs Using Dynamic Logic.
Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers.
doi: 10.1007/978-3-642-18070-5_9
Conference or Workshop Item, Bibliographie

Beckert, Bernhard ; Hähnle, Reiner (2010)
Tests and Proofs - Preface of the Special Issue.
In: J. Autom. Reasoning, 45 (4)
doi: 10.1007/s10817-010-9173-2
Article, Bibliographie

Bubel, Richard ; Din, Crystal Chang ; Hähnle, Reiner
eds.: Beckert, Bernhard ; Marché, Claude (2010)
Verification of Variable Software: an Experience Report.
Conference or Workshop Item, Bibliographie

Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter
ed.: Beckert, Bernhard (2008)
Specification Predicates with Explicit Dependency Information.
Conference or Workshop Item, Bibliographie

Beckert, Bernhard ; Giese, Martin ; Hähnle, Reiner ; Klebanov, Vladimir ; Rümmer, Philipp ; Schlager, Steffen ; Schmitt, Peter
ed.: Pfenning, Frank (2007)
The KeY System 1.0 (Deduction Component).
Conference or Workshop Item, Bibliographie

Hähnle, Reiner
eds.: Beckert, Bernhard ; Hähnle, Reiner ; Schmitt, Peter (2007)
A New Look at Formal Methods for Software Construction.
In: Verification of Object-Oriented Software: The {KeY} Approach
Book Section, Bibliographie

Bubel, Richard
eds.: Beckert, Bernhard ; Hähnle, Reiner ; Schmitt, Peter (2007)
The Schorr-Waite Algorithm.
In: Verification of Object-Oriented Software: The {KeY} Approach
Book Section, Bibliographie

Larsson, Daniel ; Hähnle, Reiner
ed.: Beckert, Bernhard (2007)
Symbolic Fault Injection.
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

Beckert, Bernhard ; Hähnle, Reiner ; Schmitt, Peter (2006)
Integrating Object-Oriented Design and Deductive Verification of Software.
Fourth IEEE International Conference o Software Engineering and Formal Methods (SEFM 2006). Pune, India (11-15 September 2006)
doi: 10.1109/SEFM.2006.25
Conference or Workshop Item, Bibliographie

Beckert, Bernhard ; Hähnle, Reiner ; Hoare, Tony ; Smith, Douglas ; Green, Cordell ; Ranise, Silvio ; Tinelli, Cesare ; Ball, Thomas ; Rajamani, Sriram (2006)
Intelligent Systems and Formal Methods in Software Engineering.
In: IEEE Intelligent Systems, 21 (6)
doi: 10.1109/MIS.2006.117
Article, Bibliographie

Bubel, Richard ; Hähnle, Reiner
eds.: Beckert, Bernhard ; Hähnle, Reiner ; Schmitt, Peter (2006)
Pattern-Driven Formal Specification.
In: Verification of Object-Oriented Software: The {KeY} Approach
Book Section, Bibliographie

Wallenburg, Angela
eds.: Beckert, Bernhard ; Hähnle, Reiner ; Schmitt, Peter (2006)
Proving by Induction.
In: Verification of Object-Oriented Software: The {KeY} Approach
Book Section, 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

Beckert, Bernhard ; Giese, Martin ; Habermalz, Elmar ; Hähnle, Reiner ; Roth, Andreas ; Rümmer, Philipp ; Schlager, Steffen (2004)
Taclets: a new paradigm for constructing interactive theorem provers.
In: Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales, Serie A: Matem'{a}ticas, 98 (1)
Article, 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

Beckert, Bernhard ; Hähnle, Reiner ; Manya, Felip (2000)
The 2-SAT Problem of Regular Signed CNF Formulas.
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

Beckert, Bernhard ; Hähnle, Reiner ; Manya, Felip
eds.: Basin, David ; D'Agostino, Marcello ; Gabbay, Dov ; Matthews, Seán ; Viganò, Luca (2000)
The SAT Problem of Signed CNF Formulas.
In: Labelled Deduction
Book Section, Bibliographie

Hähnle, Reiner ; Beckert, Bernhard
ed.: Murray, Neil V. (1999)
Proof Confluent Tabelau Calculi (Tutorial).
Conference or Workshop Item, Bibliographie

Beckert, Bernhard ; Hähnle, Reiner ; Manyà, Felip (1999)
Transformations between Signed and Classical Clause Logic.
Conference or Workshop Item, Bibliographie

Beckert, Bernhard ; Hähnle, Reiner
eds.: Bibel, Wolfgang ; Schmitt, Peter (1998)
Analytic Tableaux.
In: Automated Deduction: A Basis for Applications
Book Section, 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

Beckert, Bernhard ; Hähnle, Reiner ; Escalada-Imaz, Gonzalo (1998)
Simplification of Many-Valued Logic Formulas Using Anti-Links.
In: Journal of Logic and Computation, 8 (4)
Article, Bibliographie

Ramesh, Anavai ; Beckert, Bernhard ; Hähnle, Reiner ; Murray, Neil V. (1997)
Fast Subsumption Checks Using Anti-Links.
In: Journal of Automated Reasoning, 18 (1)
Article, Bibliographie

Beckert, Bernhard ; Hähnle, Reiner ; Escalada-Imaz, Gonzalo (1997)
Simplification of Many-Valued Logic Formulas Using Anti-Links.
Report, Bibliographie

Beckert, Bernhard ; Hähnle, Reiner ; Geiß, Karla ; Oel, Peter ; Pape, Christian ; Sulzmann, Martin (1996)
The Many-Valued Tableau-Based Theorem Prover 3-TAP, Version 4.0.
Report, Bibliographie

Beckert, Bernhard ; Hähnle, Reiner (1996)
Proving Compiler Correctness with Evolving Algebra Specifications.
Report, Bibliographie

Beckert, Bernhard ; Hähnle, Reiner ; Oel, Peter ; Sulzmann, Martin (1996)
The Tableau-Based Theorem Prover (TaP).
Conference or Workshop Item, Bibliographie

Beckert, Bernhard ; Hähnle, Reiner ; Oel, Peter ; Sulzmann, Martin
eds.: McRobbie, Michael ; Slaney, John (1996)
The Tableau-Based Theorem Prover TaP, Version 4.0.
Conference or Workshop Item, Bibliographie

Beckert, Bernhard ; Hähnle, Reiner
ed.: Kleine Büning, Hans (1995)
Deduction by Combining Semantic Tableaux and Integer Programming.
Computer Science Logic, 9th International Workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995, Selected Papers.
doi: 10.1007/3-540-61377-3_31
Conference or Workshop Item, Bibliographie

Ramesh, Anavai ; Murray, Neil V. ; Beckert, Bernhard ; Hähnle, Reiner (1995)
Fast Subsumption Checks Using Anti-Links.
Report, Bibliographie

Hähnle, Reiner ; Beckert, Bernhard ; Gerberding, Stefan (1994)
The Many-Valued Tableau-Based Theorem Prover TAP.
Report, Bibliographie

Beckert, Bernhard ; Hähnle, Reiner ; Ramesh, Anavai ; Murray, Neil
ed.: Pfenning, Frank (1994)
On Anti-Links.
Conference or Workshop Item, Bibliographie

Beckert, Bernhard ; Hähnle, Reiner ; Schmitt, Peter H.
eds.: Gottlob, Georg ; Leitsch, Alexander ; Mundici, Daniele (1993)
The Even More Liberalized delta-Rule in Free Variable Semantic Tableaux.
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, Bibliographie

Beckert, Bernhard ; Hähnle, Reiner ; Schmitt, Peter
eds.: Gottlob, Georg ; Leitsch, Alexander ; Mundici, Daniele (1993)
The even more liberalized delta-rule in free variable semantic tableaux.
Conference or Workshop Item, Bibliographie

Beckert, Bernhard ; Hähnle, Reiner
ed.: Kapur, Deepak (1992)
An Improved Method for Adding Equality to Free Variable Semantic Tableau.
Automated Deduction - CADE-11, 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings.
Conference or Workshop Item, Bibliographie

Beckert, Bernhard ; Gerberding, Stefan ; Hähnle, Reiner ; Kernig, Werner
ed.: Kapur, Deepak (1992)
The Many-Valued Tableau-Based Theorem Prover TaP.
Conference or Workshop Item, Bibliographie

Beckert, Bernhard ; Gerberding, Stefan ; Hähnle, Reiner ; Kernig, Werner
ed.: Kapur, Deepak (1992)
The Tableau-Based Theorem Prover 3TAP for Multi-Valued Logics.
Automated Deduction - CADE-11, 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings.
doi: 10.1007/3-540-55602-8_219
Conference or Workshop Item, Bibliographie

English

eds.: Beckert, Bernhard ; Hähnle, Reiner (2008)
Tests and Proofs : Papers presented at the Second International Conference TAP 2008, Prato, Italy.
Book, Bibliographie

eds.: Beckert, Bernhard ; Hähnle, Reiner (2008)
Tests and Proofs : Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008 ; Proceedings.
Book, 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

eds.: Beckert, Bernhard ; Hähnle, Reiner ; Schmitt, Peter (2006)
Verification of Object-Oriented Software: The KeY Approach.
Book, 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

This list was generated on Tue Jun 11 02:15:12 2024 CEST.