A

Audrito, Giorgio ; Casadei, Roberto ; Damiani, Ferruccio ; Salvaneschi, Guido ; Viroli, Mirko
Ali, Karim ; Vitek, Jan (eds.) (2022):
Functional Programming for Distributed Systems with XC.
In: Leibniz International Proceedings in Informatics, 222, In: 36th European Conference on Object-Oriented Programming (ECOOP 2022),
Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 36th European Conference on Object-Oriented Programming, Berlin, Germany, 06.-10.06.2022, ISSN 1868-8969, ISBN 978-3-95977-225-9,
DOI: 10.4230/LIPIcs.ECOOP.2022.20,
[Conference or Workshop Item]

Albert, Elvira ; Hähnle, Reiner ; Merayo, Alicia ; Steinhöfel, Dominic
Guerra, Esther ; Stoelinga, Marielle (eds.) (2021):
Certified Abstract Cost Analysis.
In: Lecture Notes in Computer Science, 12649, In: Fundamental Approaches to Software Engineering, pp. 24-45,
Springer, 24th International Conference of the European Joint Conferences on Theory and Practice of Software, virtual Conference, 27.03.-01.04.2021, DOI: 10.1007/978-3-030-71500-7_2,
[Conference or Workshop Item]

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]

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]

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]

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]

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]

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]

Abdulla, Parosh Aziz ; Atto, Muhsin ; Cederberg, Jonathan ; Ji, Ran
Liu, Zhiming ; Ravn, Anders (eds.) (2009):
Automated Analysis of Data-Dependent Programs with Dynamic Memory.
In: LNCS, 5799, In: Proc. 7th International Symposium on Automated Technology for Verification and Analysis (ATVA), pp. 197-212,
Springer, [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]

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]

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]

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_4,
[Conference or Workshop Item]

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: 10.1007/s10270-004-0058-x,
[Article]

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_23,
[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]

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]

B

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]

Bubel, Richard (2018):
Deduktive Verifikation : Von der Theorie in die Praxis.
Darmstadt, [Habilitation]

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_8,
[Article]

Beek, Maurice H. ter ; 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_51,
[Conference or Workshop Item]

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_16,
[Book Section]

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_17,
[Book Section]

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

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]

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]

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]

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]

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]

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 ; 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]

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]

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]

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_13,
[Conference or Workshop Item]

Bubel, Richard ; Roth, Andreas ; Rümmer, Philipp (2008):
Ensuring the Correctness of Lightweight Tactics for JavaCard Dynamic Logic.
In: Electr. Notes Theor. Comput. Sci., 199, pp. 107-128. DOI: 10.1016/j.entcs.2007.11.015,
[Article]

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]

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 ; 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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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_30,
[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]

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]

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]

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]

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]

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

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 ; 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]

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 (1996):
Proving Compiler Correctness with Evolving Algebra Specifications.
(4/96), [Report]

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]

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]

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]

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]

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_219,
[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]

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]

C

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]

Clarke, Dave ; Muschevici, Radu ; Proenca, Jose ; Schaefer, Ina ; Schlatte, Rudolf
Aichernig, Bernhard K. ; de Boer, Frank S. ; Bonsangue, Marcello M. (eds.) (2010):
Variability Modelling in the ABS Language.
In: Lecture Notes in Computer Science, 6957, pp. 204-224, 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_11,
[Conference or Workshop Item]

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]

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]

D

Damiani, Ferruccio ; Hähnle, Reiner ; Kamburjan, Eduard ; Lienhardt, Michael ; Paolini, Luca
Mousavi, Mohammad Reza ; Schobbens, Pierre-Yves (eds.) (2021):
Variability modules for Java-like languages.
In: SPLC '21: Proceedings of the 25th ACM International Systems and Software Product Line Conference, pp. 1-12,
ACM, 25th ACM International Systems and Software Product Line Conference, virtual Conference, 06.-11.09.2021, ISBN 978-1-4503-8469-8,
DOI: 10.1145/3461001.3471143,
[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]

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]

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]

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]

