Reiner Hähnle

According to our database, Reiner Hähnle authored at least 205 papers between 1986 and 2024.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of three.

2024

Schematic Program Proofs with Abstract Execution.

Dominic Steinhöfel, Reiner Hähnle

J. Autom. Reason., June, 2024

Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages.

Crystal Chang Din, Reiner Hähnle, Ludovic Henrio, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa

ACM Trans. Program. Lang. Syst., March, 2024

Provably Fair Cooperative Scheduling.

Reiner Hähnle, Ludovic Henrio

Art Sci. Eng. Program., 2024

SmartML: Towards a Modeling Language for Smart Contracts.

Adele Veschetti, Richard Bubel, Reiner Hähnle

CoRR, 2024

A Formal Modeling Language for Smart Contracts.

Adele Veschetti, Richard Bubel, Reiner Hähnle

Proceedings of the Software Engineering and Formal Methods - 22nd International Conference, 2024

Context-Aware Contracts as a Lingua Franca for Behavioral Specification.

Marco Scaletta, Reiner Hähnle

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification, 2024

Automating Software Re-Engineering Introduction to the ISoLA 2024 Track.

Serge Demeyer, Reiner Hähnle, Heiko Mantel

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies, 2024

The Java Verification Tool KeY:A Tutorial.

Bernhard Beckert, Richard Bubel, Daniel Drodt, Reiner Hähnle, Florian Lanzinger, Wolfram Pfeifer, Mattias Ulbrich, Alexander Weigl

Proceedings of the Formal Methods - 26th International Symposium, 2024

SmartML: Enhancing Security and Reliability in Smart Contract Development.

Adele Veschetti, Richard Bubel, Reiner Hähnle

Proceedings of the Sixth Distributed Ledger Technology Workshop (DLT 2024), 2024

Context-Aware Trace Contracts.

Reiner Hähnle, Eduard Kamburjan, Marco Scaletta

Proceedings of the Active Object Languages: Current Research Trends, 2024

2023

Variability modules.

Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt, Luca Paolini

J. Syst. Softw., 2023

Context, Composition, Automation, and Communication - The C2AC Roadmap for Modeling and Simulation.

Adelinde M. Uhrmacher, Peter I. Frazier, Reiner Hähnle, Franziska Klügl, Fabian Lorig, Bertram Ludäscher, Laura Nenzi, Cristina Ruiz Martin, Bernhard Rumpe, Claudia Szabo, Gabriel A. Wainer, Pia Wilsdorf

CoRR, 2023

Context-aware Trace Contracts.

Reiner Hähnle, Eduard Kamburjan, Marco Scaletta

CoRR, 2023

Herding CATs.

Reiner Hähnle, Marco Scaletta, Eduard Kamburjan

Proceedings of the Software Engineering and Formal Methods - 21st International Conference, 2023

Trace-based Deductive Verification.

Richard Bubel, Dilian Gurov, Reiner Hähnle, Marco Scaletta

Proceedings of the LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, 2023

2022

Principles of Contract Languages (Dagstuhl Seminar 22451).

Dilian Gurov, Reiner Hähnle, Marieke Huisman, Giles Reger, Christian Lidström

Dagstuhl Reports, November, 2022

Variability Modules for Java-like Languages (Artifact).

Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt, Luca Paolini

Dataset, July, 2022

HABS Simulator Virtual Machine.

Eduard Kamburjan, Stefan Mitsch, Reiner Hähnle

Dataset, February, 2022

Examples For FASE NIER Paper "Finding Semantic Bugs Fast".

Lukas Grätz, Reiner Hähnle, Richard Bubel

Dataset, February, 2022

Variability Modules for Java-like Languages (Artifact).

Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt, Luca Paolini

Dataset, February, 2022

Examples For FASE NIER Paper "Finding Semantic Bugs Fast".

Lukas Grätz, Reiner Hähnle, Richard Bubel

Dataset, January, 2022

A Hybrid Programming Language for Formal Modeling and Verification of Hybrid Systems.

Eduard Kamburjan, Stefan Mitsch, Reiner Hähnle

Leibniz Trans. Embed. Syst., 2022

Towards Trace-based Deductive Verification (Tech Report).

Richard Bubel, Dilian Gurov, Reiner Hähnle, Marco Scaletta

CoRR, 2022

LAGC Semantics of Concurrent Programming Languages.

Crystal Chang Din, Reiner Hähnle, Ludovic Henrio, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa

CoRR, 2022

