Tabar, Asmae Heydari ; Bubel, Richard ; Hähnle, Reiner (2022)
Automatic Loop Invariant Generation for Data Dependence Analysis.
10th IEEE/ACM International Conference on Formal Methods in Software Engineering. Pittsburgh (22.05.2022)
Conference or Workshop Item

Grätz, Lukas ; Hähnle, Reiner ; Bubel, Richard
eds.: Johnsen, Einar Broch ; Wimmer, Manuel (2022)
Finding Semantic Bugs Fast.
25th International Conference of the European Joint Conferences on Theory and Practice of Software. Munich, Germany (02.-07.04.2022)
doi: 10.1007/978-3-030-99429-7_8
Conference or Workshop Item

Scaletta, Marco ; Hähnle, Reiner ; Steinhöfel, Dominic ; Bubel, Richard
eds.: Tilevich, Eli ; Roover, Coen De (2021)
Delta-based verification of software product families.
20th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences. Chicago, USA (17.-18.10.2021)
doi: 10.1145/3486609.3487200
Conference or Workshop Item

Damiani, Ferruccio ; Hähnle, Reiner ; Kamburjan, Eduard ; Lienhardt, Michael ; Paolini, Luca
eds.: Mousavi, Mohammad Reza ; Schobbens, Pierre-Yves (2021)
Variability modules for Java-like languages.
25th ACM International Systems and Software Product Line Conference. virtual Conference (06.-11.09.2021)
doi: 10.1145/3461001.3471143
Conference or Workshop Item

Hähnle, Reiner ; van der Aalst, Wil (2021)
Automated model analysis tools and techniques presented at FASE 2019.
In: International Journal on Software Tools for Technology Transfer, 23 (3)
doi: 10.1007/s10009-020-00589-6
Article

Wasser, Nathan ; Tabar, Asmae Heydari ; Hähnle, Reiner (2021)
Automated model extraction: From non-deterministic C code to active objects.
In: Science of Computer Programming, 204
doi: 10.1016/j.scico.2020.102597
Article

Albert, Elvira ; Hähnle, Reiner ; Merayo, Alicia ; Steinhöfel, Dominic
eds.: Guerra, Esther ; Stoelinga, Marielle (2021)
Certified Abstract Cost Analysis.
24th International Conference of the European Joint Conferences on Theory and Practice of Software. virtual Conference (27.03.-01.04.2021)
doi: 10.1007/978-3-030-71500-7_2
Conference or Workshop Item

Setyautami, Maya Retno Ayu ; Hähnle, Reiner
eds.: Grünbacher, Paul ; Seidl, Christoph ; Dhungana, Deepak ; Lovasz-Bukvova, Helena (2021)
An Architectural Pattern to Realize Multi Software Product Lines in Java.
15th International Working Conference on Variability Modelling of Software-Intensive Systems. virtual Conference (09.-11.02.2021)
doi: 10.1145/3442391.3442401
Conference or Workshop Item

Hähnle, Reiner ; Heydari Tabar, Asmae ; Mazaheri, Arya ; Norouzi, Mohammad ; Steinhöfel, Dominic ; Wolf, Felix
eds.: Margaria, Tiziana ; Steffen, Bernhard (2020)
Safer Parallelization.
9th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020).
doi: 10.1007/978-3-030-61470-6_8
Conference or Workshop Item

Düpmeier, Frederik ; Winter, Hanno ; Willert, Volker ; Adamy, Jürgen ; Dillmann, Stefan ; Pejic, Miroslav ; Oetting, Andreas ; Hähnle, Reiner
ed.: Oetting, Andreas (2020)
Scientific Railway Signalling Symposium 2019: Mehr Verkehr auf die Schiene durch Digitalisierung?! – Was kann die Leit- und Sicherungstechnik dazu beitragen?
doi: 10.25534/tuprints-00011296
Conference or Workshop Item, Primary publication

Kutscher, Vladimir ; Ruland, Sebastian ; Müller, Patrick ; Wasser, Nathan ; Lochau, Malte ; Anderl, Reiner ; Schürr, Andy ; Mezini, Mira ; Hähnle, Reiner (2020)
Towards a Circular Economy of Industrial Software.
In: Procedia CIRP, 90
doi: 10.1016/j.procir.2020.01.133
Article

Kutscher, Vladimir ; Ruland, Sebastian ; Müller, Patrick ; Wasser, Nathan ; Lochau, Malte ; Anderl, Reiner ; Schürr, Andy ; Mezini, Mira ; Hähnle, Reiner (2020)
Towards a Circular Economy of Industrial Software.
In: Procedia CIRP, 90
doi: 10.25534/tuprints-00014563
Article, Secondary publication, Publisher's Version

Bubel, Richard ; Hähnle, Reiner ; Tabar, Asmae Heydari
eds.: Ahrendt, Wolfgang ; Tarifa, Silvia Lizeth Tapia (2019)
A Program Logic for Dependence Analysis.
15th International Conference onIntegrated Formal Methods (IFM 2019). Bergen, Norway (02.-06.11.2019)
doi: 10.1007/978-3-030-34968-4_5
Conference or Workshop Item

Steinhöfel, Dominic ; Hähnle, Reiner (2019)
Abstract Execution.
In: Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings
doi: 10.1007/978-3-030-30942-8_20
Book Section

Wasser, Nathan ; Tabar, Asmae Heydari ; Hähnle, Reiner
eds.: Hojjat, Hossein ; Massink, Mieke (2019)
Modeling Non-deterministic C Code with Active Objects.
8th International Conference on Fundamentals of Software Engineering (FSEN 2019). Tehran, Iran (01.-03.05.2019)
doi: 10.1007/978-3-030-31517-7_15
Conference or Workshop Item

Steinhöfel, Dominic ; Hähnle, Reiner
eds.: ter Beek, Maurice H. ; McIver, Annabelle ; Oliveira, José N. (2019)
Abstract Execution.
3rd World Congress on Formal Methods (FM 2019). Porto, Portugal (October 7-11, 2019)
doi: 10.1007/978-3-030-30942-8_20
Conference or Workshop Item

Kamburjan, Eduard ; Din, Crystal Chang ; Hähnle, Reiner ; Johnsen, Einar Broch
eds.: Ölveczky, Peter Csaba ; Salaün, Gwen (2019)
Asynchronous Cooperative Contracts for Cooperative Scheduling.
Software Engineering and Formal Methods - 17th International Conference, SEFM 2019. Oslo, Norway (September 18-20)
doi: 10.1007/978-3-030-30446-1_3
Conference or Workshop Item

Dillmann, Stefan ; Hähnle, Reiner
eds.: Dutilleul, Simon Collart ; Lecomte, Thierry ; Romanovsky, Alexander B. (2019)
Automated Planning of ETCS Tracks.
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Third International Conference, RSSRail 2019. Lille, France (June 4-6,)
doi: 10.1007/978-3-030-18744-6_5
Conference or Workshop Item

Hähnle, Reiner ; Huisman, Marieke
eds.: Steffen, Bernhard ; Woeginger, Gerhard J. (2019)
Deductive Software Verification: From Pen-and-Paper Proofs to Industrial Tools.
In: Computing and Software Science - State of the Art and Perspectives
doi: 10.1007/978-3-319-91908-9_18
Book Section

eds.: Hähnle, Reiner ; Aalst, Wil M. P. van der (2019)
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.
doi: 10.1007/978-3-030-16722-6
Book

Hentschel, Martin ; Bubel, Richard ; Hähnle, Reiner (2019)
The Symbolic Execution Debugger (SED): a platform for interactive symbolic execution, debugging, verification and more.
In: STTT, 21 (5)
doi: 10.1007/s10009-018-0490-9
Article

Gouw, Stijn de ; de Boer, Frank S. ; Bubel, Richard ; Hähnle, Reiner ; Rot, Jurriaan ; Steinhöfel, Dominic (2019)
Verifying OpenJDK's Sort Method for Generic Collections.
In: J. Autom. Reasoning, 62 (1)
doi: 10.1007/s10817-017-9426-4
Article

Kamburjan, Eduard ; Hähnle, Reiner ; Schön, Sebastian (2018)
Formal modeling and analysis of railway operations with active objects.
In: Science of Computer Programming, 166
doi: 10.1016/j.scico.2018.07.001
Article

Damiani, Ferruccio ; Hähnle, Reiner ; Kamburjan, Eduard ; Lienhardt, Michael (2018)
Interoperability of software product line variants.
SPLC.
Conference or Workshop Item

Steinhöfel, Dominic ; Hähnle, Reiner
eds.: Margaria, Tiziana ; Steffen, Bernhard (2018)
Modular, Correct Compilation with Automatic Soundness Proofs.
In: Leveraging Applications of Formal Methods, Verification and Validation. Modeling
doi: 10.1007/978-3-030-03418-4_25
Book Section

Kamburjan, Eduard ; Hähnle, Reiner (2018)
Prototyping Formal System Models with Active Objects.
ICE.
Conference or Workshop Item

Damiani, Ferruccio ; Hähnle, Reiner ; Kamburjan, Eduard ; Lienhardt, Michael (2018)
Same Same But Different: Interoperability of Software Product Line Variants.
Principled Software Development.
Conference or Workshop Item