Do, Quoc Huy (2017):
Detection and Exploitation of Information Flow Leaks.
Darmstadt, Technische Universität,
[Ph.D. Thesis]

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]

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]

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_25,
[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_16,
[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_2,
[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_1,
[Conference or Workshop Item]

Damiani, Ferruccio ; Lienhardt, Michael ; Muschevici, Radu ; Schaefer, Ina
Polikarpova, Nadia ; Schneider, Steve (eds.) (2017):
An Extension of the ABS Toolchain with a Mechanism for Type Checking SPLs.
In: Lecture Notes in Computer Science, 10510, pp. 111-126, Springer, Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings, DOI: 10.1007/978-3-319-66845-1_8,
[Conference or Workshop Item]

Do, Quoc Huy ; Kamburjan, Eduard ; Wasser, Nathan
Piessens, Frank ; Vigano, Luca (eds.) (2016):
Towards Fully Automatic Logic-Based Information Flow Analysis: An Electronic-Voting Case Study.
In: Lecture Notes in Computer Science, 9635, pp. 97-115, Springer, Principles of Security and Trust - 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings, DOI: 10.1007/978-3-662-49635-0_6,
[Conference or Workshop Item]

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

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_35,
[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_14,
[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_27,
[Conference or Workshop Item]

Din, Crystal Chang ; Owe, Olaf (2014):
Compositional reasoning about active objects with shared futures.
In: Formal Aspects of Computing, (Distributed systems; Obje), pp. 1-22. DOI: 10.1007/s00165-014-0322-y,
[Article]

Din, Crystal Chang ; Owe, Olaf ; Bubel, Richard (2014):
Runtime Assertion Checking and Theorem Proving for Concurrent and Distributed Systems.
In: MODELWARDS'14,
SCITEPRESS, DOI: 10.5220/0004877804800487,
[Conference or Workshop Item]

Din, Crystal Chang ; Owe, Olaf (2014):
A sound and complete reasoning system for asynchronous communication with shared futures.
In: Journal of Logical and Algebraic Methods in Programming, 83 (5-6), pp. 360-383. DOI: 10.1016/j.jlamp.2014.03.003,
[Article]

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_7,
[Conference or Workshop Item]

Din, Crystal Chang ; Dovland, Johan ; Owe, Olaf
Eleftherakis, George ; Hinchey, Mike ; Holcombe, Mike (eds.) (2012):
Compositional Reasoning about Shared Futures.
In: Lecture Notes in Computer Science, 7504, In: Software Engineering and Formal Methods, pp. 94-108,
Springer Berlin Heidelberg, ISBN 978-3-642-33825-0,
DOI: 10.1007/978-3-642-33826-7_7,
[Conference or Workshop Item]

Din, Crystal Chang ; Dovland, Johan ; Johnsen, Einar Broch ; Owe, Olaf (2012):
Observable behavior of distributed systems: Component reasoning for concurrent objects.
In: Journal of Logic and Algebraic Programming, 81 (3), pp. 227-256. DOI: 10.1016/j.jlap.2012.01.003,
[Article]

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_20,
[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, Dave (2004):
A Theorem Proving Approach to Analysis of Secure Information Flow.
(2004-01), ISBN 1650-3023,
[Report]

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]

E

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]

F

Flores Montoya, Antonio (2017):
Cost Analysis of Programs Based on the Refinement of Cost Relations.
Darmstadt, Technische Universität,
[Ph.D. Thesis]

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

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_15,
[Conference or Workshop Item]

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

G

Grätz, Lukas ; Hähnle, Reiner ; Bubel, Richard
Johnsen, Einar Broch ; Wimmer, Manuel (eds.) (2022):
Finding Semantic Bugs Fast.
In: Lecture Notes in Computer Science, 13241, In: Fundamental Approaches to Software Engineering, pp. 145-154,
Springer, 25th International Conference of the European Joint Conferences on Theory and Practice of Software, Munich, Germany, 02.-07.04.2022, ISBN 978-3-030-99428-0,
DOI: 10.1007/978-3-030-99429-7_8,
[Conference or Workshop Item]

Grätz, Lukas (2022):
Truth tables for modal logics T and S4, by using three-valued non-deterministic level semantics.
In: Journal of Logic and Computation, 32 (1), pp. 129-157. Oxford University Press, ISSN 0955-792X,
DOI: 10.1093/logcom/exab068,
[Article]

Grätz, Lukas (2021):
Analytic Tableaux for Non-deterministic Semantics.
In: Lecture Notes in Computer Science, 12842, In: Automated Reasoning with Analytic Tableaux and Related Methods, pp. 38-55,
Springer, 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Birmingham, United Kingdom, 06.-09.09.2021, ISSN 0302-9743, ISBN 978-3-030-86058-5,
DOI: 10.1007/978-3-030-86059-2_3,
[Conference or Workshop Item]

Gouw, Stijn de ; de Boer, Frank S. ; Bubel, Richard ; 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]

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

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

Gouw, Stijn de ; de Boer, Frank S. ; Ahrendt, Wolfgang ; Bubel, Richard (2016):
Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic.
In: Software and System Modeling, 15 (4), pp. 1117-1140. DOI: 10.1007/s10270-014-0446-9,
[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_9,
[Book Section]

Gouw, Stijn de ; 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_16,
[Conference or Workshop Item]

Gouw, Stijn de ; de Boer, Frank S. ; Ahrendt, Wolfgang ; Bubel, Richard
Emde Boas, Peter van ; Groen, Frans C. A. ; Italiano, Giuseppe F. ; Nawrocki, Jerzy R. ; Sack, Harald (eds.) (2013):
Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks.
In: Lecture Notes in Computer Science, 7741, pp. 207-219, Springer, SOFSEM 2013: Theory and Practice of Computer Science, 39th International Conference on Current Trends in Theory and Practice of Computer Science, \vpindler\rv Ml\'n, Czech Republic, January 26-31, 2013. Proceedings, DOI: 10.1007/978-3-642-35843-2_19,
[Conference or Workshop Item]

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]

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]

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

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_23,
[Conference or Workshop Item]

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]

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]