Automating Software Re-engineering: Introduction to the ISoLA 2022 Track.

Serge Demeyer, Reiner Hähnle, Heiko Mantel

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022

Towards a Usable and Sustainable Deductive Verification Tool.

Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022

Automatic Loop Invariant Generation for Data Dependence Analysis.

Asmae Heydari Tabar, Richard Bubel, Reiner Hähnle

Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2022

Finding Semantic Bugs Fast.

Lukas Grätz, Reiner Hähnle, Richard Bubel

Proceedings of the Fundamental Approaches to Software Engineering, 2022

Dijkstra's Legacy on Program Verification.

Reiner Hähnle

Proceedings of the Edsger Wybe Dijkstra: His Life, Work, and Legacy, 2022

2021

Variability Modules for Java-like Languages (Artifact).

Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt, Luca Paolini

Dataset, June, 2021

Variability Modules for Java-like Languages (Artifact).

Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt, Luca Paolini

Dataset, June, 2021

Variability Modules for Java-like Languages (Artifact).

Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt, Luca Paolini

Dataset, June, 2021

Automated model analysis tools and techniques presented at FASE 2019.

Reiner Hähnle, Wil M. P. van der Aalst

Int. J. Softw. Tools Technol. Transf., 2021

Automated model extraction: From non-deterministic C code to active objects.

Nathan Wasser, Asmae Heydari Tabar, Reiner Hähnle

Sci. Comput. Program., 2021

An Architectural Pattern to Realize Multi Software Product Lines in Java.

Maya Retno Ayu Setyautami, Reiner Hähnle

Proceedings of the VaMoS'21: 15th International Working Conference on Variability Modelling of Software-Intensive Systems, 2021

Variability modules for Java-like languages.

Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt, Luca Paolini

Proceedings of the SPLC '21: 25th ACM International Systems and Software Product Line Conference, 2021

Delta-based verification of software product families.

Marco Scaletta, Reiner Hähnle, Dominic Steinhöfel, Richard Bubel

Proceedings of the GPCE '21: Concepts and Experiences, Chicago, IL, USA, October 17, 2021

Certified Abstract Cost Analysis.

Elvira Albert, Reiner Hähnle, Alicia Merayo, Dominic Steinhöfel

Proceedings of the Fundamental Approaches to Software Engineering, 2021

2020

Source Code: Variability Modules for Java (VMJ).

Maya Retno Ayu Setyautami, Reiner Hähnle

Dataset, December, 2020

Behavioral Contracts for Cooperative Scheduling.

Eduard Kamburjan, Crystal Chang Din, Reiner Hähnle, Einar Broch Johnsen

Proceedings of the Deductive Software Verification: Future Perspectives, 2020

Safer Parallelization.

Reiner Hähnle, Asmae Heydari Tabar, Arya Mazaheri, Mohammad Norouzi, Dominic Steinhöfel, Felix Wolf

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020

Who Carries the Burden of Modularity? - Introduction to ISoLA 2020 Track on Modularity and (De-)composition in Verification.

Dilian Gurov, Reiner Hähnle, Eduard Kamburjan

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

Automating Software Re-engineering - Introduction to the ISoLA 2020 Track.

Serge Demeyer, Reiner Hähnle, Heiko Mantel

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020

Locally Static, Globally Dynamic Session Types for Active Objects.

Reiner Hähnle, Anton W. Haubner, Eduard Kamburjan

Proceedings of the Recent Developments in the Design and Implementation of Programming Languages, 2020

2019

Deductive Software Verification: From Pen-and-Paper Proofs to Industrial Tools.

Reiner Hähnle, Marieke Huisman

Proceedings of the Computing and Software Science - State of the Art and Perspectives, 2019

The Symbolic Execution Debugger (SED): a platform for interactive symbolic execution, debugging, verification and more.

Martin Hentschel, Richard Bubel, Reiner Hähnle

Int. J. Softw. Tools Technol. Transf., 2019

Verifying OpenJDK's Sort Method for Generic Collections.

Stijn de Gouw, Frank S. de Boer, Richard Bubel, Reiner Hähnle, Jurriaan Rot, Dominic Steinhöfel

J. Autom. Reason., 2019

Modeling and Verifying Cyber-Physical Systems with Hybrid Active Objects.

Eduard Kamburjan, Stefan Mitsch, Martina Kettenbach, Reiner Hähnle

CoRR, 2019

The Trace Modality.

Dominic Steinhöfel, Reiner Hähnle