Zweigel, René ; Gehrt, Jan-Jöran ; Abel, Dirk ; Reinhart, Peter ; Wanstrath, Sven ; Üyümez, Bilal ; Schön, Sebastian ; Kamburjan, Eduard ; Hähnle, Reiner
eds.: Oetting, Andreas ; Düpmeier, Frederik (2018)
Scientific Railway Signalling Symposium 2018 - Digital neue Wege fahren.
Scientific Railway Signalling Symposium. Darmstadt (13.06.2018)
Conference or Workshop Item, Primary publication

Gouw, Stijn de ; de Boer, Frank S. ; Bubel, Richard ; Hähnle, Reiner ; Rot, Jurriaan ; Steinhöfel, Dominic (2017)
Verifying OpenJDK's Sort Method for Generic Collections.
In: Journal of Automated Reasoning
doi: 10.1007/s10817-017-9426-4
Article

Hähnle, Reiner ; Huisman, Marieke
eds.: Reger, Giles ; Traytel, Dmitriy (2017)
24 Challenges in Deductive Software Verification.
ARCADE 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017.
Conference or Workshop Item

Damiani, Ferruccio ; Hähnle, Reiner ; Lienhardt, Michael
eds.: Gabmeyer, Sebastian ; Johnsen, Einar Broch (2017)
Abstraction Refinement for the Analysis of Software Product Lines.
Tests and Proofs - 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings.
doi: 10.1007/978-3-319-61467-0_1
Conference or Workshop Item

Do, Quoc Huy ; Bubel, Richard ; Hähnle, Reiner (2017)
Automatic detection and demonstrator generation for information flow leaks in object-oriented programs.
In: Computers & Security, 67
doi: 10.1016/j.cose.2016.12.002
Article

Kamburjan, Eduard ; Hähnle, Reiner
eds.: Fantechi, Alessandro ; Lecomte, Thierry ; Romanovsky, Alexander B. (2017)
Deductive Verification of Railway Operations.
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings.
doi: 10.1007/978-3-319-68499-4_9
Conference or Workshop Item

Do, Quoc Huy ; Bubel, Richard ; Hähnle, Reiner
eds.: Hung, Dang Van ; Kapur, Deepak (2017)
Inferring Secrets by Guided Experiments.
Theoretical Aspects of Computing - ICTAC 2017 - 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings.
doi: 10.1007/978-3-319-67729-3_16
Conference or Workshop Item

Din, Crystal Chang ; Hähnle, Reiner ; Johnsen, Einar Broch ; Pun, Ka I. ; Tarifa, Silvia Lizeth Tapia
eds.: Schmidt, Renate A. ; Nalon, Claudia (2017)
Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages.
Automated Reasoning with Analytic Tableaux and Related Methods - 26th International Conference, TABLEAUX 2017, Brasilia, Brazil, September 25-28, 2017, Proceedings.
doi: 10.1007/978-3-319-66902-1_2
Conference or Workshop Item

de Boer, Frank S. ; Serbanescu, Vlad ; Hähnle, Reiner ; Henrio, Ludovic ; Rochas, Justine ; Din, Crystal Chang ; Johnsen, Einar Broch ; Sirjani, Marjan ; Khamespanah, Ehsan ; Fernandez-Reyes, Kiko ; Yang, Albert Mingkun (2017)
A Survey of Active Object Languages.
In: ACM Comput. Surv., 50 (5)
doi: 10.1145/3122848
Article

Meyer zu Hörste, Michael ; Kamburjan, Eduard ; Hähnle, Reiner ; Winter, Hanno ; Willert, Volker ; Adamy, Jürgen ; Leining, Michael ; Spindler, Max ; Lauer, Martin ; Stein, Denis ; Heirich, Oliver ; Groos, Jörn ; Geffert, Arne ; Becker, Uwe ; Breuer, Michael ; Bachurina, Daria ; Düpmeier, Frederik
ed.: Oetting, Andreas (2017)
Tagungsband des Scientific Railway Signalling Symposiums 2017 - Die Steuerung des Eisenbahnbetriebs der Zukunft.
Darmstadt, Germany (19.04.2017)
Conference or Workshop Item, Primary publication

Damiani, Ferruccio ; Hähnle, Reiner ; Kamburjan, Eduard ; Lienhardt, Michael
eds.: Huisman, Marieke ; Rubin, Julia (2017)
A Unified and Formal Programming Model for Deltas and Traits.
Fundamental Approaches to Software Engineering - 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings.
doi: 10.1007/978-3-662-54494-5_25
Conference or Workshop Item

Hentschel, Martin ; Hähnle, Reiner ; Bubel, Richard (2016)
An Empirical Evaluation of Two User Interfaces of an Interactive Program Verifier.
Singapore, Singapore
doi: 10.1145/2970276.2970303
Conference or Workshop Item

Hentschel, Martin ; Hähnle, Reiner ; Bubel, Richard (2016)
The Interactive Verification Debugger: Effective Understanding of Interactive Proof Attempts.
Singapore, Singapore
doi: 10.1145/2970276.2970292
Conference or Workshop Item

Setyautami, Maya ; Hähnle, Reiner ; Muschevici, Radu ; Azurat, Ade (2016)
A UML Profile for Delta-Oriented Programming to Support Software Product Line Engineering.
Report

Wasser, Nathan ; Hähnle, Reiner ; Bubel, Richard
eds.: Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (2016)
Abstract Interpretation.
In: Deductive Software Verification - The KeY Book - From Theory to Practice
doi: 10.1007/978-3-319-49812-6_6
Book Section

Hähnle, Reiner ; Wasser, Nathan ; Bubel, Richard
eds.: Ábrahám, Erika ; Bonsangue, Marcello M. ; Johnsen, Einar Broch (2016)
Array Abstraction with Symbolic Pivots.
Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday.
doi: 10.1007/978-3-319-30734-3_9
Conference or Workshop Item

Hentschel, Martin ; Hähnle, Reiner ; Bubel, Richard
eds.: Abraham, Erika ; Huisman, Marieke (2016)
Can Formal Methods Improve the Efficiency of Code Reviews?
Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings.
doi: 10.1007/978-3-319-33693-0_1
Conference or Workshop Item

Beek, Maurice H. ter ; Hähnle, Reiner ; Schaefer, Ina
eds.: Margaria, Tiziana ; Steffen, Bernhard (2016)
Correctness-by-Construction and Post-hoc Verification: Friends or Foes?
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I.
doi: 10.1007/978-3-319-47166-2_51
Conference or Workshop Item

Hentschel, Martin ; Hähnle, Reiner ; Bubel, Richard
eds.: Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (2016)
Debugging and Visualization.
In: Deductive Software Verification - The KeY Book - From Theory to Practice
doi: 10.1007/978-3-319-49812-6_11
Book Section

eds.: Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (2016)
Deductive Software Verification - The KeY Book - From Theory to Practice.
doi: 10.1007/978-3-319-49812-6
Book

Beckert, Bernhard ; Hähnle, Reiner ; Hentschel, Martin ; Schmitt, Peter H.
eds.: Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (2016)
Formal Verification with KeY: A Tutorial.
In: Deductive Software Verification - The KeY Book - From Theory to Practice
doi: 10.1007/978-3-319-49812-6_16
Book Section

Scheurer, Dominic ; Hähnle, Reiner ; Bubel, Richard
eds.: Ogata, Kazuhiro ; Lawford, Mark ; Liu, Shaoying (2016)
A General Lattice Model for Merging Symbolic Execution Branches.
Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings.
doi: 10.1007/978-3-319-47846-3_5
Conference or Workshop Item

Steinhöfel, Dominic ; Hähnle, Reiner ; Bubel, Richard
eds.: Ogata, Kazuhiro ; Lawford, Mark ; Liu, Shaoying (2016)
A General Lattice Model for Merging Symbolic Execution Branches.
doi: 10.1007/978-3-319-47846-3_5
Conference or Workshop Item

Bubel, Richard ; Hähnle, Reiner
eds.: Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (2016)
KeY-Hoare.
In: Deductive Software Verification - The KeY Book - From Theory to Practice
doi: 10.1007/978-3-319-49812-6_17
Book Section

Bennaceur, Amel ; Giannakopoulou, Dimitra ; Hähnle, Reiner ; Meinke, Karl (2016)
Machine Learning for Dynamic Software Analysis: Potentials and Limits (Dagstuhl Seminar 16172).
In: Dagstuhl Reports, 6 (4)
doi: 10.4230/DagRep.6.4.161
Article

Grahl, Daniel ; Bubel, Richard ; Mostowski, Wojciech ; Schmitt, Peter H. ; Ulbrich, Mattias ; Weiß, Benjamin
eds.: Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (2016)
Modular Specification and Verification.
In: Deductive Software Verification - The KeY Book - From Theory to Practice
doi: 10.1007/978-3-319-49812-6_9
Book Section

Ji, Ran ; Bubel, Richard
eds.: Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (2016)
Program Transformation and Compilation.
In: Deductive Software Verification - The KeY Book - From Theory to Practice
doi: 10.1007/978-3-319-49812-6_14
Book Section

Bubel, Richard ; Damiani, Ferruccio ; Hähnle, Reiner ; Johnsen, Einar Broch ; Owe, Olaf ; Schaefer, Ina ; Yu, Ingrid Chieh (2016)
Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct.
In: Trans. Found. Mastering Chang., 1
doi: 10.1007/978-3-319-46508-1_8
Article

