2022

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-22.05.2022)
Konferenzveröffentlichung, Bibliographie

Grätz, Lukas ; Hähnle, Reiner ; Bubel, Richard
Hrsg.: 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.04.2022-07.04.2022)
doi: 10.1007/978-3-030-99429-7_8
Konferenzveröffentlichung, Bibliographie

2021

Scaletta, Marco ; Hähnle, Reiner ; Steinhöfel, Dominic ; Bubel, Richard
Hrsg.: 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.10.2021-18.10.2021)
doi: 10.1145/3486609.3487200
Konferenzveröffentlichung, Bibliographie

Damiani, Ferruccio ; Hähnle, Reiner ; Kamburjan, Eduard ; Lienhardt, Michael ; Paolini, Luca
Hrsg.: 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.09.2021-11.09.2021)
doi: 10.1145/3461001.3471143
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner ; Aalst, Wil van der (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
Artikel, Bibliographie

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
Artikel, Bibliographie

Albert, Elvira ; Hähnle, Reiner ; Merayo, Alicia ; Steinhöfel, Dominic
Hrsg.: 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.2021-01.04.2021)
doi: 10.1007/978-3-030-71500-7_2
Konferenzveröffentlichung, Bibliographie

Setyautami, Maya Retno Ayu ; Hähnle, Reiner
Hrsg.: 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.02.2021-11.02.2021)
doi: 10.1145/3442391.3442401
Konferenzveröffentlichung, Bibliographie

2020

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

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

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
Artikel, Bibliographie

2019

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

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
Buchkapitel, Bibliographie

Wasser, Nathan ; Tabar, Asmae Heydari ; Hähnle, Reiner
Hrsg.: 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.05.2019-03.05.2019)
doi: 10.1007/978-3-030-31517-7_15
Konferenzveröffentlichung, Bibliographie

Steinhöfel, Dominic ; Hähnle, Reiner
Hrsg.: ter Beek, Maurice H. ; McIver, Annabelle ; Oliveira, José N. (2019)
Abstract Execution.
3rd World Congress on Formal Methods (FM 2019). Porto, Portugal (07.10.2019-11.10.2019)
doi: 10.1007/978-3-030-30942-8_20
Konferenzveröffentlichung, Bibliographie

Kamburjan, Eduard ; Din, Crystal Chang ; Hähnle, Reiner ; Johnsen, Einar Broch
Hrsg.: Ö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 (18.09.2019–20.09.2019)
doi: 10.1007/978-3-030-30446-1_3
Konferenzveröffentlichung, Bibliographie

Dillmann, Stefan ; Hähnle, Reiner
Hrsg.: 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 (04.06.2019-06.06.2019)
doi: 10.1007/978-3-030-18744-6_5
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner ; Huisman, Marieke
Hrsg.: 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
Buchkapitel, Bibliographie

Hrsg.: 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
Buch, Bibliographie

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

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
Artikel, Bibliographie

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
Artikel, Bibliographie

2018

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
Artikel, Bibliographie

Damiani, Ferruccio ; Hähnle, Reiner ; Kamburjan, Eduard ; Lienhardt, Michael (2018)
Interoperability of software product line variants.
SPLC.
Konferenzveröffentlichung, Bibliographie

Steinhöfel, Dominic ; Hähnle, Reiner
Hrsg.: 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
Buchkapitel, Bibliographie

Kamburjan, Eduard ; Hähnle, Reiner (2018)
Prototyping Formal System Models with Active Objects.
ICE.
Konferenzveröffentlichung, Bibliographie

Damiani, Ferruccio ; Hähnle, Reiner ; Kamburjan, Eduard ; Lienhardt, Michael (2018)
Same Same But Different: Interoperability of Software Product Line Variants.
Principled Software Development.
Konferenzveröffentlichung, Bibliographie

2017

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
Artikel, Bibliographie

Hähnle, Reiner ; Huisman, Marieke
Hrsg.: 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.
Konferenzveröffentlichung, Bibliographie

Damiani, Ferruccio ; Hähnle, Reiner ; Lienhardt, Michael
Hrsg.: 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
Konferenzveröffentlichung, Bibliographie

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
Artikel, Bibliographie

Kamburjan, Eduard ; Hähnle, Reiner
Hrsg.: 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
Konferenzveröffentlichung, Bibliographie

Do, Quoc Huy ; Bubel, Richard ; Hähnle, Reiner
Hrsg.: 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
Konferenzveröffentlichung, Bibliographie