Proceedings of the Dynamic Logic. New Trends and Applications, 2019

Asynchronous Cooperative Contracts for Cooperative Scheduling.

Eduard Kamburjan, Crystal Chang Din, Reiner Hähnle, Einar Broch Johnsen

Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

Automated Planning of ETCS Tracks.

Stefan Dillmann, Reiner Hähnle

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2019

A Program Logic for Dependence Analysis.

Richard Bubel, Reiner Hähnle, Asmae Heydari Tabar

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

Modeling Non-deterministic C Code with Active Objects.

Nathan Wasser, Asmae Heydari Tabar, Reiner Hähnle

Proceedings of the Fundamentals of Software Engineering - 8th International Conference, 2019

Abstract Execution.

Dominic Steinhöfel, Reiner Hähnle

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

2018

Formal modeling and analysis of railway operations with active objects.

Eduard Kamburjan, Reiner Hähnle, Sebastian Schön

Sci. Comput. Program., 2018

Analysis of SLA Compliance in the Cloud - An Automated, Model-based Approach.

Frank S. de Boer, Elena Giachino, Stijn de Gouw, Reiner Hähnle, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun, Gianluigi Zavattaro

Proceedings of the Second Workshop on Verification of Objects at RunTime EXecution, 2018

Prototyping Formal System Models with Active Objects.

Eduard Kamburjan, Reiner Hähnle

Proceedings of the Proceedings 11th Interaction and Concurrency Experience, 2018

Interoperability of software product line variants.

Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt

Proceedings of the Proceeedings of the 22nd International Systems and Software Product Line Conference, 2018

Modular, Correct Compilation with Automatic Soundness Proofs.

Dominic Steinhöfel, Reiner Hähnle

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

Constraint-Based Behavioral Consistency of Evolving Software Systems.

Reiner Hähnle, Bernhard Steffen

Proceedings of the Machine Learning for Dynamic Software Analysis: Potentials and Limits, 2018

Same Same But Different: Interoperability of Software Product Line Variants.

Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt

Proceedings of the Principled Software Development, 2018

2017

A Survey of Active Object Languages.

Frank S. de Boer, Vlad Serbanescu, Reiner Hähnle, Ludovic Henrio, Justine Rochas, Crystal Chang Din, Einar Broch Johnsen, Marjan Sirjani, Ehsan Khamespanah, Kiko Fernandez-Reyes, Albert Mingkun Yang

ACM Comput. Surv., 2017

Automatic detection and demonstrator generation for information flow leaks in object-oriented programs.

Quoc Huy Do, Richard Bubel, Reiner Hähnle

Comput. Secur., 2017

Abstraction Refinement for the Analysis of Software Product Lines.

Ferruccio Damiani, Reiner Hähnle, Michael Lienhardt

Proceedings of the Tests and Proofs - 11th International Conference, 2017

Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages.

Crystal Chang Din, Reiner Hähnle, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2017

Deductive Verification of Railway Operations.

Eduard Kamburjan, Reiner Hähnle

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2017

Inferring Secrets by Guided Experiments.

Quoc Huy Do, Richard Bubel, Reiner Hähnle

Proceedings of the Theoretical Aspects of Computing - ICTAC 2017, 2017

A Unified and Formal Programming Model for Deltas and Traits.

Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt

Proceedings of the Fundamental Approaches to Software Engineering, 2017

24 Challenges in Deductive Software Verification.

Reiner Hähnle, Marieke Huisman

Proceedings of the ARCADE 2017, 2017

2016

Abstract Interpretation.

Nathan Wasser, Reiner Hähnle, Richard Bubel

Proceedings of the Deductive Software Verification - The KeY Book, 2016

Quo Vadis Formal Verification?

Reiner Hähnle

Proceedings of the Deductive Software Verification - The KeY Book, 2016

KeY-Hoare.

Richard Bubel, Reiner Hähnle

Proceedings of the Deductive Software Verification - The KeY Book, 2016

Formal Verification with KeY: A Tutorial.

Bernhard Beckert, Reiner Hähnle, Martin Hentschel, Peter H. Schmitt

Proceedings of the Deductive Software Verification - The KeY Book, 2016

Debugging and Visualization.

Martin Hentschel, Reiner Hähnle, Richard Bubel

Proceedings of the Deductive Software Verification - The KeY Book, 2016

A formal verification framework for static analysis - As well as its instantiation to the resource analyzer COSTA and formal verification tool KeY.

Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Germán Puebla, Guillermo Román-Díez