Hähnle, Reiner
eds.: Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (2016)
Quo Vadis Formal Verification?
In: Deductive Software Verification - The KeY Book - From Theory to Practice
doi: 10.1007/978-3-319-49812-6_1
Book Section

Schmitt, Peter H. ; Bubel, Richard
eds.: Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (2016)
Theories.
In: Deductive Software Verification - The KeY Book - From Theory to Practice
doi: 10.1007/978-3-319-49812-6_5
Book Section

Hähnle, Reiner ; Muschevici, Radu
eds.: Margaria, Tiziana ; Steffen, Bernhard (2016)
Towards Incremental Validation of Railway Systems.
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II.
doi: 10.1007/978-3-319-47169-3_36
Conference or Workshop Item

Setyautami, Maya R. A. ; Hähnle, Reiner ; Muschevici, Radu ; Azurat, Ade
ed.: Mei, Hong (2016)
A UML profile for delta-oriented programming to support software product line engineering.
Proceedings of the 20th International Systems and Software Product Line Conference, SPLC 2016, Beijing, China, September 16-23, 2016.
doi: 10.1145/2934466.2934479
Conference or Workshop Item

Kamburjan, Eduard ; Hähnle, Reiner
eds.: Artho, Cyrille ; Ölveczky, Peter Csaba (2016)
Uniform Modeling of Railway Operations.
Formal Techniques for Safety-Critical Systems - 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers.
doi: 10.1007/978-3-319-53946-1_4
Conference or Workshop Item

Hentschel, Martin ; Hähnle, Reiner ; Bubel, Richard
eds.: Lo, David ; Apel, Sven ; Khurshid, Sarfraz (2016)
An empirical evaluation of two user interfaces of an interactive program verifier.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, ASE 2016, Singapore, September 3-7, 2016.
doi: 10.1145/2970276.2970303
Conference or Workshop Item

Albert, Elvira ; Bubel, Richard ; Genaim, Samir ; Hähnle, Reiner ; Puebla, German ; Roman-Diez, Guillermo (2016)
A formal verification framework for static analysis - As well as its instantiation to the resource analyzer COSTA and formal verification tool KeY.
In: Software and System Modeling, 15 (4)
doi: 10.1007/s10270-015-0476-y
Article

Hentschel, Martin ; Hähnle, Reiner ; Bubel, Richard
eds.: Lo, David ; Apel, Sven ; Khurshid, Sarfraz (2016)
The interactive verification debugger: effective understanding of interactive proof attempts.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, ASE 2016, Singapore, September 3-7, 2016.
doi: 10.1145/2970276.2970292
Conference or Workshop Item

Wasser, Nathan ; Bubel, Richard ; Hähnle, Reiner (2015)
Array Abstraction with Symbolic Pivots.
Report

Din, Crystal Chang ; Tarifa, Lizeth Tapia ; Hähnle, Reiner ; Johnsen, Einar Broch (2015)
The NoC Verification Case Study with KeY-ABS.
Report

Hähnle, Reiner ; Johnsen, Einar Broch (2015)
Designing Resource-Aware Cloud Applications.
In: IEEE Computer, 48 (6)
doi: 10.1109/MC.2015.172
Article

Bubel, Richard ; Din, Crystal Chang ; Hähnle, Reiner ; Nakata, Keiko
ed.: de Nivelle, Hans (2015)
A Dynamic Logic with Traces and Coinduction.
Automated Reasoning with Analytic Tableaux and Related Methods - 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015. Proceedings.
doi: 10.1007/978-3-319-24312-2_21
Conference or Workshop Item

Do, Quoc Huy ; Bubel, Richard ; Hähnle, Reiner
eds.: Federrath, Hannes ; Gollmann, Dieter (2015)
Exploit Generation for Information Flow Leaks in Object-Oriented Programs.
ICT Systems Security and Privacy Protection - 30th IFIP TC 11 International Conference, SEC 2015, Hamburg, Germany, May 26-28, 2015, Proceedings.
doi: 10.1007/978-3-319-18467-8_27
Conference or Workshop Item

Din, Crystal Chang ; Tarifa, Silvia Lizeth Tapia ; Hähnle, Reiner ; Johnsen, Einar Broch
eds.: Butler, Michael J. ; Conchon, Sylvain ; Zaidi, Fatiha (2015)
History-Based Specification and Verification of Scalable Concurrent and Distributed Systems.
Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings.
doi: 10.1007/978-3-319-25423-4_14
Conference or Workshop Item

Din, Crystal Chang ; Bubel, Richard ; Hähnle, Reiner
eds.: Felty, Amy P. ; Middeldorp, Aart (2015)
KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS.
Automated Deduction - CADE-25 - 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings.
doi: 10.1007/978-3-319-21401-6_35
Conference or Workshop Item

Gouw, Stijn de ; Rot, Jurriaan ; de Boer, Frank S. ; Bubel, Richard ; Hähnle, Reiner
eds.: Kroening, Daniel ; Pasareanu, Corina S. (2015)
OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case.
Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I.
doi: 10.1007/978-3-319-21690-4_16
Conference or Workshop Item

Flores-Montoya, Antonio ; Hähnle, Reiner (2015)
Resource Consumption of Concurrent Objects over Time.
Report

Wong, Peter Y. H. ; Bubel, Richard ; de Boer, Frank S. ; Gomez-Zamalloa, Miguel ; Gouw, Stijn de ; Hähnle, Reiner ; Meinke, Karl ; Sindhu, Muddassar Azam (2015)
Testing abstract behavioral specifications.
In: STTT, 17 (1)
doi: 10.1007/s10009-014-0301-x
Article

Hentschel, Martin ; Bubel, Richard ; Hähnle, Reiner
eds.: Bonakdarpour, Borzoo ; Smolka, Scott (2014)
Symbolic Execution Debugger (SED).
Conference or Workshop Item

Hentschel, Martin ; Käsdorf, Stefan ; Hähnle, Reiner ; Bubel, Richard
eds.: Albert, Elvira ; Sekerinski, Emil ; Zavattaro, Gianluigi (2014)
An interactive verification tool meets an IDE.
Conference or Workshop Item

Ahrendt, Wolfgang ; Beckert, Bernhard ; Bruns, Daniel ; Bubel, Richard ; Gladisch, Christoph ; Grebing, Sarah ; Hähnle, Reiner ; Hentschel, Martin ; Klebanov, Vladimir ; Mostowski, Wojciech ; Scheben, Christoph ; Schmitt, Peter ; Ulbrich, Mattias
eds.: Giannakopoulou, Dimitra ; Kroening, Daniel (2014)
The KeY Platform for Verification and Analysis of Java Programs.
Conference or Workshop Item

Hentschel, Martin ; Hähnle, Reiner ; Bubel, Richard
eds.: Seidl, Martina ; Tillmann, Nikolai (2014)
Visualizing Unbounded Symbolic Execution.
Conference or Workshop Item

Bubel, Richard ; Montoya, Antonio Flores ; Hähnle, Reiner
eds.: Bernardo, M. ; Damiani, F. ; Hähnle, R. ; Johnsen, E. B. ; Schaefer, I. (2014)
Analysis of Executable Software Models.
doi: 10.1007/978-3-319-07317-0_1
Conference or Workshop Item

eds.: Bernardo, Marco ; Damiani, Ferruccio ; Hähnle, Reiner ; Johnsen, Einar Broch ; Schaefer, Ina (2014)
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.
doi: 10.1007/978-3-319-07317-0
Book

Albert, Elvira ; de Boer, Frank S. ; Hähnle, Reiner ; Johnsen, Einar Broch ; Schlatte, Rudolf ; Tarifa, Silvia Lizeth Tapia ; Wong, Peter Y. H. (2014)
Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS.
In: Service Oriented Computing and Applications, 8 (4)
doi: 10.1007/s11761-013-0148-0
Article

Bubel, Richard ; Hähnle, Reiner ; Pelevina, Maria (2014)
Fully Abstract Operation Contracts.
Conference or Workshop Item

Ji, Ran ; Hähnle, Reiner (2014)
Information Flow Analysis Based on Program Simplification.
Report

Hentschel, Martin ; Käsdorf, Stefan ; Hähnle, Reiner ; Bubel, Richard
eds.: Albert, Elvira ; Sekerinski, Emil (2014)
An Interactive Verification Tool Meets an IDE.
Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings.
doi: 10.1007/978-3-319-10181-1_4
Conference or Workshop Item

Hähnle, Reiner ; Johnsen, Einar Broch
eds.: Margaria, Tiziana ; Steffen, Bernhard (2014)
Introduction to Track on Engineering Virtualized Services.
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II.
doi: 10.1007/978-3-662-45231-8_1
Conference or Workshop Item

Beckert, Bernhard ; Hähnle, Reiner (2014)
Reasoning and Verification: State of the Art and Current Trends.
In: IEEE Intelligent Systems, 29 (1)
doi: 10.1109/MIS.2014.3
Article

Flores-Montoya, Antonio ; Hähnle, Reiner
ed.: Garrigue, Jacques (2014)
Resource Analysis of Complex Programs with Cost Equations.
Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Singapore, November 17-19, 2014, Proceedings.
doi: 10.1007/978-3-319-12736-1_15
Conference or Workshop Item