Din, Crystal Chang ; Hähnle, Reiner ; Johnsen, Einar Broch ; Pun, Ka I. ; Tarifa, Silvia Lizeth Tapia
Hrsg.: 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
Konferenzveröffentlichung, Bibliographie

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
Artikel, Bibliographie

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
Hrsg.: Oetting, Andreas (2017)
Tagungsband des Scientific Railway Signalling Symposiums 2017 - Die Steuerung des Eisenbahnbetriebs der Zukunft.
Darmstadt, Germany (19.04.2017-19.04.2017)
Konferenzveröffentlichung, Erstveröffentlichung

Damiani, Ferruccio ; Hähnle, Reiner ; Kamburjan, Eduard ; Lienhardt, Michael
Hrsg.: 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
Konferenzveröffentlichung, Bibliographie

2016

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
Konferenzveröffentlichung, Bibliographie

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
Konferenzveröffentlichung, Bibliographie

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

Wasser, Nathan ; Hähnle, Reiner ; Bubel, Richard
Hrsg.: 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
Buchkapitel, Bibliographie

Hähnle, Reiner ; Wasser, Nathan ; Bubel, Richard
Hrsg.: Á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
Konferenzveröffentlichung, Bibliographie

Hentschel, Martin ; Hähnle, Reiner ; Bubel, Richard
Hrsg.: 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
Konferenzveröffentlichung, Bibliographie

Beek, Maurice H. ter ; Hähnle, Reiner ; Schaefer, Ina
Hrsg.: 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
Konferenzveröffentlichung, Bibliographie

Hentschel, Martin ; Hähnle, Reiner ; Bubel, Richard
Hrsg.: 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
Buchkapitel, Bibliographie

Hrsg.: 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
Buch, Bibliographie

Beckert, Bernhard ; Hähnle, Reiner ; Hentschel, Martin ; Schmitt, Peter H.
Hrsg.: 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
Buchkapitel, Bibliographie

Scheurer, Dominic ; Hähnle, Reiner ; Bubel, Richard
Hrsg.: 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
Konferenzveröffentlichung, Bibliographie

Steinhöfel, Dominic ; Hähnle, Reiner ; Bubel, Richard
Hrsg.: 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
Konferenzveröffentlichung, Bibliographie

Bubel, Richard ; Hähnle, Reiner
Hrsg.: 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
Buchkapitel, Bibliographie

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
Artikel, Bibliographie

Grahl, Daniel ; Bubel, Richard ; Mostowski, Wojciech ; Schmitt, Peter H. ; Ulbrich, Mattias ; Weiß, Benjamin
Hrsg.: 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
Buchkapitel, Bibliographie

Ji, Ran ; Bubel, Richard
Hrsg.: 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
Buchkapitel, Bibliographie

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
Artikel, Bibliographie

Hähnle, Reiner
Hrsg.: 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
Buchkapitel, Bibliographie

Schmitt, Peter H. ; Bubel, Richard
Hrsg.: 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
Buchkapitel, Bibliographie

Hähnle, Reiner ; Muschevici, Radu
Hrsg.: 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
Konferenzveröffentlichung, Bibliographie

Setyautami, Maya R. A. ; Hähnle, Reiner ; Muschevici, Radu ; Azurat, Ade
Hrsg.: 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
Konferenzveröffentlichung, Bibliographie

Kamburjan, Eduard ; Hähnle, Reiner
Hrsg.: 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
Konferenzveröffentlichung, Bibliographie

Hentschel, Martin ; Hähnle, Reiner ; Bubel, Richard
Hrsg.: 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
Konferenzveröffentlichung, Bibliographie

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
Artikel, Bibliographie

Hentschel, Martin ; Hähnle, Reiner ; Bubel, Richard
Hrsg.: 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
Konferenzveröffentlichung, Bibliographie

2015

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

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

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

Bubel, Richard ; Din, Crystal Chang ; Hähnle, Reiner ; Nakata, Keiko
Hrsg.: 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
Konferenzveröffentlichung, Bibliographie

Do, Quoc Huy ; Bubel, Richard ; Hähnle, Reiner
Hrsg.: 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
Konferenzveröffentlichung, Bibliographie

Din, Crystal Chang ; Tarifa, Silvia Lizeth Tapia ; Hähnle, Reiner ; Johnsen, Einar Broch
Hrsg.: 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
Konferenzveröffentlichung, Bibliographie

