Publications-Reiner Hähnle

< back to Reiner Hähnle

Publications

Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Gruppiere nach: Publikationsjahr | Typ des Eintrags | Keine Gruppierung
Springe zu: 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 | 1996 | 1995 | 1994 | 1993 | 1992 | 1991 | 1990 | 1987 | 1986
Anzahl der Einträge: 248.

2018

Kamburjan, Eduard ; Hähnle, Reiner ; Schön, Sebastian (2018):
Formal Modeling and Analysis of Railway Operations with Active Objects.
In: Science of Computer Programming, Elsevier, S. 167-193, (166), ISSN 0167-6423,
DOI: 10.1016/j.scico.2018.07.001,
[Article]

Kamburjan, Eduard ; Hähnle, Reiner (2018):
Prototyping Formal System Models with Active Objects.
In: ICE, In: EPTCS, 279, [Konferenzveröffentlichung]

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

Steinhöfel, Dominic ; Hähnle, Reiner
Margaria, Tiziana ; Steffen, Bernhard (Hrsg.) (2018):
Modular, Correct Compilation with Automatic Soundness Proofs.
In: Leveraging Applications of Formal Methods, Verification and Validation. Modeling, Cham, Springer International Publishing, S. 424-447, DOI: 10.1007/978-3-030-03418-4_25,
[Online-Edition: https://doi.org/10.1007/978-3-030-03418-4_25],
[Book section]

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

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

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 (Hrsg.) (2018):
Scientific Railway Signalling Symposium 2018 - Digital neue Wege fahren.
In: Scientific Railway Signalling Symposium, Darmstadt, 13.06.2018, [Online-Edition: https://tuprints.ulb.tu-darmstadt.de/8327],
[Konferenzveröffentlichung]

2017

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

Damiani, Ferruccio ; Hähnle, Reiner ; Lienhardt, Michael
Gabmeyer, Sebastian ; Johnsen, Einar Broch (Hrsg.) (2017):
Abstraction Refinement for the Analysis of Software Product Lines.
Springer, In: Tests and Proofs - 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings, In: Lecture Notes in Computer Science, 10375, DOI: 10.1007/978-3-319-61467-0₁,
[Online-Edition: https://doi.org/10.1007/978-3-319-61467-0_1],
[Konferenzveröffentlichung]

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, S. 335-349, 67, DOI: 10.1016/j.cose.2016.12.002,
[Online-Edition: https://doi.org/10.1016/j.cose.2016.12.002],
[Article]

Do, Quoc Huy ; Bubel, Richard ; Hähnle, Reiner
Hung, Dang Van ; Kapur, Deepak (Hrsg.) (2017):
Inferring Secrets by Guided Experiments.
Springer, In: Theoretical Aspects of Computing - ICTAC 2017 - 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings, In: Lecture Notes in Computer Science, 10580, DOI: 10.1007/978-3-319-67729-3₁₆,
[Online-Edition: https://doi.org/10.1007/978-3-319-67729-3_16],
[Konferenzveröffentlichung]

Din, Crystal Chang ; Hähnle, Reiner ; Johnsen, Einar Broch ; Pun, Ka I. ; Tarifa, Silvia Lizeth Tapia
Schmidt, Renate A. ; Nalon, Claudia (Hrsg.) (2017):
Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages.
Springer, In: Automated Reasoning with Analytic Tableaux and Related Methods - 26th International Conference, TABLEAUX 2017, Brasilia, Brazil, September 25-28, 2017, Proceedings, In: Lecture Notes in Computer Science, 10501, DOI: 10.1007/978-3-319-66902-1₂,
[Online-Edition: https://doi.org/10.1007/978-3-319-66902-1_2],
[Konferenzveröffentlichung]

Kamburjan, Eduard ; Hähnle, Reiner
Fantechi, Alessandro ; Lecomte, Thierry ; Romanovsky, Alexander B. (Hrsg.) (2017):
Deductive Verification of Railway Operations.
Springer, In: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings, In: Lecture Notes in Computer Science, 10598, DOI: 10.1007/978-3-319-68499-4₉,
[Online-Edition: https://doi.org/10.1007/978-3-319-68499-4_9],
[Konferenzveröffentlichung]

Damiani, Ferruccio ; Hähnle, Reiner ; Kamburjan, Eduard ; Lienhardt, Michael
Huisman, Marieke ; Rubin, Julia (Hrsg.) (2017):
A Unified and Formal Programming Model for Deltas and Traits.
Springer, In: 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, In: Lecture Notes in Computer Science, 10202, DOI: 10.1007/978-3-662-54494-5₂₅,
[Online-Edition: https://doi.org/10.1007/978-3-662-54494-5_25],
[Konferenzveröffentlichung]

Hähnle, Reiner ; Huisman, Marieke
Reger, Giles ; Traytel, Dmitriy (Hrsg.) (2017):
24 Challenges in Deductive Software Verification.
EasyChair, In: ARCADE 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017, In: EPiC Series in Computing, 51, [Online-Edition: http://www.easychair.org/publications/paper/kdZ7],
[Konferenzveröffentlichung]

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., S. 76:1-76:39, 50, (5), DOI: 10.1145/3122848,
[Online-Edition: http://doi.acm.org/10.1145/3122848],
[Article]

Meyer zu Hörste, Michael ; Kamburjan, Eduard ; Hähnle, Reiner ; Winter, Hanno ; Willert, Volker ; Adamy, Jürgen ; Leining, Michael ; Spindler, Max ; Lauer, Martin ; Stein, Denis ; Heirich, Oliver ; Groos, Jörn ; Geffert, Arne ; Becker, Uwe ; Breuer, Michael ; Bachurina, Daria ; Düpmeier, Frederik
Oetting, Andreas (Hrsg.) (2017):
Tagungsband des Scientific Railway Signalling Symposiums 2017 - Die Steuerung des Eisenbahnbetriebs der Zukunft.
Darmstadt, In: Die Steuerung des Eisenbahnbetriebs der Zukunft, Darmstadt, 19.04.2017, In: Scientific Railway Signalling Symposium, [Online-Edition: http://tuprints.ulb.tu-darmstadt.de/7403],
[Konferenzveröffentlichung]

2016

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

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

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

Hähnle, Reiner
Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (Hrsg.) (2016):
Quo Vadis Formal Verification?
In: Deductive Software Verification - The KeY Book - From Theory to Practice, Springer, S. 1-19, DOI: 10.1007/978-3-319-49812-6₁,
[Online-Edition: https://doi.org/10.1007/978-3-319-49812-6_1],
[Book section]

Wasser, Nathan ; Hähnle, Reiner ; Bubel, Richard
Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (Hrsg.) (2016):
Abstract Interpretation.
In: Deductive Software Verification - The KeY Book - From Theory to Practice, Springer, S. 167-189, DOI: 10.1007/978-3-319-49812-6₆,
[Online-Edition: https://doi.org/10.1007/978-3-319-49812-6_6],
[Book section]

Hentschel, Martin ; Hähnle, Reiner ; Bubel, Richard
Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (Hrsg.) (2016):
Debugging and Visualization.
In: Deductive Software Verification - The KeY Book - From Theory to Practice, Springer, S. 383-413, DOI: 10.1007/978-3-319-49812-6₁₁,
[Online-Edition: https://doi.org/10.1007/978-3-319-49812-6_11],
[Book section]

Beckert, Bernhard ; Hähnle, Reiner ; Hentschel, Martin ; Schmitt, Peter H.
Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (Hrsg.) (2016):
Formal Verification with KeY: A Tutorial.
In: Deductive Software Verification - The KeY Book - From Theory to Practice, Springer, S. 541-570, DOI: 10.1007/978-3-319-49812-6₁₆,
[Online-Edition: https://doi.org/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 (Hrsg.) (2016):
KeY-Hoare.
In: Deductive Software Verification - The KeY Book - From Theory to Practice, Springer, S. 571-589, DOI: 10.1007/978-3-319-49812-6₁₇,
[Online-Edition: https://doi.org/10.1007/978-3-319-49812-6_17],
[Book section]

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

Schmitt, Peter H. ; Bubel, Richard
Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (Hrsg.) (2016):
Theories.
In: Deductive Software Verification - The KeY Book - From Theory to Practice, Springer, S. 149-166, DOI: 10.1007/978-3-319-49812-6₅,
[Online-Edition: https://doi.org/10.1007/978-3-319-49812-6_5],
[Book section]

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 (Hrsg.) (2016):
Modular Specification and Verification.
In: Deductive Software Verification - The KeY Book - From Theory to Practice, Springer, S. 289-351, DOI: 10.1007/978-3-319-49812-6₉,
[Online-Edition: https://doi.org/10.1007/978-3-319-49812-6_9],
[Book section]

Ji, Ran ; Bubel, Richard
Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (Hrsg.) (2016):
Program Transformation and Compilation.
In: Deductive Software Verification - The KeY Book - From Theory to Practice, Springer, S. 473-492, DOI: 10.1007/978-3-319-49812-6₁₄,
[Online-Edition: https://doi.org/10.1007/978-3-319-49812-6_14],
[Book section]

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

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, S. 987-1012, 15, (4), DOI: 10.1007/s10270-015-0476-y,
[Online-Edition: https://doi.org/10.1007/s10270-015-0476-y],
[Article]

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., S. 130-156, 1, DOI: 10.1007/978-3-319-46508-1₈,
[Online-Edition: https://doi.org/10.1007/978-3-319-46508-1_8],
[Article]

Scheurer, Dominic ; Hähnle, Reiner ; Bubel, Richard
Ogata, Kazuhiro ; Lawford, Mark ; Liu, Shaoying (Hrsg.) (2016):
A General Lattice Model for Merging Symbolic Execution Branches.
In: Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings, In: Lecture Notes in Computer Science, 10009, DOI: 10.1007/978-3-319-47846-3₅,
[Online-Edition: https://doi.org/10.1007/978-3-319-47846-3_5],
[Konferenzveröffentlichung]

Hähnle, Reiner ; Muschevici, Radu
Margaria, Tiziana ; Steffen, Bernhard (Hrsg.) (2016):
Towards Incremental Validation of Railway Systems.
In: 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, In: Lecture Notes in Computer Science, 9953, DOI: 10.1007/978-3-319-47169-3₃₆,
[Online-Edition: https://doi.org/10.1007/978-3-319-47169-3_36],
[Konferenzveröffentlichung]

Kamburjan, Eduard ; Hähnle, Reiner
Artho, Cyrille ; Ölveczky, Peter Csaba (Hrsg.) (2016):
Uniform Modeling of Railway Operations.
In: Formal Techniques for Safety-Critical Systems - 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers, In: Communications in Computer and Information Science, 694, DOI: 10.1007/978-3-319-53946-1₄,
[Online-Edition: https://doi.org/10.1007/978-3-319-53946-1_4],
[Konferenzveröffentlichung]

Hentschel, Martin ; Hähnle, Reiner ; Bubel, Richard
Abraham, Erika ; Huisman, Marieke (Hrsg.) (2016):
Can Formal Methods Improve the Efficiency of Code Reviews?
Springer, In: Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings, In: Lecture Notes in Computer Science, 9681, DOI: 10.1007/978-3-319-33693-0₁,
[Online-Edition: https://doi.org/10.1007/978-3-319-33693-0_1],
[Konferenzveröffentlichung]

Hähnle, Reiner ; Wasser, Nathan ; Bubel, Richard
Ábrahám, Erika ; Bonsangue, Marcello M. ; Johnsen, Einar Broch (Hrsg.) (2016):
Array Abstraction with Symbolic Pivots.
Springer, In: Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, In: Lecture Notes in Computer Science, 9660, DOI: 10.1007/978-3-319-30734-3₉,
[Online-Edition: https://doi.org/10.1007/978-3-319-30734-3_9],
[Konferenzveröffentlichung]

ter Beek, Maurice H. ; Hähnle, Reiner ; Schaefer, Ina
Margaria, Tiziana ; Steffen, Bernhard (Hrsg.) (2016):
Correctness-by-Construction and Post-hoc Verification: Friends or Foes?
In: 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, In: Lecture Notes in Computer Science, 9952, DOI: 10.1007/978-3-319-47166-2₅₁,
[Online-Edition: https://doi.org/10.1007/978-3-319-47166-2_51],
[Konferenzveröffentlichung]

Hentschel, Martin ; Hähnle, Reiner ; Bubel, Richard
Lo, David ; Apel, Sven ; Khurshid, Sarfraz (Hrsg.) (2016):
An empirical evaluation of two user interfaces of an interactive program verifier.
ACM, In: Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, ASE 2016, Singapore, September 3-7, 2016, DOI: 10.1145/2970276.2970303,
[Online-Edition: http://doi.acm.org/10.1145/2970276.2970303],
[Konferenzveröffentlichung]

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, S. 161-173, 6, (4), DOI: 10.4230/DagRep.6.4.161,
[Online-Edition: https://doi.org/10.4230/DagRep.6.4.161],
[Article]

Hentschel, Martin ; Hähnle, Reiner ; Bubel, Richard
Lo, David ; Apel, Sven ; Khurshid, Sarfraz (Hrsg.) (2016):
The interactive verification debugger: effective understanding of interactive proof attempts.
ACM, In: Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, ASE 2016, Singapore, September 3-7, 2016, DOI: 10.1145/2970276.2970292,
[Online-Edition: http://doi.acm.org/10.1145/2970276.2970292],
[Konferenzveröffentlichung]

Setyautami, Maya R. A. ; Hähnle, Reiner ; Muschevici, Radu ; Azurat, Ade
Mei, Hong (Hrsg.) (2016):
A UML profile for delta-oriented programming to support software product line engineering.
ACM, In: Proceedings of the 20th International Systems and Software Product Line Conference, SPLC 2016, Beijing, China, September 16-23, 2016, DOI: 10.1145/2934466.2934479,
[Online-Edition: http://doi.acm.org/10.1145/2934466.2934479],
[Konferenzveröffentlichung]

2015

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

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

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

Bubel, Richard ; Din, Crystal Chang ; Hähnle, Reiner ; Nakata, Keiko
de Nivelle, Hans (Hrsg.) (2015):
A Dynamic Logic with Traces and Coinduction.
Springer, In: Automated Reasoning with Analytic Tableaux and Related Methods - 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015. Proceedings, In: Lecture Notes in Computer Science, 9323, DOI: 10.1007/978-3-319-24312-2₂₁,
[Online-Edition: https://doi.org/10.1007/978-3-319-24312-2_21],
[Konferenzveröffentlichung]

de Gouw, Stijn ; Rot, Jurriaan ; de Boer, Frank S. ; Bubel, Richard ; Hähnle, Reiner
Kroening, Daniel ; Pasareanu, Corina S. (Hrsg.) (2015):
OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case.
Springer, In: Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I, In: Lecture Notes in Computer Science, 9206, DOI: 10.1007/978-3-319-21690-4₁₆,
[Online-Edition: https://doi.org/10.1007/978-3-319-21690-4_16],
[Konferenzveröffentlichung]

Do, Quoc Huy ; Bubel, Richard ; Hähnle, Reiner
Federrath, Hannes ; Gollmann, Dieter (Hrsg.) (2015):
Exploit Generation for Information Flow Leaks in Object-Oriented Programs.
Springer, In: ICT Systems Security and Privacy Protection - 30th IFIP TC 11 International Conference, SEC 2015, Hamburg, Germany, May 26-28, 2015, Proceedings, In: IFIP Advances in Information and Communication Technology, 455, DOI: 10.1007/978-3-319-18467-8₂₇,
[Online-Edition: https://doi.org/10.1007/978-3-319-18467-8_27],
[Konferenzveröffentlichung]

Din, Crystal Chang ; Tarifa, Silvia Lizeth Tapia ; Hähnle, Reiner ; Johnsen, Einar Broch
Butler, Michael J. ; Conchon, Sylvain ; Zaidi, Fatiha (Hrsg.) (2015):
History-Based Specification and Verification of Scalable Concurrent and Distributed Systems.
Springer, In: Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings, In: Lecture Notes in Computer Science, 9407, DOI: 10.1007/978-3-319-25423-4₁₄,
[Online-Edition: https://doi.org/10.1007/978-3-319-25423-4_14],
[Konferenzveröffentlichung]

Din, Crystal Chang ; Bubel, Richard ; Hähnle, Reiner
Felty, Amy P. ; Middeldorp, Aart (Hrsg.) (2015):
KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS.
Springer, In: Automated Deduction - CADE-25 - 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings, In: Lecture Notes in Computer Science, 9195, DOI: 10.1007/978-3-319-21401-6₃₅,
[Online-Edition: https://doi.org/10.1007/978-3-319-21401-6_35],
[Konferenzveröffentlichung]

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

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

2014

Hentschel, Martin ; Bubel, Richard ; Hähnle, Reiner
Bonakdarpour, Borzoo ; Smolka, Scott (Hrsg.) (2014):
Symbolic Execution Debugger (SED).
In: Proceedings of Runtime Verification 2014, Springer, In: LNCS, [Konferenzveröffentlichung]

Hentschel, Martin ; Käsdorf, Stefan ; Hähnle, Reiner ; Bubel, Richard
Albert, Elvira ; Sekerinski, Emil ; Zavattaro, Gianluigi (Hrsg.) (2014):
An interactive verification tool meets an IDE.
In: Proceedings of the 11th International Conference on Integrated Formal Methods, Springer, In: LNCS, [Konferenzveröffentlichung]

Hentschel, Martin ; Hähnle, Reiner ; Bubel, Richard
Seidl, Martina ; Tillmann, Nikolai (Hrsg.) (2014):
Visualizing Unbounded Symbolic Execution.
In: Proceedings of Testing and Proofs (TAP) 2014, Springer, In: LNCS, [Konferenzveröffentlichung]

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 (Hrsg.) (2014):
The KeY Platform for Verification and Analysis of Java Programs.
In: Post-Conference Proceedings VSTTE 2014, Springer, In: LNCS, [Konferenzveröffentlichung]

Bernardo, Marco ; Damiani, Ferruccio ; Hähnle, Reiner ; Johnsen, Einar Broch ; Schaefer, Ina (Hrsg.) (2014):
Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures.
Springer, In: Lecture Notes in Computer Science, 8483, ISBN 978-3-319-07316-3,
DOI: 10.1007/978-3-319-07317-0,
[Online-Edition: https://doi.org/10.1007/978-3-319-07317-0],
[Book]

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

Hentschel, Martin ; Käsdorf, Stefan ; Hähnle, Reiner ; Bubel, Richard
Albert, Elvira ; Sekerinski, Emil (Hrsg.) (2014):
An Interactive Verification Tool Meets an IDE.
Springer, In: Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, In: Lecture Notes in Computer Science, 8739, DOI: 10.1007/978-3-319-10181-1₄,
[Online-Edition: https://doi.org/10.1007/978-3-319-10181-1_4],
[Konferenzveröffentlichung]

Flores-Montoya, Antonio ; Hähnle, Reiner
Garrigue, Jacques (Hrsg.) (2014):
Resource Analysis of Complex Programs with Cost Equations.
Springer, In: Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Singapore, November 17-19, 2014, Proceedings, In: Lecture Notes in Computer Science, 8858, DOI: 10.1007/978-3-319-12736-1₁₅,
[Online-Edition: https://doi.org/10.1007/978-3-319-12736-1_15],
[Konferenzveröffentlichung]

Hähnle, Reiner ; Johnsen, Einar Broch
Margaria, Tiziana ; Steffen, Bernhard (Hrsg.) (2014):
Introduction to Track on Engineering Virtualized Services.
Springer, In: 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, In: Lecture Notes in Computer Science, 8803, DOI: 10.1007/978-3-662-45231-8₁,
[Online-Edition: https://doi.org/10.1007/978-3-662-45231-8_1],
[Konferenzveröffentlichung]

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, S. 323-339, 8, (4), DOI: 10.1007/s11761-013-0148-0,
[Online-Edition: https://doi.org/10.1007/s11761-013-0148-0],
[Article]

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

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

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]

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

2013

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

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

Hähnle, Reiner
Bonsangue, Marcello ; de Boer, Frank ; Giachino, Elena ; Hähnle, Reiner (Hrsg.) (2013):
The Abstract Behavioral Specification Language: A Tutorial Introduction.
In: International School on Formal Models for Components and Objects: Post Proceedings, Springer, 7866, [Konferenzveröffentlichung]

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

Ji, Ran ; Hähnle, Reiner ; Bubel, Richard
Hierons, Robert M. ; Merayo, Mercedes G. ; Bravetti, Mario (Hrsg.) (2013):
Program Transformation Based on Symbolic Execution and Deduction.
Springer, In: Software Engineering and Formal Methods - 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings, In: Lecture Notes in Computer Science, 8137, DOI: 10.1007/978-3-642-40561-7₂₀,
[Online-Edition: https://doi.org/10.1007/978-3-642-40561-7_20],
[Konferenzveröffentlichung]

Albert, Elvira ; de Boer, Frank S. ; Hähnle, Reiner ; Johnsen, Einar Broch ; Laneve, Cosimo
Solberg, Arnor ; Babar, Muhammad Ali ; Dumas, Marlon ; Cuesta, Carlos E. (Hrsg.) (2013):
Engineering virtualized services.
ACM, In: Second Nordic Symposium on Cloud Computing & Internet Technologies, NordiCloud '13, Oslo, Norway, September 1-3, 2013, In: ACM International Conference Proceeding Series, 826, DOI: 10.1145/2513534.2513545,
[Online-Edition: http://doi.acm.org/10.1145/2513534.2513545],
[Konferenzveröffentlichung]

Albert, Elvira ; de Boer, Frank ; Hähnle, Reiner ; Johnsen, Einar Broch ; Laneve, Cosimo
Babar, Ali ; Dumas, Marlon (Hrsg.) (2013):
Engineering Virtualized Services.
In: 2nd Nordic Symposium on Cloud Computing and Internet Technologies (NordiCloud), ACM Press, [Konferenzveröffentlichung]

Ji, Ran ; Hähnle, Reiner ; Bubel, Richard
Hierons, Robert ; Merayo, Mercedes ; Bravetti, Mario (Hrsg.) (2013):
Program Transformation Based on Symbolic Execution and Deduction.
In: Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, 8137, [Konferenzveröffentlichung]

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

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, Fulda, [Konferenzveröffentlichung]

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

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

2012

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

Hähnle, Reiner
Giachino, Elena ; Hähnle, Reiner ; de Boer, Frank S. ; Bonsangue, Marcello M. (Hrsg.) (2012):
The Abstract Behavioral Specification Language: A Tutorial Introduction.
Springer, In: Formal Methods for Components and Objects - 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures, In: Lecture Notes in Computer Science, 7866, DOI: 10.1007/978-3-642-40615-7₁,
[Online-Edition: https://doi.org/10.1007/978-3-642-40615-7_1],
[Konferenzveröffentlichung]

Hähnle, Reiner ; Knoop, Jens ; Margaria, Tiziana ; Schreiner, Dietmar ; Steffen, Bernhard (Hrsg.) (2012):
Leveraging Applications of Formal Methods, Verification, and Validation - International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers.
Springer, In: Communications in Computer and Information Science, 336, ISBN 978-3-642-34780-1,
DOI: 10.1007/978-3-642-34781-8,
[Online-Edition: https://doi.org/10.1007/978-3-642-34781-8],
[Book]

de Boer, Frank S. ; Hähnle, Reiner ; Johnsen, Einar Broch ; Schlatte, Rudolf ; Wong, Peter Y. H.
Paoli, Flavio De ; Pimentel, Ernesto ; Zavattaro, Gianluigi (Hrsg.) (2012):
Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study.
Springer, In: Service-Oriented and Cloud Computing - First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012. Proceedings, In: Lecture Notes in Computer Science, 7592, DOI: 10.1007/978-3-642-33427-6₇,
[Online-Edition: https://doi.org/10.1007/978-3-642-33427-6_7],
[Konferenzveröffentlichung]

Hähnle, Reiner ; Schaefer, Ina
Margaria, Tiziana ; Steffen, Bernhard (Hrsg.) (2012):
Adaptable and Evolving Software for Eternal Systems - (Track Summary).
Springer, In: 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, In: Lecture Notes in Computer Science, 7609, DOI: 10.1007/978-3-642-34026-0₁,
[Online-Edition: https://doi.org/10.1007/978-3-642-34026-0_1],
[Konferenzveröffentlichung]

Hähnle, Reiner ; Schaefer, Ina
Margaria, Tiziana ; Steffen, Bernhard (Hrsg.) (2012):
A Liskov Principle for Delta-Oriented Programming.
Springer, In: 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, In: Lecture Notes in Computer Science, 7609, DOI: 10.1007/978-3-642-34026-0₄,
[Online-Edition: https://doi.org/10.1007/978-3-642-34026-0_4],
[Konferenzveröffentlichung]

2011

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

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. (Hrsg.) (2011):
HATS Abstract Behavioral Specification: The Architectural View.
Springer, In: Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers, In: Lecture Notes in Computer Science, 7542, DOI: 10.1007/978-3-642-35887-6₆,
[Online-Edition: https://doi.org/10.1007/978-3-642-35887-6_6],
[Konferenzveröffentlichung]

Bubel, Richard ; Hähnle, Reiner ; Geilmann, Ulrich
Barthe, Gilles ; Schneider, Gerardo ; Pardo, Alberto (Hrsg.) (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, [Konferenzveröffentlichung]

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

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

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

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&#039;11), Austin, Texas, USA, ACM Press, [Konferenzveröffentlichung]

2010

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

Beckert, Bernhard ; Hähnle, Reiner (Hrsg.) (2010):
Special Issue on Tests and Proofs.
Springer-Verlag, 45, [Konferenzveröffentlichung]

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

Johnsen, Einar Broch ; Hähnle, Reiner ; Schäfer, Jan ; Schlatte, Rudolf ; Steffen, Martin
Aichernig, Bernhard K. ; de Boer, Frank S. ; Bonsangue, Marcello M. (Hrsg.) (2010):
ABS: A Core Language for Abstract Behavioral Specification.
Springer, In: Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers, In: Lecture Notes in Computer Science, 6957, DOI: 10.1007/978-3-642-25271-6₈,
[Online-Edition: https://doi.org/10.1007/978-3-642-25271-6_8],
[Konferenzveröffentlichung]

Hähnle, Reiner ; Baum, Marcus ; Bubel, Richard ; Rothe, Marcel
Pecheur, Charles ; Andrews, Jamie ; Nitto, Elisabetta Di (Hrsg.) (2010):
A Visual Interactive Debugger Based on Symbolic Execution.
ACM, In: 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,
[Online-Edition: http://doi.acm.org/10.1145/1858996.1859022],
[Konferenzveröffentlichung]

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

Hähnle, Reiner
Margaria, Tiziana ; Steffen, Bernhard (Hrsg.) (2010):
HATS: Highly Adaptable and Trustworthy Software using Formal Models.
In: Proceedings 4th International Symposium On Leveraging Applications of Formal Methods (ISoLA), Part II, Verification and Validation, Heraclion, Crete, Springer-Verlag, In: LNCS, 6416, DOI: 10.1007/978-3-642-16561-0_2,
[Online-Edition: https://doi.org/10.1007/978-3-642-16561-0_2],
[Konferenzveröffentlichung]

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

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 (Hrsg.) (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, In: 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), [Online-Edition: http://splc2010.postech.ac.kr/SPLC2010_second_volume.pdf],
[Konferenzveröffentlichung]

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

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

2009

Ball, Thomas ; Giesl, Jürgen ; Hähnle, Reiner ; Nipkow, Tobias
Ball, Thomas ; Giesl, Jürgen ; Hähnle, Reiner ; Nipkow, Tobias (Hrsg.) (2009):
09411 Abstracts Collection - Interaction versus Automation: The two Faces of Deduction.
Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, In: Interaction versus Automation: The two Faces of Deduction, 04.10. - 09.10.2009, In: Dagstuhl Seminar Proceedings, 09411, [Online-Edition: http://drops.dagstuhl.de/opus/volltexte/2010/2503/],
[Konferenzveröffentlichung]

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

Ahrendt, Wolfgang ; Bubel, Richard ; Hähnle, Reiner
Gibbons, J. ; Oliveira, J. N. (Hrsg.) (2009):
Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification.
In: Proc. Second International Conference on Teaching Formal Methods, Springer-Verlag, In: Teaching Formal Methods, Second International Conference, TFM 2009, Eindhoven, November 2-6, 2009, In: LNCS, 5846, DOI: 10.1007/978-3-642-04912-5_9,
[Online-Edition: https://doi.org/10.1007/978-3-642-04912-5_9],
[Konferenzveröffentlichung]

2008

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

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

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., S. 172-189, 402, (2-3), DOI: 10.1016/j.tcs.2008.04.033,
[Online-Edition: https://doi.org/10.1016/j.tcs.2008.04.033],
[Article]

Bubel, Richard ; Hähnle, Reiner ; Weiß, Benjamin
de Boer, Frank S. ; Bonsangue, Marcello M. ; Madelaine, Eric (Hrsg.) (2008):
Abstract Interpretation of Symbolic Execution with Explicit State Updates.
Springer, In: Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures, In: Lecture Notes in Computer Science, 5751, DOI: 10.1007/978-3-642-04167-9₁₃,
[Online-Edition: https://doi.org/10.1007/978-3-642-04167-9_13],
[Konferenzveröffentlichung]

Bubel, Richard ; Hähnle, Reiner
Instenes, Zoltán (Hrsg.) (2008):
A Hoare-Style Calculus with Explicit State Updates.
In: Proc. Formal Methods in Computer Science Education (FORMED), Elsevier, In: Electronic Notes in Theoretical Computer Science, [Konferenzveröffentlichung]

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, Elsevier, S. 172--189, 402, (2--3), [Article]

Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter
Beckert, Bernhard (Hrsg.) (2008):
Specification Predicates with Explicit Dependency Information.
In: Proc. 5th International Verification Workshop (Verify) in connection with IJCAR Sidney, Australia, CEUR Workshop Proceedings, 372, [Konferenzveröffentlichung]

2007

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

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

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

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

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

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

Larsson, Daniel ; Hähnle, Reiner
Beckert, Bernhard (Hrsg.) (2007):
Symbolic Fault Injection.
In: Proc. 4th International Verification Workshop (Verify) in connection with CADE-21 Bremen, Germany, CEUR Workshop Proceedings, 259, [Konferenzveröffentlichung]

Hähnle, Reiner ; Pan, Jing ; Rümmer, Philipp ; Walter, Dennis
Montanari, Ugo ; Sanella, Don ; Bruni, R. (Hrsg.) (2007):
Integration of a Security Type System into a Program Logic.
In: Proc. Trustworthy Global Computing, Lucca, Italy, Springer-Verlag, In: LNCS, 4661, [Konferenzveröffentlichung]

Engel, Christian ; Hähnle, Reiner
Meyer, Bertrand ; Gurevich, Yuri (Hrsg.) (2007):
Generating Unit Tests from Formal Proofs.
In: Proc. Tests and Proofs (TAP), Zürich, Switzerland, Springer-Verlag, In: Tests and Proofs, First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers, In: LNCS, 4454, DOI: 10.1007/978-3-540-73770-4_10,
[Online-Edition: https://doi.org/10.1007/978-3-540-73770-4_10],
[Konferenzveröffentlichung]

Gedell, Tobias ; Hähnle, Reiner
Aguzzoli, Stefano ; Ciabattoni, Agata ; Gerla, Brunella ; Manara, Corrado ; Marra, Vincenzo (Hrsg.) (2007):
Verification by Parallelization of Parametric Code.
In: Algebraic and Proof-theoretic Aspects of Non-classical Logics, Springer-Verlag, In: Algebraic and Proof-theoretic Aspects of Non-classical Logics, Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday, In: LNCS, 4460, DOI: 10.1007/978-3-540-75939-3_10,
[Online-Edition: https://doi.org/10.1007/978-3-540-75939-3_10],
[Konferenzveröffentlichung]

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

2006

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

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

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

Hähnle, Reiner ; Pan, Jing ; Rümmer, Philipp ; Walter, Dennis
Montanari, Ugo ; Sannella, Donald ; Bruni, Roberto (Hrsg.) (2006):
Integration of a Security Type System into a Program Logic.
Springer, In: Trustworthy Global Computing, Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers, In: Lecture Notes in Computer Science, 4661, DOI: 10.1007/978-3-540-75336-0₈,
[Online-Edition: https://doi.org/10.1007/978-3-540-75336-0_8],
[Konferenzveröffentlichung]

Gedell, Tobias ; Hähnle, Reiner
Hermann, Miki ; Voronkov, Andrei (Hrsg.) (2006):
Automating Verification of Loops by Parallelization.
Springer, In: Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings, In: Lecture Notes in Computer Science, 4246, DOI: 10.1007/11916277₂₃,
[Online-Edition: https://doi.org/10.1007/11916277_23],
[Konferenzveröffentlichung]

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. (Hrsg.) (2006):
Verifying Object-Oriented Programs with KeY: A Tutorial.
Springer, In: Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures, In: Lecture Notes in Computer Science, 4709, DOI: 10.1007/978-3-540-74792-5₄,
[Online-Edition: https://doi.org/10.1007/978-3-540-74792-5_4],
[Konferenzveröffentlichung]

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

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, S. 71-81, 21, (6), DOI: 10.1109/MIS.2006.117,
[Online-Edition: https://doi.org/10.1109/MIS.2006.117],
[Article]

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

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, IEEE Computer Society, In: Fourth IEEE International Conference o Software Engineering and Formal Methods (SEFM 2006), Pune, India, 11-15 September 2006, DOI: 10.1109/SEFM.2006.25,
[Online-Edition: https://doi.org/10.1109/SEFM.2006.25],
[Konferenzveröffentlichung]

2005

Darvas, Adam ; Hähnle, Reiner ; Sands, David
Hutter, Dieter ; Ullmann, Markus (Hrsg.) (2005):
A Theorem Proving Approach to Analysis of Secure Information Flow.
Springer, In: Security in Pervasive Computing, Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings, In: Lecture Notes in Computer Science, 3450, DOI: 10.1007/978-3-540-32004-3₂₀,
[Online-Edition: https://doi.org/10.1007/978-3-540-32004-3_20],
[Konferenzveröffentlichung]

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

Hähnle, Reiner ; Murray, Neil ; Rosenthal, Erik
Hacid, Mohand-Saïd ; Raś, Zbigniew ; Murray, Neil ; Tsumoto, Shusaku (Hrsg.) (2005):
Normal Forms for Knowledge Compilation.
In: Foundations of Intelligent Systems, 10th International Symposium, {ISMIS}&#039;05, Saratoga Springs/NY, USA, Springer-Verlag, In: LNCS, [Konferenzveröffentlichung]

Hähnle, Reiner (2005):
Many-Valued Logic, Partiality, and Abstraction in Formal Specification Languages.
In: Logic Journal of the IPGL, S. 415--433, 13, (4), [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 (Hrsg.) (2005):
OCL and Model Driven Engineering (Workshop Report).
In: UML Modeling Languages and Applications: UML 2004 Satellite Activities and Revised Selected Papers, Springer-Verlag, In: Lecture Notes in Computer Science, 3297, [Konferenzveröffentlichung]

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

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

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, S. 197--211, 7, (3), [Article]

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

2004

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

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

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&#039;{a}ticas, S. 17--53, 98, (1), [Article]

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

2003

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., S. 1-23, 80, DOI: 10.1016/S1571-0661(04)80806-5,
[Online-Edition: https://doi.org/10.1016/S1571-0661(04)80806-5],
[Article]

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

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

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

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

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

Hähnle, Reiner
Fitting, Melvin ; Orlowska, Ewa (Hrsg.) (2003):
Complexity of Many-Valued Logics.
In: Beyond Two: Theory and Applications of Multiple-Valued Logic, Physica-Verlag, S. 211--233, [Book section]

2002

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 (Hrsg.) (2002):
The KeY System: Integrating Object-Oriented Design and Formal Methods.
Springer, In: 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, In: Lecture Notes in Computer Science, 2306, DOI: 10.1007/3-540-45923-5₂₃,
[Online-Edition: https://doi.org/10.1007/3-540-45923-5_23],
[Konferenzveröffentlichung]

Hähnle, Reiner ; Johannisson, Kristofer ; Ranta, Aarne
Kutsche, Ralf-Detlef ; Weber, Herbert (Hrsg.) (2002):
An Authoring Tool for Informal and Formal Requirements Specifications.
Springer, In: 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, In: Lecture Notes in Computer Science, 2306, DOI: 10.1007/3-540-45923-5₁₆,
[Online-Edition: https://doi.org/10.1007/3-540-45923-5_16],
[Konferenzveröffentlichung]

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 (Hrsg.) (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, [Konferenzveröffentlichung]

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

2001

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

Hähnle, Reiner
Gabbay, Reiner M. ; Guenthner, F. (Hrsg.) (2001):
Advanced Many-Valued Logics.
In: Handbook of Philosophical Logic, Kluwer, Dordrecht, S. 297--395, [Book section]

Hähnle, Reiner
Robinson, Alan ; Voronkov, Andrei (Hrsg.) (2001):
Tableaux and Related Methods.
In: Handbook of Automated Reasoning, Elsevier Science B.V., S. 101--178, [Book section]

Hähnle, Reiner
Reusch, Bernd ; Temme, Karl-Heinz (Hrsg.) (2001):
Proof Theory of Many-Valued Logic and Linear Optimization.
In: Computational Intelligence in Theory and Practice, Physica-Verlag, Heidelberg, S. 15--33, [Book section]

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

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, IEEE CS Press, Los Alamitos, [Konferenzveröffentlichung]

Hähnle, Reiner (2001):
Complexity of Many-Valued Logics.
In: Proc. 31st International Symposium on Multiple-Valued Logics, Warsaw, Poland, IEEE CS Press, Los Alamitos, [Konferenzveröffentlichung]

2000

Baar, Thomas ; Hähnle, Reiner ; Sattler, Theo ; Schmitt, Peter H.
Mehlhorn, Kurt ; Snelting, Gregor (Hrsg.) (2000):
Entwurfsmustergesteuerte Erzeugung von OCL-Constraints.
Springer, In: Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung der Gesellschaft für Informatik Berlin, 19.-22. September 2000., In: Informatik aktuell, DOI: 10.1007/978-3-642-58322-3₃₀,
[Online-Edition: https://doi.org/10.1007/978-3-642-58322-3_30],
[Konferenzveröffentlichung]

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 (Hrsg.) (2000):
Model Generation Theorem Proving with Finite Interval Constraints.
In: Proc. Computational Logic -- CL~2000, First International Conference, London, UK, Springer-Verlag, In: LNCS, 1861, [Konferenzveröffentlichung]

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

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

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

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, IEEE CS Press, Los Alamitos, [Konferenzveröffentlichung]

Beckert, Bernhard ; Hähnle, Reiner ; Manya, Felip
Basin, David ; D'Agostino, Marcello ; Gabbay, Dov ; Matthews, Seán ; Viganò, Luca (Hrsg.) (2000):
The SAT Problem of Signed CNF Formulas.
In: Labelled Deduction, Kluwer, Dordrecht, S. 61--82, [Book section]

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 (Hrsg.) (2000):
The KeY Approach: Integrating Object Oriented Design and Formal Verification.
In: Proc. 8th European Workshop on Logics in AI (JELIA), Springer-Verlag, In: LNCS, 1919, [Konferenzveröffentlichung]

1999

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

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

Hähnle, Reiner ; Menzel, Wolfram ; Schmitt, Peter H. ; Reif, Wolfgang (1999):
J.UCS Special Issue on Integration of Deduction Systems.
In: J. UCS, 5, (3), [Online-Edition: http://www.jucs.org/jucs_5_3/j_ucs_special_issue],
[Article]

Hähnle, Reiner (1999):
Many-Valued Logic, Linear Optimization and Logic Design: Connections and Interactions.
In: Collegium Logicum. Annals of the Kurt-G"{o}del-Society, Institute of Computer Science AS CR, Prague, S. 60--84, [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, IEEE CS Press, Los Alamitos, [Konferenzveröffentlichung]

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

1998

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

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

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

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

Ahrendt, Wolfgang ; Beckert, Bernhard ; Hähnle, Reiner ; Menzel, Wolfram ; Reif, Wolfgang ; Schellhorn, Gerhard ; Schmitt, Peter
Bibel, Wolfgang ; Schmitt, Peter (Hrsg.) (1998):
Integration of Automated and Interactive Theorem Proving.
In: Automated Deduction: A Basis for Applications, Kluwer, S. 97--116, [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, S. 569--588, 8, (4), [Article]

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

1997

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

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

Hähnle, Reiner ; Murray, Neil ; Rosenthal, Erik
Raś, Zbigniew ; Skowron, Andrzej (Hrsg.) (1997):
Completeness for Linear Regular Negation Normal Form Inference Systems.
In: Foundations of Intelligent Systems, 10th International Symposium, {ISMIS}&#039;97, Charlotte, North Carolina, USA, Springer-Verlag, In: LNCS, 1325, [Konferenzveröffentlichung]

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

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

Pape, Christian ; Hähnle, Reiner
Gottlob, Georg ; Leitsch, Alexander ; Mundici, Daniele (Hrsg.) (1997):
Restart Tableaux with Selection Function.
In: Fifth Kurt-G"odel-Colloquium, {KGC}&#039;97, Vienna, Springer-Verlag, In: LNCS, 1289, [Konferenzveröffentlichung]

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

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

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

Hähnle, Reiner ; Pape, Christian
Galmiche, Didier (Hrsg.) (1997):
Ordered Tableaux: Extensions and Applications.
In: Proc. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Pont-`{a}-Mousson, France, Springer-Verlag, In: LNCS, 1227, DOI: 10.1007/BFb0027413,
[Online-Edition: https://doi.org/10.1007/BFb0027413],
[Konferenzveröffentlichung]

1996

Hähnle, Reiner ; Klingenbeck, Stefan (1996):
A-Ordered Tableaux.
In: J. Log. Comput., S. 819-833, 6, (6), DOI: 10.1093/logcom/6.6.819,
[Online-Edition: https://doi.org/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 (Hrsg.) (1996):
A Remark on the P-Simulatability of Proof Systems by Path Dissolution.
In: Short Papers presented at 5th International Workshop, {TABLEAUX&#039;96}, Palermo, Italy, [Konferenzveröffentlichung]

Hähnle, Reiner (1996):
Exploiting Data Dependencies in Many-Valued Logics.
In: Journal of Applied Non-Classical Logics, S. 49--69, 6, (1), [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, [Konferenzveröffentlichung]

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

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 (Hrsg.) (1996):
The Tableau-Based Theorem Prover TaP, Version 4.0.
In: Proc. 13th Conference on Automated Deduction, New Brunswick/NJ, USA, Springer-Verlag, In: LNCS, 1104, [Konferenzveröffentlichung]

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&#039;&#039;, Barcelona, [Konferenzveröffentlichung]

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

1995

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

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

Beckert, Bernhard ; Hähnle, Reiner
Kleine Büning, Hans (Hrsg.) (1995):
Deduction by Combining Semantic Tableaux and Integer Programming.
In: Selected Papers from Computer Science Logic, {CSL}&#039;95, Paderborn, Germany, Springer-Verlag, In: Computer Science Logic, 9th International Workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995, Selected Papers, In: LNCS, 1092, DOI: 10.1007/3-540-61377-3_31,
[Online-Edition: https://doi.org/10.1007/3-540-61377-3_31],
[Konferenzveröffentlichung]

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

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.
In: Collegium Logicum. Annals of the Kurt-G"{o}del-Society, Springer-Verlag, Wien New York, S. 67--86, [Book section]

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

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

1994

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

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

Hähnle, Reiner (1994):
Automated Deduction in Multiple-Valued Logics.
Oxford University Press, In: International Series of Monographs on Computer Science, 10, 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, IEEE CS Press, Los Alamitos, [Konferenzveröffentlichung]

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

Hähnle, Reiner ; Ibens, Ortrun
Gabbay, Ortrun M. ; Ohlbach, Hans Jürgen (Hrsg.) (1994):
Improving Temporal Logic Tableaux Using Integer Constraints.
In: Proc. International Conference on Temporal Logic, Bonn, Germany, Springer-Verlag, In: LNCS, 827, [Konferenzveröffentlichung]

Klingenbeck, Stefan ; Hähnle, Reiner
Bundy, Alan (Hrsg.) (1994):
Semantic Tableaux with Ordering Restrictions.
In: Proc. 12th Conference on Automated Deduction {CADE}, Nancy/France, Springer-Verlag, In: LNCS, 814, [Konferenzveröffentlichung]

Hähnle, Reiner ; Reif, Wolfgang
Frisch, Alan (Hrsg.) (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, [Konferenzveröffentlichung]

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

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

Beckert, Bernhard ; Hähnle, Reiner ; Ramesh, Anavai ; Murray, Neil
Pfenning, Frank (Hrsg.) (1994):
On Anti-Links.
In: Proc. 5th International Conference on Logic Programming and Automated Reasoning, Kiev, Ukraine, Springer-Verlag, In: LNCS, 822, [Konferenzveröffentlichung]

1993

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

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

Hähnle, Reiner
Komorowski, Jan ; Raś, Zbigniew (Hrsg.) (1993):
Short CNF in Finitely-Valued Logics.
In: Proc. 7th International Symposium on Methodologies for Intelligent Systems (ISMIS), Trondheim, Norway, Springer-Verlag, In: LNCS, 689, [Konferenzveröffentlichung]

Hähnle, Reiner ; Kernig, Werner
Kropf, Th. ; Kumar, R. ; Schmid, D. (Hrsg.) (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, [Konferenzveröffentlichung]

Hähnle, Reiner
Jackson, Peter ; Scherl, Richard (Hrsg.) (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, [Konferenzveröffentlichung]

Hähnle, Reiner ; Kernig, Werner
Voronkov, Andrei (Hrsg.) (1993):
Verification of Switch Level Designs with Many-Valued Logic.
In: Proc.~{LPAR}&#039;93, St. Petersburg, Russia, Springer-Verlag, In: LNCS, 698, [Konferenzveröffentlichung]

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), [Konferenzveröffentlichung]

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

1992

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

Hähnle, Reiner
Fronhöfer, Bertram ; Hähnle, Reiner ; Käufl, Thomas (Hrsg.) (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, [Konferenzveröffentlichung]

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

Beckert, Bernhard ; Gerberding, Stefan ; Hähnle, Reiner ; Kernig, Werner
Kapur, Deepak (Hrsg.) (1992):
The Tableau-Based Theorem Prover 3TAP for Multi-Valued Logics.
Springer, In: Automated Deduction - CADE-11, 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings, In: Lecture Notes in Computer Science, 607, DOI: 10.1007/3-540-55602-8₂₁₉,
[Online-Edition: https://doi.org/10.1007/3-540-55602-8_219],
[Konferenzveröffentlichung]

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

Hähnle, Reiner
Calmet, Jacques ; Campbell, John A. (Hrsg.) (1992):
A New Translation from Deduction into Integer Programming.
In: Proc. Int. Conf. on Artificial Intelligence and Symbolic Mathematical Computing {AISMC}-1, Karlsruhe, Germany, Springer-Verlag, In: LNCS, 737, [Konferenzveröffentlichung]

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

Beckert, Bernhard ; Hähnle, Reiner
Kapur, Deepak (Hrsg.) (1992):
An Improved Method for Adding Equality to Free Variable Semantic Tableau.
In: Proceedings of Automated Deduction - CADE-11, 11th International Conference on Automated Deduction, Springer-Verlag, In: Automated Deduction - CADE-11, 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings, In: LNCS, 607, [Online-Edition: https://doi.org/10.1007/3-540-55602-8_188],
[Konferenzveröffentlichung]

1991

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

Hähnle, Reiner (1991):
Uniform Notation of Tableaux Rules for Multiple-Valued Logics.
In: Proc. International Symposium on Multiple-Valued Logic, Victoria, {IEEE} Press, Los Alamitos, [Konferenzveröffentlichung]

1990

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

1987

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

1986

Hähnle, Reiner ; Heisel, Maritta ; Reif, Wolfgang ; Stephan, Werner (1986):
An Interactive Verification System Based on Dynamic Logic.
In: Proc. 8th Conference on Automated Deduction {CADE}, Oxford, Springer-Verlag, In: LNCS, 230, DOI: 10.1007/3-540-16780-3_99,
[Online-Edition: https://doi.org/10.1007/3-540-16780-3_99],
[Konferenzveröffentlichung]

Diese Liste wurde am Fri Aug 16 06:19:17 2019 CEST generiert.

go to TU-biblio search on ULB website