Flores-Montoya, Antonio ; Hähnle, Reiner (2014)
Resource Analysis of Complex Programs with Cost Equations.
Report

Ji, Ran ; Hähnle, Reiner (2014)
Sound Deductive Compilation.
Report

Oetting, Andreas ; Katzenbeisser, Stefan ; Hähnle, Reiner ; Hofmann, Klaus ; Klingauf, Uwe ; Mezini, Mira ; Schön, Sebastian ; Schütz, Ingo (2013)
Langlebige sicherheitskritische Infrastrukturen.
Fulda, Germany
Conference or Workshop Item

Hähnle, Reiner
eds.: Bonsangue, Marcello ; de Boer, Frank ; Giachino, Elena ; Hähnle, Reiner (2013)
The Abstract Behavioral Specification Language: A Tutorial Introduction.
Conference or Workshop Item

Bjorner, Nikolaj ; Hähnle, Reiner ; Nipkow, Tobias ; Weidenbach, Christoph (2013)
Deduction and Arithmetic (Dagstuhl Seminar 13411).
In: Dagstuhl Reports, 3 (10)
doi: 10.4230/DagRep.3.10.1
Article

Albert, Elvira ; de Boer, Frank ; Hähnle, Reiner ; Johnsen, Einar Broch ; Laneve, Cosimo
eds.: Babar, Ali ; Dumas, Marlon (2013)
Engineering Virtualized Services.
Conference or Workshop Item

Albert, Elvira ; de Boer, Frank S. ; Hähnle, Reiner ; Johnsen, Einar Broch ; Laneve, Cosimo
eds.: Solberg, Arnor ; Babar, Muhammad Ali ; Dumas, Marlon ; Cuesta, Carlos E. (2013)
Engineering virtualized services.
Second Nordic Symposium on Cloud Computing & Internet Technologies, NordiCloud '13, Oslo, Norway, September 1-3, 2013.
doi: 10.1145/2513534.2513545
Conference or Workshop Item

eds.: Giachino, Elena ; Hähnle, Reiner ; de Boer, Frank S. ; Bonsangue, Marcello M. (2013)
Formal Methods for Components and Objects - 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures.
doi: 10.1007/978-3-642-40615-7
Book

eds.: Bonsangue, Marcello ; de Boer, Frank ; Giachino, Elena ; Hähnle, Reiner (2013)
International School on Formal Models for Components and Objects: Post Proceedings.
Conference or Workshop Item

Ji, Ran ; Hähnle, Reiner ; Bubel, Richard
eds.: Hierons, Robert M. ; Merayo, Mercedes G. ; Bravetti, Mario (2013)
Program Transformation Based on Symbolic Execution and Deduction.
Software Engineering and Formal Methods - 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings.
doi: 10.1007/978-3-642-40561-7_20
Conference or Workshop Item

Ji, Ran ; Hähnle, Reiner ; Bubel, Richard
eds.: Hierons, Robert ; Merayo, Mercedes ; Bravetti, Mario (2013)
Program Transformation Based on Symbolic Execution and Deduction.
Conference or Workshop Item

Ji, Ran ; Hähnle, Reiner ; Bubel, Richard
eds.: Hierons, Robert ; Merayo, Mercedes ; Bravetti, Mario (2013)
Program Transformation Based on Symbolic Execution and Deduction.
Conference or Workshop Item

Ji, Ran ; Hähnle, Reiner ; Bubel, Richard (2013)
Program Transformation Based on Symbolic Execution and Deduction (Technical Report).
Report

Hähnle, Reiner ; Schaefer, Ina ; Bubel, Richard
ed.: Bonacina, Maria Paola (2013)
Reuse in Software Verification by Abstract Method Calls.
In: Automated Deduction - CADE-24: 24th International Conference on Automated Deduction, Proceedings
Book Section

Albert, Elvira ; Bubel, Richard ; Genaim, Samir ; Hähnle, Reiner ; Román-Díez, Guillermo (2012)
Verified Resource Guarantees for Heap Manipulating Programs.
doi: 10.1007/978-3-642-28872-2
Conference or Workshop Item

Hähnle, Reiner
eds.: Giachino, Elena ; Hähnle, Reiner ; de Boer, Frank S. ; Bonsangue, Marcello M. (2012)
The Abstract Behavioral Specification Language: A Tutorial Introduction.
Formal Methods for Components and Objects - 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures.
doi: 10.1007/978-3-642-40615-7_1
Conference or Workshop Item

Hähnle, Reiner ; Schaefer, Ina
eds.: Margaria, Tiziana ; Steffen, Bernhard (2012)
Adaptable and Evolving Software for Eternal Systems - (Track Summary).
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I.
doi: 10.1007/978-3-642-34026-0_1
Conference or Workshop Item

de Boer, Frank S. ; Hähnle, Reiner ; Johnsen, Einar Broch ; Schlatte, Rudolf ; Wong, Peter Y. H.
eds.: Paoli, Flavio De ; Pimentel, Ernesto ; Zavattaro, Gianluigi (2012)
Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study.
Service-Oriented and Cloud Computing - First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012. Proceedings.
doi: 10.1007/978-3-642-33427-6_7
Conference or Workshop Item

eds.: Hähnle, Reiner ; Knoop, Jens ; Margaria, Tiziana ; Schreiner, Dietmar ; Steffen, Bernhard (2012)
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.
doi: 10.1007/978-3-642-34781-8
Book

Hähnle, Reiner ; Schaefer, Ina
eds.: Margaria, Tiziana ; Steffen, Bernhard (2012)
A Liskov Principle for Delta-Oriented Programming.
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I.
doi: 10.1007/978-3-642-34026-0_4
Conference or Workshop Item

Schaefer, Ina ; Hähnle, Reiner (2011)
Formal Methods in Software Product Line Engineering.
In: IEEE Computer, 44 (2)
Article

Bubel, Richard ; Hähnle, Reiner ; Geilmann, Ulrich
eds.: Barthe, Gilles ; Schneider, Gerardo ; Pardo, Alberto (2011)
A Formalisation of Java Strings for Program Specification and Verification.
Conference or Workshop Item

Hähnle, Reiner ; Helvensteijn, Michiel ; Johnsen, Einar Broch ; Lienhardt, Michael ; Sangiorgi, Davide ; Schaefer, Ina ; Wong, Peter Y. H.
eds.: Beckert, Bernhard ; Damiani, Ferruccio ; de Boer, Frank S. ; Bonsangue, Marcello M. (2011)
HATS Abstract Behavioral Specification: The Architectural View.
Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers.
doi: 10.1007/978-3-642-35887-6_6
Conference or Workshop Item

Clarke, Dave ; Diakov, Nikolay ; Hähnle, Reiner ; Johnsen, Einar Broch ; Schafer, Ina ; Schäfer, Jan ; Schlatte, Rudolf ; Wong, Peter
eds.: Bernardo, M. ; Issarny, V. (2011)
Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language.
In: Formal Methods for Eternal Networked Software Systems
Book Section

Giesl, Jürgen ; Hähnle, Reiner (2011)
Preface: Special Issue of Selected Extended Papers of IJCAR 2010.
In: J. Autom. Reasoning, 47 (4)
doi: 10.1007/s10817-011-9240-3
Article

Bubel, Richard ; Hähnle, Reiner ; Ji, Ran
eds.: Aichernig, Bernhard ; de Boer, Frank ; Bonsangue, Marcello (2011)
Program Specialization Via a Software Verification Tool.
Conference or Workshop Item

Albert, Elvira ; Bubel, Richard ; Genaim, Samir ; Hähnle, Reiner ; Puebla, Germán ; Román-Díez, Guillermo (2011)
Verified Resource Guarantees using COSTA and KeY.
Conference or Workshop Item

Johnsen, Einar Broch ; Hähnle, Reiner ; Schäfer, Jan ; Schlatte, Rudolf ; Steffen, Martin
eds.: Aichernig, Bernhard K. ; de Boer, Frank S. ; Bonsangue, Marcello M. (2010)
ABS: A Core Language for Abstract Behavioral Specification.
Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers.
doi: 10.1007/978-3-642-25271-6_8
Conference or Workshop Item

eds.: Giesl, Jürgen ; Hähnle, Reiner (2010)
Automated Reasoning, 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings.
doi: 10.1007/978-3-642-14203-1
Book

Clarke, Dave ; Diakov, Nikolay ; Hähnle, Reiner ; Johnsen, Einar Broch ; Puebla, Germán ; Weitzel, Balthasar ; Wong, Peter
eds.: Botterweck, Goetz ; Jarzabek, Stan ; Kishi, Tomoji ; Lee, Jaejoon ; Livengood, Steve (2010)
HATS - A Formal Software Product Line Engineering Methodology.
Software Product Lines - 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Workshop Proceedings (Volume 2 : Workshops, Industrial Track, Doctoral Symposium, Demonstrations and Tools).
Conference or Workshop Item

Hähnle, Reiner
eds.: Margaria, Tiziana ; Steffen, Bernhard (2010)
HATS: Highly Adaptable and Trustworthy Software using Formal Models.
doi: 10.1007/978-3-642-16561-0_2
Conference or Workshop Item