H

Haubner, Anton W. (2022):
Inspecting Java Program States with Semantic Web Technologies. (Publisher's Version)
Darmstadt, Technische Universität Darmstadt, DOI: 10.26083/tuprints-00022143,
[Master Thesis]

Hähnle, Reiner ; van der Aalst, Wil (2021):
Automated model analysis tools and techniques presented at FASE 2019.
In: International Journal on Software Tools for Technology Transfer, 23 (3), pp. 285-287. Springer, ISSN 1433-2779,
DOI: 10.1007/s10009-020-00589-6,
[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]

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]

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]

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]

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]

Hentschel, Martin (2016):
Integrating Symbolic Execution, Debugging and Verification.
Technische Universität Darmstadt,
[Ph.D. Thesis]

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_9,
[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_1,
[Conference or Workshop Item]

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_36,
[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]

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]

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_1,
[Book Section]

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_11,
[Book Section]

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]

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]

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]

Huisman, Marieke ; Ahrendt, Wolfgang ; Bruns, Daniel ; Hentschel, Martin (2014):
Formal Specification with JML.
(2014,1), [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_4,
[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_1,
[Conference or Workshop Item]

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]

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_1,
[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_1,
[Conference or Workshop Item]

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_4,
[Conference or Workshop Item]

Helvensteijn, Michiel ; Muschevici, Radu ; Wong, Peter Y. H.
Eisenecker, Ulrich W. ; Apel, Sven ; Gnesi, Stefania (eds.) (2012):
Delta modeling in practice: a Fredhopper case study.
pp. 139-148, ACM, Sixth International Workshop on Variability Modelling of Software-Intensive Systems, Leipzig, Germany, January 25-27, 2012. Proceedings, DOI: 10.1145/2110147.2110163,
[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_6,
[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]

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]

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]

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]

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
Montanari, Ugo ; Sannella, Donald ; Bruni, R. (eds.) (2007):
Integration of a Security Type System into a Program Logic.
In: LNCS, 4661, In: Trustworthy Global Computing : Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers, p. 116,
Springer-Verlag, [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]

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_8,
[Conference or Workshop Item]

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]

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 ; 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]

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]

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
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 ; 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_16,
[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]

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
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
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]

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 ; 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]

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 ; 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]

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 ; 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
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]

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 (1998):
Commodious Axiomatization of Quantifiers in Multiple-Valued Logic.
In: Studia Logica, 61 (1), pp. 101-121. DOI: 10.1023/A:1005086415447,
[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 ; Menzel, Wolfram ; Schmitt, Peter (1998):
Integrierter Deduktiver Software-Entwurf.
In: Künstliche Intelligenz, 12, p. 40. [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
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 ; 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]

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 ; 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 ; Escalada-Imaz, Gonzalo (1997):
Deduction in Many-Valued Logics: a Survey.
In: Mathware & Soft Computing, 4 (2), pp. 69-97. [Article]

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 ; Kerber, Manfred ; Weidenbach, Christoph (1996):
Common Syntax of DFG-Schwerpunktprogramm "Deduktion".
(10/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]

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]

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

