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: 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: 260.

2020

Kutscher, Vladimir and Ruland, Sebastian and Müller, Patrick and Wasser, Nathan and Lochau, Malte and Anderl, Reiner and Schürr, Andy and Mezini, Mira and Hähnle, Reiner (2020):
Towards a Circular Economy of Industrial Software.
pp. 37-42, 27th CIRP Life Cycle Engineering Conference (LCE 2020), Grenoble, France, 13.-15.05., DOI: 10.1016/j.procir.2020.01.133,
[Conference or Workshop Item]

Düpmeier, Frederik and Winter, Hanno and Willert, Volker and Adamy, Jürgen and Dillmann, Stefan and Pejic, Miroslav and Oetting, Andreas and 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 and Ruland, Sebastian and Müller, Patrick and Wasser, Nathan and Lochau, Malte and Anderl, Reiner and Schürr, Andy and Mezini, Mira and Hähnle, Reiner (2020):
Towards a Circular Economy of Industrial Software.
In: Procedia CIRP, 90, pp. 37 - 42. Elsevier ScienceDirect, ISSN 2212-8271,
DOI: 10.1016/j.procir.2020.01.133,
[Article]

2019

Steinhöfel, Dominic and 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]

Steinhöfel, Dominic and Hähnle, Reiner ter Beek, Maurice H. and McIver, Annabelle and 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 and Din, Crystal Chang and Hähnle, Reiner and Johnsen, Einar Broch Ölveczky, Peter Csaba and 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 and Hähnle, Reiner Dutilleul, Simon Collart and Lecomte, Thierry and 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 and Huisman, Marieke Steffen, Bernhard and 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 and 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]

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

Bubel, Richard and Hähnle, Reiner and Tabar, Asmae Heydari Ahrendt, Wolfgang and Tarifa, Silvia Lizeth Tapia (eds.) (2019):
A Program Logic for Dependence Analysis.
Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, DOI: 10.1007/978-3-030-34968-4_5,
[Conference or Workshop Item]

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

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

2018

Kamburjan, Eduard and Hähnle, Reiner and 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 and Hähnle, Reiner and Kamburjan, Eduard and Lienhardt, Michael (2018):
Interoperability of software product line variants.
pp. 264-268, ACM, SPLC, [Conference or Workshop Item]

Steinhöfel, Dominic and Hähnle, Reiner Margaria, Tiziana and 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 and Hähnle, Reiner (2018):
Prototyping Formal System Models with Active Objects.
In: EPTCS, 279, pp. 52-67, ICE, [Conference or Workshop Item]

Damiani, Ferruccio and Hähnle, Reiner and Kamburjan, Eduard and 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é and Gehrt, Jan-Jöran and Abel, Dirk and Reinhart, Peter and Wanstrath, Sven and Üyümez, Bilal and Schön, Sebastian and Kamburjan, Eduard and Hähnle, Reiner Oetting, Andreas and 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]

2017

de Gouw, Stijn and de Boer, Frank S. and Bubel, Richard and Hähnle, Reiner and Rot, Jurriaan and 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 and Huisman, Marieke Reger, Giles and 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 and Hähnle, Reiner and Lienhardt, Michael Gabmeyer, Sebastian and 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 and Bubel, Richard and Hähnle, Reiner (2017):
Automatic detection and demonstrator generation for information flow leaks in object-oriented programs.
67, In: Computers & Security, pp. 335-349. DOI: 10.1016/j.cose.2016.12.002,
[Article]

Kamburjan, Eduard and Hähnle, Reiner Fantechi, Alessandro and Lecomte, Thierry and 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 and Bubel, Richard and Hähnle, Reiner Hung, Dang Van and 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 and Hähnle, Reiner and Johnsen, Einar Broch and Pun, Ka I. and Tarifa, Silvia Lizeth Tapia Schmidt, Renate A. and 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. and Serbanescu, Vlad and Hähnle, Reiner and Henrio, Ludovic and Rochas, Justine and Din, Crystal Chang and Johnsen, Einar Broch and Sirjani, Marjan and Khamespanah, Ehsan and Fernandez-Reyes, Kiko and Yang, Albert Mingkun (2017):
A Survey of Active Object Languages.
50, In: ACM Comput. Surv., (5), pp. 76:1-76:39. DOI: 10.1145/3122848,
[Article]