Bubel, Richard ; Hähnle, Reiner ; Ji, Ran
eds.: de Boer, Frank ; Bonsangue, Marcello ; Hallerstede, Stefan ; Leuschel, Michael (2010)
Interleaving Symbolic Eexecution and Partial Evaluation.
Conference or Workshop Item

eds.: Beckert, Bernhard ; Hähnle, Reiner (2010)
Special Issue on Tests and Proofs.
Conference or Workshop Item

Maingaud, Séverine ; Balat, Vincent ; Bubel, Richard ; Hähnle, Reiner ; Miquel, Alexandre
eds.: Beckert, Bernhard ; Marché, Claude (2010)
Specifying Imperative ML-like Programs Using Dynamic Logic.
Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers.
doi: 10.1007/978-3-642-18070-5_9
Conference or Workshop Item

Hähnle, Reiner
eds.: Margaria, Tiziana ; Steffen, Bernhard (2010)
Task Forces in the EternalS Coordination Action.
Conference or Workshop Item

Beckert, Bernhard ; Hähnle, Reiner (2010)
Tests and Proofs - Preface of the Special Issue.
In: J. Autom. Reasoning, 45 (4)
doi: 10.1007/s10817-010-9173-2
Article

Bubel, Richard ; Din, Crystal Chang ; Hähnle, Reiner
eds.: Beckert, Bernhard ; Marché, Claude (2010)
Verification of Variable Software: an Experience Report.
Conference or Workshop Item

Hähnle, Reiner ; Baum, Marcus ; Bubel, Richard ; Rothe, Marcel
eds.: Pecheur, Charles ; Andrews, Jamie ; Nitto, Elisabetta Di (2010)
A Visual Interactive Debugger Based on Symbolic Execution.
ASE 2010, 25th IEEE/ACM International Conference on Automated Software Engineering, Antwerp, Belgium, September 20-24, 2010. Antwerp, Belgium (September 20-24, 2010)
doi: 10.1145/1858996.1859022
Conference or Workshop Item

Ball, Thomas ; Giesl, Jürgen ; Hähnle, Reiner ; Nipkow, Tobias
eds.: Ball, Thomas ; Giesl, Jürgen ; Hähnle, Reiner ; Nipkow, Tobias (2009)
09411 Abstracts Collection - Interaction versus Automation: The two Faces of Deduction.
Interaction versus Automation: The two Faces of Deduction, 04.10. - 09.10.2009.
Conference or Workshop Item

Ahrendt, Wolfgang ; Bubel, Richard ; Hähnle, Reiner
eds.: Gibbons, J. ; Oliveira, J. N. (2009)
Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification.
Teaching Formal Methods, Second International Conference, TFM 2009. Eindhoven (November 2-6, 2009)
doi: 10.1007/978-3-642-04912-5_9
Conference or Workshop Item

eds.: Ball, Thomas ; Giesl, Jürgen ; Hähnle, Reiner ; Nipkow, Tobias (2009)
Interaction versus Automation: The two Faces of Deduction, 04.10. - 09.10.2009.
Book

Bubel, Richard ; Hähnle, Reiner ; Weiß, Benjamin
eds.: de Boer, Frank S. ; Bonsangue, Marcello M. ; Madelaine, Eric (2008)
Abstract Interpretation of Symbolic Execution with Explicit State Updates.
Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures.
doi: 10.1007/978-3-642-04167-9_13
Conference or Workshop Item

Bubel, Richard ; Hähnle, Reiner
ed.: Instenes, Zoltán (2008)
A Hoare-Style Calculus with Explicit State Updates.
Conference or Workshop Item

Hähnle, Reiner ; Pan, Jing ; Rümmer, Philipp ; Walter, Dennis (2008)
Integration of a Security Type System into a Program Logic.
In: Theoretical Computer Science, 402 (2--3)
Article

Hähnle, Reiner ; Pan, Jing ; Rümmer, Philipp ; Walter, Dennis (2008)
Integration of a security type system into a program logic.
In: Theor. Comput. Sci., 402 (2-3)
doi: 10.1016/j.tcs.2008.04.033
Article

Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter
ed.: Beckert, Bernhard (2008)
Specification Predicates with Explicit Dependency Information.
Conference or Workshop Item

eds.: Beckert, Bernhard ; Hähnle, Reiner (2008)
Tests and Proofs : Papers presented at the Second International Conference TAP 2008, Prato, Italy.
Book

eds.: Beckert, Bernhard ; Hähnle, Reiner (2008)
Tests and Proofs : Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008 ; Proceedings.
Book

Mürk, Oleg ; Larsson, Daniel ; Hähnle, Reiner
ed.: Tews, Hendrik (2007)
Deductive Verifiction of C Programs with KeY-C.
Conference or Workshop Item

Engel, Christian ; Hähnle, Reiner
eds.: Meyer, Bertrand ; Gurevich, Yuri (2007)
Generating Unit Tests from Formal Proofs.
Tests and Proofs, First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers.
doi: 10.1007/978-3-540-73770-4_10
Conference or Workshop Item

Hähnle, Reiner ; Pan, Jing ; Rümmer, Philipp ; Walter, Dennis
eds.: Montanari, Ugo ; Sannella, Donald ; Bruni, R. (2007)
Integration of a Security Type System into a Program Logic.
Conference or Workshop Item

Beckert, Bernhard ; Giese, Martin ; Hähnle, Reiner ; Klebanov, Vladimir ; Rümmer, Philipp ; Schlager, Steffen ; Schmitt, Peter
ed.: Pfenning, Frank (2007)
The KeY System 1.0 (Deduction Component).
Conference or Workshop Item

Mürk, Oleg ; Larsson, Daniel ; Hähnle, Reiner
ed.: Pfenning, Frank (2007)
KeY-C: A Tool for Verification of C Programs.
Conference or Workshop Item

Ahrendt, Wolfgang ; Beckert, Bernhard ; Hähnle, Reiner ; Schmitt, Peter
eds.: Bonsangue, Marcello ; Johnsen, Einar Broch (2007)
KeY: A Formal Method for Object-Oriented Systems.
Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings.
doi: 10.1007/978-3-540-72952-5_2
Conference or Workshop Item

Hähnle, Reiner
eds.: Beckert, Bernhard ; Hähnle, Reiner ; Schmitt, Peter (2007)
A New Look at Formal Methods for Software Construction.
In: Verification of Object-Oriented Software: The {KeY} Approach
Book Section

Bubel, Richard
eds.: Beckert, Bernhard ; Hähnle, Reiner ; Schmitt, Peter (2007)
The Schorr-Waite Algorithm.
In: Verification of Object-Oriented Software: The {KeY} Approach
Book Section

Larsson, Daniel ; Hähnle, Reiner
ed.: Beckert, Bernhard (2007)
Symbolic Fault Injection.
Conference or Workshop Item

Gedell, Tobias ; Hähnle, Reiner
eds.: Aguzzoli, Stefano ; Ciabattoni, Agata ; Gerla, Brunella ; Manara, Corrado ; Marra, Vincenzo (2007)
Verification by Parallelization of Parametric Code.
Algebraic and Proof-theoretic Aspects of Non-classical Logics, Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday.
doi: 10.1007/978-3-540-75939-3_10
Conference or Workshop Item

Ahrendt, Wolfgang ; Beckert, Bernhard ; Hähnle, Reiner ; Rümmer, Philipp ; Schmitt, Peter
eds.: de Boer, Frank ; Bonsangue, Marcello ; Graf, Susanne ; de Roever, Willem (2007)
Verifying Object-Oriented Programs with KeY: a Tutorial.
doi: 10.1007/978-3-540-74792-5_4
Conference or Workshop Item

Gedell, Tobias ; Hähnle, Reiner
eds.: Hermann, Miki ; Voronkov, Andrei (2006)
Automating Verification of Loops by Parallelization.
Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings.
doi: 10.1007/11916277_23
Conference or Workshop Item

Beckert, Bernhard ; Hähnle, Reiner ; Schmitt, Peter (2006)
Integrating Object-Oriented Design and Deductive Verification of Software.
Fourth IEEE International Conference o Software Engineering and Formal Methods (SEFM 2006). Pune, India (11-15 September 2006)
doi: 10.1109/SEFM.2006.25
Conference or Workshop Item

Hähnle, Reiner ; Pan, Jing ; Rümmer, Philipp ; Walter, Dennis
eds.: Montanari, Ugo ; Sannella, Donald ; Bruni, Roberto (2006)
Integration of a Security Type System into a Program Logic.
Trustworthy Global Computing, Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers.
doi: 10.1007/978-3-540-75336-0_8
Conference or Workshop Item

Beckert, Bernhard ; Hähnle, Reiner ; Hoare, Tony ; Smith, Douglas ; Green, Cordell ; Ranise, Silvio ; Tinelli, Cesare ; Ball, Thomas ; Rajamani, Sriram (2006)
Intelligent Systems and Formal Methods in Software Engineering.
In: IEEE Intelligent Systems, 21 (6)
doi: 10.1109/MIS.2006.117
Article

Bubel, Richard ; Hähnle, Reiner
eds.: Beckert, Bernhard ; Hähnle, Reiner ; Schmitt, Peter (2006)
Pattern-Driven Formal Specification.
In: Verification of Object-Oriented Software: The {KeY} Approach
Book Section