Softw. Syst. Model., 2016

Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct.

Richard Bubel, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Olaf Owe, Ina Schaefer, Ingrid Chieh Yu

LNCS Trans. Found. Mastering Chang., 2016

Machine Learning for Dynamic Software Analysis: Potentials and Limits (Dagstuhl Seminar 16172).

Amel Bennaceur, Dimitra Giannakopoulou, Reiner Hähnle, Karl Meinke

Dagstuhl Reports, 2016

A UML profile for delta-oriented programming to support software product line engineering.

Maya R. A. Setyautami, Reiner Hähnle, Radu Muschevici, Ade Azurat

Proceedings of the 20th International Systems and Software Product Line Conference, 2016

The interactive verification debugger: effective understanding of interactive proof attempts.

Martin Hentschel, Reiner Hähnle, Richard Bubel

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

An empirical evaluation of two user interfaces of an interactive program verifier.

Martin Hentschel, Reiner Hähnle, Richard Bubel

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Towards Incremental Validation of Railway Systems.

Reiner Hähnle, Radu Muschevici

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Correctness-by-Construction and Post-hoc Verification: Friends or Foes?

Maurice H. ter Beek, Reiner Hähnle, Ina Schaefer

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Can Formal Methods Improve the Efficiency of Code Reviews?

Martin Hentschel, Reiner Hähnle, Richard Bubel

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

A General Lattice Model for Merging Symbolic Execution Branches.

Dominic Scheurer, Reiner Hähnle, Richard Bubel

Proceedings of the Formal Methods and Software Engineering, 2016

Uniform Modeling of Railway Operations.

Eduard Kamburjan, Reiner Hähnle

Proceedings of the Formal Techniques for Safety-Critical Systems, 2016

Array Abstraction with Symbolic Pivots.

Reiner Hähnle, Nathan Wasser, Richard Bubel

Proceedings of the Theory and Practice of Formal Methods, 2016

2015

Testing abstract behavioral specifications.

Peter Y. H. Wong, Richard Bubel, Frank S. de Boer, Miguel Gómez-Zamalloa, Stijn de Gouw, Reiner Hähnle, Karl Meinke, Muddassar Azam Sindhu

Int. J. Softw. Tools Technol. Transf., 2015

Designing Resource-Aware Cloud Applications.

Reiner Hähnle, Einar Broch Johnsen

Computer, 2015

A Dynamic Logic with Traces and Coinduction.

Richard Bubel, Crystal Chang Din, Reiner Hähnle, Keiko Nakata

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2015

Exploit Generation for Information Flow Leaks in Object-Oriented Programs.

Quoc Huy Do, Richard Bubel, Reiner Hähnle

Proceedings of the ICT Systems Security and Privacy Protection, 2015

History-Based Specification and Verification of Scalable Concurrent and Distributed Systems.

Crystal Chang Din, Silvia Lizeth Tapia Tarifa, Reiner Hähnle, Einar Broch Johnsen

Proceedings of the Formal Methods and Software Engineering, 2015

OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case.

Stijn de Gouw, Jurriaan Rot, Frank S. de Boer, Richard Bubel, Reiner Hähnle

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS.

Crystal Chang Din, Richard Bubel, Reiner Hähnle

Proceedings of the Automated Deduction - CADE-25, 2015

2014

Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS.

Elvira Albert, Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Peter Y. H. Wong

Serv. Oriented Comput. Appl., 2014

Reasoning and Verification: State of the Art and Current Trends.

Bernhard Beckert, Reiner Hähnle

IEEE Intell. Syst., 2014

The KeY Platform for Verification and Analysis of Java Programs.

Wolfgang Ahrendt, Bernhard Beckert, Daniel Bruns, Richard Bubel, Christoph Gladisch, Sarah Grebing, Reiner Hähnle, Martin Hentschel, Mihai Herda, Vladimir Klebanov, Wojciech Mostowski, Christoph Scheben, Peter H. Schmitt, Mattias Ulbrich

Proceedings of the Verified Software: Theories, Tools and Experiments, 2014

Visualizing Unbounded Symbolic Execution.

Martin Hentschel, Reiner Hähnle, Richard Bubel

Proceedings of the Tests and Proofs - 8th International Conference, 2014

Analysis of Executable Software Models.

Richard Bubel, Antonio Flores-Montoya, Reiner Hähnle

Proceedings of the Formal Methods for Executable Software Models, 2014

Symbolic Execution Debugger (SED).