Din, Crystal Chang ; Bubel, Richard ; Hähnle, Reiner
Hrsg.: 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
Konferenzveröffentlichung, Bibliographie

Gouw, Stijn de ; Rot, Jurriaan ; de Boer, Frank S. ; Bubel, Richard ; Hähnle, Reiner
Hrsg.: 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
Konferenzveröffentlichung, Bibliographie

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

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
Artikel, Bibliographie

2014

Hentschel, Martin ; Bubel, Richard ; Hähnle, Reiner
Hrsg.: Bonakdarpour, Borzoo ; Smolka, Scott (2014)
Symbolic Execution Debugger (SED).
Konferenzveröffentlichung, Bibliographie

Hentschel, Martin ; Käsdorf, Stefan ; Hähnle, Reiner ; Bubel, Richard
Hrsg.: Albert, Elvira ; Sekerinski, Emil ; Zavattaro, Gianluigi (2014)
An interactive verification tool meets an IDE.
Konferenzveröffentlichung, Bibliographie

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
Hrsg.: Giannakopoulou, Dimitra ; Kroening, Daniel (2014)
The KeY Platform for Verification and Analysis of Java Programs.
Konferenzveröffentlichung, Bibliographie

Hentschel, Martin ; Hähnle, Reiner ; Bubel, Richard
Hrsg.: Seidl, Martina ; Tillmann, Nikolai (2014)
Visualizing Unbounded Symbolic Execution.
Konferenzveröffentlichung, Bibliographie

Bubel, Richard ; Montoya, Antonio Flores ; Hähnle, Reiner
Hrsg.: 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
Konferenzveröffentlichung, Bibliographie

Hrsg.: 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
Buch, Bibliographie

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
Artikel, Bibliographie

Bubel, Richard ; Hähnle, Reiner ; Pelevina, Maria (2014)
Fully Abstract Operation Contracts.
Konferenzveröffentlichung, Bibliographie

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

Hentschel, Martin ; Käsdorf, Stefan ; Hähnle, Reiner ; Bubel, Richard
Hrsg.: 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
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner ; Johnsen, Einar Broch
Hrsg.: 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
Konferenzveröffentlichung, Bibliographie

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
Artikel, Bibliographie

Flores-Montoya, Antonio ; Hähnle, Reiner
Hrsg.: 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
Konferenzveröffentlichung, Bibliographie

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

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

2013

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
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner
Hrsg.: Bonsangue, Marcello ; de Boer, Frank ; Giachino, Elena ; Hähnle, Reiner (2013)
The Abstract Behavioral Specification Language: A Tutorial Introduction.
Konferenzveröffentlichung, Bibliographie

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
Artikel, Bibliographie

Albert, Elvira ; de Boer, Frank ; Hähnle, Reiner ; Johnsen, Einar Broch ; Laneve, Cosimo
Hrsg.: Babar, Ali ; Dumas, Marlon (2013)
Engineering Virtualized Services.
Konferenzveröffentlichung, Bibliographie

Albert, Elvira ; de Boer, Frank S. ; Hähnle, Reiner ; Johnsen, Einar Broch ; Laneve, Cosimo
Hrsg.: 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
Konferenzveröffentlichung, Bibliographie

Hrsg.: 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
Buch, Bibliographie

Hrsg.: Bonsangue, Marcello ; de Boer, Frank ; Giachino, Elena ; Hähnle, Reiner (2013)
International School on Formal Models for Components and Objects: Post Proceedings.
Konferenzveröffentlichung, Bibliographie

Ji, Ran ; Hähnle, Reiner ; Bubel, Richard
Hrsg.: 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
Konferenzveröffentlichung, Bibliographie

Ji, Ran ; Hähnle, Reiner ; Bubel, Richard
Hrsg.: Hierons, Robert ; Merayo, Mercedes ; Bravetti, Mario (2013)
Program Transformation Based on Symbolic Execution and Deduction.
Konferenzveröffentlichung, Bibliographie

Ji, Ran ; Hähnle, Reiner ; Bubel, Richard
Hrsg.: Hierons, Robert ; Merayo, Mercedes ; Bravetti, Mario (2013)
Program Transformation Based on Symbolic Execution and Deduction.
Konferenzveröffentlichung, Bibliographie

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

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

