Reiner Hähnle
Showing 57 publications
2016
Deductive Software Verification - The KeY Book
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel et al
Book
2014
The KeY platform for verification and analysis of java programs
Wolfgang Ahrendt, B. Beckert, D. Bruns et al
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (8471), p. 55-71
Paper in proceedings
2012
ABS: A core language for abstract behavioral specification
Einar Broch Johnsen, Reiner Hähnle, J. Schäfer et al
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6957, p. 142-164
Paper in proceedings
2012
Verified resource guarantees for heap manipulating programs
Elvira Albert, Richard Bubel, Samir Genaim et al
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7212, p. 130-145
Paper in proceedings
2011
Program specialization via a software verification tool
Richard Bubel, Reiner Hähnle, Ran Ji
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6957, p. 80-101
Paper in proceedings
2011
Verified Resource Guarantees using COSTA and KeY
Elvira Albert, Richard Bubel, Samir Genaim et al
Proc. ACM SIGPLAN 2011 Workshop on Partial Evaluation and Program Manipulation (PEPM'11), ACM Press, p. 73-76
Paper in proceedings
2011
Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language
D. Clarke, Nikolay Diakov, Reiner Hähnle et al
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6659, p. 417-457
Paper in proceedings
2011
Specifying Imperative ML-like Programs Using Dynamic Logic
Severine Maingaud, Vincent Balat, Richard Bubel et al
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6528, p. 122-137
Paper in proceedings
2011
A formalisation of Java Strings for program specification and verification
Richard Bubel, Reiner Hähnle, U. Geilmann
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7041, p. 90-105
Paper in proceedings
2011
Formal Methods in Software Product Line Engineering
Ina Schaefer, Reiner Hähnle
Computer. Vol. 44 (2), p. 82-85
Journal article
2010
Interleaving Symbolic Execution and Partial Evaluation
Richard Bubel, Reiner Hähnle, Ran Ji
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6286, p. 125-146
Paper in proceedings
2010
HATS: Highly Adaptable and Trustworthy Software using Formal Models
Reiner Hähnle
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6416 (Part 2), p. 3-8
Paper in proceedings
2010
Task Forces in the EternalS Coordination Action
Reiner Hähnle
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6416 (Part 2), p. 20-22
Paper in proceedings
2010
Tests and Proofs: Preface of the Special Issue
Bernhard Beckert, Reiner Hähnle
Journal of Automated Reasoning. Vol. 45 (4), p. 327-329
Journal article
2010
Visual Interactive Debugger Based on Symbolic Execution
Reiner Hähnle, M. Baum, Richard Bubel et al
25th IEEE/ACM International Conference on Automated Software Engineering (Antwerp, Belgium), ACM Press, p. 143-146
Paper in proceedings
2010
HATS: A Formal Software Product Line Engineering Methodology
D. Clarke, Nikolay Diakov, Reiner Hähnle et al
Proceedings 1st International Workshop on Formal Methods in Software Product Line Engineering (Jeju Island, South Corea)
Conference contribution
2010
Proceedings of 5th International Joint Conference on Automated Reasoning (IJCAR) 2010
Juergen Giesl, Reiner Hähnle
Edited book
2009
Abstract Interpretation of Symbolic Execution with Explicit State Updates
Richard Bubel, Reiner Hähnle, Benjamin Weiss
Post Conf. Proceedings 6th Intl. Symposium on Formal Methods for Components and Objects, Sophia Antipolis, France. Vol. 5751, p. 247-277
Paper in proceedings
2009
Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification
Wolfgang Ahrendt, Richard Bubel, Reiner Hähnle
Second International Conference on Teaching Formal Methods, Eindhoven, Netherlands. Vol. 5846, p. 125-143
Paper in proceedings
2008
Test and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 2008, Proceedings
Reiner Hähnle, Bernhard Beckert
Edited book
2008
Specification Predicates with Explicit Dependency Information
Richard Bubel, Reiner Hähnle, Peter Schmitt
Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008. Vol. 372, p. 28-43
Paper in proceedings
2008
A Hoare-Style Calculus with Explicit State Updates
Reiner Hähnle, Richard Bubel
Proceedings Formal Methods in Computer Science Education (FORMED), Satellite Event of ETAPS 2008, Budapest, Hungary
Paper in proceedings
2008
Integration of a Security Type System into a Program Logic
Reiner Hähnle, Jing Pan, Philipp Rümmer et al
Theoretical Computer Science. Vol. 402 (2-3), p. 172-189
Journal article
2008
Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 2008, Proceedings
Bernhard Beckert, Reiner Hähnle
Edited book
2007
Integration of a Security Type System into a Program Logic
Reiner Hähnle, Jing Pan, Philipp Rümmer et al
Proc. 2nd Symposium on Trustworthy Global Computing, Lucca, Italy, Springer-Verlag LNCS. Vol. 4661, p. 116-131
Paper in proceedings
2007
KeY-C: A Tool for Verification of C Programs
Reiner Hähnle, Daniel Larsson, Oleg Myrk
Automated Deduction - CADE-21, 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings, Springer-Verlag, LNCS. Vol. 4603, p. 385-390
Paper in proceedings
2007
Generating Unit Tests from Formal Proofs
Christian Engel, Reiner Hähnle
Tests and Proofs, First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers, Springer-Verlag, LNCS. Vol. 4454, p. 169-188
Paper in proceedings
2007
Verification by Parallelization of Parametric Code
Tobias Gedell, Reiner Hähnle
Algebraic and Proof-theoretic Aspects of Non-classical Logics: Essays in honour of Professor Daniele Mundici on occasion of his 60th birthday, p. 138-159
Book chapter
2007
Symbolic Fault Injection
Reiner Hähnle, Daniel Larsson
Proceedings of 4th International Verification Workshop in connection with CADE-21, Bremen, Germany, July 15-16, 2007. Vol. 259, p. 85-103
Paper in proceedings
2007
Deductive Verifiction of C Programs with KeY-C
Oleg Myrk, Daniel Larsson, Reiner Hähnle
Proceedings C/C++ Verification Workshop, colocated with Integrated Formal Methods (IFM), Oxford, UK, Technical report ICIS-R07015 of Radboud University Nijmegen, p. 43-58
Paper in proceedings
2007
The KeY system 1.0 (Deduction Component)
Bernhard Beckert, Martin Giese, Reiner Hähnle et al
Automated Deduction - CADE-21, 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings, Springer-Verlag, LNCS. Vol. 4603, p. 379-384
Paper in proceedings
2007
Integration of a Security Type System into a Program Logic
Reiner Hähnle, Jing Pan, Philipp Rümmer et al
Report
2007
KeY: A Formal Method for Object-Oriented Systems
Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle et al
Lecture Notes in Computer Science, Proc. 9th IFIP Intl. Conf. on Formal Methods for Open Object-based Distributed Systems (FMOODS), eds. M.Bonsangue and E. B. Johnsen. Vol. 4468, p. 32-43
Paper in proceedings
2007
Verifying Object-Oriented Programs with KeY: A Tutorial
Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle et al
Formal Methods for Components and Objects, eds. de Boer, Bonsangue, Graf, de Roever. Vol. LNCS 4709
Paper in proceedings
2006
Intelligent Systems and Formal Methods in Software Engineering
Bernhard Beckert, Reiner Hähnle, Tony Hoare et al
IEEE Intelligent Systems. Vol. 21 (6), p. 71-81
Journal article
2006
Verification of Object-Oriented Software. The KeY Approach
Bernhard Beckert, Reiner Hähnle, Peter Schmitt
Book
2006
A New Look at Formal Methods for Software Construction
Reiner Hähnle
Verification of Object-Oriented Software. The KeY Approach. Lecture Notes in Computer Science. Bernhard Beckert, Reiner Hähnle, Peter Schmitt (eds.). Vol. 4334, p. 1-18
Book chapter
2006
Pattern-Driven Formal Specification
Richard Bubel, Reiner Hähnle
Verification of Object-Oriented Software. The KeY Approach. Lecture Notes in Computer Science. Bernhard Beckert, Reiner Hähnle, Peter Schmitt (eds.). Vol. 4334, p. 295-315
Book chapter
2006
Automating Verification of Loops by Parallelization
Reiner Hähnle
13th International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Vol. 4246, p. 332-346
Paper in proceedings
2005
Verification of Safety Properties in the Presence of Transactions
Reiner Hähnle, Wojciech Mostowski
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 3362, p. 151-171
Journal article
2005
OCL and model driven engineering
J. Bezivin, T. Baar, T. Gardner et al
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 3297, p. 67-75
Journal article
2005
Normal Forms for Knowledge Compilation
Reiner Hähnle, Neil Murray, Erik Rosenthal
Foundations of Intelligent Systems: 15th International Symposium, ISMIS 2005, Saratoga Springs, NY, USA, May 25-28, 2005. Proceedings. Vol. 3488, p. 304-314
Paper in proceedings
2005
The KeY Tool
Reiner Hähnle, Wolfgang Ahrendt, Thomas Baar et al
Software and Systems Modeling. Vol. 4 (1), p. 32-54
Journal article
2005
Formal Specification of Security-Critical Railway Software with the KeY System
Richard Bubel, Reiner Hähnle
International Journal on Software Tools for Technology Transfer. Vol. 7 (3), p. 197-211
Journal article
2005
Many-Valued Logic, Partiality, and Abstraction in Formal Specification Languages
Reiner Hähnle
Logic Journal of the IGPL. Vol. 13 (4), p. 415-433
Journal article
2005
A Theorem Proving Approach to Analysis of Secure Information Flow
Adam Darvas, Reiner Hähnle, David Sands
Security in Pervasive Computing: Second International Conference, SPC 2005. Vol. 3450, p. 193-208
Paper in proceedings
2004
Taclets: a new paradigm for writing theorem provers
Bernhard Beckert, Martin Giese, Elmar Habermalz et al
Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales - Serie A: Matematicas. Vol. 98 (1), p. 17-53
Journal article
2004
Using a Software Testing Technique to Improve Theorem Proving
Angela Wallenburg, Reiner Hähnle
Formal Approaches to Software Testing. Vol. LNCS 2931, p. 30-41
Paper in proceedings
2004
Linearity and regularity with negation normal form
Reiner Hähnle, Neil Murray, Erik Rosenthal
Theoretical Computer Science. Vol. 328 (3), p. 325-354
Journal article
2004
Rule-Based Simplification of OCL Constraints
Martin Giese, Reiner Hähnle, Daniel Larsson
OCL and Model Driven Engineering, UML 2004 workshop, Lisbon, p. 84-98
Paper in proceedings
2003
Fair constraint merging tableaux in lazy functional programming style
Reiner Hähnle, Niklas Sörensson
International Conference TABLEAUX 2003, Automated Reasoning with Analytic Tableaux and Related Methods, Rome, Italy, September 12, 2003. Vol. 2796, p. 252-256
Paper in proceedings
2003
Integration of Informal and Formal Development of Object-Oriented Safety-Critical Software: A Case Study with the KeY System
Richard Bubel, Reiner Hähnle
Electronic Notes in Theoretical Computer Science. Vol. 80, p. 3-25
Paper in proceedings
2003
Model Generation Theorem Proving with Finite Interval Constraints
Reiner Hähnle, R. Hasegawa, Y. Shirai
Information Processing Society of Japan. Vol. 43 (12), p. 4059-4067
Journal article
2002
Complexity of Many-Valued Logics
Reiner Hähnle
Beyond Two: Theory and Applications of Multiple-Valued Logic, p. 211-234
Book chapter
2002
The KeY System: Integrating Object-Oriented Design and Formal Methods
Wolfgang Ahrendt, T. Baar, B. Beckert et al
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 2306, p. 327-330
Paper in proceedings
2002
An Authoring Tool for informal and Formal Requirements Specifications
Reiner Hähnle, Kristofer Johannisson, Aarne Ranta
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 2306, p. 233-248
Paper in proceedings
There are no projects.
There might be more projects where Reiner Hähnle participates, but you have to be logged in as a Chalmers employee to see them.