Martin Hentschel, Richard Bubel, Reiner Hähnle

Proceedings of the Runtime Verification - 5th International Conference, 2014

Introduction to Track on Engineering Virtualized Services.

Reiner Hähnle, Einar Broch Johnsen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Fully Abstract Operation Contracts.

Richard Bubel, Reiner Hähnle, Maria Pelevina

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

An Interactive Verification Tool Meets an IDE.

Martin Hentschel, Stefan Käsdorf, Reiner Hähnle, Richard Bubel

Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

Resource Analysis of Complex Programs with Cost Equations.

Antonio Flores-Montoya, Reiner Hähnle

Proceedings of the Programming Languages and Systems - 12th Asian Symposium, 2014

2013

Deduction and Arithmetic (Dagstuhl Seminar 13411).

Nikolaj S. Bjørner, Reiner Hähnle, Tobias Nipkow, Christoph Weidenbach

Dagstuhl Reports, 2013

Program Transformation Based on Symbolic Execution and Deduction.

Ran Ji, Reiner Hähnle, Richard Bubel

Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013

Engineering virtualized services.

Elvira Albert, Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, Cosimo Laneve

Proceedings of the Second Nordic Symposium on Cloud Computing & Internet Technologies, 2013

Reuse in Software Verification by Abstract Method Calls.

Reiner Hähnle, Ina Schaefer, Richard Bubel

Proceedings of the Automated Deduction - CADE-24, 2013

2012

A Liskov Principle for Delta-Oriented Programming.

Reiner Hähnle, Ina Schaefer

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Adaptable and Evolving Software for Eternal Systems - (Track Summary).

Reiner Hähnle, Ina Schaefer

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

The Abstract Behavioral Specification Language: A Tutorial Introduction.

Reiner Hähnle

Proceedings of the Formal Methods for Components and Objects, 2012

Verified Resource Guarantees for Heap Manipulating Programs.

Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Guillermo Román-Díez

Proceedings of the Fundamental Approaches to Software Engineering, 2012

Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study.

Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, Rudolf Schlatte, Peter Y. H. Wong

Proceedings of the Service-Oriented and Cloud Computing - First European Conference, 2012

2011

Preface: Special Issue of Selected Extended Papers of IJCAR 2010.

Jürgen Giesl, Reiner Hähnle

J. Autom. Reason., 2011

Formal Methods in Software Product Line Engineering.

Ina Schaefer, Reiner Hähnle

Computer, 2011

Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language.

Dave Clarke, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer, Jan Schäfer, Rudolf Schlatte, Peter Y. H. Wong

Proceedings of the Formal Methods for Eternal Networked Software Systems, 2011

A Formalisation of Java Strings for Program Specification and Verification.

Richard Bubel, Reiner Hähnle, Ulrich Geilmann

Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

Verified resource guarantees using COSTA and KeY.

Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Germán Puebla, Guillermo Román-Díez

Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2011

HATS Abstract Behavioral Specification: The Architectural View.

Reiner Hähnle, Michiel Helvensteijn, Einar Broch Johnsen, Michael Lienhardt, Davide Sangiorgi, Ina Schaefer, Peter Y. H. Wong

Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011

2010

Tests and Proofs - Preface of the Special Issue.

Bernhard Beckert, Reiner Hähnle

J. Autom. Reason., 2010

HATS - A Formal Software Product Line Engineering Methodology.

Dave Clarke, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Germán Puebla, Balthasar Weitzel, Peter Y. H. Wong

Proceedings of the Software Product Lines - 14th International Conference, 2010

A visual interactive debugger based on symbolic execution.

Reiner Hähnle, Marcus Baum, Richard Bubel, Marcel Rothe

Proceedings of the ASE 2010, 2010

Task Forces in the EternalS Coordination Action.

Reiner Hähnle

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

HATS: Highly Adaptable and Trustworthy Software Using Formal Methods.

Reiner Hähnle

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Specifying Imperative ML-Like Programs Using Dynamic Logic.

Séverine Maingaud, Vincent Balat, Richard Bubel, Reiner Hähnle, Alexandre Miquel

Proceedings of the Formal Verification of Object-Oriented Software, 2010

ABS: A Core Language for Abstract Behavioral Specification.

Einar Broch Johnsen, Reiner Hähnle, Jan Schäfer, Rudolf Schlatte, Martin Steffen

Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

Program Specialization via a Software Verification Tool.

Richard Bubel, Reiner Hähnle, Ran Ji

Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

2009

Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification.