2012

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
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner
Hrsg.: 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
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner ; Schaefer, Ina
Hrsg.: 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
Konferenzveröffentlichung, Bibliographie

de Boer, Frank S. ; Hähnle, Reiner ; Johnsen, Einar Broch ; Schlatte, Rudolf ; Wong, Peter Y. H.
Hrsg.: 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
Konferenzveröffentlichung, Bibliographie

Hrsg.: 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
Buch, Bibliographie

Hähnle, Reiner ; Schaefer, Ina
Hrsg.: 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
Konferenzveröffentlichung, Bibliographie

2011

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

Bubel, Richard ; Hähnle, Reiner ; Geilmann, Ulrich
Hrsg.: Barthe, Gilles ; Schneider, Gerardo ; Pardo, Alberto (2011)
A Formalisation of Java Strings for Program Specification and Verification.
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner ; Helvensteijn, Michiel ; Johnsen, Einar Broch ; Lienhardt, Michael ; Sangiorgi, Davide ; Schaefer, Ina ; Wong, Peter Y. H.
Hrsg.: 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
Konferenzveröffentlichung, Bibliographie

Clarke, Dave ; Diakov, Nikolay ; Hähnle, Reiner ; Johnsen, Einar Broch ; Schafer, Ina ; Schäfer, Jan ; Schlatte, Rudolf ; Wong, Peter
Hrsg.: 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
Buchkapitel, Bibliographie

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
Artikel, Bibliographie

Bubel, Richard ; Hähnle, Reiner ; Ji, Ran
Hrsg.: Aichernig, Bernhard ; de Boer, Frank ; Bonsangue, Marcello (2011)
Program Specialization Via a Software Verification Tool.
Konferenzveröffentlichung, Bibliographie

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.
Konferenzveröffentlichung, Bibliographie

2010

Johnsen, Einar Broch ; Hähnle, Reiner ; Schäfer, Jan ; Schlatte, Rudolf ; Steffen, Martin
Hrsg.: 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
Konferenzveröffentlichung, Bibliographie

Hrsg.: 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
Buch, Bibliographie

Clarke, Dave ; Diakov, Nikolay ; Hähnle, Reiner ; Johnsen, Einar Broch ; Puebla, Germán ; Weitzel, Balthasar ; Wong, Peter
Hrsg.: 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).
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner
Hrsg.: Margaria, Tiziana ; Steffen, Bernhard (2010)
HATS: Highly Adaptable and Trustworthy Software using Formal Models.
doi: 10.1007/978-3-642-16561-0_2
Konferenzveröffentlichung, Bibliographie

Bubel, Richard ; Hähnle, Reiner ; Ji, Ran
Hrsg.: de Boer, Frank ; Bonsangue, Marcello ; Hallerstede, Stefan ; Leuschel, Michael (2010)
Interleaving Symbolic Eexecution and Partial Evaluation.
Konferenzveröffentlichung, Bibliographie

Hrsg.: Beckert, Bernhard ; Hähnle, Reiner (2010)
Special Issue on Tests and Proofs.
Konferenzveröffentlichung, Bibliographie

Maingaud, Séverine ; Balat, Vincent ; Bubel, Richard ; Hähnle, Reiner ; Miquel, Alexandre
Hrsg.: 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
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner
Hrsg.: Margaria, Tiziana ; Steffen, Bernhard (2010)
Task Forces in the EternalS Coordination Action.
Konferenzveröffentlichung, Bibliographie

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
Artikel, Bibliographie

Bubel, Richard ; Din, Crystal Chang ; Hähnle, Reiner
Hrsg.: Beckert, Bernhard ; Marché, Claude (2010)
Verification of Variable Software: an Experience Report.
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner ; Baum, Marcus ; Bubel, Richard ; Rothe, Marcel
Hrsg.: 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 (20.09.2010-24.09.2010)
doi: 10.1145/1858996.1859022
Konferenzveröffentlichung, Bibliographie

2009

Ball, Thomas ; Giesl, Jürgen ; Hähnle, Reiner ; Nipkow, Tobias
Hrsg.: 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.
Konferenzveröffentlichung, Bibliographie

Ahrendt, Wolfgang ; Bubel, Richard ; Hähnle, Reiner
Hrsg.: 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 (02.11.2009-06.11.2009)
doi: 10.1007/978-3-642-04912-5_9
Konferenzveröffentlichung, Bibliographie

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

2008