Hähnle, Reiner ; Hasegawa, Ryuzo ; Shirai, Yasuyuki
Benhamou, Frédéric ; Older, William J. ; Emden, Maarten van ; Hentenryck, Pascal van (eds.) (1995):
Model Generation Theorem Proving with Interval Constraints.
In: Proceedings 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]

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]

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 (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 (1994):
Short Conjunctive Normal Forms in Finitely-Valued Logics.
In: Journal of Logic and Computation, 4 (6), pp. 905--927. [Article]

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 ; 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]

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

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
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]

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]

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 (1992):
Tableaux-Based Theorem Proving in Multiple-Valued Logics.
University of Karlsruhe, Department of Computer Science,
[Ph.D. Thesis]

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]

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]

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: Lecture Notes in Computer Science, 230, In: Proceedings of the 8th Conference on Automated Deduction (CADE) : Oxford, England, July 27 - August 1, 1986 ; proceedings, pp. 306-315,
Berlin, Springer-Verlag, DOI: 10.1007/3-540-16780-3_99,
[Conference or Workshop Item]

J

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_14,
[Book Section]

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

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

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_20,
[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]

Ji, Ran ; Bubel, Richard
Derrick, John ; Gnesi, Stefania ; Latella, Diego ; Treharne, Helen (eds.) (2012):
PE-KeY: A Partial Evaluator for Java Programs.
In: Lecture Notes in Computer Science, 7321, In: Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings, pp. 283-295,
Springer-Verlag, ISBN 978-3-642-30728-7,
DOI: 10.1007/978-3-642-30729-4_20,
[Conference or Workshop Item]

Ji, Ran (2012):
Towards a Deductive Compilation Approach.
Chalmers, [Book]

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_8,
[Conference or Workshop Item]

Ji, Ran (2009):
Automatic Verification of Dynamic Data-Dependent Programs.
Uppsala University, Sweden, [Master Thesis]

K

Kamburjan, Eduard ; Grätz, Lukas
Ferreira, Joo ; Mendes, Alexandra ; Menghi, Claudio (eds.) (2021):
Increasing Engagement with Interactive Visualization: Formal Methods as Serious Games.
In: Lecture Notes in Computer Science, 13122, In: Formal Methods Teaching : 4th International Workshop and Tutorial, pp. 43-59,
Springer, 4th World Congress on Formal Methods, virtual Conference, 21.11.2021, ISSN 0302-9743, ISBN 978-3-030-91549-0,
DOI: 10.1007/978-3-030-91550-6_4,
[Conference or Workshop Item]

Köhler, Mirko ; Eskandani, Nafise ; Weisenburger, Pascal ; Margara, Alessandro ; Salvaneschi, Guido (2020):
Rethinking Safe Consistency in Distributed Object-Oriented Programming.
In: Proceedings of the ACM on Programming Languages, 4 (OOPSLA), ACM, ISSN 2475-1421,
DOI: 10.1145/3428256,
[Article]

Krüger, Stefan ; Ali, Karim ; Bodden, Eric (2020):
CogniCrypt_GEN - Generating Code for the Secure Usage of Crypto APIs.
International Symposium on Code Generation and Optimization, San Diego, CA, USA, February 22.-26., 2020, [Conference or Workshop Item]

Kamburjan, Eduard (2020):
Modular Verification of a Modular Specification: Behavioral Types as Program Logics.
Darmstadt, Technische Universität,
DOI: 10.25534/tuprints-00011664,
[Ph.D. Thesis]

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]

