Reiner Hähnle
Visar 58 publikationer
Deductive Software Verification - The KeY Book
The KeY platform for verification and analysis of java programs
Verified resource guarantees for heap manipulating programs
Formal Methods in Software Product Line Engineering
Specifying Imperative ML-like Programs Using Dynamic Logic
A formalisation of Java Strings for program specification and verification
Verified Resource Guarantees using COSTA and KeY
ABS: A core language for abstract behavioral specification
Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language
Program specialization via a software verification tool
Visual Interactive Debugger Based on Symbolic Execution
HATS: Highly Adaptable and Trustworthy Software using Formal Models
HATS - A formal software product line engineering methodology
Tests and Proofs: Preface of the Special Issue
Interleaving Symbolic Execution and Partial Evaluation
Task Forces in the EternalS Coordination Action
Proceedings of 5th International Joint Conference on Automated Reasoning (IJCAR) 2010
HATS: A Formal Software Product Line Engineering Methodology
Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification
Abstract Interpretation of Symbolic Execution with Explicit State Updates
Integration of a Security Type System into a Program Logic
Specification Predicates with Explicit Dependency Information
A Hoare-Style Calculus with Explicit State Updates
Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 2008, Proceedings
Test 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
Integration of a Security Type System into a Program Logic
The KeY system 1.0 (Deduction Component)
KeY: A Formal Method for Object-Oriented Systems
Verification by Parallelization of Parametric Code
Verifying Object-Oriented Programs with KeY: A Tutorial
Deductive Verifiction of C Programs with KeY-C
Generating Unit Tests from Formal Proofs
A New Look at Formal Methods for Software Construction
Intelligent Systems and Formal Methods in Software Engineering
Pattern-Driven Formal Specification
Verification of Object-Oriented Software. The KeY Approach
Automating Verification of Loops by Parallelization
Verification of Safety Properties in the Presence of Transactions
A Theorem Proving Approach to Analysis of Secure Information Flow
Many-Valued Logic, Partiality, and Abstraction in Formal Specification Languages
Formal Specification of Security-Critical Railway Software with the KeY System
Normal Forms for Knowledge Compilation
OCL and model driven engineering
Rule-Based Simplification of OCL Constraints
Linearity and regularity with negation normal form
Using a Software Testing Technique to Improve Theorem Proving
Taclets: a new paradigm for writing theorem provers
Model Generation Theorem Proving with Finite Interval Constraints
Fair constraint merging tableaux in lazy functional programming style
Complexity of Many-Valued Logics
An Authoring Tool for informal and Formal Requirements Specifications
The KeY System: Integrating Object-Oriented Design and Formal Methods
Ladda ner publikationslistor
Du kan ladda ner denna lista till din dator.
Filtrera och ladda ner publikationslista
Som inloggad användare hittar du ytterligare funktioner i MyResearch.
Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:
Zotero Connector
Mendeley Web Importer
Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.