Govaert, Gerard ; Hähnle, Reiner ; Nadif, Mohamed (2006)
Preface.
In: Soft Comput., 10 (5)
doi: 10.1007/s00500-005-0500-1
Article

Wallenburg, Angela
eds.: Beckert, Bernhard ; Hähnle, Reiner ; Schmitt, Peter (2006)
Proving by Induction.
In: Verification of Object-Oriented Software: The {KeY} Approach
Book Section

Larsson, Daniel ; Hähnle, Reiner (2006)
Symbolic Fault Injection.
Report

eds.: Beckert, Bernhard ; Hähnle, Reiner ; Schmitt, Peter (2006)
Verification of Object-Oriented Software: The KeY Approach.
Book

Ahrendt, Wolfgang ; Beckert, Bernhard ; Hähnle, Reiner ; Rümmer, Philipp ; Schmitt, Peter H.
eds.: de Boer, Frank S. ; Bonsangue, Marcello M. ; Graf, Susanne ; de Roever, Willem P. (2006)
Verifying Object-Oriented Programs with KeY: A Tutorial.
Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures.
doi: 10.1007/978-3-540-74792-5_4
Conference or Workshop Item

Bubel, Richard ; Hähnle, Reiner (2005)
Integration of Informal and Formal Development of Object-Oriented Safety-Critical Software - A Case Study with the KeY System.
In: Software Tools for Technology Transfer, 7 (3)
Article

Bubel, Richard ; Hähnle, Reiner (2005)
Integration of informal and formal development of object-oriented safety-critical software.
In: STTT, 7 (3)
doi: 10.1007/s10009-004-0166-5
Article

Ahrendt, Wolfgang ; Baar, Thomas ; Beckert, Bernhard ; Bubel, Richard ; Giese, Martin ; Hähnle, Reiner ; Menzel, Wolfram ; Mostowski, Wojciech ; Roth, Andreas ; Schlager, Steffen ; Schmitt, Peter (2005)
The KeY tool: integrating object oriented design and formal verification.
In: Software and System Modeling, 4 (1)
doi: 10.1007/s10270-004-0058-x
Article

Hähnle, Reiner (2005)
Many-Valued Logic, Partiality, and Abstraction in Formal Specification Languages.
In: Logic Journal of the IPGL, 13 (4)
Article

Hähnle, Reiner ; Murray, Neil ; Rosenthal, Erik
eds.: Hacid, Mohand-Saïd ; Raś, Zbigniew ; Murray, Neil ; Tsumoto, Shusaku (2005)
Normal Forms for Knowledge Compilation.
Conference or Workshop Item

Bézivin, Jean ; Baar, Thomas ; Gardner, Tracy ; Gogolla, Martin ; Hähnle, Reiner ; Hussmann, Heinrich ; Patrascoiu, Octavian ; Schmitt, Peter ; Warmer, Jos
eds.: Nunes, Nuno Jardim ; Selic, Bran ; Rodrigues da Silva, Alberto ; Alvarez, Ambrosio Toval (2005)
OCL and Model Driven Engineering (Workshop Report).
Conference or Workshop Item

Darvas, Adam ; Hähnle, Reiner ; Sands, Dave
eds.: Hutter, Dieter ; Ullmann, Markus (2005)
A Theorem Proving Approach to Analysis of Secure Information Flow.
Conference or Workshop Item

Darvas, Adam ; Hähnle, Reiner ; Sands, David
eds.: Hutter, Dieter ; Ullmann, Markus (2005)
A Theorem Proving Approach to Analysis of Secure Information Flow.
Security in Pervasive Computing, Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings.
doi: 10.1007/978-3-540-32004-3_20
Conference or Workshop Item

Hähnle, Reiner ; Mostowski, Wojciech
eds.: Barthe, Gilles ; Burdy, Lilian ; Huisman, Marieke ; Lanet, Jean-Louis ; Muntean, Traian (2005)
Verification of Safety Properties in the Presence of Transactions.
Conference or Workshop Item

Hähnle, Reiner ; Murray, Neil ; Rosenthal, Erik (2004)
Linearity and regularity with negation normal form.
In: Theoretical Computer Science, 328 (3)
Article

Giese, Martin ; Hähnle, Reiner ; Larsson, Daniel (2004)
Rule-Based Simplification of OCL Constraints.
Conference or Workshop Item

Beckert, Bernhard ; Giese, Martin ; Habermalz, Elmar ; Hähnle, Reiner ; Roth, Andreas ; Rümmer, Philipp ; Schlager, Steffen (2004)
Taclets: a new paradigm for constructing interactive theorem provers.
In: Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales, Serie A: Matem'{a}ticas, 98 (1)
Article

Darvas, Adam ; Hähnle, Reiner ; Sands, Dave (2004)
A Theorem Proving Approach to Analysis of Secure Information Flow.
Report

Hähnle, Reiner
eds.: Fitting, Melvin ; Orlowska, Ewa (2003)
Complexity of Many-Valued Logics.
In: Beyond Two: Theory and Applications of Multiple-Valued Logic
Book Section

Hähnle, Reiner ; Sörensson, Niklas
eds.: Cialdea Mayer, Marta ; Pirri, Fiora (2003)
Fair Constraint Merging Tableaux in Lazy Functional Programming Style.
Conference or Workshop Item

Bubel, Richard ; Hähnle, Reiner
eds.: Arts, Thomas ; Fokkink, Wan (2003)
Formal Specification of Security-Critical Railway Software with the KeY System.
Conference or Workshop Item

Bubel, Richard ; Hähnle, Reiner (2003)
Integration of Informal and Formal Development of Object-Oriented Safety-Critical Software: A Case Study with the KeY System.
In: Electr. Notes Theor. Comput. Sci., 80
doi: 10.1016/S1571-0661(04)80806-5
Article

Giese, Martin ; Hähnle, Reiner (2003)
Tableaux + Constraints.
Conference or Workshop Item

Darvas, Adam ; Hähnle, Reiner ; Sands, Dave
ed.: Gorrieri, Roberto (2003)
A Theorem Proving Approach to Analysis of Secure Information Flow.
Conference or Workshop Item

Hähnle, Reiner ; Wallenburg, Angela
eds.: Petrenko, Alex ; Ulrich, Andreas (2003)
Using a software testing technique to improve theorem proving.
Conference or Workshop Item

Hähnle, Reiner ; Johannisson, Kristofer ; Ranta, Aarne
eds.: Kutsche, Ralf-Detlef ; Weber, Herbert (2002)
An Authoring Tool for Informal and Formal Requirements Specifications.
Fundamental Approaches to Software Engineering, 5th International Conference, FASE 2002, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings.
doi: 10.1007/3-540-45923-5_16
Conference or Workshop Item

Ahrendt, Wolfgang ; Baar, Thomas ; Beckert, Bernhard ; Giese, Martin ; Habermalz, Elmar ; Hähnle, Reiner ; Menzel, Wolfram ; Mostowski, Wojciech ; Schmitt, Peter H.
eds.: Kutsche, Ralf-Detlef ; Weber, Herbert (2002)
The KeY System: Integrating Object-Oriented Design and Formal Methods.
Fundamental Approaches to Software Engineering, 5th International Conference, FASE 2002, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings.
doi: 10.1007/3-540-45923-5_23
Conference or Workshop Item

Hähnle, Reiner ; Hasegawa, Ryuzo ; Shirai, Yasuyuki (2002)
Model Generation Theorem Proving with Finite Interval Constraints.
In: Journal of the Information Processing Society of Japan, 43 (12)
Article

Hähnle, Reiner ; Murray, Neil ; Rosenthal, Erik
eds.: Fermüller, Christian ; Egly, Uwe (2002)
Unit Preference for Ordered Resolution and for Connection Graph Resolution.
Conference or Workshop Item

Claessen, Koen ; Hähnle, Reiner ; Maartensson, Johan
eds.: Sutcliffe, Geoff ; Pelletier, Jef ; Suttner, Christian (2002)
Verification of Hardware Systems with First-Order Logic.
Conference or Workshop Item

Hähnle, Reiner
eds.: Gabbay, Reiner M. ; Guenthner, F. (2001)
Advanced Many-Valued Logics.
In: Handbook of Philosophical Logic
Book Section

Hähnle, Reiner (2001)
Complexity of Many-Valued Logics.
Conference or Workshop Item

Hähnle, Reiner ; Ranta, Aarne
ed.: Whittle, Jon (2001)
Connecting OCL with the Rest of the World.
Conference or Workshop Item

Béjar, Ramon ; Hähnle, Reiner ; Manyà, Felip (2001)
A Modular Reduction of Regular Logic to Classical Logic.
Conference or Workshop Item

Hähnle, Reiner ; Murray, Neil ; Rosenthal, Erik
eds.: Goré, Rajeev ; Leitsch, Alexander ; Nipkow, Tobias (2001)
Ordered Resolution vs. Connection Graph Resolution.
Conference or Workshop Item

Hähnle, Reiner
eds.: Reusch, Bernd ; Temme, Karl-Heinz (2001)
Proof Theory of Many-Valued Logic and Linear Optimization.
In: Computational Intelligence in Theory and Practice
Book Section

Hähnle, Reiner
eds.: Robinson, Alan ; Voronkov, Andrei (2001)
Tableaux and Related Methods.
In: Handbook of Automated Reasoning
Book Section