Krüger, Stefan ; Hermann, Ben (2019):
Can an online service predict gender?: on the state-of-the-art in gender identification from texts.
GE@ICSE 2019 : 2nd Workshop on Gender Equality in Software Engineering, Montreal, Canada, May 27, 2019, DOI: 10.1109/GE.2019.00012,
[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]

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]

Kamburjan, Eduard ; Chen, Tzu-Chun
Furia, Carlo A. ; Winter, Kirsten (eds.) (2018):
Stateful Behavioral Types for Active Objects.
In: Lecture Notes in Computer Science, 11023, In: Integrated Formal Methods, pp. 214-235,
Springer, 14th International Conference on Integrated Formal Methods (IFM 2018), Maynooth, Ireland, 05.-07.09.2018, ISBN 978-3-319-98937-2,
DOI: 10.1007/978-3-319-98938-9_13,
[Conference or Workshop Item]

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

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_9,
[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_4,
[Conference or Workshop Item]

Kamburjan, Eduard ; Din, Crystal Chang ; Chen, Tzu-Chun
Ogata, Kazuhiro ; Lawford, Mark ; Liu, Shaoying (eds.) (2016):
Session-Based Compositional Analysis for Actor-Based Languages Using Futures.
In: Lecture Notes in Computer Science, 10009, pp. 296-312, 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_19,
[Conference or Workshop Item]

Kamburjan, Eduard (2016):
Session Types for ABS.
[Report]

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]

L

Langer, Lucie ; Volkamer, Melanie ; Weber, Stefan ; Schmidt, Axel ; Buchmann, Johannes
Davies, Jim ; Janowski, Tomasz (eds.) (2009):
Towards Long-Term Free and Secret Electronic Elections Providing Voter-Verifiability in the Bulletin Board Model.
322, In: ICEGOV 2009, Proceedings of the 3rd International Conference on Theory and Practice of Electronic Governance, pp. 203-210,
Bogota, [Conference or Workshop Item]

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]

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

M

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.
Darmstadt, Germany, 19.04.2017, [Conference or Workshop Item]

Muschevici, Radu ; Proenca, Jose ; Clarke, Dave (2016):
Feature Nets: behavioural modelling of software product lines.
In: Software and System Modeling, 15 (4), pp. 1181-1206. DOI: 10.1007/s10270-015-0475-z,
[Article]

Muschevici, Radu ; Clarke, Dave ; Proenca, Jose
Classen, Andreas ; Siegmund, Norbert (eds.) (2013):
Executable modelling of dynamic software product lines in the ABS language.
pp. 17-24, ACM, 5th International Workshop on Feature-Oriented Software Development, FOSD '13, Indianapolis, IN, USA, October 26, 2013, DOI: 10.1145/2528265.2528266,
[Conference or Workshop Item]

Muschevici, Radu ; Proenca, Jose ; Clarke, Dave
Barthe, Gilles ; Pardo, Alberto ; Schneider, Gerardo (eds.) (2011):
Modular Modelling of Software Product Lines with Feature Nets.
In: Lecture Notes in Computer Science, 7041, pp. 318-333, Springer, Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings, DOI: 10.1007/978-3-642-24690-6_22,
[Conference or Workshop Item]

Muschevici, Radu ; Clarke, Dave ; Proenca, Jose
Botterweck, Goetz ; Jarzabek, Stan ; Kishi, Tomoji ; Lee, Jaejoon ; Livengood, Steve (eds.) (2010):
Feature Petri Nets.
pp. 99-106, Lancaster University, 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]

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]

Muschevici, Radu ; Potanin, Alex ; Tempero, Ewan D. ; Noble, James
Harris, Gail E. (ed.) (2008):
Multiple dispatch in practice.
pp. 563-582, ACM, Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-23, 2008, Nashville, TN, USA, DOI: 10.1145/1449764.1449808,
[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]

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]

N

Naily, Moh. Afifun ; Setyautami, Maya Retno Ayu ; Muschevici, Radu ; Azurat, Ade
Cerone, Antonio ; Roveri, Marco (eds.) (2017):
A Framework for Modelling Variable Microservices as Software Product Lines.
In: Lecture Notes in Computer Science, 10729, pp. 246-261, Springer, Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers, DOI: 10.1007/978-3-319-74781-1_18,
[Conference or Workshop Item]