Meyer zu Hörste, Michael and Kamburjan, Eduard and Hähnle, Reiner and Winter, Hanno and Willert, Volker and Adamy, Jürgen and Leining, Michael and Spindler, Max and Lauer, Martin and Stein, Denis and Heirich, Oliver and Groos, Jörn and Geffert, Arne and Becker, Uwe and Breuer, Michael and Bachurina, Daria and 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 and Hähnle, Reiner and Kamburjan, Eduard and Lienhardt, Michael Huisman, Marieke and 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]

2016

Hentschel, Martin and Hähnle, Reiner and 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 and Hähnle, Reiner and 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 and Hähnle, Reiner and Muschevici, Radu and Azurat, Ade (2016):
A UML Profile for Delta-Oriented Programming to Support Software Product Line Engineering.
[Report]

Wasser, Nathan and Hähnle, Reiner and Bubel, Richard Ahrendt, Wolfgang and Beckert, Bernhard and Bubel, Richard and Hähnle, Reiner and Schmitt, Peter H. and 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 and Wasser, Nathan and Bubel, Richard Ábrahám, Erika and Bonsangue, Marcello M. and 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 and Hähnle, Reiner and Bubel, Richard Abraham, Erika and 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. and Hähnle, Reiner and Schaefer, Ina Margaria, Tiziana and 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 and Hähnle, Reiner and Bubel, Richard Ahrendt, Wolfgang and Beckert, Bernhard and Bubel, Richard and Hähnle, Reiner and Schmitt, Peter H. and 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 and Beckert, Bernhard and Bubel, Richard and Hähnle, Reiner and Schmitt, Peter H. and 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 and Hähnle, Reiner and Hentschel, Martin and Schmitt, Peter H. Ahrendt, Wolfgang and Beckert, Bernhard and Bubel, Richard and Hähnle, Reiner and Schmitt, Peter H. and 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 and Hähnle, Reiner and Bubel, Richard Ogata, Kazuhiro and Lawford, Mark and 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 and Hähnle, Reiner and Bubel, Richard Ogata, Kazuhiro and Lawford, Mark and 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 and Hähnle, Reiner Ahrendt, Wolfgang and Beckert, Bernhard and Bubel, Richard and Hähnle, Reiner and Schmitt, Peter H. and 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 and Giannakopoulou, Dimitra and Hähnle, Reiner and Meinke, Karl (2016):
Machine Learning for Dynamic Software Analysis: Potentials and Limits (Dagstuhl Seminar 16172).
6, In: Dagstuhl Reports, (4), pp. 161-173. DOI: 10.4230/DagRep.6.4.161,
[Article]

Grahl, Daniel and Bubel, Richard and Mostowski, Wojciech and Schmitt, Peter H. and Ulbrich, Mattias and Weiß, Benjamin Ahrendt, Wolfgang and Beckert, Bernhard and Bubel, Richard and Hähnle, Reiner and Schmitt, Peter H. and 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 and Bubel, Richard Ahrendt, Wolfgang and Beckert, Bernhard and Bubel, Richard and Hähnle, Reiner and Schmitt, Peter H. and 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 and Damiani, Ferruccio and Hähnle, Reiner and Johnsen, Einar Broch and Owe, Olaf and Schaefer, Ina and Yu, Ingrid Chieh (2016):
Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct.
1, In: Trans. Found. Mastering Chang., pp. 130-156. DOI: 10.1007/978-3-319-46508-1₈,
[Article]

Hähnle, Reiner Ahrendt, Wolfgang and Beckert, Bernhard and Bubel, Richard and Hähnle, Reiner and Schmitt, Peter H. and 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. and Bubel, Richard Ahrendt, Wolfgang and Beckert, Bernhard and Bubel, Richard and Hähnle, Reiner and Schmitt, Peter H. and 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 and Muschevici, Radu Margaria, Tiziana and 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. and Hähnle, Reiner and Muschevici, Radu and 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 and Hähnle, Reiner Artho, Cyrille and Ö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 and Hähnle, Reiner and Bubel, Richard Lo, David and Apel, Sven and 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 and Bubel, Richard and Genaim, Samir and Hähnle, Reiner and Puebla, German and 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.
15, In: Software and System Modeling, (4), pp. 987-1012. DOI: 10.1007/s10270-015-0476-y,
[Article]

Hentschel, Martin and Hähnle, Reiner and Bubel, Richard Lo, David and Apel, Sven and 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]

2015

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

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

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

