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