Beckert, Bernhard ; Hähnle, Reiner ; Manya, Felip (2000)
The 2-SAT Problem of Regular Signed CNF Formulas.
Conference or Workshop Item

Baar, Thomas ; Hähnle, Reiner ; Sattler, Theo ; Schmitt, Peter H.
eds.: Mehlhorn, Kurt ; Snelting, Gregor (2000)
Entwurfsmustergesteuerte Erzeugung von OCL-Constraints.
Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung der Gesellschaft für Informatik Berlin, 19.-22. September 2000..
doi: 10.1007/978-3-642-58322-3_30
Conference or Workshop Item

Baar, Thomas ; Hähnle, Reiner
eds.: France, Robert ; Rumpe, Bernhard ; Whittle, Jonathan (2000)
An Integrated Metamodel for OCL Types.
Conference or Workshop Item

Ahrendt, Wolfgang ; Baar, Thomas ; Beckert, Bernhard ; Giese, Martin ; Habermalz, Elmar ; Hähnle, Reiner ; Menzel, Wolfram ; Schmitt, Peter (2000)
The KeY Approach: Integrating Object Oriented Design and Formal Verification.
Report

Ahrendt, Wolfgang ; Baar, Thomas ; Beckert, Bernhard ; Giese, Martin ; Habermalz, Elmar ; Hähnle, Reiner ; Menzel, Wolfram ; Schmitt, Peter (2000)
The KeY Approach: Integrating Object Oriented Design and Formal Verification.
Conference or Workshop Item

Ahrendt, Wolfgang ; Baar, Thomas ; Beckert, Bernhard ; Giese, Martin ; Habermalz, Elmar ; Hähnle, Reiner ; Menzel, Wolfram ; Schmitt, Peter
eds.: Ojeda-Aciego, Manuel ; de Guzmán, Inma P. ; Brewka, Gerhard ; Pereira, Luís Moniz (2000)
The KeY Approach: Integrating Object Oriented Design and Formal Verification.
Conference or Workshop Item

Hähnle, Reiner ; Hasegawa, Ryuzo ; Shirai, Yasuyuki (2000)
A Model Generation Theorem Prover Handling Finite Interval Constraints.
Report

Hähnle, Reiner ; Hasegawa, Ryuzo ; Shirai, Yasuyuki
eds.: Lloyd, John ; Dahl, Veronica ; Furbach, Ulrich ; Kerber, Manfred ; Lau, Kung-Kiu ; Palamidessi, Catuscia ; Pereira, Luís Moniz ; Sagiv, Yehoshua ; Stuckey, Peter (2000)
Model Generation Theorem Proving with Finite Interval Constraints.
Conference or Workshop Item

Beckert, Bernhard ; Hähnle, Reiner ; Manya, Felip
eds.: Basin, David ; D'Agostino, Marcello ; Gabbay, Dov ; Matthews, Seán ; Viganò, Luca (2000)
The SAT Problem of Signed CNF Formulas.
In: Labelled Deduction
Book Section

eds.: D'Agostino, Marcello ; Gabbay, Dov ; Hähnle, Reiner ; Posegga, Joachim (1999)
Handbook of Tableau Methods.
Book

Hähnle, Reiner ; Menzel, Wolfram ; Schmitt, Peter H. ; Reif, Wolfgang (1999)
J.UCS Special Issue on Integration of Deduction Systems.
In: J. UCS, 5 (3)
Article

Hähnle, Reiner (1999)
Many-Valued Logic, Linear Optimization and Logic Design: Connections and Interactions.
In: Collegium Logicum. Annals of the Kurt-G"{o}del-Society
Book Section

Hähnle, Reiner ; Beckert, Bernhard
ed.: Murray, Neil V. (1999)
Proof Confluent Tabelau Calculi (Tutorial).
Conference or Workshop Item

Hähnle, Reiner
eds.: D'Agostino, Marcello ; Gabbay, Dov ; Hähnle, Reiner ; Posegga, Joachim (1999)
Tableaux for Many-Valued Logics.
In: Handbook of Tableau Methods
Book Section

Beckert, Bernhard ; Hähnle, Reiner ; Manyà, Felip (1999)
Transformations between Signed and Classical Clause Logic.
Conference or Workshop Item

Beckert, Bernhard ; Hähnle, Reiner
eds.: Bibel, Wolfgang ; Schmitt, Peter (1998)
Analytic Tableaux.
In: Automated Deduction: A Basis for Applications
Book Section

Hähnle, Reiner (1998)
Commodious Axiomatization of Quantifiers in Multiple-Valued Logic.
In: Studia Logica, 61 (1)
doi: 10.1023/A:1005086415447
Article

Ahrendt, Wolfgang ; Beckert, Bernhard ; Hähnle, Reiner ; Menzel, Wolfram ; Reif, Wolfgang ; Schellhorn, Gerhard ; Schmitt, Peter
eds.: Bibel, Wolfgang ; Schmitt, Peter (1998)
Integration of Automated and Interactive Theorem Proving.
In: Automated Deduction: A Basis for Applications
Book Section

Hähnle, Reiner ; Menzel, Wolfram ; Schmitt, Peter (1998)
Integrierter Deduktiver Software-Entwurf.
In: Künstliche Intelligenz, 12
Article

Beckert, Bernhard ; Hähnle, Reiner ; Escalada-Imaz, Gonzalo (1998)
Simplification of Many-Valued Logic Formulas Using Anti-Links.
In: Journal of Logic and Computation, 8 (4)
Article

Hähnle, Reiner ; Murray, Neil ; Rosenthal, Erik
ed.: de Swart, Harrie (1998)
Some Remarks on Completeness, Connection Graph Resolution and Link Deletion.
Conference or Workshop Item

ed.: Hähnle, Reiner (1998)
Special Issue with Selected Papers of Int. Conference of COST Action~15: Many-Valued Logics for Computer Science Applications.
Conference or Workshop Item

Hähnle, Reiner ; Murray, Neil ; Rosenthal, Erik
eds.: Raś, Zbigniew ; Skowron, Andrzej (1997)
Completeness for Linear Regular Negation Normal Form Inference Systems.
Conference or Workshop Item

Hähnle, Reiner ; Escalada-Imaz, Gonzalo (1997)
Deduction in Many-Valued Logics: a Survey.
In: Mathware & Soft Computing, 4 (2)
Article

Ramesh, Anavai ; Beckert, Bernhard ; Hähnle, Reiner ; Murray, Neil V. (1997)
Fast Subsumption Checks Using Anti-Links.
In: Journal of Automated Reasoning, 18 (1)
Article

Hähnle, Reiner ; Pape, Christian
ed.: Galmiche, Didier (1997)
Ordered Tableaux: Extensions and Applications.
doi: 10.1007/BFb0027413
Conference or Workshop Item

Hähnle, Reiner (1997)
Proof Theory of Many-Valued Logic - Linear Optimization - Logic Design: Connections and Interactions.
In: sc, 1 (3)
Article

Hähnle, Reiner (1997)
Proof theory of many-valued logic--linear optimization--logic design: connections and interactions.
In: Soft Comput., 1 (3)
doi: 10.1007/s005000050012
Article

Hähnle, Reiner ; Murray, Neil ; Rosenthal, Erik
ed.: Galmiche, Didier (1997)
A Remark on Proving Completeness.
Conference or Workshop Item

Pape, Christian ; Hähnle, Reiner
eds.: Gottlob, Georg ; Leitsch, Alexander ; Mundici, Daniele (1997)
Restart Tableaux with Selection Function.
Conference or Workshop Item

Beckert, Bernhard ; Hähnle, Reiner ; Escalada-Imaz, Gonzalo (1997)
Simplification of Many-Valued Logic Formulas Using Anti-Links.
Report

eds.: Hähnle, Reiner ; Escalada-Imaz, Gonzalo (1997)
Special Issue on Deduction in Many-Valued Logic.
Conference or Workshop Item

Hähnle, Reiner ; Klingenbeck, Stefan (1996)
A-Ordered Tableaux.
In: J. Log. Comput., 6 (6)
doi: 10.1093/logcom/6.6.819
Article

Hähnle, Reiner (1996)
Broadening the Perspectives of Automated Theorem Proving.
Other

Hähnle, Reiner ; Kerber, Manfred ; Weidenbach, Christoph (1996)
Common Syntax of DFG-Schwerpunktprogramm "Deduktion".
Report

Hähnle, Reiner (1996)
Exploiting Data Dependencies in Many-Valued Logics.
In: Journal of Applied Non-Classical Logics, 6 (1)
Article

Hähnle, Reiner (1996)
Many-Valued Logic, Linear Optimization and Logic Design: Connections and Interactions.
Conference or Workshop Item

Beckert, Bernhard ; Hähnle, Reiner ; Geiß, Karla ; Oel, Peter ; Pape, Christian ; Sulzmann, Martin (1996)
The Many-Valued Tableau-Based Theorem Prover 3-TAP, Version 4.0.
Report

Beckert, Bernhard ; Hähnle, Reiner (1996)
Proving Compiler Correctness with Evolving Algebra Specifications.
Report

Hähnle, Reiner ; Murray, Neil ; Rosenthal, Erik
eds.: Miglioli, Pierangelo ; Moscato, Ugo ; Mundici, Daniele ; Ornaghi, Mario (1996)
A Remark on the P-Simulatability of Proof Systems by Path Dissolution.
Conference or Workshop Item

