Reiner Hähnle

228 papers A* 3A 11B 41C 12Misc 1Journal 59Unranked 78

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	RustyDL: A Program Logic for Rust. CoRR Daniel Drodt, Reiner Hähnle
2025	B	`conf`	A Sequent Calculus For Trace Formula Implication. TABLEAUX Niklas Heidler, Reiner Hähnle
2025	J	`jnl`	A Sequent Calculus For Trace Formula Implication. CoRR Niklas Heidler, Reiner Hähnle
2025	B	`conf`	An Expressive Trace Logic for Recursive Programs. FSCD Dilian Gurov, Reiner Hähnle
2025	—	`conf`	An LAGC Semantics for Timed Rebeca. Rebeca for Actor Analysis in Action Reiner Hähnle, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
2025	J	`jnl`	Certified Cost Bounds for Abstract Programs. ACM Trans. Softw. Eng. Methodol. Elvira Albert, Reiner Hähnle, Alicia Merayo, Dominic Steinhöfel
2025	J	`jnl`	End-to-end development of product lines for web systems. Int. J. Softw. Tools Technol. Transf. Maya R. A. Setyautami, Reiner Hähnle, Ade Azurat, Eko K. Budiardjo
2025	—	`conf`	Equivalent Mutants: Deductive Verification to the Rescue. ICSTW Serge Demeyer, Reiner Hähnle
2025	B	`conf`	Formal Verification of Legal Contracts: A Translation-Based Approach. iFM Reiner Hähnle, Cosimo Laneve, Adele Veschetti
2025	J	`jnl`	Formal Verification of Legal Contracts: A Translation-based Approach (Extended Version). CoRR Reiner Hähnle, Cosimo Laneve, Adele Veschetti
2025	C	`conf`	Modeling Variability in Complex Software Systems. Software Engineering Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt, Luca Paolini
2025	—	`conf`	SMT-Based Verification of Railway Plannings. RSSRail Stefan Dillmann, Reiner Hähnle
2025	—	`conf`	The Many Uses of Dynamic Logic. Go Where the Bugs Are Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich
2024	B	`conf`	A Formal Modeling Language for Smart Contracts. SEFM Adele Veschetti, Richard Bubel, Reiner Hähnle
2024	—	`book`	Active Object Languages: Current Research Trends Active Object Languages: Current Research Trends Frank S. de Boer, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Eduard Kamburjan
2024	J	`jnl`	An Expressive Trace Logic for Recursive Programs. CoRR Dilian Gurov, Reiner Hähnle
2024	—	`conf`	Automating Software Re-Engineering Introduction to the ISoLA 2024 Track. ISoLA (4) Serge Demeyer, Reiner Hähnle, Heiko Mantel
2024	J	`jnl`	Context, Composition, Automation, and Communication: The C ACM Trans. Model. Comput. Simul. 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
2024	—	`conf`	Context-Aware Contracts as a Lingua Franca for Behavioral Specification. ISoLA (3) Marco Scaletta, Reiner Hähnle
2024	—	`ch.`	Context-Aware Trace Contracts. Active Object Languages: Current Research Trends Reiner Hähnle, Eduard Kamburjan, Marco Scaletta
2024	J	`jnl`	Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages. ACM Trans. Program. Lang. Syst. Crystal Chang Din, Reiner Hähnle, Ludovic Henrio, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa
2024	J	`jnl`	Provably Fair Cooperative Scheduling. Art Sci. Eng. Program. Reiner Hähnle, Ludovic Henrio
2024	J	`jnl`	Schematic Program Proofs with Abstract Execution. J. Autom. Reason. Dominic Steinhöfel, Reiner Hähnle
2024	C	`conf`	SmartML: Enhancing Security and Reliability in Smart Contract Development. DLT Adele Veschetti, Richard Bubel, Reiner Hähnle
2024	J	`jnl`	SmartML: Towards a Modeling Language for Smart Contracts. CoRR Adele Veschetti, Richard Bubel, Reiner Hähnle
2024	—	`conf`	The Java Verification Tool KeY:A Tutorial. FM (2) Bernhard Beckert, Richard Bubel, Daniel Drodt, Reiner Hähnle, Florian Lanzinger, Wolfram Pfeifer, Mattias Ulbrich, Alexander Weigl
2023	J	`jnl`	Context, Composition, Automation, and Communication - The C2AC Roadmap for Modeling and Simulation. CoRR 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
2023	J	`jnl`	Context-aware Trace Contracts. CoRR Reiner Hähnle, Eduard Kamburjan, Marco Scaletta
2023	B	`conf`	Herding CATs. SEFM Reiner Hähnle, Marco Scaletta, Eduard Kamburjan
2023	J	`jnl`	Provably Fair Cooperative Scheduling. CoRR Reiner Hähnle, Ludovic Henrio
2023	B	`conf`	Trace-based Deductive Verification. LPAR Richard Bubel, Dilian Gurov, Reiner Hähnle, Marco Scaletta
2023	J	`jnl`	Variability modules. J. Syst. Softw. Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt, Luca Paolini
2022	J	`jnl`	A Hybrid Programming Language for Formal Modeling and Verification of Hybrid Systems. Leibniz Trans. Embed. Syst. Eduard Kamburjan, Stefan Mitsch, Reiner Hähnle
2022	—	`conf`	Automatic Loop Invariant Generation for Data Dependence Analysis. FormaliSE@ICSE Asmae Heydari Tabar, Richard Bubel, Reiner Hähnle
2022	—	`conf`	Automating Software Re-engineering: Introduction to the ISoLA 2022 Track. ISoLA (2) Serge Demeyer, Reiner Hähnle, Heiko Mantel
2022	—	`ch.`	Dijkstra's Legacy on Program Verification. Edsger Wybe Dijkstra Reiner Hähnle
2022	B	`conf`	Finding Semantic Bugs Fast. FASE Lukas Grätz, Reiner Hähnle, Richard Bubel
2022	J	`jnl`	LAGC Semantics of Concurrent Programming Languages. CoRR Crystal Chang Din, Reiner Hähnle, Ludovic Henrio, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa
2022	J	`jnl`	Principles of Contract Languages (Dagstuhl Seminar 22451). Dagstuhl Reports Dilian Gurov, Reiner Hähnle, Marieke Huisman, Giles Reger, Christian Lidström
2022	J	`jnl`	Towards Trace-based Deductive Verification (Tech Report). CoRR Richard Bubel, Dilian Gurov, Reiner Hähnle, Marco Scaletta
2022	—	`conf`	Towards a Usable and Sustainable Deductive Verification Tool. ISoLA (2) Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich
2021	—	`conf`	An Architectural Pattern to Realize Multi Software Product Lines in Java. VaMoS Maya Retno Ayu Setyautami, Reiner Hähnle
2021	J	`jnl`	Automated model analysis tools and techniques presented at FASE 2019. Int. J. Softw. Tools Technol. Transf. Reiner Hähnle, Wil M. P. van der Aalst
2021	J	`jnl`	Automated model extraction: From non-deterministic C code to active objects. Sci. Comput. Program. Nathan Wasser, Asmae Heydari Tabar, Reiner Hähnle
2021	B	`conf`	Certified Abstract Cost Analysis. FASE Elvira Albert, Reiner Hähnle, Alicia Merayo, Dominic Steinhöfel
2021	B	`conf`	Delta-based verification of software product families. GPCE Marco Scaletta, Reiner Hähnle, Dominic Steinhöfel, Richard Bubel
2021	—	`conf`	Variability modules for Java-like languages. SPLC (A) Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt, Luca Paolini
2020	—	`conf`	Automating Software Re-engineering - Introduction to the ISoLA 2020 Track. ISoLA (2) Serge Demeyer, Reiner Hähnle, Heiko Mantel
2020	—	`ch.`	Behavioral Contracts for Cooperative Scheduling. 20 Years of KeY Eduard Kamburjan, Crystal Chang Din, Reiner Hähnle, Einar Broch Johnsen
2020	—	`book`	Deductive Software Verification: Future Perspectives - Reflections on the Occasion of 20 Years of KeY 20 Years of KeY Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich
2020	—	`conf`	Locally Static, Globally Dynamic Session Types for Active Objects. Gabbrielli's Festschrift Reiner Hähnle, Anton W. Haubner, Eduard Kamburjan
2020	—	`conf`	Safer Parallelization. ISoLA (2) Reiner Hähnle, Asmae Heydari Tabar, Arya Mazaheri, Mohammad Norouzi, Dominic Steinhöfel, Felix Wolf
2020	—	`conf`	Who Carries the Burden of Modularity? - Introduction to ISoLA 2020 Track on Modularity and (De-)composition in Verification. ISoLA (1) Dilian Gurov, Reiner Hähnle, Eduard Kamburjan
2019	B	`conf`	A Program Logic for Dependence Analysis. IFM Richard Bubel, Reiner Hähnle, Asmae Heydari Tabar
2019	B	`conf`	Abstract Execution. FM Dominic Steinhöfel, Reiner Hähnle
2019	B	`conf`	Asynchronous Cooperative Contracts for Cooperative Scheduling. SEFM Eduard Kamburjan, Crystal Chang Din, Reiner Hähnle, Einar Broch Johnsen
2019	—	`conf`	Automated Planning of ETCS Tracks. RSSRail Stefan Dillmann, Reiner Hähnle
2019	—	`ch.`	Deductive Software Verification: From Pen-and-Paper Proofs to Industrial Tools. Computing and Software Science Reiner Hähnle, Marieke Huisman
2019	B	`ed.`	Fundamental Approaches to Software Engineering - 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings FASE Reiner Hähnle, Wil M. P. van der Aalst
2019	—	`conf`	Modeling Non-deterministic C Code with Active Objects. FSEN Nathan Wasser, Asmae Heydari Tabar, Reiner Hähnle
2019	J	`jnl`	Modeling and Verifying Cyber-Physical Systems with Hybrid Active Objects. CoRR Eduard Kamburjan, Stefan Mitsch, Martina Kettenbach, Reiner Hähnle
2019	J	`jnl`	The Symbolic Execution Debugger (SED): a platform for interactive symbolic execution, debugging, verification and more. Int. J. Softw. Tools Technol. Transf. Martin Hentschel, Richard Bubel, Reiner Hähnle
2019	—	`conf`	The Trace Modality. DaLí Dominic Steinhöfel, Reiner Hähnle
2019	J	`jnl`	Verifying OpenJDK's Sort Method for Generic Collections. J. Autom. Reason. Stijn de Gouw, Frank S. de Boer, Richard Bubel, Reiner Hähnle, Jurriaan Rot, Dominic Steinhöfel
2018	—	`conf`	Analysis of SLA Compliance in the Cloud - An Automated, Model-based Approach. VORTEX@ECOOP/ISSTA Frank S. de Boer, Elena Giachino, Stijn de Gouw, Reiner Hähnle, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun, Gianluigi Zavattaro
2018	—	`conf`	Constraint-Based Behavioral Consistency of Evolving Software Systems. Machine Learning for Dynamic Software Analysis Reiner Hähnle, Bernhard Steffen
2018	J	`jnl`	Formal modeling and analysis of railway operations with active objects. Sci. Comput. Program. Eduard Kamburjan, Reiner Hähnle, Sebastian Schön
2018	B	`conf`	Interoperability of software product line variants. SPLC Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt
2018	—	`ed.`	Machine Learning for Dynamic Software Analysis: Potentials and Limits - International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers Machine Learning for Dynamic Software Analysis Amel Bennaceur, Reiner Hähnle, Karl Meinke
2018	—	`conf`	Modular, Correct Compilation with Automatic Soundness Proofs. ISoLA (1) Dominic Steinhöfel, Reiner Hähnle
2018	—	`conf`	Prototyping Formal System Models with Active Objects. ICE Eduard Kamburjan, Reiner Hähnle
2018	—	`conf`	Same Same But Different: Interoperability of Software Product Line Variants. Principled Software Development Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt
2017	—	`conf`	24 Challenges in Deductive Software Verification. ARCADE@CADE Reiner Hähnle, Marieke Huisman
2017	J	`jnl`	A Survey of Active Object Languages. ACM Comput. Surv. 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
2017	B	`conf`	A Unified and Formal Programming Model for Deltas and Traits. FASE Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt
2017	—	`conf`	Abstraction Refinement for the Analysis of Software Product Lines. TAP@STAF Ferruccio Damiani, Reiner Hähnle, Michael Lienhardt
2017	J	`jnl`	Automatic detection and demonstrator generation for information flow leaks in object-oriented programs. Comput. Secur. Quoc Huy Do, Richard Bubel, Reiner Hähnle
2017	—	`conf`	Deductive Verification of Railway Operations. RSSRail Eduard Kamburjan, Reiner Hähnle
2017	C	`conf`	Inferring Secrets by Guided Experiments. ICTAC Quoc Huy Do, Richard Bubel, Reiner Hähnle
2017	B	`conf`	Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages. TABLEAUX Crystal Chang Din, Reiner Hähnle, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa
2016	C	`conf`	A General Lattice Model for Merging Symbolic Execution Branches. ICFEM Dominic Scheurer, Reiner Hähnle, Richard Bubel
2016	B	`conf`	A UML profile for delta-oriented programming to support software product line engineering. SPLC Maya R. A. Setyautami, Reiner Hähnle, Radu Muschevici, Ade Azurat
2016	J	`jnl`	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. Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Germán Puebla, Guillermo Román-Díez
2016	—	`ch.`	Abstract Interpretation. Deductive Software Verification Nathan Wasser, Reiner Hähnle, Richard Bubel
2016	A*	`conf`	An empirical evaluation of two user interfaces of an interactive program verifier. ASE Martin Hentschel, Reiner Hähnle, Richard Bubel
2016	—	`conf`	Array Abstraction with Symbolic Pivots. Theory and Practice of Formal Methods Reiner Hähnle, Nathan Wasser, Richard Bubel
2016	B	`conf`	Can Formal Methods Improve the Efficiency of Code Reviews? IFM Martin Hentschel, Reiner Hähnle, Richard Bubel
2016	—	`conf`	Correctness-by-Construction and Post-hoc Verification: Friends or Foes? ISoLA (1) Maurice H. ter Beek, Reiner Hähnle, Ina Schaefer
2016	—	`ch.`	Debugging and Visualization. Deductive Software Verification Martin Hentschel, Reiner Hähnle, Richard Bubel
2016	—	`book`	Deductive Software Verification - The KeY Book - From Theory to Practice Deductive Software Verification Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich
2016	—	`ch.`	Formal Verification with KeY: A Tutorial. Deductive Software Verification Bernhard Beckert, Reiner Hähnle, Martin Hentschel, Peter H. Schmitt
2016	—	`ch.`	KeY-Hoare. Deductive Software Verification Richard Bubel, Reiner Hähnle
2016	J	`jnl`	Machine Learning for Dynamic Software Analysis: Potentials and Limits (Dagstuhl Seminar 16172). Dagstuhl Reports Amel Bennaceur, Dimitra Giannakopoulou, Reiner Hähnle, Karl Meinke
2016	J	`jnl`	Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct. LNCS Trans. Found. Mastering Chang. Richard Bubel, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Olaf Owe, Ina Schaefer, Ingrid Chieh Yu
2016	—	`ch.`	Quo Vadis Formal Verification? Deductive Software Verification Reiner Hähnle
2016	A*	`conf`	The interactive verification debugger: effective understanding of interactive proof attempts. ASE Martin Hentschel, Reiner Hähnle, Richard Bubel
2016	—	`conf`	Towards Incremental Validation of Railway Systems. ISoLA (2) Reiner Hähnle, Radu Muschevici
2016	—	`conf`	Uniform Modeling of Railway Operations. FTSCS Eduard Kamburjan, Reiner Hähnle
2015	B	`conf`	A Dynamic Logic with Traces and Coinduction. TABLEAUX Richard Bubel, Crystal Chang Din, Reiner Hähnle, Keiko Nakata
2015	J	`jnl`	Designing Resource-Aware Cloud Applications. Computer Reiner Hähnle, Einar Broch Johnsen
2015	Misc	`conf`	Exploit Generation for Information Flow Leaks in Object-Oriented Programs. SEC Quoc Huy Do, Richard Bubel, Reiner Hähnle
2015	C	`conf`	History-Based Specification and Verification of Scalable Concurrent and Distributed Systems. ICFEM Crystal Chang Din, Silvia Lizeth Tapia Tarifa, Reiner Hähnle, Einar Broch Johnsen
2015	A	`conf`	KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS. CADE Crystal Chang Din, Richard Bubel, Reiner Hähnle
2015	—	`conf`	OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case. CAV (1) Stijn de Gouw, Jurriaan Rot, Frank S. de Boer, Richard Bubel, Reiner Hähnle
2015	J	`jnl`	Testing abstract behavioral specifications. Int. J. Softw. Tools Technol. Transf. 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
2014	B	`conf`	An Interactive Verification Tool Meets an IDE. IFM Martin Hentschel, Stefan Käsdorf, Reiner Hähnle, Richard Bubel
2014	—	`conf`	Analysis of Executable Software Models. SFM Richard Bubel, Antonio Flores-Montoya, Reiner Hähnle
2014	—	`ed.`	Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures SFM Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer
2014	J	`jnl`	Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS. Serv. Oriented Comput. Appl. Elvira Albert, Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Peter Y. H. Wong
2014	—	`conf`	Fully Abstract Operation Contracts. ISoLA (2) Richard Bubel, Reiner Hähnle, Maria Pelevina
2014	—	`conf`	Introduction to Track on Engineering Virtualized Services. ISoLA (2) Reiner Hähnle, Einar Broch Johnsen
2014	J	`jnl`	Reasoning and Verification: State of the Art and Current Trends. IEEE Intell. Syst. Bernhard Beckert, Reiner Hähnle
2014	B	`conf`	Resource Analysis of Complex Programs with Cost Equations. APLAS Antonio Flores-Montoya, Reiner Hähnle
2014	B	`conf`	Symbolic Execution Debugger (SED). RV Martin Hentschel, Richard Bubel, Reiner Hähnle
2014	—	`conf`	The KeY Platform for Verification and Analysis of Java Programs. VSTTE 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
2014	—	`conf`	Visualizing Unbounded Symbolic Execution. TAP@STAF Martin Hentschel, Reiner Hähnle, Richard Bubel
2013	J	`jnl`	Deduction and Arithmetic (Dagstuhl Seminar 13411). Dagstuhl Reports Nikolaj S. Bjørner, Reiner Hähnle, Tobias Nipkow, Christoph Weidenbach
2013	—	`conf`	Engineering virtualized services. NordiCloud Elvira Albert, Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, Cosimo Laneve
2013	—	`ed.`	Formal Methods for Components and Objects - 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures FMCO Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue
2013	B	`conf`	Program Transformation Based on Symbolic Execution and Deduction. SEFM Ran Ji, Reiner Hähnle, Richard Bubel
2013	A	`conf`	Reuse in Software Verification by Abstract Method Calls. CADE Reiner Hähnle, Ina Schaefer, Richard Bubel
2012	—	`conf`	A Liskov Principle for Delta-Oriented Programming. ISoLA (1) Reiner Hähnle, Ina Schaefer
2012	—	`conf`	Adaptable and Evolving Software for Eternal Systems - (Track Summary). ISoLA (1) Reiner Hähnle, Ina Schaefer
2012	—	`conf`	Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study. ESOCC Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, Rudolf Schlatte, Peter Y. H. Wong
2012	—	`ed.`	Leveraging Applications of Formal Methods, Verification, and Validation - International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers ISoLA Workshops Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen
2012	—	`conf`	The Abstract Behavioral Specification Language: A Tutorial Introduction. FMCO Reiner Hähnle
2012	B	`conf`	Verified Resource Guarantees for Heap Manipulating Programs. FASE Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Guillermo Román-Díez
2011	B	`conf`	A Formalisation of Java Strings for Program Specification and Verification. SEFM Richard Bubel, Reiner Hähnle, Ulrich Geilmann
2011	J	`jnl`	Formal Methods in Software Product Line Engineering. Computer Ina Schaefer, Reiner Hähnle
2011	—	`conf`	HATS Abstract Behavioral Specification: The Architectural View. FMCO Reiner Hähnle, Michiel Helvensteijn, Einar Broch Johnsen, Michael Lienhardt, Davide Sangiorgi, Ina Schaefer, Peter Y. H. Wong
2011	—	`conf`	Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language. SFM Dave Clarke, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer, Jan Schäfer, Rudolf Schlatte, Peter Y. H. Wong
2011	J	`jnl`	Preface: Special Issue of Selected Extended Papers of IJCAR 2010. J. Autom. Reason. Jürgen Giesl, Reiner Hähnle
2011	C	`conf`	Verified resource guarantees using COSTA and KeY. PEPM Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Germán Puebla, Guillermo Román-Díez
2010	A*	`conf`	A visual interactive debugger based on symbolic execution. ASE Reiner Hähnle, Marcus Baum, Richard Bubel, Marcel Rothe
2010	—	`conf`	ABS: A Core Language for Abstract Behavioral Specification. FMCO Einar Broch Johnsen, Reiner Hähnle, Jan Schäfer, Rudolf Schlatte, Martin Steffen
2010	A	`ed.`	Automated Reasoning, 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings IJCAR Jürgen Giesl, Reiner Hähnle
2010	—	`conf`	HATS - A Formal Software Product Line Engineering Methodology. SPLC Workshops Dave Clarke, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Germán Puebla, Balthasar Weitzel, Peter Y. H. Wong
2010	—	`conf`	HATS: Highly Adaptable and Trustworthy Software Using Formal Methods. ISoLA (2) Reiner Hähnle
2010	—	`conf`	Program Specialization via a Software Verification Tool. FMCO Richard Bubel, Reiner Hähnle, Ran Ji
2010	—	`conf`	Specifying Imperative ML-Like Programs Using Dynamic Logic. FoVeOOS Séverine Maingaud, Vincent Balat, Richard Bubel, Reiner Hähnle, Alexandre Miquel
2010	—	`conf`	Task Forces in the EternalS Coordination Action. ISoLA (2) Reiner Hähnle
2010	J	`jnl`	Tests and Proofs - Preface of the Special Issue. J. Autom. Reason. Bernhard Beckert, Reiner Hähnle
2009	—	`conf`	09411 Abstracts Collection - Interaction versus Automation: The two Faces of Deduction. Interaction versus Automation: The two Faces of Deduction Thomas Ball, Jürgen Giesl, Reiner Hähnle, Tobias Nipkow
2009	—	`conf`	09411 Executive Summary - Interaction versus Automation: The two Faces of Deductions. Interaction versus Automation: The two Faces of Deduction Thomas Ball, Jürgen Giesl, Reiner Hähnle, Tobias Nipkow
2009	—	`conf`	Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification. TFM Wolfgang Ahrendt, Richard Bubel, Reiner Hähnle
2009	—	`ed.`	Interaction versus Automation: The two Faces of Deduction, 04.10. - 09.10.2009 Interaction versus Automation: The two Faces of Deduction Thomas Ball, Jürgen Giesl, Reiner Hähnle, Tobias Nipkow
2009	—	`conf`	Interleaving Symbolic Execution and Partial Evaluation. FMCO Richard Bubel, Reiner Hähnle, Ran Ji
2008	—	`conf`	Abstract Interpretation of Symbolic Execution with Explicit State Updates. FMCO Richard Bubel, Reiner Hähnle, Benjamin Weiß
2008	J	`jnl`	Integration of a security type system into a program logic. Theor. Comput. Sci. Reiner Hähnle, Jing Pan, Philipp Rümmer, Dennis Walter
2008	—	`conf`	Specification Predicates with Explicit Dependency Information. VERIFY Richard Bubel, Reiner Hähnle, Peter H. Schmitt
2008	C	`ed.`	Tests and Proofs - 2nd International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings TAP Bernhard Beckert, Reiner Hähnle
2007	—	`ch.`	A New Look at Formal Methods for Software Construction. The KeY Approach Reiner Hähnle
2007	C	`conf`	Generating Unit Tests from Formal Proofs. TAP Christian Engel, Reiner Hähnle
2007	A	`conf`	KeY-C: A Tool for Verification of C Programs. CADE Oleg Mürk, Daniel Larsson, Reiner Hähnle
2007	—	`conf`	KeY: A Formal Method for Object-Oriented Systems. FMOODS Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt
2007	—	`ch.`	Pattern-Driven Formal Specification. The KeY Approach Richard Bubel, Reiner Hähnle
2007	—	`conf`	Symbolic Fault Injection. VERIFY Daniel Larsson, Reiner Hähnle
2007	A	`conf`	The KeY system 1.0 (Deduction Component). CADE Bernhard Beckert, Martin Giese, Reiner Hähnle, Vladimir Klebanov, Philipp Rümmer, Steffen Schlager, Peter H. Schmitt
2007	—	`book`	Verification of Object-Oriented Software. The KeY Approach - Foreword by K. Rustan M. Leino The KeY Approach Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt
2006	B	`conf`	Automating Verification of Loops by Parallelization. LPAR Tobias Gedell, Reiner Hähnle
2006	B	`conf`	Integrating Object-Oriented Design and Deductive Verification of Software. SEFM Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt
2006	—	`conf`	Integration of a Security Type System into a Program Logic. TGC Reiner Hähnle, Jing Pan, Philipp Rümmer, Dennis Walter
2006	J	`jnl`	Intelligent Systems and Formal Methods in Software Engineering. IEEE Intell. Syst. Bernhard Beckert, Tony Hoare, Reiner Hähnle, Douglas R. Smith, Cordell Green, Silvio Ranise, Cesare Tinelli, Thomas Ball, Sriram K. Rajamani
2006	J	`jnl`	Preface. Soft Comput. Gérard Govaert, Reiner Hähnle, Mohamed Nadif
2006	—	`conf`	Verification by Parallelization of Parametric Code. Algebraic and Proof-theoretic Aspects of Non-classical Logics Tobias Gedell, Reiner Hähnle
2006	—	`conf`	Verifying Object-Oriented Programs with KeY: A Tutorial. FMCO Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Philipp Rümmer, Peter H. Schmitt
2005	—	`conf`	A Theorem Proving Approach to Analysis of Secure Information Flow. SPC Ádám Darvas, Reiner Hähnle, David Sands
2005	J	`jnl`	Integration of informal and formal development of object-oriented safety-critical software. Int. J. Softw. Tools Technol. Transf. Richard Bubel, Reiner Hähnle
2005	J	`jnl`	Many-Valued Logic, Partiality, and Abstraction in Formal Specification Languages. Log. J. IGPL Reiner Hähnle
2005	C	`conf`	Normal Forms for Knowledge Compilation. ISMIS Reiner Hähnle, Neil V. Murray, Erik Rosenthal
2005	J	`jnl`	The KeY tool. Softw. Syst. Model. Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager, Peter H. Schmitt
2004	J	`jnl`	Linearity and regularity with negation normal form. Theor. Comput. Sci. Reiner Hähnle, Neil V. Murray, Erik Rosenthal
2004	—	`conf`	OCL and Model Driven Engineering. UML Satellite Activities Jean Bézivin, Thomas Baar, Tracy Gardner, Martin Gogolla, Reiner Hähnle, Heinrich Hußmann, Octavian Patrascoiu, Peter H. Schmitt, Jos Warmer
2004	—	`conf`	Verification of Safety Properties in the Presence of Transactions. CASSIS Reiner Hähnle, Wojciech Mostowski
2003	B	`conf`	Fair Constraint Merging Tableaux in Lazy Functional Programming Style. TABLEAUX Reiner Hähnle, Niklas Sörensson
2003	C	`conf`	Integration of Informal and Formal Development of Object-Oriented Safety-Critical Software: A Case Study with the KeY System. FMICS Richard Bubel, Reiner Hähnle
2003	—	`conf`	Using a Software Testing Technique to Improve Theorem Proving. FATES Reiner Hähnle, Angela Wallenburg
2002	B	`conf`	An Authoring Tool for Informal and Formal Requirements Specifications. FASE Reiner Hähnle, Kristofer Johannisson, Aarne Ranta
2002	B	`conf`	The KeY System: Integrating Object-Oriented Design and Formal Methods. FASE Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Peter H. Schmitt
2001	—	`conf`	A Modular Reduction of Regular Logic to Classical Logic. ISMVL Ramón Béjar, Reiner Hähnle, Felip Manyà
2001	—	`conf`	Complexity of Many-Valued Logics. ISMVL Reiner Hähnle
2001	A	`conf`	Ordered Resolution vs. Connection Graph Resolution. IJCAR Reiner Hähnle, Neil V. Murray, Erik Rosenthal
2001	—	`ch.`	Tableaux and Related Methods. Handbook of Automated Reasoning Reiner Hähnle
2000	J	`jnl`	Entwurfgesteuerte Erzeugung von OCL-Constraints. Softwaretechnik-Trends Thomas Baar, Reiner Hähnle, Theo Sattler, Peter H. Schmitt
2000	—	`conf`	Entwurfsmustergesteuerte Erzeugung von OCL-Constraints. GI Jahrestagung Thomas Baar, Reiner Hähnle, Theo Sattler, Peter H. Schmitt
2000	—	`conf`	Moder Generation Theorem Proving with Finite Interval Constraints. Computational Logic Reiner Hähnle, Ryuzo Hasegawa, Yasuyuki Shirai
2000	—	`conf`	The 2-SAT Problem of Regular Signed CNF Formulas. ISMVL Bernhard Beckert, Reiner Hähnle, Felip Manyà
2000	B	`conf`	The KeY Approach: Integrating Object Oriented Design and Formal Verification. JELIA Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt
1999	J	`jnl`	J.UCS Special Issue on Integration of Deduction Systems. J. Univers. Comput. Sci. Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt, Wolfgang Reif
1999	B	`conf`	Proof Confluent Tableau Calculi. TABLEAUX Reiner Hähnle, Bernhard Beckert
1999	—	`conf`	Transformations between Signed and Classical Clause Logic. ISMVL Bernhard Beckert, Reiner Hähnle, Felip Manyà
1998	J	`jnl`	Commodious Axiomatization of Quantifiers in Multiple-Valued Logic. Stud Logica Reiner Hähnle
1998	J	`jnl`	Integrierter Deduktiver Software-Entwurf. Künstliche Intell. Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt
1998	J	`jnl`	Simplification of Many-Valued Logic Formulas Using Anti-Links. J. Log. Comput. Bernhard Beckert, Reiner Hähnle, Gonzalo Escalada-Imaz
1998	B	`conf`	Some Remarks on Completeness, Connection Graph Resolution and Link Deletion. TABLEAUX Reiner Hähnle, Neil V. Murray, Erik Rosenthal
1997	C	`conf`	Completeness for Linear Regular Negation Normal Form Inference Systems. ISMIS Reiner Hähnle, Neil V. Murray, Erik Rosenthal
1997	J	`jnl`	Fast Subsumption Checks Using Anti-Links. J. Autom. Reason. Anavai Ramesh, Bernhard Beckert, Reiner Hähnle, Neil V. Murray
1997	B	`conf`	Ordered Tableaux: Extensions and Applications. TABLEAUX Reiner Hähnle, Christian Pape
1997	J	`jnl`	Proof theory of many-valued logic--linear optimization--logic design: connections and interactions. Soft Comput. Reiner Hähnle
1997	—	`conf`	Restart Tableaux with Selection Function. Kurt Gödel Colloquium Christian Pape, Reiner Hähnle
1996	J	`jnl`	A-Ordered Tableaux. J. Log. Comput. Reiner Hähnle, Stefan Klingenbeck
1996	—	`conf`	Commodious Axiomatization of Quantifiers in Multiple-Valued Logic. ISMVL Reiner Hähnle
1996	J	`jnl`	Exploiting Data Dependencies in Many-Valued Logics. J. Appl. Non Class. Logics Reiner Hähnle
1996	A	`conf`	The Tableau-based Theorem Prover CADE Bernhard Beckert, Reiner Hähnle, Peter Oel, Martin Sulzmann
1995	B	`conf`	Deduction by Combining Semantic Tableaux and Integer Programming. CSL Bernhard Beckert, Reiner Hähnle
1995	B	`ed.`	Theorem Proving with Analytic Tableaux and Related Methods, 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995, Proceedings TABLEAUX Peter Baumgartner, Reiner Hähnle, Joachim Posegga
1994	—	`book`	Automated deduction in multiple-valued logics. Reiner Hähnle
1994	—	`conf`	Efficient Deduction in Many-Valued Logics. ISMVL Reiner Hähnle
1994	—	`conf`	Improving Temporal Logic Tableaux Using Integer Constraints. ICTL Reiner Hähnle, Ortrun Ibens
1994	J	`jnl`	Many-Valued Logic and Mixed Integer Programming. Ann. Math. Artif. Intell. Reiner Hähnle
1994	B	`conf`	On Anti-Links. LPAR Bernhard Beckert, Reiner Hähnle, Anavai Ramesh, Neil V. Murray
1994	A	`conf`	Semantic Tableaux with Ordering Restrictions. CADE Stefan Klingenbeck, Reiner Hähnle
1994	J	`jnl`	Short Conjunctive Normal Forms in Finitely Valued Logics. J. Log. Comput. Reiner Hähnle
1994	J	`jnl`	The Liberalized delta-Rule in Free Variable Semantic Tableaux. J. Autom. Reason. Reiner Hähnle, Peter H. Schmitt
1993	—	`—`	Automated deduction in multiple-valued logics Reiner Hähnle
1993	C	`conf`	Short CNF in Finitely-Valued Logics. ISMIS Reiner Hähnle
1993	—	`conf`	The Even More Liberalized delta-Rule in Free Variable Semantic Tableaux. Kurt Gödel Colloquium Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt
1993	B	`conf`	Verification of Switch-Level Designs with Many-Valued Logic. LPAR Reiner Hähnle, Werner Kernig
1992	—	`conf`	A New Translation from Deduction into Integer Programming. AISMC Reiner Hähnle
1992	A	`conf`	An Improved Method for Adding Equality to Free Variable Semantic Tableaux. CADE Bernhard Beckert, Reiner Hähnle
1992	B	`conf`	Analytic Tableau and Integer Programming (Extended Abstract). TABLEAUX Reiner Hähnle
1992	J	`jnl`	The Many-Valued Theorem Prover IWBS Report Reiner Hähnle, Bernhard Beckert, Stefan Gerberding, Werner Kernig
1992	A	`conf`	The Tableau-Based Theorem Prover CADE Bernhard Beckert, Stefan Gerberding, Reiner Hähnle, Werner Kernig
1992	B	`ed.`	Workshop Theorem Proving with Analytic Tableaux and Related Methods, Lautenbach. Universität Karlsruhe, Fakultät für Informatik, Institut für Logik, Komplexität und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992 TABLEAUX Bertram Fronhöfer, Reiner Hähnle, Thomas Käufl
1991	—	`conf`	Uniform Notation of Tableau Rules for Multiple-Valued Logics. ISMVL Reiner Hähnle
1990	J	`jnl`	Spezifikation eines Theorembeweisers für dreiwertige First-Order Logik. IWBS Report Reiner Hähnle
1990	B	`conf`	Towards an Efficient Tableau Proof Procedure for Multiple-Valued Logics. CSL Reiner Hähnle
1986	A	`conf`	An Interactive Verification System Based on Dynamic Logic. CADE Reiner Hähnle, Maritta Heisel, Wolfgang Reif, Werner Stephan