Bubel, Richard ; Hähnle, Reiner ; Weiß, Benjamin
Hrsg.: 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
Konferenzveröffentlichung, Bibliographie

Bubel, Richard ; Hähnle, Reiner
Hrsg.: Instenes, Zoltán (2008)
A Hoare-Style Calculus with Explicit State Updates.
Konferenzveröffentlichung, Bibliographie

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)
Artikel, Bibliographie

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
Artikel, Bibliographie

Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter
Hrsg.: Beckert, Bernhard (2008)
Specification Predicates with Explicit Dependency Information.
Konferenzveröffentlichung, Bibliographie

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

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

2007

Mürk, Oleg ; Larsson, Daniel ; Hähnle, Reiner
Hrsg.: Tews, Hendrik (2007)
Deductive Verifiction of C Programs with KeY-C.
Konferenzveröffentlichung, Bibliographie

Engel, Christian ; Hähnle, Reiner
Hrsg.: 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
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner ; Pan, Jing ; Rümmer, Philipp ; Walter, Dennis
Hrsg.: Montanari, Ugo ; Sannella, Donald ; Bruni, R. (2007)
Integration of a Security Type System into a Program Logic.
Konferenzveröffentlichung, Bibliographie

Beckert, Bernhard ; Giese, Martin ; Hähnle, Reiner ; Klebanov, Vladimir ; Rümmer, Philipp ; Schlager, Steffen ; Schmitt, Peter
Hrsg.: Pfenning, Frank (2007)
The KeY System 1.0 (Deduction Component).
Konferenzveröffentlichung, Bibliographie

Mürk, Oleg ; Larsson, Daniel ; Hähnle, Reiner
Hrsg.: Pfenning, Frank (2007)
KeY-C: A Tool for Verification of C Programs.
Konferenzveröffentlichung, Bibliographie

Ahrendt, Wolfgang ; Beckert, Bernhard ; Hähnle, Reiner ; Schmitt, Peter
Hrsg.: 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
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner
Hrsg.: 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
Buchkapitel, Bibliographie

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

Larsson, Daniel ; Hähnle, Reiner
Hrsg.: Beckert, Bernhard (2007)
Symbolic Fault Injection.
Konferenzveröffentlichung, Bibliographie

Gedell, Tobias ; Hähnle, Reiner
Hrsg.: 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
Konferenzveröffentlichung, Bibliographie

Ahrendt, Wolfgang ; Beckert, Bernhard ; Hähnle, Reiner ; Rümmer, Philipp ; Schmitt, Peter
Hrsg.: 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
Konferenzveröffentlichung, Bibliographie

2006

Gedell, Tobias ; Hähnle, Reiner
Hrsg.: 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
Konferenzveröffentlichung, Bibliographie

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.09.2006-15.09.2006)
doi: 10.1109/SEFM.2006.25
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner ; Pan, Jing ; Rümmer, Philipp ; Walter, Dennis
Hrsg.: 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
Konferenzveröffentlichung, Bibliographie

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
Artikel, Bibliographie

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

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

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

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

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

Ahrendt, Wolfgang ; Beckert, Bernhard ; Hähnle, Reiner ; Rümmer, Philipp ; Schmitt, Peter H.
Hrsg.: 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
Konferenzveröffentlichung, Bibliographie

2005

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)
Artikel, Bibliographie

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
Artikel, Bibliographie

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
Artikel, Bibliographie

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

Hähnle, Reiner ; Murray, Neil ; Rosenthal, Erik
Hrsg.: Hacid, Mohand-Saïd ; Raś, Zbigniew ; Murray, Neil ; Tsumoto, Shusaku (2005)
Normal Forms for Knowledge Compilation.
Konferenzveröffentlichung, Bibliographie

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

Darvas, Adam ; Hähnle, Reiner ; Sands, Dave
Hrsg.: Hutter, Dieter ; Ullmann, Markus (2005)
A Theorem Proving Approach to Analysis of Secure Information Flow.
Konferenzveröffentlichung, Bibliographie

Darvas, Adam ; Hähnle, Reiner ; Sands, David
Hrsg.: 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
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner ; Mostowski, Wojciech
Hrsg.: Barthe, Gilles ; Burdy, Lilian ; Huisman, Marieke ; Lanet, Jean-Louis ; Muntean, Traian (2005)
Verification of Safety Properties in the Presence of Transactions.
Konferenzveröffentlichung, Bibliographie

2004

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

