TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Jump to: 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 | 1996 | 1995 | 1994 | 1993 | 1992 | 1991 | 1990 | 1987 | 1986
Number of items: 268.

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)
Conference or Workshop Item, Bibliographie

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.04.2022-07.04.2022)
doi: 10.1007/978-3-030-99429-7_8
Conference or Workshop Item, Bibliographie

2021

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.10.2021-18.10.2021)
doi: 10.1145/3486609.3487200
Conference or Workshop Item, Bibliographie

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.09.2021-11.09.2021)
doi: 10.1145/3461001.3471143
Conference or Workshop Item, 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
Article, 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
Article, Bibliographie

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.2021-01.04.2021)
doi: 10.1007/978-3-030-71500-7_2
Conference or Workshop Item, Bibliographie

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.02.2021-11.02.2021)
doi: 10.1145/3442391.3442401
Conference or Workshop Item, Bibliographie

2020

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). virtual Conference (20.-30.10.2020)
doi: 10.1007/978-3-030-61470-6_8
Conference or Workshop Item, Bibliographie

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?
Scientific Railway Signalling Symposium 2019. Darmstadt (26.06.2019)
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, Bibliographie

2019

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.11.2019-06.11.2019)
doi: 10.1007/978-3-030-34968-4_5
Conference or Workshop Item, 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
Book Section, Bibliographie

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.05.2019-03.05.2019)
doi: 10.1007/978-3-030-31517-7_15
Conference or Workshop Item, Bibliographie

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 (07.10.2019-11.10.2019)
doi: 10.1007/978-3-030-30942-8_20
Conference or Workshop Item, Bibliographie

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 (18.09.2019–20.09.2019)
doi: 10.1007/978-3-030-30446-1_3
Conference or Workshop Item, Bibliographie

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 (04.06.2019-06.06.2019)
doi: 10.1007/978-3-030-18744-6_5
Conference or Workshop Item, Bibliographie

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

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

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 (2019)
Scientific Railway Signalling Symposium 2018 - Digital neue Wege fahren.
Scientific Railway Signalling Symposium. Darmstadt (13.06.2018-13.06.2018)
Conference or Workshop Item, Primary publication

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

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

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

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

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

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

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

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

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

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, 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
Article, 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
ed.: Oetting, Andreas (2017)
Tagungsband des Scientific Railway Signalling Symposiums 2017 - Die Steuerung des Eisenbahnbetriebs der Zukunft.
Darmstadt, Germany (19.04.2017-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, 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
Conference or Workshop Item, 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
Conference or Workshop Item, 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
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, Bibliographie

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

2014

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

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, 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
eds.: Giannakopoulou, Dimitra ; Kroening, Daniel (2014)
The KeY Platform for Verification and Analysis of Java Programs.
Conference or Workshop Item, Bibliographie

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

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

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

Bubel, Richard ; Hähnle, Reiner ; Pelevina, Maria (2014)
Fully Abstract Operation Contracts.
Conference or Workshop Item, 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
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, Bibliographie

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

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, 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
Conference or Workshop Item, Bibliographie

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

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

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

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

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

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

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

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, 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
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, 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
Conference or Workshop Item, Bibliographie

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

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

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

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

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

2011

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

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

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

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

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, 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.
Conference or Workshop Item, Bibliographie

2010

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

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

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

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

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

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

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

Hähnle, Reiner
eds.: Margaria, Tiziana ; Steffen, Bernhard (2010)
Task Forces in the EternalS Coordination Action.
Conference or Workshop Item, 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
Article, Bibliographie

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

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 (20.09.2010-24.09.2010)
doi: 10.1145/1858996.1859022
Conference or Workshop Item, Bibliographie

2009

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

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 (02.11.2009-06.11.2009)
doi: 10.1007/978-3-642-04912-5_9
Conference or Workshop Item, Bibliographie

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

2008

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

Bubel, Richard ; Hähnle, Reiner
ed.: Instenes, Zoltán (2008)
A Hoare-Style Calculus with Explicit State Updates.
Conference or Workshop Item, 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)
Article, 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
Article, Bibliographie

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

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

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

2007

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

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

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

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

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

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

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

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

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

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

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

2006

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, 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
Conference or Workshop Item, Bibliographie

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

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

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

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

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

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

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

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

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

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

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

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

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

2004

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

Giese, Martin ; Hähnle, Reiner ; Larsson, Daniel (2004)
Rule-Based Simplification of OCL Constraints.
Conference or Workshop Item, 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)
Article, 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
eds.: Fitting, Melvin ; Orlowska, Ewa (2003)
Complexity of Many-Valued Logics.
In: Beyond Two: Theory and Applications of Multiple-Valued Logic
Book Section, Bibliographie

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

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

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

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

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

2002

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

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

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

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

2001

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

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

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

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

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

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

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

2000

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

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

Baar, Thomas ; Hähnle, Reiner
eds.: France, Robert ; Rumpe, Bernhard ; Whittle, Jonathan (2000)
An Integrated Metamodel for OCL Types.
Conference or Workshop Item, 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.
Conference or Workshop Item, Bibliographie

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

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

1999

eds.: D'Agostino, Marcello ; Gabbay, Dov ; Hähnle, Reiner ; Posegga, Joachim (1999)
Handbook of Tableau Methods.
Book, 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)
Article, 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
Book Section, Bibliographie

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

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

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

1998

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

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

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

Hähnle, Reiner ; Menzel, Wolfram ; Schmitt, Peter (1998)
Integrierter Deduktiver Software-Entwurf.
In: Künstliche Intelligenz, 12
Article, 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)
Article, Bibliographie

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

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

1997

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

Hähnle, Reiner ; Escalada-Imaz, Gonzalo (1997)
Deduction in Many-Valued Logics: a Survey.
In: Mathware & Soft Computing, 4 (2)
Article, 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)
Article, Bibliographie

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

Hähnle, Reiner (1997)
Proof Theory of Many-Valued Logic - Linear Optimization - Logic Design: Connections and Interactions.
In: sc, 1 (3)
Article, 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
Article, Bibliographie

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

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

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

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

1996

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

Hähnle, Reiner (1996)
Broadening the Perspectives of Automated Theorem Proving.
Other, 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)
Article, Bibliographie

Hähnle, Reiner (1996)
Many-Valued Logic, Linear Optimization and Logic Design: Connections and Interactions.
Conference or Workshop Item, 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
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, Bibliographie

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

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

1995

Hähnle, Reiner (1995)
Automated Deduction and Integer Programming.
In: Collegium Logicum. Annals of the Kurt-G"{o}del-Society
Book Section, 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)
Article, Bibliographie

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

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

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

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

1994

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

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

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

Hähnle, Reiner (1994)
Many-Valued Logic and Mixed Integer Programming.
In: Annals of Mathematics and Artificial Intelligence, 12 (3,4)
Article, 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
ed.: Pfenning, Frank (1994)
On Anti-Links.
Conference or Workshop Item, Bibliographie

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

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

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

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

1993

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

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

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

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

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

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

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

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

1992

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

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

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

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

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

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

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

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

1991

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

Hähnle, Reiner (1991)
Uniform Notation of Tableaux Rules for Multiple-Valued Logics.
Conference or Workshop Item, 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
Diploma Thesis or 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
Conference or Workshop Item, Bibliographie

This list was generated on Tue Dec 10 02:20:01 2024 CET.