Reiner Hähnle

Showing 58 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). Vol. 8471 (8471), p. 55-71
Paper in proceeding
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 proceeding
2011

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 proceeding
2011

Formal Methods in Software Product Line Engineering

Ina Schaefer, Reiner Hähnle
Computer. Vol. 44 (2), p. 82-85
Journal article
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 proceeding
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 proceeding
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 proceeding
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 proceeding
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 proceeding
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 proceeding
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 proceeding
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 proceeding
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

HATS - A formal software product line engineering methodology

D. Clarke, Nikolay Diakov, Reiner Hähnle et al
SPLC 2010 - Proceedings of the 14th International Software Product Line Conference, p. 121-128
Paper in proceeding
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 proceeding
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)
Other conference contribution
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 proceeding
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 proceeding
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

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 proceeding
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 proceeding
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 proceeding
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 proceeding
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

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 proceeding
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 proceeding
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 proceeding
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 proceeding
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 proceeding
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 proceeding
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

Symbolic Fault Injection

Daniel Larsson, Reiner Hähnle
Report
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

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 proceeding
2006

Verification of Object-Oriented Software. The KeY Approach

Bernhard Beckert, Reiner Hähnle, Peter Schmitt
Book
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

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

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 proceeding
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

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

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

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 proceeding
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 proceeding
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 proceeding
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

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
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 proceeding
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
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 proceeding
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 proceeding
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 proceeding
2002

Complexity of Many-Valued Logics

Reiner Hähnle
Beyond Two: Theory and Applications of Multiple-Valued Logic, p. 211-234
Book chapter

Download publication list

You can download this list to your computer.

Filter and download publication list

As logged in user (Chalmers employee) you find more export functions in MyResearch.

You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:

Zotero Connector
Mendeley Web Importer

The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.

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.