Bubel, Richard and Din, Crystal Chang and Hähnle, Reiner and 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 and Bubel, Richard and Hähnle, Reiner Federrath, Hannes and 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 and Tarifa, Silvia Lizeth Tapia and Hähnle, Reiner and Johnsen, Einar Broch Butler, Michael J. and Conchon, Sylvain and 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 and Bubel, Richard and Hähnle, Reiner Felty, Amy P. and 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 and Rot, Jurriaan and de Boer, Frank S. and Bubel, Richard and Hähnle, Reiner Kroening, Daniel and 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 and Hähnle, Reiner (2015):
Resource Consumption of Concurrent Objects over Time.
[Report]

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

2014

Hentschel, Martin and Bubel, Richard and Hähnle, Reiner Bonakdarpour, Borzoo and 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 and Käsdorf, Stefan and Hähnle, Reiner and Bubel, Richard Albert, Elvira and Sekerinski, Emil and 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 and Beckert, Bernhard and Bruns, Daniel and Bubel, Richard and Gladisch, Christoph and Grebing, Sarah and Hähnle, Reiner and Hentschel, Martin and Klebanov, Vladimir and Mostowski, Wojciech and Scheben, Christoph and Schmitt, Peter and Ulbrich, Mattias Giannakopoulou, Dimitra and 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 and Hähnle, Reiner and Bubel, Richard Seidl, Martina and 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 and Montoya, Antonio Flores and Hähnle, Reiner Bernardo, M. and Damiani, F. and Hähnle, R. and Johnsen, E. B. and 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 and Damiani, Ferruccio and Hähnle, Reiner and Johnsen, Einar Broch and 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 and de Boer, Frank S. and Hähnle, Reiner and Johnsen, Einar Broch and Schlatte, Rudolf and Tarifa, Silvia Lizeth Tapia and Wong, Peter Y. H. (2014):
Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS.
8, In: Service Oriented Computing and Applications, (4), pp. 323-339. DOI: 10.1007/s11761-013-0148-0,
[Article]

Bubel, Richard and Hähnle, Reiner and 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 and Hähnle, Reiner (2014):
Information Flow Analysis Based on Program Simplification.
(TUD-CS-2014-0877), [Report]

Hentschel, Martin and Käsdorf, Stefan and Hähnle, Reiner and Bubel, Richard Albert, Elvira and 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 and Johnsen, Einar Broch Margaria, Tiziana and 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 and Hähnle, Reiner (2014):
Reasoning and Verification: State of the Art and Current Trends.
29, In: IEEE Intelligent Systems, (1), pp. 20-29. DOI: 10.1109/MIS.2014.3,
[Article]

Flores-Montoya, Antonio and 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 and Hähnle, Reiner (2014):
Resource Analysis of Complex Programs with Cost Equations.
[Report]

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

2013

Hähnle, Reiner Bonsangue, Marcello and de Boer, Frank and Giachino, Elena and 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 and Hähnle, Reiner and Nipkow, Tobias and Weidenbach, Christoph (2013):
Deduction and Arithmetic (Dagstuhl Seminar 13411).
3, In: Dagstuhl Reports, (10), pp. 1-24. DOI: 10.4230/DagRep.3.10.1,
[Article]

Albert, Elvira and de Boer, Frank and Hähnle, Reiner and Johnsen, Einar Broch and Laneve, Cosimo Babar, Ali and 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 and de Boer, Frank S. and Hähnle, Reiner and Johnsen, Einar Broch and Laneve, Cosimo Solberg, Arnor and Babar, Muhammad Ali and Dumas, Marlon and 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 and Hähnle, Reiner and de Boer, Frank S. and 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, Springer, ISBN 978-3-642-40614-0,
DOI: 10.1007/978-3-642-40615-7,
[Book]

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

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

Ji, Ran and Hähnle, Reiner and Bubel, Richard Hierons, Robert M. and Merayo, Mercedes G. and 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 and Hähnle, Reiner and Bubel, Richard Hierons, Robert and Merayo, Mercedes and 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 and Hähnle, Reiner and Bubel, Richard Hierons, Robert and Merayo, Mercedes and 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 and Hähnle, Reiner and Bubel, Richard (2013):
Program Transformation Based on Symbolic Execution and Deduction (Technical Report).
(TUD-CS-2013-0348), [Report]

Hähnle, Reiner and Schaefer, Ina and 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]

2012