Beckert, Bernhard ; Hähnle, Reiner ; Oel, Peter ; Sulzmann, Martin (1996)
The Tableau-Based Theorem Prover (TaP).
Conference or Workshop Item

Beckert, Bernhard ; Hähnle, Reiner ; Oel, Peter ; Sulzmann, Martin
eds.: McRobbie, Michael ; Slaney, John (1996)
The Tableau-Based Theorem Prover TaP, Version 4.0.
Conference or Workshop Item

Hähnle, Reiner (1995)
Automated Deduction and Integer Programming.
In: Collegium Logicum. Annals of the Kurt-G"{o}del-Society
Book Section

Tassart, Guy ; Iturrioz, Luisa ; Klement, Erich Peter ; Mundici, Daniele ; Prade, Henri ; Schmitt, Peter ; Hähnle, Reiner (1995)
COST Action 15: Many-Valued Logics for Computer Science Applications.
In: Computational Logic, 2 (2)
Article

Beckert, Bernhard ; Hähnle, Reiner
ed.: Kleine Büning, Hans (1995)
Deduction by Combining Semantic Tableaux and Integer Programming.
Computer Science Logic, 9th International Workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995, Selected Papers.
doi: 10.1007/3-540-61377-3_31
Conference or Workshop Item

Ramesh, Anavai ; Murray, Neil V. ; Beckert, Bernhard ; Hähnle, Reiner (1995)
Fast Subsumption Checks Using Anti-Links.
Report

Hähnle, Reiner ; Hasegawa, Ryuzo ; Shirai, Yasuyuki
eds.: Benhamou, Frédéric ; Older, William J. ; Emden, Maarten van ; Hentenryck, Pascal van (1995)
Model Generation Theorem Proving with Interval Constraints.
Conference or Workshop Item

Hähnle, Reiner ; Hasegawa, Ryuzo ; Shirai, Yasuyuki (1995)
Model Generation Theorem Proving with Interval Constraints.
Report

eds.: Baumgartner, Peter ; Hähnle, Reiner ; Posegga, Joachim (1995)
Theorem Proving with Analytic Tableaux and Related Methods, 4th International Workshop, St. Goar, Germany.
Conference or Workshop Item

eds.: Baumgartner, Peter ; Hähnle, Reiner ; Posegga, Joachim (1995)
Theorem Proving with Analytic Tableaux and Related Methods, 4th International Workshop, St. Goar, Germany. Poster Session and Short Papers.
Conference or Workshop Item

Hähnle, Reiner (1994)
Automated Deduction in Multiple-Valued Logics.
Book

Hähnle, Reiner (1994)
Efficient Deduction in Many-Valued Logics.
Conference or Workshop Item

Hähnle, Reiner ; Ibens, Ortrun
eds.: Gabbay, Ortrun M. ; Ohlbach, Hans Jürgen (1994)
Improving Temporal Logic Tableaux Using Integer Constraints.
Conference or Workshop Item

Hähnle, Reiner ; Schmitt, Peter H. (1994)
The Liberalized delta-Rule in Free Variable Semantic Tableaux.
In: J. Autom. Reasoning, 13 (2)
doi: 10.1007/BF00881956
Article

Hähnle, Reiner (1994)
Many-Valued Logic and Mixed Integer Programming.
In: Annals of Mathematics and Artificial Intelligence, 12 (3,4)
Article

Hähnle, Reiner ; Beckert, Bernhard ; Gerberding, Stefan (1994)
The Many-Valued Tableau-Based Theorem Prover TAP.
Report

Beckert, Bernhard ; Hähnle, Reiner ; Ramesh, Anavai ; Murray, Neil
ed.: Pfenning, Frank (1994)
On Anti-Links.
Conference or Workshop Item

Klingenbeck, Stefan ; Hähnle, Reiner
ed.: Bundy, Alan (1994)
Semantic Tableaux with Ordering Restrictions.
Conference or Workshop Item

Hähnle, Reiner (1994)
Short Conjunctive Normal Forms in Finitely-Valued Logics.
In: Journal of Logic and Computation, 4 (6)
Article

Hähnle, Reiner ; Reif, Wolfgang
ed.: Frisch, Alan (1994)
Towards the Integration of Tactical and Automated Reasoning.
Conference or Workshop Item

Hähnle, Reiner ; Schmitt, Peter (1994)
The liberalized delta-rule in free variable semantic tableaux.
In: Journal of Automated Reasoning, 13 (2)
Article

eds.: Basin, David ; Fronhöfer, Bertram ; Hähnle, Reiner ; Posegga, Joachim ; Schwind, Camilla (1993)
2nd Workshop on Theorem Proving with Analytic Tableaux and Related Methods, Marseille/France.
Conference or Workshop Item

Hähnle, Reiner
eds.: Jackson, Peter ; Scherl, Richard (1993)
Efficient Deduction in Many-Valued Logics.
Conference or Workshop Item

Beckert, Bernhard ; Hähnle, Reiner ; Schmitt, Peter H.
eds.: Gottlob, Georg ; Leitsch, Alexander ; Mundici, Daniele (1993)
The Even More Liberalized delta-Rule in Free Variable Semantic Tableaux.
Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings.
doi: 10.1007/BFb0022559
Conference or Workshop Item

Ries, Klaus ; Hähnle, Reiner (1993)
Prädikatenlogisches Beweisen mit gemischt ganzzahliger Optimierung. Ein tableau-basier-ter Ansatz.
Conference or Workshop Item

Hähnle, Reiner
eds.: Komorowski, Jan ; Raś, Zbigniew (1993)
Short CNF in Finitely-Valued Logics.
Conference or Workshop Item

Hähnle, Reiner ; Kernig, Werner
eds.: Kropf, Th. ; Kumar, R. ; Schmid, D. (1993)
Uses of Many-Valued Deduction in Hardware Verification.
Conference or Workshop Item

Hähnle, Reiner ; Kernig, Werner
ed.: Voronkov, Andrei (1993)
Verification of Switch Level Designs with Many-Valued Logic.
Conference or Workshop Item

Beckert, Bernhard ; Hähnle, Reiner ; Schmitt, Peter
eds.: Gottlob, Georg ; Leitsch, Alexander ; Mundici, Daniele (1993)
The even more liberalized delta-rule in free variable semantic tableaux.
Conference or Workshop Item

Hähnle, Reiner
eds.: Fronhöfer, Bertram ; Hähnle, Reiner ; Käufl, Thomas (1992)
Analytic Tableau and Integer Programming (Extended Abstract).
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.
Conference or Workshop Item

Hähnle, Reiner
eds.: Fronhöfer, Bertram ; Hähnle, Reiner ; Käufl, Thomas (1992)
Analytic Tableaux and Integer Programming.
Conference or Workshop Item

Beckert, Bernhard ; Hähnle, Reiner
ed.: Kapur, Deepak (1992)
An Improved Method for Adding Equality to Free Variable Semantic Tableau.
Automated Deduction - CADE-11, 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings.
Conference or Workshop Item

Beckert, Bernhard ; Gerberding, Stefan ; Hähnle, Reiner ; Kernig, Werner
ed.: Kapur, Deepak (1992)
The Many-Valued Tableau-Based Theorem Prover TaP.
Conference or Workshop Item

Hähnle, Reiner
eds.: Calmet, Jacques ; Campbell, John A. (1992)
A New Translation from Deduction into Integer Programming.
Conference or Workshop Item

Beckert, Bernhard ; Gerberding, Stefan ; Hähnle, Reiner ; Kernig, Werner
ed.: Kapur, Deepak (1992)
The Tableau-Based Theorem Prover 3TAP for Multi-Valued Logics.
Automated Deduction - CADE-11, 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings.
doi: 10.1007/3-540-55602-8_219
Conference or Workshop Item

Hähnle, Reiner (1992)
Tableaux-Based Theorem Proving in Multiple-Valued Logics.
University of Karlsruhe, Department of Computer Science
Ph.D. Thesis

eds.: Fronhöfer, Bertram ; Hähnle, Reiner ; Käufl, Thomas (1992)
Workshop on Theorem Proving with Analytic Tableaux and Related Methods, Lautenbach/Germany.
Conference or Workshop Item

Hähnle, Reiner
eds.: Börger, Egon ; Kleine Büning, Hans ; Richter, Michael ; Schönfeld, Wolfgang (1991)
Towards an Efficient Tableau Proof Procedure for Multiple-Valued Logics.
In: Selected Papers from Computer Science Logic, {CSL}'90, Heidelberg, Germany
Book Section

Hähnle, Reiner (1991)
Uniform Notation of Tableaux Rules for Multiple-Valued Logics.
Conference or Workshop Item

Hähnle, Reiner (1990)
Spezifikation eines Theorembeweisers für dreiwertige First-Order Logik.
Report

Hähnle, Reiner (1987)
Programmverifikation durch symbolische Ausführung und Induktion.
University of Karlsruhe
Diploma Thesis or Magisterarbeit

Hähnle, Reiner ; Heisel, Maritta ; Reif, Wolfgang ; Stephan, Werner (1986)
An Interactive Verification System Based on Dynamic Logic.
doi: 10.1007/3-540-16780-3_99
Conference or Workshop Item