Reiner Hähnle

ORCID

Publication Activity (10 Years)

Years Active: 1986-2024
Publications (10 Years): 64

Top Venues

ISoLA (2)

CoRR

Int. J. Softw. Tools Technol. Transf.

FASE

Publications

Dominic Steinhöfel, Reiner Hähnle
Schematic Program Proofs with Abstract Execution. J. Autom. Reason. 68 (2) (2024)
Reiner Hähnle, Ludovic Henrio
Provably Fair Cooperative Scheduling. Art Sci. Eng. Program. 8 (2) (2024)
Adele Veschetti, Richard Bubel, Reiner Hähnle
SmartML: Towards a Modeling Language for Smart Contracts. CoRR (2024)
Crystal Chang Din, Reiner Hähnle, Ludovic Henrio, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa
Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages. ACM Trans. Program. Lang. Syst. 46 (1) (2024)
Richard Bubel, Dilian Gurov, Reiner Hähnle, Marco Scaletta
Trace-based Deductive Verification. LPAR (2023)
Reiner Hähnle, Ludovic Henrio
Provably Fair Cooperative Scheduling. CoRR (2023)
Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt, Luca Paolini
Variability modules. J. Syst. Softw. 195 (2023)
Reiner Hähnle, Eduard Kamburjan, Marco Scaletta
Context-aware Trace Contracts. CoRR (2023)
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
Context, Composition, Automation, and Communication - The C2AC Roadmap for Modeling and Simulation. CoRR (2023)
Reiner Hähnle, Marco Scaletta, Eduard Kamburjan
Herding CATs. SEFM (2023)
Richard Bubel, Dilian Gurov, Reiner Hähnle, Marco Scaletta
Towards Trace-based Deductive Verification (Tech Report). CoRR (2022)
Lukas Grätz, Reiner Hähnle, Richard Bubel
Finding Semantic Bugs Fast. FASE (2022)
Asmae Heydari Tabar, Richard Bubel, Reiner Hähnle
Automatic Loop Invariant Generation for Data Dependence Analysis. FormaliSE@ICSE (2022)
Dilian Gurov, Reiner Hähnle, Marieke Huisman, Giles Reger, Christian Lidström
Principles of Contract Languages (Dagstuhl Seminar 22451). Dagstuhl Reports 12 (11) (2022)
Crystal Chang Din, Reiner Hähnle, Ludovic Henrio, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa
LAGC Semantics of Concurrent Programming Languages. CoRR (2022)
Serge Demeyer, Reiner Hähnle, Heiko Mantel
Automating Software Re-engineering: Introduction to the ISoLA 2022 Track. ISoLA (2) (2022)
Eduard Kamburjan, Stefan Mitsch, Reiner Hähnle
A Hybrid Programming Language for Formal Modeling and Verification of Hybrid Systems. Leibniz Trans. Embed. Syst. 8 (2) (2022)
Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich
Towards a Usable and Sustainable Deductive Verification Tool. ISoLA (2) (2022)
Nathan Wasser, Asmae Heydari Tabar, Reiner Hähnle
Automated model extraction: From non-deterministic C code to active objects. Sci. Comput. Program. 204 (2021)
Elvira Albert, Reiner Hähnle, Alicia Merayo, Dominic Steinhöfel
Certified Abstract Cost Analysis. FASE (2021)
Marco Scaletta, Reiner Hähnle, Dominic Steinhöfel, Richard Bubel
Delta-based verification of software product families. GPCE (2021)
Maya Retno Ayu Setyautami, Reiner Hähnle
An Architectural Pattern to Realize Multi Software Product Lines in Java. VaMoS (2021)
Reiner Hähnle, Wil M. P. van der Aalst
Automated model analysis tools and techniques presented at FASE 2019. Int. J. Softw. Tools Technol. Transf. 23 (3) (2021)
Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt, Luca Paolini
Variability modules for Java-like languages. SPLC (A) (2021)
Reiner Hähnle, Anton W. Haubner, Eduard Kamburjan
Locally Static, Globally Dynamic Session Types for Active Objects. Gabbrielli's Festschrift (2020)
Reiner Hähnle, Asmae Heydari Tabar, Arya Mazaheri, Mohammad Norouzi, Dominic Steinhöfel, Felix Wolf
Safer Parallelization. ISoLA (2) (2020)
Dilian Gurov, Reiner Hähnle, Eduard Kamburjan
Who Carries the Burden of Modularity? - Introduction to ISoLA 2020 Track on Modularity and (De-)composition in Verification. ISoLA (1) (2020)
Serge Demeyer, Reiner Hähnle, Heiko Mantel
Automating Software Re-engineering - Introduction to the ISoLA 2020 Track. ISoLA (2) (2020)
Eduard Kamburjan, Stefan Mitsch, Martina Kettenbach, Reiner Hähnle
Modeling and Verifying Cyber-Physical Systems with Hybrid Active Objects. CoRR (2019)
Nathan Wasser, Asmae Heydari Tabar, Reiner Hähnle
Modeling Non-deterministic C Code with Active Objects. FSEN (2019)
Martin Hentschel, Richard Bubel, Reiner Hähnle
The Symbolic Execution Debugger (SED): a platform for interactive symbolic execution, debugging, verification and more. Int. J. Softw. Tools Technol. Transf. 21 (5) (2019)
Stefan Dillmann, Reiner Hähnle
Automated Planning of ETCS Tracks. RSSRail (2019)
Eduard Kamburjan, Crystal Chang Din, Reiner Hähnle, Einar Broch Johnsen
Asynchronous Cooperative Contracts for Cooperative Scheduling. SEFM (2019)
Dominic Steinhöfel, Reiner Hähnle
Abstract Execution. FM (2019)
Dominic Steinhöfel, Reiner Hähnle
The Trace Modality. DaLí (2019)
Richard Bubel, Reiner Hähnle, Asmae Heydari Tabar
A Program Logic for Dependence Analysis. IFM (2019)
Stijn de Gouw, Frank S. de Boer, Richard Bubel, Reiner Hähnle, Jurriaan Rot, Dominic Steinhöfel
Verifying OpenJDK's Sort Method for Generic Collections. J. Autom. Reason. 62 (1) (2019)
Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt
Interoperability of software product line variants. SPLC (2018)
Frank S. de Boer, Elena Giachino, Stijn de Gouw, Reiner Hähnle, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun, Gianluigi Zavattaro
Analysis of SLA Compliance in the Cloud - An Automated, Model-based Approach. VORTEX@ECOOP/ISSTA (2018)
Eduard Kamburjan, Reiner Hähnle, Sebastian Schön
Formal modeling and analysis of railway operations with active objects. Sci. Comput. Program. 166 (2018)
Dominic Steinhöfel, Reiner Hähnle
Modular, Correct Compilation with Automatic Soundness Proofs. ISoLA (1) (2018)
Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt
Same Same But Different: Interoperability of Software Product Line Variants. Principled Software Development (2018)
Reiner Hähnle, Bernhard Steffen
Constraint-Based Behavioral Consistency of Evolving Software Systems. Machine Learning for Dynamic Software Analysis (2018)
Eduard Kamburjan, Reiner Hähnle
Prototyping Formal System Models with Active Objects. ICE (2018)
Ferruccio Damiani, Reiner Hähnle, Michael Lienhardt
Abstraction Refinement for the Analysis of Software Product Lines. TAP@STAF (2017)
Crystal Chang Din, Reiner Hähnle, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa
Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages. TABLEAUX (2017)
Quoc Huy Do, Richard Bubel, Reiner Hähnle
Automatic detection and demonstrator generation for information flow leaks in object-oriented programs. Comput. Secur. 67 (2017)
Eduard Kamburjan, Reiner Hähnle
Deductive Verification of Railway Operations. RSSRail (2017)
Reiner Hähnle, Marieke Huisman
24 Challenges in Deductive Software Verification. ARCADE@CADE (2017)
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
A Survey of Active Object Languages. ACM Comput. Surv. 50 (5) (2017)
Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt
A Unified and Formal Programming Model for Deltas and Traits. FASE (2017)
Quoc Huy Do, Richard Bubel, Reiner Hähnle
Inferring Secrets by Guided Experiments. ICTAC (2017)
Maurice H. ter Beek, Reiner Hähnle, Ina Schaefer
Correctness-by-Construction and Post-hoc Verification: Friends or Foes? ISoLA (1) (2016)
Martin Hentschel, Reiner Hähnle, Richard Bubel
An empirical evaluation of two user interfaces of an interactive program verifier. ASE (2016)
Martin Hentschel, Reiner Hähnle, Richard Bubel
Can Formal Methods Improve the Efficiency of Code Reviews? IFM (2016)
Martin Hentschel, Reiner Hähnle, Richard Bubel
The interactive verification debugger: effective understanding of interactive proof attempts. ASE (2016)
Reiner Hähnle, Radu Muschevici
Towards Incremental Validation of Railway Systems. ISoLA (2) (2016)
Maya R. A. Setyautami, Reiner Hähnle, Radu Muschevici, Ade Azurat
A UML profile for delta-oriented programming to support software product line engineering. SPLC (2016)
Eduard Kamburjan, Reiner Hähnle
Uniform Modeling of Railway Operations. FTSCS (2016)
Reiner Hähnle, Nathan Wasser, Richard Bubel
Array Abstraction with Symbolic Pivots. Theory and Practice of Formal Methods (2016)
Amel Bennaceur, Dimitra Giannakopoulou, Reiner Hähnle, Karl Meinke
Machine Learning for Dynamic Software Analysis: Potentials and Limits (Dagstuhl Seminar 16172). Dagstuhl Reports 6 (4) (2016)
Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Germán Puebla, Guillermo Román-Díez
A formal verification framework for static analysis - As well as its instantiation to the resource analyzer COSTA and formal verification tool KeY. Softw. Syst. Model. 15 (4) (2016)
Dominic Scheurer, Reiner Hähnle, Richard Bubel
A General Lattice Model for Merging Symbolic Execution Branches. ICFEM (2016)
Richard Bubel, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Olaf Owe, Ina Schaefer, Ingrid Chieh Yu
Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct. LNCS Trans. Found. Mastering Chang. 1 (2016)
Richard Bubel, Crystal Chang Din, Reiner Hähnle, Keiko Nakata
A Dynamic Logic with Traces and Coinduction. TABLEAUX (2015)
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
Testing abstract behavioral specifications. Int. J. Softw. Tools Technol. Transf. 17 (1) (2015)
Stijn de Gouw, Jurriaan Rot, Frank S. de Boer, Richard Bubel, Reiner Hähnle
OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case. CAV (1) (2015)
Crystal Chang Din, Richard Bubel, Reiner Hähnle
KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS. CADE (2015)
Crystal Chang Din, Silvia Lizeth Tapia Tarifa, Reiner Hähnle, Einar Broch Johnsen
History-Based Specification and Verification of Scalable Concurrent and Distributed Systems. ICFEM (2015)
Quoc Huy Do, Richard Bubel, Reiner Hähnle
Exploit Generation for Information Flow Leaks in Object-Oriented Programs. SEC (2015)
Reiner Hähnle, Einar Broch Johnsen
Designing Resource-Aware Cloud Applications. Computer 48 (6) (2015)
Martin Hentschel, Reiner Hähnle, Richard Bubel
Visualizing Unbounded Symbolic Execution. TAP@STAF (2014)
Bernhard Beckert, Reiner Hähnle
Reasoning and Verification: State of the Art and Current Trends. IEEE Intell. Syst. 29 (1) (2014)
Richard Bubel, Antonio Flores-Montoya, Reiner Hähnle
Analysis of Executable Software Models. SFM (2014)
Elvira Albert, Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Peter Y. H. Wong
Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS. Serv. Oriented Comput. Appl. 8 (4) (2014)
Antonio Flores-Montoya, Reiner Hähnle
Resource Analysis of Complex Programs with Cost Equations. APLAS (2014)
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
The KeY Platform for Verification and Analysis of Java Programs. VSTTE (2014)
Martin Hentschel, Stefan Käsdorf, Reiner Hähnle, Richard Bubel
An Interactive Verification Tool Meets an IDE. IFM (2014)
Richard Bubel, Reiner Hähnle, Maria Pelevina
Fully Abstract Operation Contracts. ISoLA (2) (2014)
Reiner Hähnle, Einar Broch Johnsen
Introduction to Track on Engineering Virtualized Services. ISoLA (2) (2014)
Martin Hentschel, Richard Bubel, Reiner Hähnle
Symbolic Execution Debugger (SED). RV (2014)
Ran Ji, Reiner Hähnle, Richard Bubel
Program Transformation Based on Symbolic Execution and Deduction. SEFM (2013)
Elvira Albert, Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, Cosimo Laneve
Engineering virtualized services. NordiCloud (2013)
Nikolaj Bjørner, Reiner Hähnle, Tobias Nipkow, Christoph Weidenbach
Deduction and Arithmetic (Dagstuhl Seminar 13411). Dagstuhl Reports 3 (10) (2013)
Reiner Hähnle, Ina Schaefer, Richard Bubel
Reuse in Software Verification by Abstract Method Calls. CADE (2013)
Reiner Hähnle, Ina Schaefer
A Liskov Principle for Delta-Oriented Programming. ISoLA (1) (2012)
Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Guillermo Román-Díez
Verified Resource Guarantees for Heap Manipulating Programs. FASE (2012)
Reiner Hähnle
The Abstract Behavioral Specification Language: A Tutorial Introduction. FMCO (2012)
Reiner Hähnle, Ina Schaefer
Adaptable and Evolving Software for Eternal Systems - (Track Summary). ISoLA (1) (2012)
Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, Rudolf Schlatte, Peter Y. H. Wong
Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study. ESOCC (2012)
Jürgen Giesl, Reiner Hähnle
Preface: Special Issue of Selected Extended Papers of IJCAR 2010. J. Autom. Reason. 47 (4) (2011)
Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Germán Puebla, Guillermo Román-Díez
Verified resource guarantees using COSTA and KeY. PEPM (2011)
Dave Clarke, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer, Jan Schäfer, Rudolf Schlatte, Peter Y. H. Wong
Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language. SFM (2011)
Ina Schaefer, Reiner Hähnle
Formal Methods in Software Product Line Engineering. Computer 44 (2) (2011)
Richard Bubel, Reiner Hähnle, Ulrich Geilmann
A Formalisation of Java Strings for Program Specification and Verification. SEFM (2011)
Reiner Hähnle, Michiel Helvensteijn, Einar Broch Johnsen, Michael Lienhardt, Davide Sangiorgi, Ina Schaefer, Peter Y. H. Wong
HATS Abstract Behavioral Specification: The Architectural View. FMCO (2011)
Dave Clarke, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Germán Puebla, Balthasar Weitzel, Peter Y. H. Wong
HATS - A Formal Software Product Line Engineering Methodology. SPLC Workshops (2010)
Reiner Hähnle
HATS: Highly Adaptable and Trustworthy Software Using Formal Methods. ISoLA (2) (2010)
Bernhard Beckert, Reiner Hähnle
Tests and Proofs - Preface of the Special Issue. J. Autom. Reason. 45 (4) (2010)
Einar Broch Johnsen, Reiner Hähnle, Jan Schäfer, Rudolf Schlatte, Martin Steffen
ABS: A Core Language for Abstract Behavioral Specification. FMCO (2010)

Reiner Hähnle.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Reiner Hähnle