Wolfgang Ahrendt, Richard Bubel, Reiner Hähnle

Proceedings of the Teaching Formal Methods, Second International Conference, 2009

Interleaving Symbolic Execution and Partial Evaluation.

Richard Bubel, Reiner Hähnle, Ran Ji

Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009

09411 Executive Summary - Interaction versus Automation: The two Faces of Deductions.

Thomas Ball, Jürgen Giesl, Reiner Hähnle, Tobias Nipkow

Proceedings of the Interaction versus Automation: The two Faces of Deduction, 04.10., 2009

09411 Abstracts Collection - Interaction versus Automation: The two Faces of Deduction.

Thomas Ball, Jürgen Giesl, Reiner Hähnle, Tobias Nipkow

Proceedings of the Interaction versus Automation: The two Faces of Deduction, 04.10., 2009

2008

Integration of a security type system into a program logic.

Reiner Hähnle, Jing Pan, Philipp Rümmer, Dennis Walter

Theor. Comput. Sci., 2008

Abstract Interpretation of Symbolic Execution with Explicit State Updates.

Richard Bubel, Reiner Hähnle, Benjamin Weiß

Proceedings of the Formal Methods for Components and Objects, 7th International Symposium, 2008

Specification Predicates with Explicit Dependency Information.

Richard Bubel, Reiner Hähnle, Peter H. Schmitt

Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, 2008

2007

A New Look at Formal Methods for Software Construction.

Reiner Hähnle

Proceedings of the Verification of Object-Oriented Software. The KeY Approach, 2007

Pattern-Driven Formal Specification.

Richard Bubel, Reiner Hähnle

Proceedings of the Verification of Object-Oriented Software. The KeY Approach, 2007

Generating Unit Tests from Formal Proofs.

Christian Engel, Reiner Hähnle

Proceedings of the Tests and Proofs - 1st International Conference, 2007

KeY: A Formal Method for Object-Oriented Systems.

Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2007

KeY-C: A Tool for Verification of C Programs.

Oleg Mürk, Daniel Larsson, Reiner Hähnle

Proceedings of the Automated Deduction, 2007

Symbolic Fault Injection.

Daniel Larsson, Reiner Hähnle

Proceedings of 4th International Verification Workshop in connection with CADE-21, 2007

The KeY system 1.0 (Deduction Component).

Bernhard Beckert, Martin Giese, Reiner Hähnle, Vladimir Klebanov, Philipp Rümmer, Steffen Schlager, Peter H. Schmitt

Proceedings of the Automated Deduction, 2007

2006

Preface.

Gérard Govaert, Reiner Hähnle, Mohamed Nadif

Soft Comput., 2006

Intelligent Systems and Formal Methods in Software Engineering.

Bernhard Beckert, Tony Hoare, Reiner Hähnle, Douglas R. Smith, Cordell Green, Silvio Ranise, Cesare Tinelli, Thomas Ball, Sriram K. Rajamani

IEEE Intell. Syst., 2006

Integrating Object-Oriented Design and Deductive Verification of Software.

Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt

Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 2006

Automating Verification of Loops by Parallelization.

Tobias Gedell, Reiner Hähnle

Proceedings of the Logic for Programming, 2006

Verifying Object-Oriented Programs with KeY: A Tutorial.

Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Philipp Rümmer, Peter H. Schmitt

Proceedings of the Formal Methods for Components and Objects, 5th International Symposium, 2006

Verification by Parallelization of Parametric Code.

Tobias Gedell, Reiner Hähnle

Proceedings of the Algebraic and Proof-theoretic Aspects of Non-classical Logics, 2006

2005

Integration of informal and formal development of object-oriented safety-critical software.

Richard Bubel, Reiner Hähnle

Int. J. Softw. Tools Technol. Transf., 2005

The KeY tool.

Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager, Peter H. Schmitt

Softw. Syst. Model., 2005

Many-Valued Logic, Partiality, and Abstraction in Formal Specification Languages.

Reiner Hähnle

Log. J. IGPL, 2005

A Theorem Proving Approach to Analysis of Secure Information Flow.

Ádám Darvas, Reiner Hähnle, David Sands

Proceedings of the Security in Pervasive Computing, Second International Conference, 2005

Normal Forms for Knowledge Compilation.

Reiner Hähnle, Neil V. Murray, Erik Rosenthal

Proceedings of the Foundations of Intelligent Systems, 15th International Symposium, 2005

2004

Linearity and regularity with negation normal form.

Reiner Hähnle, Neil V. Murray, Erik Rosenthal