Giese, Martin ; Hähnle, Reiner ; Larsson, Daniel (2004)
Rule-Based Simplification of OCL Constraints.
Konferenzveröffentlichung, Bibliographie

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)
Artikel, Bibliographie

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

2003

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

Hähnle, Reiner ; Sörensson, Niklas
Hrsg.: Cialdea Mayer, Marta ; Pirri, Fiora (2003)
Fair Constraint Merging Tableaux in Lazy Functional Programming Style.
Konferenzveröffentlichung, Bibliographie

Bubel, Richard ; Hähnle, Reiner
Hrsg.: Arts, Thomas ; Fokkink, Wan (2003)
Formal Specification of Security-Critical Railway Software with the KeY System.
Konferenzveröffentlichung, Bibliographie

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
Artikel, Bibliographie

Giese, Martin ; Hähnle, Reiner (2003)
Tableaux + Constraints.
Konferenzveröffentlichung, Bibliographie

Darvas, Adam ; Hähnle, Reiner ; Sands, Dave
Hrsg.: Gorrieri, Roberto (2003)
A Theorem Proving Approach to Analysis of Secure Information Flow.
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner ; Wallenburg, Angela
Hrsg.: Petrenko, Alex ; Ulrich, Andreas (2003)
Using a software testing technique to improve theorem proving.
Konferenzveröffentlichung, Bibliographie

2002

Hähnle, Reiner ; Johannisson, Kristofer ; Ranta, Aarne
Hrsg.: 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
Konferenzveröffentlichung, Bibliographie

Ahrendt, Wolfgang ; Baar, Thomas ; Beckert, Bernhard ; Giese, Martin ; Habermalz, Elmar ; Hähnle, Reiner ; Menzel, Wolfram ; Mostowski, Wojciech ; Schmitt, Peter H.
Hrsg.: 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
Konferenzveröffentlichung, Bibliographie

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)
Artikel, Bibliographie

Hähnle, Reiner ; Murray, Neil ; Rosenthal, Erik
Hrsg.: Fermüller, Christian ; Egly, Uwe (2002)
Unit Preference for Ordered Resolution and for Connection Graph Resolution.
Konferenzveröffentlichung, Bibliographie

Claessen, Koen ; Hähnle, Reiner ; Maartensson, Johan
Hrsg.: Sutcliffe, Geoff ; Pelletier, Jef ; Suttner, Christian (2002)
Verification of Hardware Systems with First-Order Logic.
Konferenzveröffentlichung, Bibliographie

2001

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

Hähnle, Reiner (2001)
Complexity of Many-Valued Logics.
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner ; Ranta, Aarne
Hrsg.: Whittle, Jon (2001)
Connecting OCL with the Rest of the World.
Konferenzveröffentlichung, Bibliographie

Béjar, Ramon ; Hähnle, Reiner ; Manyà, Felip (2001)
A Modular Reduction of Regular Logic to Classical Logic.
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner ; Murray, Neil ; Rosenthal, Erik
Hrsg.: Goré, Rajeev ; Leitsch, Alexander ; Nipkow, Tobias (2001)
Ordered Resolution vs. Connection Graph Resolution.
Konferenzveröffentlichung, Bibliographie

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

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

2000

Beckert, Bernhard ; Hähnle, Reiner ; Manya, Felip (2000)
The 2-SAT Problem of Regular Signed CNF Formulas.
Konferenzveröffentlichung, Bibliographie

Baar, Thomas ; Hähnle, Reiner ; Sattler, Theo ; Schmitt, Peter H.
Hrsg.: 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
Konferenzveröffentlichung, Bibliographie

Baar, Thomas ; Hähnle, Reiner
Hrsg.: France, Robert ; Rumpe, Bernhard ; Whittle, Jonathan (2000)
An Integrated Metamodel for OCL Types.
Konferenzveröffentlichung, Bibliographie

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, Bibliographie

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.
Konferenzveröffentlichung, Bibliographie

Ahrendt, Wolfgang ; Baar, Thomas ; Beckert, Bernhard ; Giese, Martin ; Habermalz, Elmar ; Hähnle, Reiner ; Menzel, Wolfram ; Schmitt, Peter
Hrsg.: 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.
Konferenzveröffentlichung, Bibliographie

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

Hähnle, Reiner ; Hasegawa, Ryuzo ; Shirai, Yasuyuki
Hrsg.: 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.
Konferenzveröffentlichung, Bibliographie

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

