Reiner Hähnle
Showing 58 publications
Deductive Software Verification - The KeY Book
The KeY platform for verification and analysis of java programs
Verified resource guarantees for heap manipulating programs
ABS: A core language for abstract behavioral specification
Program specialization via a software verification tool
Verified Resource Guarantees using COSTA and KeY
Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language
Specifying Imperative ML-like Programs Using Dynamic Logic
A formalisation of Java Strings for program specification and verification
Formal Methods in Software Product Line Engineering
Interleaving Symbolic Execution and Partial Evaluation
HATS: Highly Adaptable and Trustworthy Software using Formal Models
Task Forces in the EternalS Coordination Action
Tests and Proofs: Preface of the Special Issue
HATS - A formal software product line engineering methodology
Visual Interactive Debugger Based on Symbolic Execution
HATS: A Formal Software Product Line Engineering Methodology
Proceedings of 5th International Joint Conference on Automated Reasoning (IJCAR) 2010
Abstract Interpretation of Symbolic Execution with Explicit State Updates
Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification
Test and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 2008, Proceedings
Specification Predicates with Explicit Dependency Information
A Hoare-Style Calculus with Explicit State Updates
Integration of a Security Type System into a Program Logic
Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 2008, Proceedings
Integration of a Security Type System into a Program Logic
KeY-C: A Tool for Verification of C Programs
Generating Unit Tests from Formal Proofs
Verification by Parallelization of Parametric Code
Deductive Verifiction of C Programs with KeY-C
The KeY system 1.0 (Deduction Component)
Integration of a Security Type System into a Program Logic
KeY: A Formal Method for Object-Oriented Systems
Verifying Object-Oriented Programs with KeY: A Tutorial
Intelligent Systems and Formal Methods in Software Engineering
Verification of Object-Oriented Software. The KeY Approach
A New Look at Formal Methods for Software Construction
Pattern-Driven Formal Specification
Automating Verification of Loops by Parallelization
Verification of Safety Properties in the Presence of Transactions
OCL and model driven engineering
Normal Forms for Knowledge Compilation
Formal Specification of Security-Critical Railway Software with the KeY System
Many-Valued Logic, Partiality, and Abstraction in Formal Specification Languages
A Theorem Proving Approach to Analysis of Secure Information Flow
Taclets: a new paradigm for writing theorem provers
Using a Software Testing Technique to Improve Theorem Proving
Linearity and regularity with negation normal form
Rule-Based Simplification of OCL Constraints
Fair constraint merging tableaux in lazy functional programming style
Model Generation Theorem Proving with Finite Interval Constraints
Complexity of Many-Valued Logics
The KeY System: Integrating Object-Oriented Design and Formal Methods
An Authoring Tool for informal and Formal Requirements Specifications
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.