Albert, Elvira and Bubel, Richard and Genaim, Samir and Hähnle, Reiner and 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 and Hähnle, Reiner and de Boer, Frank S. and 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 and Schaefer, Ina Margaria, Tiziana and 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. and Hähnle, Reiner and Johnsen, Einar Broch and Schlatte, Rudolf and Wong, Peter Y. H. Paoli, Flavio De and Pimentel, Ernesto and 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 and Knoop, Jens and Margaria, Tiziana and Schreiner, Dietmar and 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, Springer, ISBN 978-3-642-34780-1,
DOI: 10.1007/978-3-642-34781-8,
[Book]

Hähnle, Reiner and Schaefer, Ina Margaria, Tiziana and 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]

2011

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

Bubel, Richard and Hähnle, Reiner and Geilmann, Ulrich Barthe, Gilles and Schneider, Gerardo and 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 and Helvensteijn, Michiel and Johnsen, Einar Broch and Lienhardt, Michael and Sangiorgi, Davide and Schaefer, Ina and Wong, Peter Y. H. Beckert, Bernhard and Damiani, Ferruccio and de Boer, Frank S. and 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 and Diakov, Nikolay and Hähnle, Reiner and Johnsen, Einar Broch and Schafer, Ina and Schäfer, Jan and Schlatte, Rudolf and Wong, Peter Bernardo, M. and 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 and Hähnle, Reiner (2011):
Preface: Special Issue of Selected Extended Papers of IJCAR 2010.
47, In: J. Autom. Reasoning, (4), pp. 337-339. DOI: 10.1007/s10817-011-9240-3,
[Article]

Bubel, Richard and Hähnle, Reiner and Ji, Ran Aichernig, Bernhard and de Boer, Frank and 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 and Bubel, Richard and Genaim, Samir and Hähnle, Reiner and Puebla, Germán and 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]

2010

Johnsen, Einar Broch and Hähnle, Reiner and Schäfer, Jan and Schlatte, Rudolf and Steffen, Martin Aichernig, Bernhard K. and de Boer, Frank S. and 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 and 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 and Diakov, Nikolay and Hähnle, Reiner and Johnsen, Einar Broch and Puebla, Germán and Weitzel, Balthasar and Wong, Peter Botterweck, Goetz and Jarzabek, Stan and Kishi, Tomoji and Lee, Jaejoon and 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 and 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 and Hähnle, Reiner and Ji, Ran de Boer, Frank and Bonsangue, Marcello and Hallerstede, Stefan and 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 and Hähnle, Reiner (eds.) (2010):
Special Issue on Tests and Proofs.
45, Springer-Verlag, [Conference or Workshop Item]

Maingaud, Séverine and Balat, Vincent and Bubel, Richard and Hähnle, Reiner and Miquel, Alexandre Beckert, Bernhard and 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 and 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 and Hähnle, Reiner (2010):
Tests and Proofs - Preface of the Special Issue.
45, In: J. Autom. Reasoning, (4), pp. 327-329. DOI: 10.1007/s10817-010-9173-2,
[Article]

Bubel, Richard and Din, Crystal Chang and Hähnle, Reiner Beckert, Bernhard and 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 and Baum, Marcus and Bubel, Richard and Rothe, Marcel Pecheur, Charles and Andrews, Jamie and 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]

2009

Ball, Thomas and Giesl, Jürgen and Hähnle, Reiner and Nipkow, Tobias Ball, Thomas and Giesl, Jürgen and Hähnle, Reiner and 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 and Bubel, Richard and Hähnle, Reiner Gibbons, J. and 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 and Giesl, Jürgen and Hähnle, Reiner and 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]

2008

Bubel, Richard and Hähnle, Reiner and Weiß, Benjamin de Boer, Frank S. and Bonsangue, Marcello M. and 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 and 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 and Pan, Jing and Rümmer, Philipp and Walter, Dennis (2008):
Integration of a Security Type System into a Program Logic.
402, In: Theoretical Computer Science, (2--3), pp. 172--189. Elsevier, [Article]

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

Beckert, Bernhard and Hähnle, Reiner (eds.) (2008):
Proc. Tests and Proofs, 2nd International Conference (TAP), Prato, Italy.
In: LNCS, 4966, Springer-Verlag, [Book]

Bubel, Richard and Hähnle, Reiner and 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 and 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, University of Koblenz-Landau, Faculty of Informatics, [Book]

2007