Theor. Comput. Sci., 2004

OCL and Model Driven Engineering.

Jean Bézivin, Thomas Baar, Tracy Gardner, Martin Gogolla, Reiner Hähnle, Heinrich Hußmann, Octavian Patrascoiu, Peter H. Schmitt, Jos Warmer

Proceedings of the UML Modeling Languages and Applications, 2004

Verification of Safety Properties in the Presence of Transactions.

Reiner Hähnle, Wojciech Mostowski

Proceedings of the Construction and Analysis of Safe, 2004

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

Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems, 2003

Fair Constraint Merging Tableaux in Lazy Functional Programming Style.

Reiner Hähnle, Niklas Sörensson

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2003

Using a Software Testing Technique to Improve Theorem Proving.

Reiner Hähnle, Angela Wallenburg

Proceedings of the Formal Approaches to Software Testing, 2003

2002

An Authoring Tool for Informal and Formal Requirements Specifications.

Reiner Hähnle, Kristofer Johannisson, Aarne Ranta

Proceedings of the Fundamental Approaches to Software Engineering, 2002

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

Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Peter H. Schmitt

Proceedings of the Fundamental Approaches to Software Engineering, 2002

2001

Complexity of Many-Valued Logics.

Reiner Hähnle

Proceedings of the 31st IEEE International Symposium on Multiple-Valued Logic, 2001

A Modular Reduction of Regular Logic to Classical Logic.

Ramón Béjar, Reiner Hähnle, Felip Manyà

Proceedings of the 31st IEEE International Symposium on Multiple-Valued Logic, 2001

Ordered Resolution vs. Connection Graph Resolution.

Reiner Hähnle, Neil V. Murray, Erik Rosenthal

Proceedings of the Automated Reasoning, First International Joint Conference, 2001

Tableaux and Related Methods.

Reiner Hähnle

Proceedings of the Handbook of Automated Reasoning (in 2 volumes), 2001

2000

Entwurfgesteuerte Erzeugung von OCL-Constraints.

Thomas Baar, Reiner Hähnle, Theo Sattler, Peter H. Schmitt

Softwaretechnik-Trends, 2000

The KeY Approach: Integrating Object Oriented Design and Formal Verification.

Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt

Proceedings of the Logics in Artificial Intelligence, European Workshop, 2000

The 2-SAT Problem of Regular Signed CNF Formulas.

Bernhard Beckert, Reiner Hähnle, Felip Manyà

Proceedings of the 30th IEEE International Symposium on Multiple-Valued Logic, 2000

Entwurfsmustergesteuerte Erzeugung von OCL-Constraints.

Thomas Baar, Reiner Hähnle, Theo Sattler, Peter H. Schmitt

Proceedings of the Informatik 2000, 2000

Moder Generation Theorem Proving with Finite Interval Constraints.

Reiner Hähnle, Ryuzo Hasegawa, Yasuyuki Shirai

Proceedings of the Computational Logic, 2000

1999

J.UCS Special Issue on Integration of Deduction Systems.

Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt, Wolfgang Reif

J. Univers. Comput. Sci., 1999

Proof Confluent Tableau Calculi.

Reiner Hähnle, Bernhard Beckert

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1999

Transformations between Signed and Classical Clause Logic.

Bernhard Beckert, Reiner Hähnle, Felip Manyà

Proceedings of the 29th IEEE International Symposium on Multiple-Valued Logic, 1999

1998

Commodious Axiomatization of Quantifiers in Multiple-Valued Logic.

Reiner Hähnle

Stud Logica, 1998

Simplification of Many-Valued Logic Formulas Using Anti-Links.

Bernhard Beckert, Reiner Hähnle, Gonzalo Escalada-Imaz

J. Log. Comput., 1998

Integrierter Deduktiver Software-Entwurf.

Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt

Künstliche Intell., 1998

Some Remarks on Completeness, Connection Graph Resolution and Link Deletion.

Reiner Hähnle, Neil V. Murray, Erik Rosenthal

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1998

1997

Proof theory of many-valued logic--linear optimization--logic design: connections and interactions.

Reiner Hähnle

Soft Comput., 1997

Fast Subsumption Checks Using Anti-Links.

Anavai Ramesh, Bernhard Beckert, Reiner Hähnle, Neil V. Murray

J. Autom. Reason., 1997

Ordered Tableaux: Extensions and Applications.

Reiner Hähnle, Christian Pape

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1997

Restart Tableaux with Selection Function.