1999

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

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)
Artikel, Bibliographie

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
Buchkapitel, Bibliographie

Hähnle, Reiner ; Beckert, Bernhard
Hrsg.: Murray, Neil V. (1999)
Proof Confluent Tabelau Calculi (Tutorial).
Konferenzveröffentlichung, Bibliographie

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

Beckert, Bernhard ; Hähnle, Reiner ; Manyà, Felip (1999)
Transformations between Signed and Classical Clause Logic.
Konferenzveröffentlichung, Bibliographie

1998

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

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

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

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

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)
Artikel, Bibliographie

Hähnle, Reiner ; Murray, Neil ; Rosenthal, Erik
Hrsg.: de Swart, Harrie (1998)
Some Remarks on Completeness, Connection Graph Resolution and Link Deletion.
Konferenzveröffentlichung, Bibliographie

Hrsg.: Hähnle, Reiner (1998)
Special Issue with Selected Papers of Int. Conference of COST Action~15: Many-Valued Logics for Computer Science Applications.
Konferenzveröffentlichung, Bibliographie

1997

Hähnle, Reiner ; Murray, Neil ; Rosenthal, Erik
Hrsg.: Raś, Zbigniew ; Skowron, Andrzej (1997)
Completeness for Linear Regular Negation Normal Form Inference Systems.
Konferenzveröffentlichung, Bibliographie

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

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

Hähnle, Reiner ; Pape, Christian
Hrsg.: Galmiche, Didier (1997)
Ordered Tableaux: Extensions and Applications.
doi: 10.1007/BFb0027413
Konferenzveröffentlichung, Bibliographie

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

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
Artikel, Bibliographie

Hähnle, Reiner ; Murray, Neil ; Rosenthal, Erik
Hrsg.: Galmiche, Didier (1997)
A Remark on Proving Completeness.
Konferenzveröffentlichung, Bibliographie

Pape, Christian ; Hähnle, Reiner
Hrsg.: Gottlob, Georg ; Leitsch, Alexander ; Mundici, Daniele (1997)
Restart Tableaux with Selection Function.
Konferenzveröffentlichung, Bibliographie

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

Hrsg.: Hähnle, Reiner ; Escalada-Imaz, Gonzalo (1997)
Special Issue on Deduction in Many-Valued Logic.
Konferenzveröffentlichung, Bibliographie

1996

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

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

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

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

Hähnle, Reiner (1996)
Many-Valued Logic, Linear Optimization and Logic Design: Connections and Interactions.
Konferenzveröffentlichung, Bibliographie

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, Bibliographie

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

Hähnle, Reiner ; Murray, Neil ; Rosenthal, Erik
Hrsg.: Miglioli, Pierangelo ; Moscato, Ugo ; Mundici, Daniele ; Ornaghi, Mario (1996)
A Remark on the P-Simulatability of Proof Systems by Path Dissolution.
Konferenzveröffentlichung, Bibliographie

Beckert, Bernhard ; Hähnle, Reiner ; Oel, Peter ; Sulzmann, Martin (1996)
The Tableau-Based Theorem Prover (TaP).
Konferenzveröffentlichung, Bibliographie

Beckert, Bernhard ; Hähnle, Reiner ; Oel, Peter ; Sulzmann, Martin
Hrsg.: McRobbie, Michael ; Slaney, John (1996)
The Tableau-Based Theorem Prover TaP, Version 4.0.
Konferenzveröffentlichung, Bibliographie

1995

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

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)
Artikel, Bibliographie

Beckert, Bernhard ; Hähnle, Reiner
Hrsg.: 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
Konferenzveröffentlichung, Bibliographie

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

Hähnle, Reiner ; Hasegawa, Ryuzo ; Shirai, Yasuyuki
Hrsg.: Benhamou, Frédéric ; Older, William J. ; Emden, Maarten van ; Hentenryck, Pascal van (1995)
Model Generation Theorem Proving with Interval Constraints.
Konferenzveröffentlichung, Bibliographie

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

Hrsg.: Baumgartner, Peter ; Hähnle, Reiner ; Posegga, Joachim (1995)
Theorem Proving with Analytic Tableaux and Related Methods, 4th International Workshop, St. Goar, Germany.
Konferenzveröffentlichung, Bibliographie

Hrsg.: 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.
Konferenzveröffentlichung, Bibliographie

1994

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

