Reiner Hähnle

Visar 57 publikationer

2016

Deductive Software Verification - The KeY Book

Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel et al
Bok
2014

The KeY platform for verification and analysis of java programs

Wolfgang Ahrendt, B. Beckert, D. Bruns et al
Lecture Notes in Computer Science (8471), p. 55-71
Paper i proceeding
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. Vol. 6957, p. 142-164
Paper i proceeding
2012

Verified resource guarantees for heap manipulating programs

Elvira Albert, Richard Bubel, Samir Genaim et al
Lecture Notes in Computer Science. Vol. 7212, p. 130-145
Paper i proceeding
2011

Program specialization via a software verification tool

Richard Bubel, Reiner Hähnle, Ran Ji
Lecture Notes in Computer Science. Vol. 6957, p. 80-101
Paper i 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 i 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. Vol. 6659, p. 417-457
Paper i proceeding
2011

A formalisation of Java Strings for program specification and verification

Richard Bubel, Reiner Hähnle, U. Geilmann
Lecture Notes in Computer Science. Vol. 7041, p. 90-105
Paper i proceeding
2011

Specifying Imperative ML-like Programs Using Dynamic Logic

Severine Maingaud, Vincent Balat, Richard Bubel et al
Lecture Notes in Computer Science. Vol. 6528, p. 122-137
Paper i proceeding
2011

Formal Methods in Software Product Line Engineering

Ina Schaefer, Reiner Hähnle
Computer. Vol. 44 (2), p. 82-85
Artikel i vetenskaplig tidskrift
2010

Interleaving Symbolic Execution and Partial Evaluation

Richard Bubel, Reiner Hähnle, Ran Ji
Lecture Notes in Computer Science. Vol. 6286, p. 125-146
Paper i proceeding
2010

HATS: Highly Adaptable and Trustworthy Software using Formal Models

Reiner Hähnle
Lecture Notes in Computer Science. Vol. 6416 (Part 2), p. 3-8
Paper i proceeding
2010

Task Forces in the EternalS Coordination Action

Reiner Hähnle
Lecture Notes in Computer Science. Vol. 6416 (Part 2), p. 20-22
Paper i 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
Artikel i vetenskaplig tidskrift
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)
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
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 i proceeding
2010

Proceedings of 5th International Joint Conference on Automated Reasoning (IJCAR) 2010

Juergen Giesl, Reiner Hähnle
Samlingsverk (redaktörskap)
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 i proceeding
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 i proceeding
2008

Test and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 2008, Proceedings

Reiner Hähnle, Bernhard Beckert
Samlingsverk (redaktörskap)
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 i proceeding
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 i 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
Artikel i vetenskaplig tidskrift
2008

Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 2008, Proceedings

Bernhard Beckert, Reiner Hähnle
Samlingsverk (redaktörskap)
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 i 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 i 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 i 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 i 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
Kapitel i bok
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 i 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 i proceeding
2007

Integration of a Security Type System into a Program Logic

Reiner Hähnle, Jing Pan, Philipp Rümmer et al
Rapport
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 i 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 i proceeding
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
Artikel i vetenskaplig tidskrift
2006

Verification of Object-Oriented Software. The KeY Approach

Bernhard Beckert, Reiner Hähnle, Peter Schmitt
Bok
2006

Symbolic Fault Injection

Daniel Larsson, Reiner Hähnle
Rapport
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
Kapitel i bok
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
Kapitel i bok
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 i proceeding
2005

Verification of Safety Properties in the Presence of Transactions

Reiner Hähnle, Wojciech Mostowski
Lecture Notes in Computer Science. Vol. 3362, p. 151-171
Artikel i vetenskaplig tidskrift
2005

OCL and model driven engineering

J. Bezivin, T. Baar, T. Gardner et al
Lecture Notes in Computer Science. Vol. 3297, p. 67-75
Artikel i vetenskaplig tidskrift
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 i proceeding
2005

The KeY Tool

Reiner Hähnle, Wolfgang Ahrendt, Thomas Baar et al
Software and Systems Modeling. Vol. 4 (1), p. 32-54
Artikel i vetenskaplig tidskrift
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
Artikel i vetenskaplig tidskrift
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
Artikel i vetenskaplig tidskrift
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 i 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
Artikel i vetenskaplig tidskrift
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 i proceeding
2004

Linearity and regularity with negation normal form

Reiner Hähnle, Neil Murray, Erik Rosenthal
Theoretical Computer Science. Vol. 328 (3), p. 325-354
Artikel i vetenskaplig tidskrift
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 i proceeding
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 i proceeding
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 i 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
Artikel i vetenskaplig tidskrift
2002

Complexity of Many-Valued Logics

Reiner Hähnle
Beyond Two: Theory and Applications of Multiple-Valued Logic, p. 211-234
Kapitel i bok
2002

The KeY System: Integrating Object-Oriented Design and Formal Methods

Wolfgang Ahrendt, T. Baar, B. Beckert et al
Lecture Notes in Computer Science. Vol. 2306, p. 327-330
Paper i proceeding
2002

An Authoring Tool for informal and Formal Requirements Specifications

Reiner Hähnle, Kristofer Johannisson, Aarne Ranta
Lecture Notes in Computer Science. Vol. 2306, p. 233-248
Paper i proceeding

Spara referenser

Om du har installerat Zotero eller Mendeley på din dator kan du direkt ta ut referenser från de publikationer du ser i listan.

Du laddar ner dessa pluginer här:
Zotero
Mendeley

Det finns inga projekt att visa.
Det kan finnas fler projekt där Reiner Hähnle medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.