Christian Pape, Reiner Hähnle

Proceedings of the Computational Logic and Proof Theory, 5th Kurt Gödel Colloquium, 1997

Completeness for Linear Regular Negation Normal Form Inference Systems.

Reiner Hähnle, Neil V. Murray, Erik Rosenthal

Proceedings of the Foundations of Intelligent Systems, 10th International Symposium, 1997

1996

A-Ordered Tableaux.

Reiner Hähnle, Stefan Klingenbeck

J. Log. Comput., 1996

Exploiting Data Dependencies in Many-Valued Logics.

Reiner Hähnle

J. Appl. Non Class. Logics, 1996

The Tableau-based Theorem Prover ₃T^AP Version 4.0.

Bernhard Beckert, Reiner Hähnle, Peter Oel, Martin Sulzmann

Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

1995

Deduction by Combining Semantic Tableaux and Integer Programming.

Bernhard Beckert, Reiner Hähnle

Proceedings of the Computer Science Logic, 9th International Workshop, 1995

1994

Short Conjunctive Normal Forms in Finitely Valued Logics.

Reiner Hähnle

J. Log. Comput., 1994

The Liberalized delta-Rule in Free Variable Semantic Tableaux.

Reiner Hähnle, Peter H. Schmitt

J. Autom. Reason., 1994

Many-Valued Logic and Mixed Integer Programming.

Reiner Hähnle

Ann. Math. Artif. Intell., 1994

On Anti-Links.

Bernhard Beckert, Reiner Hähnle, Anavai Ramesh, Neil V. Murray

Proceedings of the Logic Programming and Automated Reasoning, 5th International Conference, 1994

Efficient Deduction in Many-Valued Logics.

Reiner Hähnle

Proceedings of the 24th IEEE International Symposium on Multiple-Valued Logic, 1994

Improving Temporal Logic Tableaux Using Integer Constraints.

Reiner Hähnle, Ortrun Ibens

Proceedings of the Temporal Logic, First International Conference, 1994

Semantic Tableaux with Ordering Restrictions.

Stefan Klingenbeck, Reiner Hähnle

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

Automated deduction in multiple-valued logics.

Reiner Hähnle

International series of monographs on computer science 10, Oxford University Press, ISBN: 978-0-19-853989-6, 1994

1993

Automated deduction in multiple-valued logics

Reiner Hähnle

PhD thesis, 1993

Verification of Switch-Level Designs with Many-Valued Logic.

Reiner Hähnle, Werner Kernig

Proceedings of the Logic Programming and Automated Reasoning,4th International Conference, 1993

The Even More Liberalized delta-Rule in Free Variable Semantic Tableaux.

Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt

Proceedings of the Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, 1993

Short CNF in Finitely-Valued Logics.

Reiner Hähnle

Proceedings of the Methodologies for Intelligent Systems, 7th International Symposium, 1993

1992

The Many-Valued Theorem Prover ₃T^AP.

Reiner Hähnle, Bernhard Beckert, Stefan Gerberding, Werner Kernig

IWBS Report, 1992

Analytic Tableau and Integer Programming (Extended Abstract).

Reiner Hähnle

Proceedings of the Workshop Theorem Proving with Analytic Tableaux and Related Methods, 1992

An Improved Method for Adding Equality to Free Variable Semantic Tableaux.

Bernhard Beckert, Reiner Hähnle

Proceedings of the Automated Deduction, 1992

The Tableau-Based Theorem Prover ₃T^AP for Multi-Valued Logics.

Bernhard Beckert, Stefan Gerberding, Reiner Hähnle, Werner Kernig

Proceedings of the Automated Deduction, 1992

A New Translation from Deduction into Integer Programming.

Reiner Hähnle

Proceedings of the Artificial Intelligence and Symbolic Mathematical Computation, 1992

1991

Uniform Notation of Tableau Rules for Multiple-Valued Logics.

Reiner Hähnle

Proceedings of the 21st International Symposium on Multiple-Valued Logic, 1991

1990

Spezifikation eines Theorembeweisers für dreiwertige First-Order Logik.

Reiner Hähnle

IWBS Report, 1990

Towards an Efficient Tableau Proof Procedure for Multiple-Valued Logics.

Reiner Hähnle

Proceedings of the Computer Science Logic, 4th Workshop, 1990

1986

An Interactive Verification System Based on Dynamic Logic.

Reiner Hähnle, Maritta Heisel, Wolfgang Reif, Werner Stephan

Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986