Mürk, Oleg and Larsson, Daniel and 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 and Hähnle, Reiner Meyer, Bertrand and 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 and Pan, Jing and Rümmer, Philipp and Walter, Dennis Montanari, Ugo and Sanella, Don and 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 and Giese, Martin and Hähnle, Reiner and Klebanov, Vladimir and Rümmer, Philipp and Schlager, Steffen and 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 and Larsson, Daniel and 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 and Beckert, Bernhard and Hähnle, Reiner and Schmitt, Peter Bonsangue, Marcello and 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 and Hähnle, Reiner and 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 and Hähnle, Reiner and 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 and 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 and Hähnle, Reiner Aguzzoli, Stefano and Ciabattoni, Agata and Gerla, Brunella and Manara, Corrado and 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 and Beckert, Bernhard and Hähnle, Reiner and Rümmer, Philipp and Schmitt, Peter de Boer, Frank and Bonsangue, Marcello and Graf, Susanne and 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]

2006

Gedell, Tobias and Hähnle, Reiner Hermann, Miki and 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 and Hähnle, Reiner and 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 and Pan, Jing and Rümmer, Philipp and Walter, Dennis Montanari, Ugo and Sannella, Donald and 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 and Hähnle, Reiner and Hoare, Tony and Smith, Douglas and Green, Cordell and Ranise, Silvio and Tinelli, Cesare and Ball, Thomas and Rajamani, Sriram (2006):
Intelligent Systems and Formal Methods in Software Engineering.
21, In: IEEE Intelligent Systems, (6), pp. 71-81. DOI: 10.1109/MIS.2006.117,
[Article]

Bubel, Richard and Hähnle, Reiner Beckert, Bernhard and Hähnle, Reiner and 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 and Hähnle, Reiner and Nadif, Mohamed (2006):
Preface.
10, In: Soft Comput., (5), p. 405. DOI: 10.1007/s00500-005-0500-1,
[Article]

Wallenburg, Angela Beckert, Bernhard and Hähnle, Reiner and 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 and Hähnle, Reiner (2006):
Symbolic Fault Injection.
(2006-17), ISBN 1650-3023,
[Report]

Beckert, Bernhard and Hähnle, Reiner and Schmitt, Peter (eds.) (2006):
Verification of Object-Oriented Software: The KeY Approach.
In: LNCS, 4334, Springer-Verlag, [Book]

Ahrendt, Wolfgang and Beckert, Bernhard and Hähnle, Reiner and Rümmer, Philipp and Schmitt, Peter H. de Boer, Frank S. and Bonsangue, Marcello M. and Graf, Susanne and 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]

2005

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

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

Ahrendt, Wolfgang and Baar, Thomas and Beckert, Bernhard and Bubel, Richard and Giese, Martin and Hähnle, Reiner and Menzel, Wolfram and Mostowski, Wojciech and Roth, Andreas and Schlager, Steffen and Schmitt, Peter (2005):
The KeY tool: integrating object oriented design and formal verification.
4, In: Software and System Modeling, (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.
13, In: Logic Journal of the IPGL, (4), pp. 415--433. [Article]

Hähnle, Reiner and Murray, Neil and Rosenthal, Erik Hacid, Mohand-Saïd and Raś, Zbigniew and Murray, Neil and 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 and Baar, Thomas and Gardner, Tracy and Gogolla, Martin and Hähnle, Reiner and Hussmann, Heinrich and Patrascoiu, Octavian and Schmitt, Peter and Warmer, Jos Nunes, Nuno Jardim and Selic, Bran and Rodrigues da Silva, Alberto and 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 and Hähnle, Reiner and Sands, Dave Hutter, Dieter and 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 and Hähnle, Reiner and Sands, David Hutter, Dieter and 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 and Mostowski, Wojciech Barthe, Gilles and Burdy, Lilian and Huisman, Marieke and Lanet, Jean-Louis and 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]

2004

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

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

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

2003

Hähnle, Reiner Fitting, Melvin and 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 and Sörensson, Niklas Cialdea Mayer, Marta and 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 and Hähnle, Reiner Arts, Thomas and 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 and Hähnle, Reiner (2003):
Integration of Informal and Formal Development of Object-Oriented Safety-Critical Software: A Case Study with the KeY System.
80, In: Electr. Notes Theor. Comput. Sci., pp. 1-23. DOI: 10.1016/S1571-0661(04)80806-5,
[Article]