O

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]

P

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]

R

Rollshausen, Nils (2021):
Counterexample Generation for Formal Verification of ABS. (Publisher's Version)
Darmstadt, Technische Universität Darmstadt, DOI: 10.26083/tuprints-00017856,
[Bachelor Thesis]

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]

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

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]

S

Sokolowski, Daniel ; Weisenburger, Pascal ; Salvaneschi, Guido (2022):
Change is the Only Constant: Dynamic Updates for Workflows.
In: Proceedings of the 44th International Conference on Software Engineering, pp. 350-362,
ACM, 44th International Conference on Software Engineering, Pittsburgh, Pennsylvania, 21.-29.05.2022, ISBN 978-1-4503-9221-1,
DOI: 10.1145/3510003.3510065,
[Conference or Workshop Item]

Scaletta, Marco ; Hähnle, Reiner ; Steinhöfel, Dominic ; Bubel, Richard
Tilevich, Eli ; Roover, Coen De (eds.) (2021):
Delta-based verification of software product families.
In: GPCE 2021: Proceedings of the 20th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, pp. 69-82,
ACM, 20th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, Chicago, USA, 17.-18.10.2021, ISBN 978-1-4503-9112-2,
DOI: 10.1145/3486609.3487200,
[Conference or Workshop Item]

Setyautami, Maya Retno Ayu ; Hähnle, Reiner
Grünbacher, Paul ; Seidl, Christoph ; Dhungana, Deepak ; Lovasz-Bukvova, Helena (eds.) (2021):
An Architectural Pattern to Realize Multi Software Product Lines in Java.
In: VaMoS'21: 15th International Working Conference on Variability Modelling of Software-Intensive Systems,
ACM, 15th International Working Conference on Variability Modelling of Software-Intensive Systems, virtual Conference, 09.-11.02.2021, ISBN 978-1-4503-8824-5,
DOI: 10.1145/3442391.3442401,
[Conference or Workshop Item]

Steinhöfel, Dominic (2020):
Abstract Execution: Automatically Proving Infinitely Many Programs.
Darmstadt, Technische Universität,
DOI: 10.25534/tuprints-00008540,
[Ph.D. Thesis]

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]

Steinhöfel, Dominic ; Hähnle, Reiner
ter Beek, Maurice H. ; McIver, Annabelle ; Oliveira, José N. (eds.) (2019):
Abstract Execution.
In: Lecture Notes in Computer Science Ser. ; 11800, In: Formal Methods - The Next 30 Years, pp. 319-336,
Cham, Springer International Publishing, 3rd World Congress on Formal Methods (FM 2019), Porto, Portugal, October 7-11, 2019, ISBN 978-3-030-30942-8,
DOI: 10.1007/978-3-030-30942-8_20,
[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]

Steinhöfel, Dominic
Ábrahám, Erika ; Tarifa, Lizeth Tapia (eds.) (2017):
Assessing the Coverage of Formal Specifications (Extended Abstract).
In: Proceedings of the PhD Symposium at iFM’17 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’17), pp. 38-40, University of Oslo, ISBN 978-82-7368-435-6,
[Book Section]

Steinhöfel, Dominic ; Wasser, Nathan
Polikarpova, Nadia ; Schneider, Steve (eds.) (2017):
A New Invariant Rule for the Analysis of Loops with Non-standard Control Flows.
In: Lecture Notes in Computer Science, 10510, In: Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings, pp. 279--294,
Springer, ISBN 978-3-319-66844-4,
DOI: 10.1007/978-3-319-66845-1,
[Conference or Workshop Item]

Steinhöfel, Dominic ; Wasser, Nathan (2017):
A New Invariant Rule for the Analysis of Loops with Non-standard Control Flows.
[Report]

