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
Number of items: 262.

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, Elsevier, ISSN 0167-6423,
DOI: 10.1016/j.scico.2020.102597,
[Article]

Hähnle, Reiner ; Heydari Tabar, Asmae ; Mazaheri, Arya ; Norouzi, Mohammad ; Steinhöfel, Dominic ; Wolf, Felix
Margaria, Tiziana ; Steffen, Bernhard (eds.) (2020):
Safer Parallelization.
In: Lecture Notes in Computer Science, 12477, In: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, pp. 117-137,
Springer, 9th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020), ISBN 978-3-030-61469-0,
DOI: 10.1007/978-3-030-61470-6_8,
[Conference or Workshop Item]

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

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, pp. 37 - 42. Elsevier, ISSN 2212-8271,
DOI: 10.1016/j.procir.2020.01.133,
[Article]

Kutscher, Vladimir ; Ruland, Sebastian ; Müller, Patrick ; Wasser, Nathan ; Lochau, Malte ; Anderl, Reiner ; Schürr, Andy ; Mezini, Mira ; Hähnle, Reiner (2020):
Towards a Circular Economy of Industrial Software. (Publisher's Version)
In: Procedia CIRP, 90, pp. 37-42. Elsevier, ISSN 2212-8271,
DOI: 10.25534/tuprints-00014563,
[Article]

Bubel, Richard ; Hähnle, Reiner ; Tabar, Asmae Heydari
Ahrendt, Wolfgang ; Tarifa, Silvia Lizeth Tapia (eds.) (2019):
A Program Logic for Dependence Analysis.
In: Lecture Notes in Computer Science, 11918, In: Integrated Formal Methods, pp. 83-100,
Springer, 15th International Conference onIntegrated Formal Methods (IFM 2019), Bergen, Norway, 02.-06.11.2019, ISBN 978-3-030-34967-7,
DOI: 10.1007/978-3-030-34968-4_5,
[Conference or Workshop Item]

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

Wasser, Nathan ; Tabar, Asmae Heydari ; Hähnle, Reiner
Hojjat, Hossein ; Massink, Mieke (eds.) (2019):
Modeling Non-deterministic C Code with Active Objects.
In: Lecture Notes in Computer Science, 11761, In: Fundamentals of Software Engineering, pp. 213-227,
Springer, 8th International Conference on Fundamentals of Software Engineering (FSEN 2019), Tehran, Iran, 01.-03.05.2019, ISBN 978-3-030-31516-0,
DOI: 10.1007/978-3-030-31517-7_15,
[Conference or Workshop Item]

Steinhöfel, Dominic ; Hähnle, Reiner
ter Beek, Maurice H. ; McIver, Annabelle ; N., Jos\' (eds.) (2019):
Abstract Execution.
In: Formal Methods - The Next 30 Years,
3rd World Congress on Formal Methods (FM 2019), Porto, Portugal, October 7-11, 2019, DOI: 10.1007/978-3-030-30942-8_20,
[Conference or Workshop Item]

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

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

Hähnle, Reiner ; Huisman, Marieke
Steffen, Bernhard ; Woeginger, Gerhard J. (eds.) (2019):
Deductive Software Verification: From Pen-and-Paper Proofs to Industrial Tools.
In: Lecture Notes in Computer Science, 10000, In: Computing and Software Science - State of the Art and Perspectives, pp. 345-373, Springer, DOI: 10.1007/978-3-319-91908-9_18,
[Book Section]

Hähnle, Reiner ; van der Aalst, Wil M. P. (eds.) (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.
In: Lecture Notes in Computer Science, 11424, Prague, Springer, ISBN 978-3-030-16721-9,
DOI: 10.1007/978-3-030-16722-6,
[Book]

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

de Gouw, Stijn ; 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), pp. 93-126. DOI: 10.1007/s10817-017-9426-4,
[Article]

Kamburjan, Eduard ; Hähnle, Reiner ; Schön, Sebastian (2018):
Formal modeling and analysis of railway operations with active objects.
In: Science of Computer Programming, 166, pp. 167-193. Elsevier, ISSN 0167-6423,
DOI: 10.1016/j.scico.2018.07.001,
[Article]

Damiani, Ferruccio ; Hähnle, Reiner ; Kamburjan, Eduard ; Lienhardt, Michael (2018):
Interoperability of software product line variants.
pp. 264-268, ACM, SPLC, [Conference or Workshop Item]

Steinhöfel, Dominic ; Hähnle, Reiner
Margaria, Tiziana ; Steffen, Bernhard (eds.) (2018):
Modular, Correct Compilation with Automatic Soundness Proofs.
In: Lecture Notes in Computer Science, 11244, In: Leveraging Applications of Formal Methods, Verification and Validation. Modeling, pp. 424-447, Cham, Springer International Publishing, ISBN 978-3-030-03417-7,
DOI: 10.1007/978-3-030-03418-4_25,
[Book Section]

Kamburjan, Eduard ; Hähnle, Reiner (2018):
Prototyping Formal System Models with Active Objects.
In: EPTCS, 279, pp. 52-67, ICE, [Conference or Workshop Item]

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

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

de Gouw, Stijn ; 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, ISSN 1573-0670,
DOI: 10.1007/s10817-017-9426-4,
[Article]

Hähnle, Reiner ; Huisman, Marieke
Reger, Giles ; Traytel, Dmitriy (eds.) (2017):
24 Challenges in Deductive Software Verification.
In: EPiC Series in Computing, 51, pp. 37-41, EasyChair, ARCADE 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017, [Conference or Workshop Item]

Damiani, Ferruccio ; Hähnle, Reiner ; Lienhardt, Michael
Gabmeyer, Sebastian ; Johnsen, Einar Broch (eds.) (2017):
Abstraction Refinement for the Analysis of Software Product Lines.
In: Lecture Notes in Computer Science, 10375, pp. 3-20, Springer, 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₁,
[Conference or Workshop Item]

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

Kamburjan, Eduard ; Hähnle, Reiner
Fantechi, Alessandro ; Lecomte, Thierry ; Romanovsky, Alexander B. (eds.) (2017):
Deductive Verification of Railway Operations.
In: Lecture Notes in Computer Science, 10598, pp. 131-147, Springer, 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₉,
[Conference or Workshop Item]

Do, Quoc Huy ; Bubel, Richard ; Hähnle, Reiner
Hung, Dang Van ; Kapur, Deepak (eds.) (2017):
Inferring Secrets by Guided Experiments.
In: Lecture Notes in Computer Science, 10580, pp. 269-287, Springer, Theoretical Aspects of Computing - ICTAC 2017 - 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings, DOI: 10.1007/978-3-319-67729-3₁₆,
[Conference or Workshop Item]

Din, Crystal Chang ; Hähnle, Reiner ; Johnsen, Einar Broch ; Pun, Ka I. ; Tarifa, Silvia Lizeth Tapia
Schmidt, Renate A. ; Nalon, Claudia (eds.) (2017):
Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages.
In: Lecture Notes in Computer Science, 10501, pp. 22-43, Springer, 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₂,
[Conference or Workshop Item]

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

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

Damiani, Ferruccio ; Hähnle, Reiner ; Kamburjan, Eduard ; Lienhardt, Michael
Huisman, Marieke ; Rubin, Julia (eds.) (2017):
A Unified and Formal Programming Model for Deltas and Traits.
In: Lecture Notes in Computer Science, 10202, pp. 424-441, Springer, 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₂₅,
[Conference or Workshop Item]

Hentschel, Martin ; Hähnle, Reiner ; Bubel, Richard (2016):
An Empirical Evaluation of Two User Interfaces of an Interactive Program Verifier.
In: ASE 2016, In: Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, pp. 403-413,
ACM, Singapore, Singapore, ISBN 978-1-4503-3845-5,
DOI: 10.1145/2970276.2970303,
[Conference or Workshop Item]

Hentschel, Martin ; Hähnle, Reiner ; Bubel, Richard (2016):
The Interactive Verification Debugger: Effective Understanding of Interactive Proof Attempts.
In: ASE 2016, In: Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, pp. 846--851,
ACM, Singapore, Singapore, ISBN 978-1-4503-3845-5,
DOI: 10.1145/2970276.2970292,
[Conference or Workshop Item]

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

Wasser, Nathan ; Hähnle, Reiner ; Bubel, Richard
Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (eds.) (2016):
Abstract Interpretation.
In: Lecture Notes in Computer Science, 10001, In: Deductive Software Verification - The KeY Book - From Theory to Practice, pp. 167-189, Springer, DOI: 10.1007/978-3-319-49812-6₆,
[Book Section]

Hähnle, Reiner ; Wasser, Nathan ; Bubel, Richard
Ábrahám, Erika ; Bonsangue, Marcello M. ; Johnsen, Einar Broch (eds.) (2016):
Array Abstraction with Symbolic Pivots.
In: Lecture Notes in Computer Science, 9660, pp. 104-121, Springer, 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₉,
[Conference or Workshop Item]

Hentschel, Martin ; Hähnle, Reiner ; Bubel, Richard
Abraham, Erika ; Huisman, Marieke (eds.) (2016):
Can Formal Methods Improve the Efficiency of Code Reviews?
In: Lecture Notes in Computer Science, 9681, pp. 3-19, Springer, Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings, DOI: 10.1007/978-3-319-33693-0₁,
[Conference or Workshop Item]

ter Beek, Maurice H. ; Hähnle, Reiner ; Schaefer, Ina
Margaria, Tiziana ; Steffen, Bernhard (eds.) (2016):
Correctness-by-Construction and Post-hoc Verification: Friends or Foes?
In: Lecture Notes in Computer Science, 9952, pp. 723-729, 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₅₁,
[Conference or Workshop Item]

Hentschel, Martin ; Hähnle, Reiner ; Bubel, Richard
Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (eds.) (2016):
Debugging and Visualization.
In: Lecture Notes in Computer Science, 10001, In: Deductive Software Verification - The KeY Book - From Theory to Practice, pp. 383-413, Springer, DOI: 10.1007/978-3-319-49812-6₁₁,
[Book Section]

Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (eds.) (2016):
Deductive Software Verification - The KeY Book - From Theory to Practice.
In: Lecture Notes in Computer Science, 10001, Springer, ISBN 978-3-319-49811-9,
DOI: 10.1007/978-3-319-49812-6,
[Book]

Beckert, Bernhard ; Hähnle, Reiner ; Hentschel, Martin ; Schmitt, Peter H.
Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (eds.) (2016):
Formal Verification with KeY: A Tutorial.
In: Lecture Notes in Computer Science, 10001, In: Deductive Software Verification - The KeY Book - From Theory to Practice, pp. 541-570, Springer, DOI: 10.1007/978-3-319-49812-6₁₆,
[Book Section]

Steinhöfel, Dominic ; Hähnle, Reiner ; Bubel, Richard
Ogata, Kazuhiro ; Lawford, Mark ; Liu, Shaoying (eds.) (2016):
A General Lattice Model for Merging Symbolic Execution Branches.
In: Lecture Notes in Computer Science, 10009, In: Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings, pp. 57-73,
Springer International Publishing, DOI: 10.1007/978-3-319-47846-3_5,
[Conference or Workshop Item]

Scheurer, Dominic ; Hähnle, Reiner ; Bubel, Richard
Ogata, Kazuhiro ; Lawford, Mark ; Liu, Shaoying (eds.) (2016):
A General Lattice Model for Merging Symbolic Execution Branches.
In: Lecture Notes in Computer Science, 10009, pp. 57-73, 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₅,
[Conference or Workshop Item]

Bubel, Richard ; Hähnle, Reiner
Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (eds.) (2016):
KeY-Hoare.
In: Lecture Notes in Computer Science, 10001, In: Deductive Software Verification - The KeY Book - From Theory to Practice, pp. 571-589, Springer, DOI: 10.1007/978-3-319-49812-6₁₇,
[Book Section]

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

Grahl, Daniel ; Bubel, Richard ; Mostowski, Wojciech ; Schmitt, Peter H. ; Ulbrich, Mattias ; Weiß, Benjamin
Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (eds.) (2016):
Modular Specification and Verification.
In: Lecture Notes in Computer Science, 10001, In: Deductive Software Verification - The KeY Book - From Theory to Practice, pp. 289-351, Springer, DOI: 10.1007/978-3-319-49812-6₉,
[Book Section]

Ji, Ran ; Bubel, Richard
Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (eds.) (2016):
Program Transformation and Compilation.
In: Lecture Notes in Computer Science, 10001, In: Deductive Software Verification - The KeY Book - From Theory to Practice, pp. 473-492, Springer, DOI: 10.1007/978-3-319-49812-6₁₄,
[Book Section]

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

Hähnle, Reiner
Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (eds.) (2016):
Quo Vadis Formal Verification?
In: Lecture Notes in Computer Science, 10001, In: Deductive Software Verification - The KeY Book - From Theory to Practice, pp. 1-19, Springer, DOI: 10.1007/978-3-319-49812-6₁,
[Book Section]

Schmitt, Peter H. ; Bubel, Richard
Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (eds.) (2016):
Theories.
In: Lecture Notes in Computer Science, 10001, In: Deductive Software Verification - The KeY Book - From Theory to Practice, pp. 149-166, Springer, DOI: 10.1007/978-3-319-49812-6₅,
[Book Section]

Hähnle, Reiner ; Muschevici, Radu
Margaria, Tiziana ; Steffen, Bernhard (eds.) (2016):
Towards Incremental Validation of Railway Systems.
In: Lecture Notes in Computer Science, 9953, pp. 433-446, 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₃₆,
[Conference or Workshop Item]

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

Kamburjan, Eduard ; Hähnle, Reiner
Artho, Cyrille ; Ölveczky, Peter Csaba (eds.) (2016):
Uniform Modeling of Railway Operations.
In: Communications in Computer and Information Science, 694, pp. 55-71, 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₄,
[Conference or Workshop Item]

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

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

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

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

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

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

Bubel, Richard ; Din, Crystal Chang ; Hähnle, Reiner ; Nakata, Keiko
de Nivelle, Hans (ed.) (2015):
A Dynamic Logic with Traces and Coinduction.
In: Lecture Notes in Computer Science, 9323, pp. 307-322, Springer, 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₂₁,
[Conference or Workshop Item]

Do, Quoc Huy ; Bubel, Richard ; Hähnle, Reiner
Federrath, Hannes ; Gollmann, Dieter (eds.) (2015):
Exploit Generation for Information Flow Leaks in Object-Oriented Programs.
In: IFIP Advances in Information and Communication Technology, 455, pp. 401-415, Springer, 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₂₇,
[Conference or Workshop Item]

Din, Crystal Chang ; Tarifa, Silvia Lizeth Tapia ; Hähnle, Reiner ; Johnsen, Einar Broch
Butler, Michael J. ; Conchon, Sylvain ; Zaidi, Fatiha (eds.) (2015):
History-Based Specification and Verification of Scalable Concurrent and Distributed Systems.
In: Lecture Notes in Computer Science, 9407, pp. 217-233, Springer, 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₁₄,
[Conference or Workshop Item]

Din, Crystal Chang ; Bubel, Richard ; Hähnle, Reiner
Felty, Amy P. ; Middeldorp, Aart (eds.) (2015):
KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS.
In: Lecture Notes in Computer Science, 9195, pp. 517-526, Springer, 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₃₅,
[Conference or Workshop Item]

de Gouw, Stijn ; Rot, Jurriaan ; de Boer, Frank S. ; Bubel, Richard ; Hähnle, Reiner
Kroening, Daniel ; Pasareanu, Corina S. (eds.) (2015):
OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case.
In: Lecture Notes in Computer Science, 9206, pp. 273-289, Springer, 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₁₆,
[Conference or Workshop Item]

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

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

Hentschel, Martin ; Bubel, Richard ; Hähnle, Reiner
Bonakdarpour, Borzoo ; Smolka, Scott (eds.) (2014):
Symbolic Execution Debugger (SED).
In: LNCS, In: Proceedings of Runtime Verification 2014, pp. 255--262,
Springer, [Conference or Workshop Item]

Hentschel, Martin ; Käsdorf, Stefan ; Hähnle, Reiner ; Bubel, Richard
Albert, Elvira ; Sekerinski, Emil ; Zavattaro, Gianluigi (eds.) (2014):
An interactive verification tool meets an IDE.
In: LNCS, In: Proceedings of the 11th International Conference on Integrated Formal Methods, pp. 55--70,
Springer, [Conference or Workshop Item]

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

Hentschel, Martin ; Hähnle, Reiner ; Bubel, Richard
Seidl, Martina ; Tillmann, Nikolai (eds.) (2014):
Visualizing Unbounded Symbolic Execution.
In: LNCS, In: Proceedings of Testing and Proofs (TAP) 2014, pp. 82--98,
Springer, [Conference or Workshop Item]

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

Bernardo, Marco ; Damiani, Ferruccio ; Hähnle, Reiner ; Johnsen, Einar Broch ; Schaefer, Ina (eds.) (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.
In: Lecture Notes in Computer Science, 8483, Springer, ISBN 978-3-319-07316-3,
DOI: 10.1007/978-3-319-07317-0,
[Book]

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

Bubel, Richard ; Hähnle, Reiner ; Pelevina, Maria (2014):
Fully Abstract Operation Contracts.
In: LNCS, In: Proceedings 6th International Symposium On Leveraging Applications of Formal Methods,
Springer, [Conference or Workshop Item]

Ji, Ran ; Hähnle, Reiner (2014):
Information Flow Analysis Based on Program Simplification.
(TUD-CS-2014-0877), [Report]

Hentschel, Martin ; Käsdorf, Stefan ; Hähnle, Reiner ; Bubel, Richard
Albert, Elvira ; Sekerinski, Emil (eds.) (2014):
An Interactive Verification Tool Meets an IDE.
In: Lecture Notes in Computer Science, 8739, pp. 55-70, Springer, Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, DOI: 10.1007/978-3-319-10181-1₄,
[Conference or Workshop Item]

Hähnle, Reiner ; Johnsen, Einar Broch
Margaria, Tiziana ; Steffen, Bernhard (eds.) (2014):
Introduction to Track on Engineering Virtualized Services.
In: Lecture Notes in Computer Science, 8803, pp. 1-4, Springer, 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₁,
[Conference or Workshop Item]

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

Flores-Montoya, Antonio ; Hähnle, Reiner
Garrigue, Jacques (ed.) (2014):
Resource Analysis of Complex Programs with Cost Equations.
In: Lecture Notes in Computer Science, 8858, pp. 275-295, Springer, Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Singapore, November 17-19, 2014, Proceedings, DOI: 10.1007/978-3-319-12736-1₁₅,
[Conference or Workshop Item]

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

Ji, Ran ; Hähnle, Reiner (2014):
Sound Deductive Compilation.
(TUD-CS-2014-0876), [Report]

Oetting, Andreas ; Katzenbeisser, Stefan ; Hähnle, Reiner ; Hofmann, Klaus ; Klingauf, Uwe ; Mezini, Mira ; Schön, Sebastian ; Schütz, Ingo (2013):
Langlebige sicherheitskritische Infrastrukturen.
In: Proceedings 13th International SIGNAL+DRAHT Congress, pp. 41-42,
Fulda, Germany, [Conference or Workshop Item]

Hähnle, Reiner
Bonsangue, Marcello ; de Boer, Frank ; Giachino, Elena ; Hähnle, Reiner (eds.) (2013):
The Abstract Behavioral Specification Language: A Tutorial Introduction.
7866, In: International School on Formal Models for Components and Objects: Post Proceedings, pp. 1-37,
Springer, [Conference or Workshop Item]

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

Albert, Elvira ; de Boer, Frank ; Hähnle, Reiner ; Johnsen, Einar Broch ; Laneve, Cosimo
Babar, Ali ; Dumas, Marlon (eds.) (2013):
Engineering Virtualized Services.
In: 2nd Nordic Symposium on Cloud Computing and Internet Technologies (NordiCloud), pp. 59-63,
ACM Press, [Conference or Workshop Item]

Albert, Elvira ; de Boer, Frank S. ; Hähnle, Reiner ; Johnsen, Einar Broch ; Laneve, Cosimo
Solberg, Arnor ; Babar, Muhammad Ali ; Dumas, Marlon ; Cuesta, Carlos E. (eds.) (2013):
Engineering virtualized services.
In: ACM International Conference Proceeding Series, 826, pp. 59-63, ACM, 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]

Giachino, Elena ; Hähnle, Reiner ; de Boer, Frank S. ; Bonsangue, Marcello M. (eds.) (2013):
Formal Methods for Components and Objects - 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures.
In: Lecture Notes in Computer Science, 7866, Berlin, Heidelberg, New York, Springer, ISBN 978-3-642-40614-0,
DOI: 10.1007/978-3-642-40615-7,
[Book]

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

Ji, Ran ; Hähnle, Reiner ; Bubel, Richard
Hierons, Robert M. ; Merayo, Mercedes G. ; Bravetti, Mario (eds.) (2013):
Program Transformation Based on Symbolic Execution and Deduction.
In: Lecture Notes in Computer Science, 8137, pp. 289-304, Springer, 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₂₀,
[Conference or Workshop Item]

Ji, Ran ; Hähnle, Reiner ; Bubel, Richard
Hierons, Robert ; Merayo, Mercedes ; Bravetti, Mario (eds.) (2013):
Program Transformation Based on Symbolic Execution and Deduction.
8137, In: Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, pp. 289-304,
[Conference or Workshop Item]

Ji, Ran ; Hähnle, Reiner ; Bubel, Richard
Hierons, Robert ; Merayo, Mercedes ; Bravetti, Mario (eds.) (2013):
Program Transformation Based on Symbolic Execution and Deduction.
In: Lecture Notes in Computer Science, 8137, In: Proceedings of the 11th International Conference on Software Engineering and Formal Methods (SEFM), pp. 289-304,
Springer, ISBN 978-3-642-40560-0,
[Conference or Workshop Item]

Ji, Ran ; Hähnle, Reiner ; Bubel, Richard (2013):
Program Transformation Based on Symbolic Execution and Deduction (Technical Report).
(TUD-CS-2013-0348), [Report]

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

Albert, Elvira ; Bubel, Richard ; Genaim, Samir ; Hähnle, Reiner ; Román-Díez, Guillermo (2012):
Verified Resource Guarantees for Heap Manipulating Programs.
In: Lecture Notes in Computer Science, 7212, In: Proceedings of the 15th International Conference on Fundamental Approaches to Software Engineering (FASE 2012), pp. 130-145,
Springer-Verlag, DOI: 10.1007/978-3-642-28872-2,
[Conference or Workshop Item]

Hähnle, Reiner
Giachino, Elena ; Hähnle, Reiner ; de Boer, Frank S. ; Bonsangue, Marcello M. (eds.) (2012):
The Abstract Behavioral Specification Language: A Tutorial Introduction.
In: Lecture Notes in Computer Science, 7866, pp. 1-37, Springer, 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₁,
[Conference or Workshop Item]

Hähnle, Reiner ; Schaefer, Ina
Margaria, Tiziana ; Steffen, Bernhard (eds.) (2012):
Adaptable and Evolving Software for Eternal Systems - (Track Summary).
In: Lecture Notes in Computer Science, 7609, pp. 1-3, Springer, 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₁,
[Conference or Workshop Item]

de Boer, Frank S. ; Hähnle, Reiner ; Johnsen, Einar Broch ; Schlatte, Rudolf ; Wong, Peter Y. H.
Paoli, Flavio De ; Pimentel, Ernesto ; Zavattaro, Gianluigi (eds.) (2012):
Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study.
In: Lecture Notes in Computer Science, 7592, pp. 91-106, Springer, 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₇,
[Conference or Workshop Item]

Hähnle, Reiner ; Knoop, Jens ; Margaria, Tiziana ; Schreiner, Dietmar ; Steffen, Bernhard (eds.) (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.
In: Communications in Computer and Information Science, 336, Berlin, Heidelberg, Springer, ISBN 978-3-642-34780-1,
DOI: 10.1007/978-3-642-34781-8,
[Book]

Hähnle, Reiner ; Schaefer, Ina
Margaria, Tiziana ; Steffen, Bernhard (eds.) (2012):
A Liskov Principle for Delta-Oriented Programming.
In: Lecture Notes in Computer Science, 7609, pp. 32-46, Springer, 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₄,
[Conference or Workshop Item]

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

Bubel, Richard ; Hähnle, Reiner ; Geilmann, Ulrich
Barthe, Gilles ; Schneider, Gerardo ; Pardo, Alberto (eds.) (2011):
A Formalisation of Java Strings for Program Specification and Verification.
In: Proc. 9th International Conference on Software Engineering and Formal Methods ({SEFM}), Montevideo, Uruguay,
IEEE Computer Society, [Conference or Workshop Item]

Hähnle, Reiner ; Helvensteijn, Michiel ; Johnsen, Einar Broch ; Lienhardt, Michael ; Sangiorgi, Davide ; Schaefer, Ina ; Wong, Peter Y. H.
Beckert, Bernhard ; Damiani, Ferruccio ; de Boer, Frank S. ; Bonsangue, Marcello M. (eds.) (2011):
HATS Abstract Behavioral Specification: The Architectural View.
In: Lecture Notes in Computer Science, 7542, pp. 109-132, Springer, 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₆,
[Conference or Workshop Item]

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

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

Bubel, Richard ; Hähnle, Reiner ; Ji, Ran
Aichernig, Bernhard ; de Boer, Frank ; Bonsangue, Marcello (eds.) (2011):
Program Specialization Via a Software Verification Tool.
In: LNCS, In: Post Conf. Proc. 9th International Symposium on Formal Methods for Components and Objects (FMCO),
Springer-Verlag, [Conference or Workshop Item]

Albert, Elvira ; Bubel, Richard ; Genaim, Samir ; Hähnle, Reiner ; Puebla, Germán ; Román-Díez, Guillermo (2011):
Verified Resource Guarantees using COSTA and KeY.
In: Proc. ACM SIGPLAN 2011 Workshop on Partial Evaluation and Program Manipulation (PEPM'11), Austin, Texas, USA,
ACM Press, [Conference or Workshop Item]

Johnsen, Einar Broch ; Hähnle, Reiner ; Schäfer, Jan ; Schlatte, Rudolf ; Steffen, Martin
Aichernig, Bernhard K. ; de Boer, Frank S. ; Bonsangue, Marcello M. (eds.) (2010):
ABS: A Core Language for Abstract Behavioral Specification.
In: Lecture Notes in Computer Science, 6957, pp. 142-164, Springer, 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₈,
[Conference or Workshop Item]

Giesl, Jürgen ; Hähnle, Reiner (eds.) (2010):
Automated Reasoning, 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings.
In: Lecture Notes in Computer Science, 6173, Springer, ISBN 978-3-642-14202-4,
DOI: 10.1007/978-3-642-14203-1,
[Book]

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

Hähnle, Reiner
Margaria, Tiziana ; Steffen, Bernhard (eds.) (2010):
HATS: Highly Adaptable and Trustworthy Software using Formal Models.
In: LNCS, 6416, In: Proceedings 4th International Symposium On Leveraging Applications of Formal Methods (ISoLA), Part II, Verification and Validation, Heraclion, Crete, p. 2,
Springer-Verlag, DOI: 10.1007/978-3-642-16561-0_2,
[Conference or Workshop Item]

Bubel, Richard ; Hähnle, Reiner ; Ji, Ran
de Boer, Frank ; Bonsangue, Marcello ; Hallerstede, Stefan ; Leuschel, Michael (eds.) (2010):
Interleaving Symbolic Eexecution and Partial Evaluation.
In: LNCS, 6286, In: Post Conf. Proc. 8th International Symposium on Formal Methods for Components and Objects (FMCO), pp. 247--277,
Springer-Verlag, [Conference or Workshop Item]

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

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

Hähnle, Reiner
Margaria, Tiziana ; Steffen, Bernhard (eds.) (2010):
Task Forces in the EternalS Coordination Action.
In: LNCS, 6416, In: Proc. 4th International Symposium On Leveraging Applications of Formal Methods (ISoLA), Part II, Verification and Validation, Heraclion, Crete, pp. 21--23,
Springer-Verlag, [Conference or Workshop Item]

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

Bubel, Richard ; Din, Crystal Chang ; Hähnle, Reiner
Beckert, Bernhard ; Marché, Claude (eds.) (2010):
Verification of Variable Software: an Experience Report.
In: Pre-Proc. International Conference on Formal Verification of Object-Oriented Software (FoVeOOS), Paris, France,
[Conference or Workshop Item]

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

Ball, Thomas ; Giesl, Jürgen ; Hähnle, Reiner ; Nipkow, Tobias
Ball, Thomas ; Giesl, Jürgen ; Hähnle, Reiner ; Nipkow, Tobias (eds.) (2009):
09411 Abstracts Collection - Interaction versus Automation: The two Faces of Deduction.
In: Dagstuhl Seminar Proceedings, 09411, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, Interaction versus Automation: The two Faces of Deduction, 04.10. - 09.10.2009, [Conference or Workshop Item]

Ahrendt, Wolfgang ; Bubel, Richard ; Hähnle, Reiner
Gibbons, J. ; Oliveira, J. N. (eds.) (2009):
Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification.
In: LNCS, 5846, In: Proc. Second International Conference on Teaching Formal Methods, pp. 125-143,
Springer-Verlag, Teaching Formal Methods, Second International Conference, TFM 2009, Eindhoven, November 2-6, 2009, DOI: 10.1007/978-3-642-04912-5_9,
[Conference or Workshop Item]

Ball, Thomas ; Giesl, Jürgen ; Hähnle, Reiner ; Nipkow, Tobias (eds.) (2009):
Interaction versus Automation: The two Faces of Deduction, 04.10. - 09.10.2009.
In: Dagstuhl Seminar Proceedings, 09411, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, [Book]

Bubel, Richard ; Hähnle, Reiner ; Weiß, Benjamin
de Boer, Frank S. ; Bonsangue, Marcello M. ; Madelaine, Eric (eds.) (2008):
Abstract Interpretation of Symbolic Execution with Explicit State Updates.
In: Lecture Notes in Computer Science, 5751, pp. 247-277, Springer, 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₁₃,
[Conference or Workshop Item]

Bubel, Richard ; Hähnle, Reiner
Instenes, Zoltán (ed.) (2008):
A Hoare-Style Calculus with Explicit State Updates.
In: Electronic Notes in Theoretical Computer Science, In: Proc. Formal Methods in Computer Science Education (FORMED), pp. 49--60,
Elsevier, [Conference or Workshop Item]

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

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

Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter
Beckert, Bernhard (ed.) (2008):
Specification Predicates with Explicit Dependency Information.
372, In: Proc. 5th International Verification Workshop (Verify) in connection with IJCAR Sidney, Australia, pp. 28--43,
CEUR Workshop Proceedings, [Conference or Workshop Item]

Beckert, Bernhard ; Hähnle, Reiner (eds.) (2008):
Tests and Proofs : Papers presented at the Second International Conference TAP 2008, Prato, Italy.
In: Reports of the Faculty of Informatics, 5, Koblenz-Landau, University of Koblenz-Landau, Faculty of Informatics, [Book]

Beckert, Bernhard ; Hähnle, Reiner (eds.) (2008):
Tests and Proofs : Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008 ; Proceedings.
In: Lecture Notes in Computer Science (LNCS), 4966, Cham, Springer International Publishing, [Book]

Mürk, Oleg ; Larsson, Daniel ; Hähnle, Reiner
Tews, Hendrik (ed.) (2007):
Deductive Verifiction of C Programs with KeY-C.
In: Proc. {C/C++} Verification Workshop, colocated with Integrated Formal Methods (IFM), Oxford, UK,
[Conference or Workshop Item]

Engel, Christian ; Hähnle, Reiner
Meyer, Bertrand ; Gurevich, Yuri (eds.) (2007):
Generating Unit Tests from Formal Proofs.
In: LNCS, 4454, In: Proc. Tests and Proofs (TAP), Zürich, Switzerland, pp. 169-188,
Springer-Verlag, Tests and Proofs, First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers, DOI: 10.1007/978-3-540-73770-4_10,
[Conference or Workshop Item]

Hähnle, Reiner ; Pan, Jing ; Rümmer, Philipp ; Walter, Dennis
Montanari, Ugo ; Sanella, Don ; Bruni, R. (eds.) (2007):
Integration of a Security Type System into a Program Logic.
In: LNCS, 4661, In: Proc. Trustworthy Global Computing, Lucca, Italy, pp. 116--131,
Springer-Verlag, [Conference or Workshop Item]

Beckert, Bernhard ; Giese, Martin ; Hähnle, Reiner ; Klebanov, Vladimir ; Rümmer, Philipp ; Schlager, Steffen ; Schmitt, Peter
Pfenning, Frank (ed.) (2007):
The KeY System 1.0 (Deduction Component).
In: LNCS, 4603, In: Proc. 21st Conference on Automated Deduction (CADE), Bremen, Germany, pp. 379--384,
Springer-Verlag, [Conference or Workshop Item]

Mürk, Oleg ; Larsson, Daniel ; Hähnle, Reiner
Pfenning, Frank (ed.) (2007):
KeY-C: A Tool for Verification of C Programs.
In: LNCS, 4603, In: Proc. 21st Conference on Automated Deduction (CADE), Bremen, Germany, p. 385,
Springer-Verlag, [Conference or Workshop Item]

Ahrendt, Wolfgang ; Beckert, Bernhard ; Hähnle, Reiner ; Schmitt, Peter
Bonsangue, Marcello ; Johnsen, Einar Broch (eds.) (2007):
KeY: A Formal Method for Object-Oriented Systems.
In: LNCS, 4468, In: Proc. 9th IFIP Intl. Conf. on Formal Methods for Open Object-based Distributed Systems (FMOODS), pp. 32-43,
Springer-Verlag, Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, DOI: 10.1007/978-3-540-72952-5_2,
[Conference or Workshop Item]

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

Bubel, Richard
Beckert, Bernhard ; Hähnle, Reiner ; Schmitt, Peter (eds.) (2007):
The Schorr-Waite Algorithm.
In: LNCS, 4334, In: Verification of Object-Oriented Software: The {KeY} Approach, pp. 569-587, Springer-Verlag, [Book Section]

Larsson, Daniel ; Hähnle, Reiner
Beckert, Bernhard (ed.) (2007):
Symbolic Fault Injection.
259, In: Proc. 4th International Verification Workshop (Verify) in connection with CADE-21 Bremen, Germany, pp. 85--103,
CEUR Workshop Proceedings, [Conference or Workshop Item]

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

Ahrendt, Wolfgang ; Beckert, Bernhard ; Hähnle, Reiner ; Rümmer, Philipp ; Schmitt, Peter
de Boer, Frank ; Bonsangue, Marcello ; Graf, Susanne ; de Roever, Willem (eds.) (2007):
Verifying Object-Oriented Programs with KeY: a Tutorial.
In: LNCS, 4709, In: Post Conf. Proc. 5th International Symposium on Formal Methods for Components and Objects (FMCO), pp. 70--101,
Springer-Verlag, ISBN 978-3-540-74791-8,
DOI: 10.1007/978-3-540-74792-5_4,
[Conference or Workshop Item]

Gedell, Tobias ; Hähnle, Reiner
Hermann, Miki ; Voronkov, Andrei (eds.) (2006):
Automating Verification of Loops by Parallelization.
In: Lecture Notes in Computer Science, 4246, pp. 332-346, Springer, Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings, DOI: 10.1007/11916277₂₃,
[Conference or Workshop Item]

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

Hähnle, Reiner ; Pan, Jing ; Rümmer, Philipp ; Walter, Dennis
Montanari, Ugo ; Sannella, Donald ; Bruni, Roberto (eds.) (2006):
Integration of a Security Type System into a Program Logic.
In: Lecture Notes in Computer Science, 4661, pp. 116-131, Springer, Trustworthy Global Computing, Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers, DOI: 10.1007/978-3-540-75336-0₈,
[Conference or Workshop Item]

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

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

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

Wallenburg, Angela
Beckert, Bernhard ; Hähnle, Reiner ; Schmitt, Peter (eds.) (2006):
Proving by Induction.
In: LNCS, 4334, In: Verification of Object-Oriented Software: The {KeY} Approach, pp. 453--480, Springer-Verlag, [Book Section]

Larsson, Daniel ; Hähnle, Reiner (2006):
Symbolic Fault Injection.
(2006-17), ISBN 1650-3023,
[Report]

Beckert, Bernhard ; Hähnle, Reiner ; Schmitt, Peter (eds.) (2006):
Verification of Object-Oriented Software: The KeY Approach.
In: Lecture Notes in Computer Science (LNCS), 4334, Berlin, Heidelberg, New York, Springer-Verlag, ISBN 978-3-540-68977-5,
[Book]

Ahrendt, Wolfgang ; Beckert, Bernhard ; Hähnle, Reiner ; Rümmer, Philipp ; Schmitt, Peter H.
de Boer, Frank S. ; Bonsangue, Marcello M. ; Graf, Susanne ; de Roever, Willem P. (eds.) (2006):
Verifying Object-Oriented Programs with KeY: A Tutorial.
In: Lecture Notes in Computer Science, 4709, pp. 70-101, Springer, 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₄,
[Conference or Workshop Item]

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

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

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

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

Hähnle, Reiner ; Murray, Neil ; Rosenthal, Erik
Hacid, Mohand-Saïd ; Raś, Zbigniew ; Murray, Neil ; Tsumoto, Shusaku (eds.) (2005):
Normal Forms for Knowledge Compilation.
In: LNCS, In: Foundations of Intelligent Systems, 10th International Symposium, {ISMIS}'05, Saratoga Springs/NY, USA, pp. 304--313,
Springer-Verlag, [Conference or Workshop Item]

Bézivin, Jean ; Baar, Thomas ; Gardner, Tracy ; Gogolla, Martin ; Hähnle, Reiner ; Hussmann, Heinrich ; Patrascoiu, Octavian ; Schmitt, Peter ; Warmer, Jos
Nunes, Nuno Jardim ; Selic, Bran ; Rodrigues da Silva, Alberto ; Alvarez, Ambrosio Toval (eds.) (2005):
OCL and Model Driven Engineering (Workshop Report).
In: Lecture Notes in Computer Science, 3297, In: UML Modeling Languages and Applications: UML 2004 Satellite Activities and Revised Selected Papers, pp. 67--75,
Springer-Verlag, [Conference or Workshop Item]

Darvas, Adam ; Hähnle, Reiner ; Sands, Dave
Hutter, Dieter ; Ullmann, Markus (eds.) (2005):
A Theorem Proving Approach to Analysis of Secure Information Flow.
In: LNCS, 3450, In: Proc. 2nd International Conference on Security in Pervasive Computing, pp. 193--209,
Springer-Verlag, [Conference or Workshop Item]

Darvas, Adam ; Hähnle, Reiner ; Sands, David
Hutter, Dieter ; Ullmann, Markus (eds.) (2005):
A Theorem Proving Approach to Analysis of Secure Information Flow.
In: Lecture Notes in Computer Science, 3450, pp. 193-209, Springer, Security in Pervasive Computing, Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings, DOI: 10.1007/978-3-540-32004-3₂₀,
[Conference or Workshop Item]

Hähnle, Reiner ; Mostowski, Wojciech
Barthe, Gilles ; Burdy, Lilian ; Huisman, Marieke ; Lanet, Jean-Louis ; Muntean, Traian (eds.) (2005):
Verification of Safety Properties in the Presence of Transactions.
In: LNCS, 3362, In: Post Conference Proceedings of {CASSIS}: Construction and Analysis of Safe, Secure and Interoperable Smart devices, Marseille, pp. 151--171,
Springer-Verlag, [Conference or Workshop Item]

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

Giese, Martin ; Hähnle, Reiner ; Larsson, Daniel (2004):
Rule-Based Simplification of OCL Constraints.
In: UML 2004 workshop on OCL and Model Driven Engineering,
[Conference or Workshop Item]

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

Darvas, Adam ; Hähnle, Reiner ; Sands, Dave (2004):
A Theorem Proving Approach to Analysis of Secure Information Flow.
(2004-01), ISBN 1650-3023,
[Report]

Hähnle, Reiner
Fitting, Melvin ; Orlowska, Ewa (eds.) (2003):
Complexity of Many-Valued Logics.
In: Studies in Fuzziness and Soft Computing, 114, In: Beyond Two: Theory and Applications of Multiple-Valued Logic, pp. 211--233, Physica-Verlag, ISBN 3-7908-1541-1,
[Book Section]

Hähnle, Reiner ; Sörensson, Niklas
Cialdea Mayer, Marta ; Pirri, Fiora (eds.) (2003):
Fair Constraint Merging Tableaux in Lazy Functional Programming Style.
In: LNCS, 2796, In: Proc. Intl. Conf. on Automated Reasoning with Analytic Tableaux and Related Methods, Rome, Italy, pp. 252--256,
Springer-Verlag, [Conference or Workshop Item]

Bubel, Richard ; Hähnle, Reiner
Arts, Thomas ; Fokkink, Wan (eds.) (2003):
Formal Specification of Security-Critical Railway Software with the KeY System.
In: Electronic Notes in Theoretical Computer Science, 80, In: Proc. Eighth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 03),
Elsevier, [Conference or Workshop Item]

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

Giese, Martin ; Hähnle, Reiner (2003):
Tableaux + Constraints.
In: Position Papers presented at International Conference on Analytic Tableaux and Related Methods, Rome, Italy,
[Conference or Workshop Item]

Darvas, Adam ; Hähnle, Reiner ; Sands, Dave
Gorrieri, Roberto (ed.) (2003):
A Theorem Proving Approach to Analysis of Secure Information Flow.
In: Workshop on Issues in the Theory of Security, WITS,
[Conference or Workshop Item]

Hähnle, Reiner ; Wallenburg, Angela
Petrenko, Alex ; Ulrich, Andreas (eds.) (2003):
Using a software testing technique to improve theorem proving.
In: LNCS, In: Post Conference Proceedings, 3rd International Workshop on Formal Approaches to Testing of Software (FATES), Montréal, Canada,
Springer-Verlag, [Conference or Workshop Item]

Hähnle, Reiner ; Johannisson, Kristofer ; Ranta, Aarne
Kutsche, Ralf-Detlef ; Weber, Herbert (eds.) (2002):
An Authoring Tool for Informal and Formal Requirements Specifications.
In: Lecture Notes in Computer Science, 2306, pp. 233-248, Springer, 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₁₆,
[Conference or Workshop Item]

Ahrendt, Wolfgang ; Baar, Thomas ; Beckert, Bernhard ; Giese, Martin ; Habermalz, Elmar ; Hähnle, Reiner ; Menzel, Wolfram ; Mostowski, Wojciech ; Schmitt, Peter H.
Kutsche, Ralf-Detlef ; Weber, Herbert (eds.) (2002):
The KeY System: Integrating Object-Oriented Design and Formal Methods.
In: Lecture Notes in Computer Science, 2306, pp. 327-330, Springer, 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₂₃,
[Conference or Workshop Item]

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

Hähnle, Reiner ; Murray, Neil ; Rosenthal, Erik
Fermüller, Christian ; Egly, Uwe (eds.) (2002):
Unit Preference for Ordered Resolution and for Connection Graph Resolution.
In: Position Papers presented at International Conference on Analytic Tableaux and Related Methods, Copenhagen, Denmark,
[Conference or Workshop Item]

Claessen, Koen ; Hähnle, Reiner ; Maartensson, Johan
Sutcliffe, Geoff ; Pelletier, Jef ; Suttner, Christian (eds.) (2002):
Verification of Hardware Systems with First-Order Logic.
In: Proc. Problems and Problem Sets Workshop, affiliated to CADE-18, Copenhagen,
[Conference or Workshop Item]

Hähnle, Reiner
Gabbay, Reiner M. ; Guenthner, F. (eds.) (2001):
Advanced Many-Valued Logics.
2, In: Handbook of Philosophical Logic, pp. 297--395, Kluwer, Dordrecht, ISBN 0-7923-7126-7,
[Book Section]

Hähnle, Reiner (2001):
Complexity of Many-Valued Logics.
In: Proc. 31st International Symposium on Multiple-Valued Logics, Warsaw, Poland, pp. 137--146,
IEEE CS Press, Los Alamitos, [Conference or Workshop Item]

Hähnle, Reiner ; Ranta, Aarne
Whittle, Jon (ed.) (2001):
Connecting OCL with the Rest of the World.
In: WTUML: Workshop on Transformations in UML at ETAPS, Genova, Italy,
[Conference or Workshop Item]

Béjar, Ramon ; Hähnle, Reiner ; Manyà, Felip (2001):
A Modular Reduction of Regular Logic to Classical Logic.
In: Proc. 31st International Symposium on Multiple-Valued Logics, Warsaw, Poland, pp. 221--226,
IEEE CS Press, Los Alamitos, [Conference or Workshop Item]

Hähnle, Reiner ; Murray, Neil ; Rosenthal, Erik
Goré, Rajeev ; Leitsch, Alexander ; Nipkow, Tobias (eds.) (2001):
Ordered Resolution vs. Connection Graph Resolution.
In: LNCS, 2083, In: Proc. International Joint Conference on Automated Reasoning IJCAR, Siena, Italy, pp. 182--194,
Springer-Verlag, [Conference or Workshop Item]

Hähnle, Reiner
Reusch, Bernd ; Temme, Karl-Heinz (eds.) (2001):
Proof Theory of Many-Valued Logic and Linear Optimization.
In: Advances in Soft Computing, In: Computational Intelligence in Theory and Practice, pp. 15--33, Physica-Verlag, Heidelberg, ISBN 3-7908-1357-5,
[Book Section]

Hähnle, Reiner
Robinson, Alan ; Voronkov, Andrei (eds.) (2001):
Tableaux and Related Methods.
I, In: Handbook of Automated Reasoning, pp. 101--178, Elsevier Science B.V., ISBN 0-444-508139,
[Book Section]

Beckert, Bernhard ; Hähnle, Reiner ; Manya, Felip (2000):
The 2-SAT Problem of Regular Signed CNF Formulas.
In: Proc. 30th International Symposium on Multiple-Valued Logics, Portland/OR, USA, pp. 331--336,
IEEE CS Press, Los Alamitos, [Conference or Workshop Item]

Baar, Thomas ; Hähnle, Reiner ; Sattler, Theo ; Schmitt, Peter H.
Mehlhorn, Kurt ; Snelting, Gregor (eds.) (2000):
Entwurfsmustergesteuerte Erzeugung von OCL-Constraints.
In: Informatik aktuell, pp. 389-404, Springer, 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₃₀,
[Conference or Workshop Item]

Baar, Thomas ; Hähnle, Reiner
France, Robert ; Rumpe, Bernhard ; Whittle, Jonathan (eds.) (2000):
An Integrated Metamodel for OCL Types.
In: Proc. OOPSLA 2000 Workshop Refactoring the UML: In Search of the Core, Minneapolis/MI, USA,
[Conference or Workshop Item]

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

Ahrendt, Wolfgang ; Baar, Thomas ; Beckert, Bernhard ; Giese, Martin ; Habermalz, Elmar ; Hähnle, Reiner ; Menzel, Wolfram ; Schmitt, Peter (2000):
The KeY Approach: Integrating Object Oriented Design and Formal Verification.
In: In Proc. Java Card Workshop, Cannes, France,
{INRIA} technical report, [Conference or Workshop Item]

Ahrendt, Wolfgang ; Baar, Thomas ; Beckert, Bernhard ; Giese, Martin ; Habermalz, Elmar ; Hähnle, Reiner ; Menzel, Wolfram ; Schmitt, Peter
Ojeda-Aciego, Manuel ; de Guzmán, Inma P. ; Brewka, Gerhard ; Pereira, Luís Moniz (eds.) (2000):
The KeY Approach: Integrating Object Oriented Design and Formal Verification.
In: LNCS, 1919, In: Proc. 8th European Workshop on Logics in AI (JELIA), pp. 21--36,
Springer-Verlag, [Conference or Workshop Item]

Hähnle, Reiner ; Hasegawa, Ryuzo ; Shirai, Yasuyuki (2000):
A Model Generation Theorem Prover Handling Finite Interval Constraints.
(Vol.5, No.2), [Report]

Hähnle, Reiner ; Hasegawa, Ryuzo ; Shirai, Yasuyuki
Lloyd, John ; Dahl, Veronica ; Furbach, Ulrich ; Kerber, Manfred ; Lau, Kung-Kiu ; Palamidessi, Catuscia ; Pereira, Luís Moniz ; Sagiv, Yehoshua ; Stuckey, Peter (eds.) (2000):
Model Generation Theorem Proving with Finite Interval Constraints.
In: LNCS, 1861, In: Proc. Computational Logic -- CL~2000, First International Conference, London, UK, pp. 285--399,
Springer-Verlag, [Conference or Workshop Item]

Beckert, Bernhard ; Hähnle, Reiner ; Manya, Felip
Basin, David ; D'Agostino, Marcello ; Gabbay, Dov ; Matthews, Seán ; Viganò, Luca (eds.) (2000):
The SAT Problem of Signed CNF Formulas.
In: Applied Logic Series, 17, In: Labelled Deduction, pp. 61--82, Kluwer, Dordrecht, ISBN 0-7923-6237-3,
[Book Section]

D'Agostino, Marcello ; Gabbay, Dov ; Hähnle, Reiner ; Posegga, Joachim (eds.) (1999):
Handbook of Tableau Methods.
Kluwer, Dordrecht, ISBN 0-7923-5627-6,
[Book]

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

Hähnle, Reiner (1999):
Many-Valued Logic, Linear Optimization and Logic Design: Connections and Interactions.
3, In: Collegium Logicum. Annals of the Kurt-G"{o}del-Society, pp. 60--84, Institute of Computer Science AS CR, Prague, [Book Section]

Hähnle, Reiner ; Beckert, Bernhard
Murray, Neil V. (ed.) (1999):
Proof Confluent Tabelau Calculi (Tutorial).
In: LNCS, In: Proc. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Saratoga Springs/NY, USA, pp. 34--35,
Springer-Verlag, [Conference or Workshop Item]

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

Beckert, Bernhard ; Hähnle, Reiner ; Manyà, Felip (1999):
Transformations between Signed and Classical Clause Logic.
In: Proc. 29th International Symposium on Multiple-Valued Logics, Freiburg, Germany, p. 248,
IEEE CS Press, Los Alamitos, [Conference or Workshop Item]

Beckert, Bernhard ; Hähnle, Reiner
Bibel, Wolfgang ; Schmitt, Peter (eds.) (1998):
Analytic Tableaux.
I, In: Automated Deduction: A Basis for Applications, pp. 11--41, Kluwer, [Book Section]

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

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

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

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

Hähnle, Reiner ; Murray, Neil ; Rosenthal, Erik
de Swart, Harrie (ed.) (1998):
Some Remarks on Completeness, Connection Graph Resolution and Link Deletion.
In: LNCS, In: Proc. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Oosterwijk, The Netherlands, pp. 172--186,
Springer-Verlag, [Conference or Workshop Item]

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

Hähnle, Reiner ; Murray, Neil ; Rosenthal, Erik
Raś, Zbigniew ; Skowron, Andrzej (eds.) (1997):
Completeness for Linear Regular Negation Normal Form Inference Systems.
In: LNCS, 1325, In: Foundations of Intelligent Systems, 10th International Symposium, {ISMIS}'97, Charlotte, North Carolina, USA, pp. 590--599,
Springer-Verlag, [Conference or Workshop Item]

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

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

Hähnle, Reiner ; Pape, Christian
Galmiche, Didier (ed.) (1997):
Ordered Tableaux: Extensions and Applications.
In: LNCS, 1227, In: Proc. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Pont-`{a}-Mousson, France, pp. 173-187,
Springer-Verlag, DOI: 10.1007/BFb0027413,
[Conference or Workshop Item]

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

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

Hähnle, Reiner ; Murray, Neil ; Rosenthal, Erik
Galmiche, Didier (ed.) (1997):
A Remark on Proving Completeness.
In: Position Papers presented at International Conference on Analytic Tableaux and Related Methods, Pont-`{a}-Mousson, France, pp. 41--47,
[Conference or Workshop Item]

Pape, Christian ; Hähnle, Reiner
Gottlob, Georg ; Leitsch, Alexander ; Mundici, Daniele (eds.) (1997):
Restart Tableaux with Selection Function.
In: LNCS, 1289, In: Fifth Kurt-G"odel-Colloquium, {KGC}'97, Vienna, pp. 219--232,
Springer-Verlag, [Conference or Workshop Item]

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

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

Hähnle, Reiner ; Klingenbeck, Stefan (1996):
A-Ordered Tableaux.
In: J. Log. Comput., 6 (6), pp. 819-833. DOI: 10.1093/logcom/6.6.819,
[Article]

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

Hähnle, Reiner ; Kerber, Manfred ; Weidenbach, Christoph (1996):
Common Syntax of DFG-Schwerpunktprogramm "Deduktion".
(10/96), [Report]

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

Hähnle, Reiner (1996):
Many-Valued Logic, Linear Optimization and Logic Design: Connections and Interactions.
In: Symposium on Proof Theory and Computational Aspects of Many-Valued Logics at {ESSLLI} 1996, Prague,
[Conference or Workshop Item]

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

Beckert, Bernhard ; Hähnle, Reiner (1996):
Proving Compiler Correctness with Evolving Algebra Specifications.
(4/96), [Report]

Hähnle, Reiner ; Murray, Neil ; Rosenthal, Erik
Miglioli, Pierangelo ; Moscato, Ugo ; Mundici, Daniele ; Ornaghi, Mario (eds.) (1996):
A Remark on the P-Simulatability of Proof Systems by Path Dissolution.
In: Short Papers presented at 5th International Workshop, {TABLEAUX'96}, Palermo, Italy, pp. 33--48,
[Conference or Workshop Item]

Beckert, Bernhard ; Hähnle, Reiner ; Oel, Peter ; Sulzmann, Martin (1996):
The Tableau-Based Theorem Prover (TaP).
In: Proc. second international conference of COST Action 15 ``Many-Valued Logics for Computer Science Aplications'', Barcelona,
[Conference or Workshop Item]

Beckert, Bernhard ; Hähnle, Reiner ; Oel, Peter ; Sulzmann, Martin
McRobbie, Michael ; Slaney, John (eds.) (1996):
The Tableau-Based Theorem Prover TaP, Version 4.0.
In: LNCS, 1104, In: Proc. 13th Conference on Automated Deduction, New Brunswick/NJ, USA, pp. 303--307,
Springer-Verlag, [Conference or Workshop Item]

Hähnle, Reiner (1995):
Automated Deduction and Integer Programming.
1, In: Collegium Logicum. Annals of the Kurt-G"{o}del-Society, pp. 67--86, Springer-Verlag, Wien New York, [Book Section]

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

Beckert, Bernhard ; Hähnle, Reiner
Kleine Büning, Hans (ed.) (1995):
Deduction by Combining Semantic Tableaux and Integer Programming.
In: LNCS, 1092, In: Selected Papers from Computer Science Logic, {CSL}'95, Paderborn, Germany, pp. 52-63,
Springer-Verlag, Computer Science Logic, 9th International Workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995, Selected Papers, DOI: 10.1007/3-540-61377-3_31,
[Conference or Workshop Item]

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

Hähnle, Reiner ; Hasegawa, Ryuzo ; Shirai, Yasuyuki
Benhamou, Frédéric ; Older, William J. ; van Emden, Maarten ; van Hentenryck, Pascal (eds.) (1995):
Model Generation Theorem Proving with Interval Constraints.
In: Proc. of {ILPS} Post-Conference Workshop on Interval Constraints, Portland/OR, USA,
[Conference or Workshop Item]

Hähnle, Reiner ; Hasegawa, Ryuzo ; Shirai, Yasuyuki (1995):
Model Generation Theorem Proving with Interval Constraints.
(45/95), [Report]

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

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

Hähnle, Reiner (1994):
Automated Deduction in Multiple-Valued Logics.
In: International Series of Monographs on Computer Science, 10, Oxford University Press, ISBN 0-19-853989-4,
[Book]

Hähnle, Reiner (1994):
Efficient Deduction in Many-Valued Logics.
In: Proc. International Symposium on Multiple-Valued Logics, ISMVL, Boston/MA, USA, p. 240,
IEEE CS Press, Los Alamitos, [Conference or Workshop Item]

Hähnle, Reiner ; Ibens, Ortrun
Gabbay, Ortrun M. ; Ohlbach, Hans Jürgen (eds.) (1994):
Improving Temporal Logic Tableaux Using Integer Constraints.
In: LNCS, 827, In: Proc. International Conference on Temporal Logic, Bonn, Germany, pp. 535--539,
Springer-Verlag, [Conference or Workshop Item]

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

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

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

Beckert, Bernhard ; Hähnle, Reiner ; Ramesh, Anavai ; Murray, Neil
Pfenning, Frank (ed.) (1994):
On Anti-Links.
In: LNCS, 822, In: Proc. 5th International Conference on Logic Programming and Automated Reasoning, Kiev, Ukraine, pp. 275--289,
Springer-Verlag, [Conference or Workshop Item]

Klingenbeck, Stefan ; Hähnle, Reiner
Bundy, Alan (ed.) (1994):
Semantic Tableaux with Ordering Restrictions.
In: LNCS, 814, In: Proc. 12th Conference on Automated Deduction {CADE}, Nancy/France, pp. 708--722,
Springer-Verlag, [Conference or Workshop Item]

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

Hähnle, Reiner ; Reif, Wolfgang
Frisch, Alan (ed.) (1994):
Towards the Integration of Tactical and Automated Reasoning.
In: Working Notes AISB Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice, Leeds, England, pp. 32--34,
[Conference or Workshop Item]

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

Basin, David ; Fronhöfer, Bertram ; Hähnle, Reiner ; Posegga, Joachim ; Schwind, Camilla (eds.) (1993):
2nd Workshop on Theorem Proving with Analytic Tableaux and Related Methods, Marseille/France.
Max-Planck-Institut für Informatik, Saarbrücken, {MPI}-Report, [Conference or Workshop Item]

Hähnle, Reiner
Jackson, Peter ; Scherl, Richard (eds.) (1993):
Efficient Deduction in Many-Valued Logics.
In: Proc. Workshop Automated Deduction in Nonstandard Logics, AAAI Fall Symposium Series, Raleigh/NC, USA, AAAI Technical Report FS-93-01, p. 54,
[Conference or Workshop Item]

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

Ries, Klaus ; Hähnle, Reiner (1993):
Prädikatenlogisches Beweisen mit gemischt ganzzahliger Optimierung. Ein tableau-basier-ter Ansatz.
In: Working Notes of Workshop Künstliche Intelligenz und Operations Research, Berlin (published as Tech Report, Max-Planck-Institut für Informatik, Saarbrücken, MPI-I-93-234),
[Conference or Workshop Item]

Hähnle, Reiner
Komorowski, Jan ; Raś, Zbigniew (eds.) (1993):
Short CNF in Finitely-Valued Logics.
In: LNCS, 689, In: Proc. 7th International Symposium on Methodologies for Intelligent Systems (ISMIS), Trondheim, Norway, pp. 49--58,
Springer-Verlag, [Conference or Workshop Item]

Hähnle, Reiner ; Kernig, Werner
Kropf, Th. ; Kumar, R. ; Schmid, D. (eds.) (1993):
Uses of Many-Valued Deduction in Hardware Verification.
In: Proc. ITG/GI Workshop Formale Methoden zum Entwurf korrekter Systeme, Bad Herrenalb, Interner Bericht 10/93, Fakult"{a}t füt Informatik, Universit"{a}t Karlsruhe, pp. 69--78,
[Conference or Workshop Item]

Hähnle, Reiner ; Kernig, Werner
Voronkov, Andrei (ed.) (1993):
Verification of Switch Level Designs with Many-Valued Logic.
In: LNCS, 698, In: Proc.~{LPAR}'93, St. Petersburg, Russia, pp. 158--169,
Springer-Verlag, [Conference or Workshop Item]

Beckert, Bernhard ; Hähnle, Reiner ; Schmitt, Peter
Gottlob, Georg ; Leitsch, Alexander ; Mundici, Daniele (eds.) (1993):
The even more liberalized delta-rule in free variable semantic tableaux.
In: LNCS, 713, In: Proceedings of the third Kurt Gödel Colloquium KGC'93, Brno, Czech Republic, pp. 108--119,
Springer-Verlag, [Conference or Workshop Item]

Hähnle, Reiner
Fronhöfer, Bertram ; Hähnle, Reiner ; Käufl, Thomas (eds.) (1992):
Analytic Tableau and Integer Programming (Extended Abstract).
pp. 33-35, Workshop Theorem Proving with Analytic Tableaux and Related Methods, Lautenbach. Universität Karlsruhe, Fakultät für Informatik, Institut für Logik, Komplexität und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992, [Conference or Workshop Item]

Hähnle, Reiner
Fronhöfer, Bertram ; Hähnle, Reiner ; Käufl, Thomas (eds.) (1992):
Analytic Tableaux and Integer Programming.
In: Proc. Workshop on Theorem Proving with Analytic Tableaux and Related Methods, Lautenbach/Germany,
Internal Report 8/92, University of Karlsruhe, [Conference or Workshop Item]

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

Beckert, Bernhard ; Gerberding, Stefan ; Hähnle, Reiner ; Kernig, Werner
Kapur, Deepak (ed.) (1992):
The Many-Valued Tableau-Based Theorem Prover TaP.
In: LNCS, 607, In: Proc. 11th Conference on Automated Deduction, Albany/NY, pp. 758--760,
Springer-Verlag, [Conference or Workshop Item]

Hähnle, Reiner
Calmet, Jacques ; Campbell, John A. (eds.) (1992):
A New Translation from Deduction into Integer Programming.
In: LNCS, 737, In: Proc. Int. Conf. on Artificial Intelligence and Symbolic Mathematical Computing {AISMC}-1, Karlsruhe, Germany, pp. 262--275,
Springer-Verlag, [Conference or Workshop Item]

Beckert, Bernhard ; Gerberding, Stefan ; Hähnle, Reiner ; Kernig, Werner
Kapur, Deepak (ed.) (1992):
The Tableau-Based Theorem Prover 3TAP for Multi-Valued Logics.
In: Lecture Notes in Computer Science, 607, pp. 758-760, Springer, 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₂₁₉,
[Conference or Workshop Item]

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

Fronhöfer, Bertram ; Hähnle, Reiner ; Käufl, Thomas (eds.) (1992):
Workshop on Theorem Proving with Analytic Tableaux and Related Methods, Lautenbach/Germany.
University of Karlsruhe, Dept. of Computer Science, Internal Report 8/92, [Conference or Workshop Item]

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

Hähnle, Reiner (1991):
Uniform Notation of Tableaux Rules for Multiple-Valued Logics.
In: Proc. International Symposium on Multiple-Valued Logic, Victoria, pp. 238--245,
{IEEE} Press, Los Alamitos, [Conference or Workshop Item]

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

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

Hähnle, Reiner ; Heisel, Maritta ; Reif, Wolfgang ; Stephan, Werner (1986):
An Interactive Verification System Based on Dynamic Logic.
In: LNCS, 230, In: Proc. 8th Conference on Automated Deduction {CADE}, Oxford, pp. 306-315,
Springer-Verlag, DOI: 10.1007/3-540-16780-3_99,
[Conference or Workshop Item]

This list was generated on Tue Jul 27 01:04:04 2021 CEST.