Giese, Martin and 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 and Hähnle, Reiner and 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 and Wallenburg, Angela Petrenko, Alex and 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]

2002

Hähnle, Reiner and Johannisson, Kristofer and Ranta, Aarne Kutsche, Ralf-Detlef and 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 and Baar, Thomas and Beckert, Bernhard and Giese, Martin and Habermalz, Elmar and Hähnle, Reiner and Menzel, Wolfram and Mostowski, Wojciech and Schmitt, Peter H. Kutsche, Ralf-Detlef and 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 and Hasegawa, Ryuzo and Shirai, Yasuyuki (2002):
Model Generation Theorem Proving with Finite Interval Constraints.
43, In: Journal of the Information Processing Society of Japan, (12), [Article]

Hähnle, Reiner and Murray, Neil and Rosenthal, Erik Fermüller, Christian and 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 and Hähnle, Reiner and Maartensson, Johan Sutcliffe, Geoff and Pelletier, Jef and 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]

2001

Hähnle, Reiner Gabbay, Reiner M. and 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 and 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 and Hähnle, Reiner and 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 and Murray, Neil and Rosenthal, Erik Goré, Rajeev and Leitsch, Alexander and 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 and 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 and 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]

2000

Beckert, Bernhard and Hähnle, Reiner and 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 and Hähnle, Reiner and Sattler, Theo and Schmitt, Peter H. Mehlhorn, Kurt and 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 and Hähnle, Reiner France, Robert and Rumpe, Bernhard and 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 and Baar, Thomas and Beckert, Bernhard and Giese, Martin and Habermalz, Elmar and Hähnle, Reiner and Menzel, Wolfram and Schmitt, Peter (2000):
The KeY Approach: Integrating Object Oriented Design and Formal Verification.
(2000/4), [Report]

Ahrendt, Wolfgang and Baar, Thomas and Beckert, Bernhard and Giese, Martin and Habermalz, Elmar and Hähnle, Reiner and Menzel, Wolfram and 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 and Baar, Thomas and Beckert, Bernhard and Giese, Martin and Habermalz, Elmar and Hähnle, Reiner and Menzel, Wolfram and Schmitt, Peter Ojeda-Aciego, Manuel and de Guzmán, Inma P. and Brewka, Gerhard and 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 and Hasegawa, Ryuzo and Shirai, Yasuyuki (2000):
A Model Generation Theorem Prover Handling Finite Interval Constraints.
(Vol.5, No.2), [Report]

Hähnle, Reiner and Hasegawa, Ryuzo and Shirai, Yasuyuki Lloyd, John and Dahl, Veronica and Furbach, Ulrich and Kerber, Manfred and Lau, Kung-Kiu and Palamidessi, Catuscia and Pereira, Luís Moniz and Sagiv, Yehoshua and 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 and Hähnle, Reiner and Manya, Felip Basin, David and D'Agostino, Marcello and Gabbay, Dov and Matthews, Seán and 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]

1999

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

Hähnle, Reiner and Menzel, Wolfram and Schmitt, Peter H. and Reif, Wolfgang (1999):
J.UCS Special Issue on Integration of Deduction Systems.
5, In: J. UCS, (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 and 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 and Gabbay, Dov and Hähnle, Reiner and Posegga, Joachim (eds.) (1999):
Tableaux for Many-Valued Logics.
In: Handbook of Tableau Methods, pp. 529--580, Kluwer, Dordrecht, [Book Section]

Beckert, Bernhard and Hähnle, Reiner and 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]

1998

Beckert, Bernhard and Hähnle, Reiner Bibel, Wolfgang and 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.
61, In: Studia Logica, (1), pp. 101-121. DOI: 10.1023/A:1005086415447,
[Article]

Ahrendt, Wolfgang and Beckert, Bernhard and Hähnle, Reiner and Menzel, Wolfram and Reif, Wolfgang and Schellhorn, Gerhard and Schmitt, Peter Bibel, Wolfgang and 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 and Menzel, Wolfram and Schmitt, Peter (1998):
Integrierter Deduktiver Software-Entwurf.
12, In: Künstliche Intelligenz, p. 40. [Article]

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

Hähnle, Reiner and Murray, Neil and 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]

1997

Hähnle, Reiner and Murray, Neil and Rosenthal, Erik Raś, Zbigniew and 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 and Escalada-Imaz, Gonzalo (1997):
Deduction in Many-Valued Logics: a Survey.
4, In: Mathware & Soft Computing, (2), pp. 69-97. [Article]

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