Späth, Johannes ; Nguyen, Lisa ; Ali, Karim ; Bodden, Eric (2016):
Boomerang: Demand-Driven Flow-Sensitive, Field-Sensitive, and Context-Sensitive Pointer Analysis.
In: European Conference on Object-Oriented Programming, p. 25,
Dagstuhl, Rome, Italy, [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]

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_5,
[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]

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_5,
[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 (2014):
From Trees to DAGs: A General Lattice Model for Symbolic Execution.
Darmstadt, Technische Universität, Department of Computer Science, Software Engineering, [Master Thesis]

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

Seifert, Christian ; Endicott-Popovsky, Barbara ; Frincke, Deborah A. ; Komisarczuk, Peter ; Muschevici, Radu ; Welch, Ian
Ray, Indrajit ; Shenoi, Sujeet (eds.) (2008):
Identifying and Analyzing Web Server Attacks.
In: IFIP, 285, pp. 151-161, Springer, Advances in Digital Forensics IV, Fourth Annual IFIP WG 11.9 Conference on Digital Forensics, Kyoto University, Kyoto, Japan, January 28-30, 2008, DOI: 10.1007/978-0-387-84927-0_13,
[Conference or Workshop Item]

T

Tabar, Asmae Heydari ; Bubel, Richard ; Hähnle, Reiner (2022):
Automatic Loop Invariant Generation for Data Dependence Analysis.
In: Proceedings: IEEE/ACM 10th International Conference on Formal Methods in Software Engineering: FormaliSE 2022, pp. 34-45,
IEEE, 10th IEEE/ACM International Conference on Formal Methods in Software Engineering, Pittsburgh, 22.05.2022, ISBN 978-1-4503-9287-7,
[Conference or Workshop Item]

Thüm, Thomas ; Winkelmann, Tim ; Schröter, Reimar ; Hentschel, Martin ; Krüger, Stefan (2016):
Variability Hiding in Contracts for Dependent Software Product Lines.
In: VaMoS '16, In: Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems, pp. 97--104,
ACM, Salvador, Brazil, ISBN 978-1-4503-4019-9,
DOI: 10.1145/2866614.2866628,
[Conference or Workshop Item]

Thüm, Thomas ; Meinicke, Jens ; Benduhn, Fabian ; Hentschel, Martin ; Rhein, Alexander von ; Saake, Gunter (2014):
Potential Synergies of Theorem Proving and Model Checking for Software Product Lines.
In: SPLC, In: Proceedings of the International Software Product Line Conference (SPLC),
ACM, [Conference or Workshop Item]

Thüm, Thomas ; Schaefer, Ina ; Apel, Sven ; Hentschel, Martin (2012):
Family-Based Deductive Verification of Software Product Lines.
In: GPCE '12, In: Proceedings of the 11th International Conference on Generative Programming and Component Engineering, pp. 11-20,
ACM, Dresden, Germany, ISBN 978-1-4503-1129-8,
[Conference or Workshop Item]

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]

W

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]

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]

Wasser, Nathan ; Steinhöfel, Dominic (2019):
Technical Report: Using Loop Scopes with for-Loops.
[Report]

Walther, Christoph ; Wasser, Nathan (2017):
Fermat, Euler, Wilson - Three Case Studies in Number Theory.
In: Journal of Automated Reasoning, 59 (2), pp. 267-286. Springer, ISSN 1573-0670,
DOI: 10.1007/s10817-016-9387-z,
[Article]

Wasser, Nathan Daniel (2017):
Automatic generation of specifications using verification tools.
Darmstadt, Technische Universität Darmstadt,
[Ph.D. Thesis]

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_6,
[Book Section]

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

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

Wasser, Nathan
Li, Xuandong ; Liu, Zhiming ; Yi, Wang (eds.) (2015):
Generating Specifications for Recursive Methods by Abstracting Program States.
In: Lecture Notes in Computer Science, 9409, pp. 243-257, Springer, Dependable Software Engineering: Theories, Tools, and Applications - First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings, DOI: 10.1007/978-3-319-25942-0_16,
[Conference or Workshop Item]

Wasser, Nathan ; Bubel, Richard (2014):
A Theorem Prover Backed Approach to Array Abstraction.
[Report]

Wong, Peter Y. H. ; Albert, Elvira ; Muschevici, Radu ; Proenca, Jose ; Schäfer, Jan ; Schlatte, Rudolf (2012):
The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems.
In: STTT, 14 (5), pp. 567-588. DOI: 10.1007/s10009-012-0250-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]

Z

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]