Hähnle, Reiner (1994)
Efficient Deduction in Many-Valued Logics.
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner ; Ibens, Ortrun
Hrsg.: Gabbay, Ortrun M. ; Ohlbach, Hans Jürgen (1994)
Improving Temporal Logic Tableaux Using Integer Constraints.
Konferenzveröffentlichung, Bibliographie

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
Artikel, Bibliographie

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

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

Beckert, Bernhard ; Hähnle, Reiner ; Ramesh, Anavai ; Murray, Neil
Hrsg.: Pfenning, Frank (1994)
On Anti-Links.
Konferenzveröffentlichung, Bibliographie

Klingenbeck, Stefan ; Hähnle, Reiner
Hrsg.: Bundy, Alan (1994)
Semantic Tableaux with Ordering Restrictions.
Konferenzveröffentlichung, Bibliographie

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

Hähnle, Reiner ; Reif, Wolfgang
Hrsg.: Frisch, Alan (1994)
Towards the Integration of Tactical and Automated Reasoning.
Konferenzveröffentlichung, Bibliographie

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

1993

Hrsg.: 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.
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner
Hrsg.: Jackson, Peter ; Scherl, Richard (1993)
Efficient Deduction in Many-Valued Logics.
Konferenzveröffentlichung, Bibliographie

Beckert, Bernhard ; Hähnle, Reiner ; Schmitt, Peter H.
Hrsg.: 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
Konferenzveröffentlichung, Bibliographie

Ries, Klaus ; Hähnle, Reiner (1993)
Prädikatenlogisches Beweisen mit gemischt ganzzahliger Optimierung. Ein tableau-basier-ter Ansatz.
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner
Hrsg.: Komorowski, Jan ; Raś, Zbigniew (1993)
Short CNF in Finitely-Valued Logics.
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner ; Kernig, Werner
Hrsg.: Kropf, Th. ; Kumar, R. ; Schmid, D. (1993)
Uses of Many-Valued Deduction in Hardware Verification.
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner ; Kernig, Werner
Hrsg.: Voronkov, Andrei (1993)
Verification of Switch Level Designs with Many-Valued Logic.
Konferenzveröffentlichung, Bibliographie

Beckert, Bernhard ; Hähnle, Reiner ; Schmitt, Peter
Hrsg.: Gottlob, Georg ; Leitsch, Alexander ; Mundici, Daniele (1993)
The even more liberalized delta-rule in free variable semantic tableaux.
Konferenzveröffentlichung, Bibliographie

1992

Hähnle, Reiner
Hrsg.: 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.
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner
Hrsg.: Fronhöfer, Bertram ; Hähnle, Reiner ; Käufl, Thomas (1992)
Analytic Tableaux and Integer Programming.
Konferenzveröffentlichung, Bibliographie

Beckert, Bernhard ; Hähnle, Reiner
Hrsg.: 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.
Konferenzveröffentlichung, Bibliographie

Beckert, Bernhard ; Gerberding, Stefan ; Hähnle, Reiner ; Kernig, Werner
Hrsg.: Kapur, Deepak (1992)
The Many-Valued Tableau-Based Theorem Prover TaP.
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner
Hrsg.: Calmet, Jacques ; Campbell, John A. (1992)
A New Translation from Deduction into Integer Programming.
Konferenzveröffentlichung, Bibliographie

Beckert, Bernhard ; Gerberding, Stefan ; Hähnle, Reiner ; Kernig, Werner
Hrsg.: 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
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner (1992)
Tableaux-Based Theorem Proving in Multiple-Valued Logics.
Karlsruher Institut für Technologie (KIT)
Dissertation, Bibliographie

Hrsg.: Fronhöfer, Bertram ; Hähnle, Reiner ; Käufl, Thomas (1992)
Workshop on Theorem Proving with Analytic Tableaux and Related Methods, Lautenbach/Germany.
Konferenzveröffentlichung, Bibliographie

1991

Hähnle, Reiner
Hrsg.: 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
Buchkapitel, Bibliographie

Hähnle, Reiner (1991)
Uniform Notation of Tableaux Rules for Multiple-Valued Logics.
Konferenzveröffentlichung, Bibliographie

1990

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

1987

Hähnle, Reiner (1987)
Programmverifikation durch symbolische Ausführung und Induktion.
University of Karlsruhe
Diplom- oder Magisterarbeit, Bibliographie

1986

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
Konferenzveröffentlichung, Bibliographie