Hähnle, Reiner and 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.
1, In: sc, (3), pp. 107--119. [Article]

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

Hähnle, Reiner and Murray, Neil and 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 and Hähnle, Reiner Gottlob, Georg and Leitsch, Alexander and 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 and Hähnle, Reiner and Escalada-Imaz, Gonzalo (1997):
Simplification of Many-Valued Logic Formulas Using Anti-Links.
(11/97), [Report]

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

1996

Hähnle, Reiner and Klingenbeck, Stefan (1996):
A-Ordered Tableaux.
6, In: J. Log. Comput., (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 and Kerber, Manfred and Weidenbach, Christoph (1996):
Common Syntax of DFG-Schwerpunktprogramm "Deduktion".
(10/96), [Report]

Hähnle, Reiner (1996):
Exploiting Data Dependencies in Many-Valued Logics.
6, In: Journal of Applied Non-Classical Logics, (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 and Hähnle, Reiner and Geiß, Karla and Oel, Peter and Pape, Christian and Sulzmann, Martin (1996):
The Many-Valued Tableau-Based Theorem Prover 3-TAP, Version 4.0.
(3/96), [Report]

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

Hähnle, Reiner and Murray, Neil and Rosenthal, Erik Miglioli, Pierangelo and Moscato, Ugo and Mundici, Daniele and 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 and Hähnle, Reiner and Oel, Peter and 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 and Hähnle, Reiner and Oel, Peter and Sulzmann, Martin McRobbie, Michael and 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]

1995

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 and Iturrioz, Luisa and Klement, Erich Peter and Mundici, Daniele and Prade, Henri and Schmitt, Peter and Hähnle, Reiner (1995):
COST Action 15: Many-Valued Logics for Computer Science Applications.
2, In: Computational Logic, (2), pp. 32--33. [Article]

Beckert, Bernhard and 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 and Murray, Neil V. and Beckert, Bernhard and Hähnle, Reiner (1995):
Fast Subsumption Checks Using Anti-Links.
(24/95), [Report]

Hähnle, Reiner and Hasegawa, Ryuzo and Shirai, Yasuyuki Benhamou, Frédéric and Older, William J. and van Emden, Maarten and 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 and Hasegawa, Ryuzo and Shirai, Yasuyuki (1995):
Model Generation Theorem Proving with Interval Constraints.
(45/95), [Report]

Baumgartner, Peter and Hähnle, Reiner and 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 and Hähnle, Reiner and 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]

1994

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 and Ibens, Ortrun Gabbay, Ortrun M. and 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 and Schmitt, Peter H. (1994):
The Liberalized delta-Rule in Free Variable Semantic Tableaux.
13, In: J. Autom. Reasoning, (2), pp. 211-221. DOI: 10.1007/BF00881956,
[Article]

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

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

Beckert, Bernhard and Hähnle, Reiner and Ramesh, Anavai and 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 and 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.
4, In: Journal of Logic and Computation, (6), pp. 905--927. [Article]

Hähnle, Reiner and 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 and Schmitt, Peter (1994):
The liberalized delta-rule in free variable semantic tableaux.
13, In: Journal of Automated Reasoning, (2), pp. 211--222. [Article]

1993

Basin, David and Fronhöfer, Bertram and Hähnle, Reiner and Posegga, Joachim and 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 and 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 and Hähnle, Reiner and Schmitt, Peter H. Gottlob, Georg and Leitsch, Alexander and 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 and 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 and 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 and Kernig, Werner Kropf, Th. and Kumar, R. and 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 and 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 and Hähnle, Reiner and Schmitt, Peter Gottlob, Georg and Leitsch, Alexander and 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]

1992

Hähnle, Reiner Fronhöfer, Bertram and Hähnle, Reiner and 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 and Hähnle, Reiner and 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 and 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 and Gerberding, Stefan and Hähnle, Reiner and 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 and 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 and Gerberding, Stefan and Hähnle, Reiner and 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 and Hähnle, Reiner and 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]

1991

Hähnle, Reiner Börger, Egon and Kleine Büning, Hans and Richter, Michael and 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]

1990

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

1987

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

1986

Hähnle, Reiner and Heisel, Maritta and Reif, Wolfgang and 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 Sat Dec 5 01:05:02 2020 CET.