2024

Heydari Tabar, Asmae (2024)
Automatic Data Dependence Analysis by Deductive Verification.
Technische Universität Darmstadt
doi: 10.26083/tuprints-00026722
Dissertation, Erstveröffentlichung, Verlagsversion

2022

Sokolowski, Daniel ; Weisenburger, Pascal ; Salvaneschi, Guido (2022)
Change is the Only Constant: Dynamic Updates for Workflows.
44th International Conference on Software Engineering. Pittsburgh, Pennsylvania (21.05.2022-29.05.2022)
doi: 10.1145/3510003.3510065
Konferenzveröffentlichung, Bibliographie

Audrito, Giorgio ; Casadei, Roberto ; Damiani, Ferruccio ; Salvaneschi, Guido ; Viroli, Mirko
Hrsg.: Ali, Karim ; Vitek, Jan (2022)
Functional Programming for Distributed Systems with XC.
36th European Conference on Object-Oriented Programming. Berlin, Germany (06.06.2022-10.06.2022)
doi: 10.4230/LIPIcs.ECOOP.2022.20
Konferenzveröffentlichung, Bibliographie

Tabar, Asmae Heydari ; Bubel, Richard ; Hähnle, Reiner (2022)
Automatic Loop Invariant Generation for Data Dependence Analysis.
10th IEEE/ACM International Conference on Formal Methods in Software Engineering. Pittsburgh (22.05.2022-22.05.2022)
Konferenzveröffentlichung, Bibliographie

Grätz, Lukas ; Hähnle, Reiner ; Bubel, Richard
Hrsg.: Johnsen, Einar Broch ; Wimmer, Manuel (2022)
Finding Semantic Bugs Fast.
25th International Conference of the European Joint Conferences on Theory and Practice of Software. Munich, Germany (02.04.2022-07.04.2022)
doi: 10.1007/978-3-030-99429-7_8
Konferenzveröffentlichung, Bibliographie

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)
doi: 10.1093/logcom/exab068
Artikel, Bibliographie

Haubner, Anton W. (2022)
Inspecting Java Program States with Semantic Web Technologies.
Technische Universität Darmstadt
doi: 10.26083/tuprints-00022143
Masterarbeit, Erstveröffentlichung, Verlagsversion

2021

Kamburjan, Eduard ; Grätz, Lukas
Hrsg.: Ferreira, Joo ; Mendes, Alexandra ; Menghi, Claudio (2021)
Increasing Engagement with Interactive Visualization: Formal Methods as Serious Games.
4th World Congress on Formal Methods. virtual Conference (21.11.2021-21.11.2021)
doi: 10.1007/978-3-030-91550-6_4
Konferenzveröffentlichung, Bibliographie

Scaletta, Marco ; Hähnle, Reiner ; Steinhöfel, Dominic ; Bubel, Richard
Hrsg.: Tilevich, Eli ; Roover, Coen De (2021)
Delta-based verification of software product families.
20th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences. Chicago, USA (17.10.2021-18.10.2021)
doi: 10.1145/3486609.3487200
Konferenzveröffentlichung, Bibliographie

Damiani, Ferruccio ; Hähnle, Reiner ; Kamburjan, Eduard ; Lienhardt, Michael ; Paolini, Luca
Hrsg.: Mousavi, Mohammad Reza ; Schobbens, Pierre-Yves (2021)
Variability modules for Java-like languages.
25th ACM International Systems and Software Product Line Conference. virtual Conference (06.09.2021-11.09.2021)
doi: 10.1145/3461001.3471143
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner ; Aalst, Wil van der (2021)
Automated model analysis tools and techniques presented at FASE 2019.
In: International Journal on Software Tools for Technology Transfer, 23 (3)
doi: 10.1007/s10009-020-00589-6
Artikel, Bibliographie

Rollshausen, Nils (2021)
Counterexample Generation for Formal Verification of ABS.
Technische Universität Darmstadt
doi: 10.26083/tuprints-00017856
Bachelorarbeit, Erstveröffentlichung, Verlagsversion

Wasser, Nathan ; Tabar, Asmae Heydari ; Hähnle, Reiner (2021)
Automated model extraction: From non-deterministic C code to active objects.
In: Science of Computer Programming, 204
doi: 10.1016/j.scico.2020.102597
Artikel, Bibliographie

Albert, Elvira ; Hähnle, Reiner ; Merayo, Alicia ; Steinhöfel, Dominic
Hrsg.: Guerra, Esther ; Stoelinga, Marielle (2021)
Certified Abstract Cost Analysis.
24th International Conference of the European Joint Conferences on Theory and Practice of Software. virtual Conference (27.03.2021-01.04.2021)
doi: 10.1007/978-3-030-71500-7_2
Konferenzveröffentlichung, Bibliographie

Setyautami, Maya Retno Ayu ; Hähnle, Reiner
Hrsg.: Grünbacher, Paul ; Seidl, Christoph ; Dhungana, Deepak ; Lovasz-Bukvova, Helena (2021)
An Architectural Pattern to Realize Multi Software Product Lines in Java.
15th International Working Conference on Variability Modelling of Software-Intensive Systems. virtual Conference (09.02.2021-11.02.2021)
doi: 10.1145/3442391.3442401
Konferenzveröffentlichung, Bibliographie

Grätz, Lukas (2021)
Analytic Tableaux for Non-deterministic Semantics.
30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods. Birmingham, United Kingdom (06.09.2021-09.09.2021)
doi: 10.1007/978-3-030-86059-2_3
Konferenzveröffentlichung, Bibliographie

2020

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)
doi: 10.1145/3428256
Artikel, Bibliographie

Hähnle, Reiner ; Heydari Tabar, Asmae ; Mazaheri, Arya ; Norouzi, Mohammad ; Steinhöfel, Dominic ; Wolf, Felix
Hrsg.: Margaria, Tiziana ; Steffen, Bernhard (2020)
Safer Parallelization.
9th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020). virtual Conference (20.-30.10.2020)
doi: 10.1007/978-3-030-61470-6_8
Konferenzveröffentlichung, Bibliographie

Düpmeier, Frederik ; Winter, Hanno ; Willert, Volker ; Adamy, Jürgen ; Dillmann, Stefan ; Pejic, Miroslav ; Oetting, Andreas ; Hähnle, Reiner
Hrsg.: Oetting, Andreas (2020)
Scientific Railway Signalling Symposium 2019: Mehr Verkehr auf die Schiene durch Digitalisierung?! – Was kann die Leit- und Sicherungstechnik dazu beitragen?
Scientific Railway Signalling Symposium 2019. Darmstadt (26.06.2019)
doi: 10.25534/tuprints-00011296
Konferenzveröffentlichung, Erstveröffentlichung

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 (22.02.2020-26.02.2020)
Konferenzveröffentlichung, Bibliographie

Kamburjan, Eduard (2020)
Modular Verification of a Modular Specification: Behavioral Types as Program Logics.
Technische Universität Darmstadt
doi: 10.25534/tuprints-00011664
Dissertation, Erstveröffentlichung

Steinhöfel, Dominic (2020)
Abstract Execution: Automatically Proving Infinitely Many Programs.
Technische Universität Darmstadt
doi: 10.25534/tuprints-00008540
Dissertation, Erstveröffentlichung

Kutscher, Vladimir ; Ruland, Sebastian ; Müller, Patrick ; Wasser, Nathan ; Lochau, Malte ; Anderl, Reiner ; Schürr, Andy ; Mezini, Mira ; Hähnle, Reiner (2020)
Towards a Circular Economy of Industrial Software.
In: Procedia CIRP, 90
doi: 10.1016/j.procir.2020.01.133
Artikel, Bibliographie

2019

Bubel, Richard ; Hähnle, Reiner ; Tabar, Asmae Heydari
Hrsg.: Ahrendt, Wolfgang ; Tarifa, Silvia Lizeth Tapia (2019)
A Program Logic for Dependence Analysis.
15th International Conference onIntegrated Formal Methods (IFM 2019). Bergen, Norway (02.11.2019-06.11.2019)
doi: 10.1007/978-3-030-34968-4_5
Konferenzveröffentlichung, Bibliographie

Steinhöfel, Dominic ; Hähnle, Reiner (2019)
Abstract Execution.
In: Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings
doi: 10.1007/978-3-030-30942-8_20
Buchkapitel, Bibliographie

Wasser, Nathan ; Tabar, Asmae Heydari ; Hähnle, Reiner
Hrsg.: Hojjat, Hossein ; Massink, Mieke (2019)
Modeling Non-deterministic C Code with Active Objects.
8th International Conference on Fundamentals of Software Engineering (FSEN 2019). Tehran, Iran (01.05.2019-03.05.2019)
doi: 10.1007/978-3-030-31517-7_15
Konferenzveröffentlichung, Bibliographie

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 (27.05.2019-27.05.2019)
doi: 10.1109/GE.2019.00012
Konferenzveröffentlichung, Bibliographie

Wasser, Nathan ; Steinhöfel, Dominic (2019)
Technical Report: Using Loop Scopes with for-Loops.
doi: 10.48550/arXiv.1901.06839
Report, Bibliographie

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

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)
doi: 10.1007/s10817-017-9426-4
Artikel, Bibliographie

Hrsg.: Hähnle, Reiner ; Aalst, Wil M. P. van der (2019)
Fundamental Approaches to Software Engineering - 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings.
doi: 10.1007/978-3-030-16722-6
Buch, Bibliographie

Hähnle, Reiner ; Huisman, Marieke
Hrsg.: Steffen, Bernhard ; Woeginger, Gerhard J. (2019)
Deductive Software Verification: From Pen-and-Paper Proofs to Industrial Tools.
In: Computing and Software Science - State of the Art and Perspectives
doi: 10.1007/978-3-319-91908-9_18
Buchkapitel, Bibliographie

Kamburjan, Eduard ; Din, Crystal Chang ; Hähnle, Reiner ; Johnsen, Einar Broch
Hrsg.: Ölveczky, Peter Csaba ; Salaün, Gwen (2019)
Asynchronous Cooperative Contracts for Cooperative Scheduling.
Software Engineering and Formal Methods - 17th International Conference, SEFM 2019. Oslo, Norway (18.09.2019–20.09.2019)
doi: 10.1007/978-3-030-30446-1_3
Konferenzveröffentlichung, Bibliographie

Dillmann, Stefan ; Hähnle, Reiner
Hrsg.: Dutilleul, Simon Collart ; Lecomte, Thierry ; Romanovsky, Alexander B. (2019)
Automated Planning of ETCS Tracks.
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Third International Conference, RSSRail 2019. Lille, France (04.06.2019-06.06.2019)
doi: 10.1007/978-3-030-18744-6_5
Konferenzveröffentlichung, Bibliographie

Steinhöfel, Dominic ; Hähnle, Reiner
Hrsg.: ter Beek, Maurice H. ; McIver, Annabelle ; Oliveira, José N. (2019)
Abstract Execution.
3rd World Congress on Formal Methods (FM 2019). Porto, Portugal (07.10.2019-11.10.2019)
doi: 10.1007/978-3-030-30942-8_20
Konferenzveröffentlichung, Bibliographie

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

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

2018

Kamburjan, Eduard ; Hähnle, Reiner ; Schön, Sebastian (2018)
Formal modeling and analysis of railway operations with active objects.
In: Science of Computer Programming, 166
doi: 10.1016/j.scico.2018.07.001
Artikel, Bibliographie

Kamburjan, Eduard ; Chen, Tzu-Chun
Hrsg.: Furia, Carlo A. ; Winter, Kirsten (2018)
Stateful Behavioral Types for Active Objects.
14th International Conference on Integrated Formal Methods (IFM 2018). Maynooth, Ireland (05.09.2018-07.09.2018)
doi: 10.1007/978-3-319-98938-9_13
Konferenzveröffentlichung, Bibliographie

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

Steinhöfel, Dominic ; Hähnle, Reiner
Hrsg.: Margaria, Tiziana ; Steffen, Bernhard (2018)
Modular, Correct Compilation with Automatic Soundness Proofs.
In: Leveraging Applications of Formal Methods, Verification and Validation. Modeling
doi: 10.1007/978-3-030-03418-4_25
Buchkapitel, Bibliographie

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

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

Kamburjan, Eduard ; Hähnle, Reiner (2018)
Prototyping Formal System Models with Active Objects.
ICE.
Konferenzveröffentlichung, Bibliographie

2017

Steinhöfel, Dominic
Hrsg.: Ábrahám, Erika ; Tarifa, Lizeth Tapia (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)
Buchkapitel, Bibliographie

Steinhöfel, Dominic ; Wasser, Nathan
Hrsg.: Polikarpova, Nadia ; Schneider, Steve (2017)
A New Invariant Rule for the Analysis of Loops with Non-standard Control Flows.
doi: 10.1007/978-3-319-66845-1
Konferenzveröffentlichung, Bibliographie

Flores Montoya, Antonio (2017)
Cost Analysis of Programs Based on the Refinement of Cost Relations.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

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

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

Do, Quoc Huy (2017)
Detection and Exploitation of Information Flow Leaks.
Technische Universität Darmstadt
Dissertation, Erstverö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, 67
doi: 10.1016/j.cose.2016.12.002
Artikel, Bibliographie

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

Hähnle, Reiner ; Huisman, Marieke
Hrsg.: Reger, Giles ; Traytel, Dmitriy (2017)
24 Challenges in Deductive Software Verification.
ARCADE 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017.
Konferenzveröffentlichung, Bibliographie

Damiani, Ferruccio ; Hähnle, Reiner ; Kamburjan, Eduard ; Lienhardt, Michael
Hrsg.: Huisman, Marieke ; Rubin, Julia (2017)
A Unified and Formal Programming Model for Deltas and Traits.
Fundamental Approaches to Software Engineering - 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings.
doi: 10.1007/978-3-662-54494-5_25
Konferenzveröffentlichung, Bibliographie

Do, Quoc Huy ; Bubel, Richard ; Hähnle, Reiner
Hrsg.: Hung, Dang Van ; Kapur, Deepak (2017)
Inferring Secrets by Guided Experiments.
Theoretical Aspects of Computing - ICTAC 2017 - 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings.
doi: 10.1007/978-3-319-67729-3_16
Konferenzveröffentlichung, Bibliographie

Kamburjan, Eduard ; Hähnle, Reiner
Hrsg.: Fantechi, Alessandro ; Lecomte, Thierry ; Romanovsky, Alexander B. (2017)
Deductive Verification of Railway Operations.
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings.
doi: 10.1007/978-3-319-68499-4_9
Konferenzveröffentlichung, Bibliographie

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

Damiani, Ferruccio ; Hähnle, Reiner ; Lienhardt, Michael
Hrsg.: Gabmeyer, Sebastian ; Johnsen, Einar Broch (2017)
Abstraction Refinement for the Analysis of Software Product Lines.
Tests and Proofs - 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings.
doi: 10.1007/978-3-319-61467-0_1
Konferenzveröffentlichung, Bibliographie

Walther, Christoph ; Wasser, Nathan (2017)
Fermat, Euler, Wilson - Three Case Studies in Number Theory.
In: Journal of Automated Reasoning, 59 (2)
doi: 10.1007/s10817-016-9387-z
Artikel, Bibliographie

Damiani, Ferruccio ; Lienhardt, Michael ; Muschevici, Radu ; Schaefer, Ina
Hrsg.: Polikarpova, Nadia ; Schneider, Steve (2017)
An Extension of the ABS Toolchain with a Mechanism for Type Checking SPLs.
Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings.
doi: 10.1007/978-3-319-66845-1_8
Konferenzveröffentlichung, Bibliographie

Naily, Moh. Afifun ; Setyautami, Maya Retno Ayu ; Muschevici, Radu ; Azurat, Ade
Hrsg.: Cerone, Antonio ; Roveri, Marco (2017)
A Framework for Modelling Variable Microservices as Software Product Lines.
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
Konferenzveröffentlichung, Bibliographie

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

Wasser, Nathan Daniel (2017)
Automatic generation of specifications using verification tools.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

2016

Hentschel, Martin ; Hähnle, Reiner ; Bubel, Richard (2016)
An Empirical Evaluation of Two User Interfaces of an Interactive Program Verifier.
Singapore, Singapore
doi: 10.1145/2970276.2970303
Konferenzveröffentlichung, Bibliographie

Hentschel, Martin ; Hähnle, Reiner ; Bubel, Richard (2016)
The Interactive Verification Debugger: Effective Understanding of Interactive Proof Attempts.
Singapore, Singapore
doi: 10.1145/2970276.2970292
Konferenzveröffentlichung, Bibliographie

Späth, Johannes ; Nguyen, Lisa ; Ali, Karim ; Bodden, Eric (2016)
Boomerang: Demand-Driven Flow-Sensitive, Field-Sensitive, and Context-Sensitive Pointer Analysis.
Rome, Italy
Konferenzveröffentlichung, Bibliographie

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

Hentschel, Martin (2016)
Integrating Symbolic Execution, Debugging and Verification.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

Thüm, Thomas ; Winkelmann, Tim ; Schröter, Reimar ; Hentschel, Martin ; Krüger, Stefan (2016)
Variability Hiding in Contracts for Dependent Software Product Lines.
Salvador, Brazil
doi: 10.1145/2866614.2866628
Konferenzveröffentlichung, Bibliographie

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

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

Hähnle, Reiner ; Wasser, Nathan ; Bubel, Richard
Hrsg.: Ábrahám, Erika ; Bonsangue, Marcello M. ; Johnsen, Einar Broch (2016)
Array Abstraction with Symbolic Pivots.
Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday.
doi: 10.1007/978-3-319-30734-3_9
Konferenzveröffentlichung, Bibliographie

Kamburjan, Eduard ; Hähnle, Reiner
Hrsg.: Artho, Cyrille ; Ölveczky, Peter Csaba (2016)
Uniform Modeling of Railway Operations.
Formal Techniques for Safety-Critical Systems - 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers.
doi: 10.1007/978-3-319-53946-1_4
Konferenzveröffentlichung, Bibliographie

Scheurer, Dominic ; Hähnle, Reiner ; Bubel, Richard
Hrsg.: Ogata, Kazuhiro ; Lawford, Mark ; Liu, Shaoying (2016)
A General Lattice Model for Merging Symbolic Execution Branches.
Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings.
doi: 10.1007/978-3-319-47846-3_5
Konferenzveröffentlichung, Bibliographie

Hentschel, Martin ; Hähnle, Reiner ; Bubel, Richard
Hrsg.: Abraham, Erika ; Huisman, Marieke (2016)
Can Formal Methods Improve the Efficiency of Code Reviews?
Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings.
doi: 10.1007/978-3-319-33693-0_1
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner ; Muschevici, Radu
Hrsg.: Margaria, Tiziana ; Steffen, Bernhard (2016)
Towards Incremental Validation of Railway Systems.
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II.
doi: 10.1007/978-3-319-47169-3_36
Konferenzveröffentlichung, Bibliographie

Beek, Maurice H. ter ; Hähnle, Reiner ; Schaefer, Ina
Hrsg.: Margaria, Tiziana ; Steffen, Bernhard (2016)
Correctness-by-Construction and Post-hoc Verification: Friends or Foes?
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I.
doi: 10.1007/978-3-319-47166-2_51
Konferenzveröffentlichung, Bibliographie

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

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

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

Hähnle, Reiner
Hrsg.: Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (2016)
Quo Vadis Formal Verification?
In: Deductive Software Verification - The KeY Book - From Theory to Practice
doi: 10.1007/978-3-319-49812-6_1
Buchkapitel, Bibliographie

Wasser, Nathan ; Hähnle, Reiner ; Bubel, Richard
Hrsg.: Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (2016)
Abstract Interpretation.
In: Deductive Software Verification - The KeY Book - From Theory to Practice
doi: 10.1007/978-3-319-49812-6_6
Buchkapitel, Bibliographie

Hentschel, Martin ; Hähnle, Reiner ; Bubel, Richard
Hrsg.: Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (2016)
Debugging and Visualization.
In: Deductive Software Verification - The KeY Book - From Theory to Practice
doi: 10.1007/978-3-319-49812-6_11
Buchkapitel, Bibliographie

Beckert, Bernhard ; Hähnle, Reiner ; Hentschel, Martin ; Schmitt, Peter H.
Hrsg.: Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (2016)
Formal Verification with KeY: A Tutorial.
In: Deductive Software Verification - The KeY Book - From Theory to Practice
doi: 10.1007/978-3-319-49812-6_16
Buchkapitel, Bibliographie

Bubel, Richard ; Hähnle, Reiner
Hrsg.: Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (2016)
KeY-Hoare.
In: Deductive Software Verification - The KeY Book - From Theory to Practice
doi: 10.1007/978-3-319-49812-6_17
Buchkapitel, Bibliographie

Hrsg.: Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (2016)
Deductive Software Verification - The KeY Book - From Theory to Practice.
doi: 10.1007/978-3-319-49812-6
Buch, Bibliographie

Bennaceur, Amel ; Giannakopoulou, Dimitra ; Hähnle, Reiner ; Meinke, Karl (2016)
Machine Learning for Dynamic Software Analysis: Potentials and Limits (Dagstuhl Seminar 16172).
In: Dagstuhl Reports, 6 (4)
doi: 10.4230/DagRep.6.4.161
Artikel, Bibliographie

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)
doi: 10.1007/s10270-014-0446-9
Artikel, Bibliographie

Schmitt, Peter H. ; Bubel, Richard
Hrsg.: Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (2016)
Theories.
In: Deductive Software Verification - The KeY Book - From Theory to Practice
doi: 10.1007/978-3-319-49812-6_5
Buchkapitel, Bibliographie

Grahl, Daniel ; Bubel, Richard ; Mostowski, Wojciech ; Schmitt, Peter H. ; Ulbrich, Mattias ; Weiß, Benjamin
Hrsg.: Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (2016)
Modular Specification and Verification.
In: Deductive Software Verification - The KeY Book - From Theory to Practice
doi: 10.1007/978-3-319-49812-6_9
Buchkapitel, Bibliographie

Ji, Ran ; Bubel, Richard
Hrsg.: Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (2016)
Program Transformation and Compilation.
In: Deductive Software Verification - The KeY Book - From Theory to Practice
doi: 10.1007/978-3-319-49812-6_14
Buchkapitel, Bibliographie

Do, Quoc Huy ; Kamburjan, Eduard ; Wasser, Nathan
Hrsg.: Piessens, Frank ; Vigano, Luca (2016)
Towards Fully Automatic Logic-Based Information Flow Analysis: An Electronic-Voting Case Study.
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
Konferenzveröffentlichung, Bibliographie

Muschevici, Radu ; Proenca, Jose ; Clarke, Dave (2016)
Feature Nets: behavioural modelling of software product lines.
In: Software and System Modeling, 15 (4)
doi: 10.1007/s10270-015-0475-z
Artikel, Bibliographie

Kamburjan, Eduard ; Din, Crystal Chang ; Chen, Tzu-Chun
Hrsg.: Ogata, Kazuhiro ; Lawford, Mark ; Liu, Shaoying (2016)
Session-Based Compositional Analysis for Actor-Based Languages Using Futures.
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
Konferenzveröffentlichung, Bibliographie

Kamburjan, Eduard (2016)
Session Types for ABS.
Report, Bibliographie

Steinhöfel, Dominic ; Hähnle, Reiner ; Bubel, Richard
Hrsg.: Ogata, Kazuhiro ; Lawford, Mark ; Liu, Shaoying (2016)
A General Lattice Model for Merging Symbolic Execution Branches.
doi: 10.1007/978-3-319-47846-3_5
Konferenzveröffentlichung, Bibliographie

2015

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

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

Hähnle, Reiner ; Johnsen, Einar Broch (2015)
Designing Resource-Aware Cloud Applications.
In: IEEE Computer, 48 (6)
doi: 10.1109/MC.2015.172
Artikel, Bibliographie

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

Din, Crystal Chang ; Bubel, Richard ; Hähnle, Reiner
Hrsg.: Felty, Amy P. ; Middeldorp, Aart (2015)
KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS.
Automated Deduction - CADE-25 - 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings.
doi: 10.1007/978-3-319-21401-6_35
Konferenzveröffentlichung, Bibliographie

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

Din, Crystal Chang ; Tarifa, Silvia Lizeth Tapia ; Hähnle, Reiner ; Johnsen, Einar Broch
Hrsg.: Butler, Michael J. ; Conchon, Sylvain ; Zaidi, Fatiha (2015)
History-Based Specification and Verification of Scalable Concurrent and Distributed Systems.
Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings.
doi: 10.1007/978-3-319-25423-4_14
Konferenzveröffentlichung, Bibliographie

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

Bubel, Richard ; Din, Crystal Chang ; Hähnle, Reiner ; Nakata, Keiko
Hrsg.: de Nivelle, Hans (2015)
A Dynamic Logic with Traces and Coinduction.
Automated Reasoning with Analytic Tableaux and Related Methods - 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015. Proceedings.
doi: 10.1007/978-3-319-24312-2_21
Konferenzveröffentlichung, Bibliographie

Wasser, Nathan
Hrsg.: Li, Xuandong ; Liu, Zhiming ; Yi, Wang (2015)
Generating Specifications for Recursive Methods by Abstracting Program States.
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
Konferenzveröffentlichung, Bibliographie

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

2014

Din, Crystal Chang ; Owe, Olaf (2014)
Compositional reasoning about active objects with shared futures.
In: Formal Aspects of Computing, (Distributed systems; Obje)
doi: 10.1007/s00165-014-0322-y
Artikel, Bibliographie

Hentschel, Martin ; Bubel, Richard ; Hähnle, Reiner
Hrsg.: Bonakdarpour, Borzoo ; Smolka, Scott (2014)
Symbolic Execution Debugger (SED).
Konferenzveröffentlichung, Bibliographie

Hentschel, Martin ; Käsdorf, Stefan ; Hähnle, Reiner ; Bubel, Richard
Hrsg.: Albert, Elvira ; Sekerinski, Emil ; Zavattaro, Gianluigi (2014)
An interactive verification tool meets an IDE.
Konferenzveröffentlichung, Bibliographie

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.
Konferenzveröffentlichung, Bibliographie

Hentschel, Martin ; Hähnle, Reiner ; Bubel, Richard
Hrsg.: Seidl, Martina ; Tillmann, Nikolai (2014)
Visualizing Unbounded Symbolic Execution.
Konferenzveröffentlichung, Bibliographie

Ahrendt, Wolfgang ; Beckert, Bernhard ; Bruns, Daniel ; Bubel, Richard ; Gladisch, Christoph ; Grebing, Sarah ; Hähnle, Reiner ; Hentschel, Martin ; Klebanov, Vladimir ; Mostowski, Wojciech ; Scheben, Christoph ; Schmitt, Peter ; Ulbrich, Mattias
Hrsg.: Giannakopoulou, Dimitra ; Kroening, Daniel (2014)
The KeY Platform for Verification and Analysis of Java Programs.
Konferenzveröffentlichung, Bibliographie

Huisman, Marieke ; Ahrendt, Wolfgang ; Bruns, Daniel ; Hentschel, Martin (2014)
Formal Specification with JML.
Report, Bibliographie

Beckert, Bernhard ; Hähnle, Reiner (2014)
Reasoning and Verification: State of the Art and Current Trends.
In: IEEE Intelligent Systems, 29 (1)
doi: 10.1109/MIS.2014.3
Artikel, Bibliographie

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

Flores-Montoya, Antonio ; Hähnle, Reiner
Hrsg.: Garrigue, Jacques (2014)
Resource Analysis of Complex Programs with Cost Equations.
Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Singapore, November 17-19, 2014, Proceedings.
doi: 10.1007/978-3-319-12736-1_15
Konferenzveröffentlichung, Bibliographie

Hentschel, Martin ; Käsdorf, Stefan ; Hähnle, Reiner ; Bubel, Richard
Hrsg.: Albert, Elvira ; Sekerinski, Emil (2014)
An Interactive Verification Tool Meets an IDE.
Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings.
doi: 10.1007/978-3-319-10181-1_4
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner ; Johnsen, Einar Broch
Hrsg.: Margaria, Tiziana ; Steffen, Bernhard (2014)
Introduction to Track on Engineering Virtualized Services.
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II.
doi: 10.1007/978-3-662-45231-8_1
Konferenzveröffentlichung, Bibliographie

Hrsg.: Bernardo, Marco ; Damiani, Ferruccio ; Hähnle, Reiner ; Johnsen, Einar Broch ; Schaefer, Ina (2014)
Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures.
doi: 10.1007/978-3-319-07317-0
Buch, Bibliographie

Din, Crystal Chang ; Owe, Olaf ; Bubel, Richard (2014)
Runtime Assertion Checking and Theorem Proving for Concurrent and Distributed Systems.
doi: 10.5220/0004877804800487
Konferenzveröffentlichung, Bibliographie

Bubel, Richard ; Hähnle, Reiner ; Pelevina, Maria (2014)
Fully Abstract Operation Contracts.
Konferenzveröffentlichung, Bibliographie

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

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)
doi: 10.1016/j.jlamp.2014.03.003
Artikel, Bibliographie

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

Ji, Ran ; Hähnle, Reiner (2014)
Sound Deductive Compilation.
Report, Bibliographie

Ji, Ran ; Hähnle, Reiner (2014)
Information Flow Analysis Based on Program Simplification.
Report, Bibliographie

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

Scheurer, Dominic (2014)
From Trees to DAGs: A General Lattice Model for Symbolic Execution.
Technische Universität Darmstadt
Masterarbeit, Bibliographie

2013

Oetting, Andreas ; Katzenbeisser, Stefan ; Hähnle, Reiner ; Hofmann, Klaus ; Klingauf, Uwe ; Mezini, Mira ; Schön, Sebastian ; Schütz, Ingo (2013)
Langlebige sicherheitskritische Infrastrukturen.
Fulda, Germany
Konferenzveröffentlichung, Bibliographie

Albert, Elvira ; de Boer, Frank S. ; Hähnle, Reiner ; Johnsen, Einar Broch ; Laneve, Cosimo
Hrsg.: Solberg, Arnor ; Babar, Muhammad Ali ; Dumas, Marlon ; Cuesta, Carlos E. (2013)
Engineering virtualized services.
Second Nordic Symposium on Cloud Computing & Internet Technologies, NordiCloud '13, Oslo, Norway, September 1-3, 2013.
doi: 10.1145/2513534.2513545
Konferenzveröffentlichung, Bibliographie

Ji, Ran ; Hähnle, Reiner ; Bubel, Richard
Hrsg.: Hierons, Robert M. ; Merayo, Mercedes G. ; Bravetti, Mario (2013)
Program Transformation Based on Symbolic Execution and Deduction.
Software Engineering and Formal Methods - 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings.
doi: 10.1007/978-3-642-40561-7_20
Konferenzveröffentlichung, Bibliographie

Hrsg.: Giachino, Elena ; Hähnle, Reiner ; de Boer, Frank S. ; Bonsangue, Marcello M. (2013)
Formal Methods for Components and Objects - 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures.
doi: 10.1007/978-3-642-40615-7
Buch, Bibliographie

Bjorner, Nikolaj ; Hähnle, Reiner ; Nipkow, Tobias ; Weidenbach, Christoph (2013)
Deduction and Arithmetic (Dagstuhl Seminar 13411).
In: Dagstuhl Reports, 3 (10)
doi: 10.4230/DagRep.3.10.1
Artikel, Bibliographie

Gouw, Stijn de ; de Boer, Frank S. ; Ahrendt, Wolfgang ; Bubel, Richard
Hrsg.: Emde Boas, Peter van ; Groen, Frans C. A. ; Italiano, Giuseppe F. ; Nawrocki, Jerzy R. ; Sack, Harald (2013)
Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks.
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
Konferenzveröffentlichung, Bibliographie

Muschevici, Radu ; Clarke, Dave ; Proenca, Jose
Hrsg.: Classen, Andreas ; Siegmund, Norbert (2013)
Executable modelling of dynamic software product lines in the ABS language.
5th International Workshop on Feature-Oriented Software Development, FOSD '13, Indianapolis, IN, USA, October 26, 2013.
doi: 10.1145/2528265.2528266
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner ; Schaefer, Ina ; Bubel, Richard
Hrsg.: Bonacina, Maria Paola (2013)
Reuse in Software Verification by Abstract Method Calls.
In: Automated Deduction - CADE-24: 24th International Conference on Automated Deduction, Proceedings
Buchkapitel, Bibliographie

Ji, Ran ; Hähnle, Reiner ; Bubel, Richard
Hrsg.: Hierons, Robert ; Merayo, Mercedes ; Bravetti, Mario (2013)
Program Transformation Based on Symbolic Execution and Deduction.
Konferenzveröffentlichung, Bibliographie

Ji, Ran ; Hähnle, Reiner ; Bubel, Richard (2013)
Program Transformation Based on Symbolic Execution and Deduction (Technical Report).
Report, Bibliographie

2012

Thüm, Thomas ; Schaefer, Ina ; Apel, Sven ; Hentschel, Martin (2012)
Family-Based Deductive Verification of Software Product Lines.
Dresden, Germany
Konferenzveröffentlichung, Bibliographie

Albert, Elvira ; Bubel, Richard ; Genaim, Samir ; Hähnle, Reiner ; Román-Díez, Guillermo (2012)
Verified Resource Guarantees for Heap Manipulating Programs.
doi: 10.1007/978-3-642-28872-2
Konferenzveröffentlichung, Bibliographie

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

Hähnle, Reiner
Hrsg.: Giachino, Elena ; Hähnle, Reiner ; de Boer, Frank S. ; Bonsangue, Marcello M. (2012)
The Abstract Behavioral Specification Language: A Tutorial Introduction.
Formal Methods for Components and Objects - 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures.
doi: 10.1007/978-3-642-40615-7_1
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner ; Schaefer, Ina
Hrsg.: Margaria, Tiziana ; Steffen, Bernhard (2012)
Adaptable and Evolving Software for Eternal Systems - (Track Summary).
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I.
doi: 10.1007/978-3-642-34026-0_1
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner ; Schaefer, Ina
Hrsg.: Margaria, Tiziana ; Steffen, Bernhard (2012)
A Liskov Principle for Delta-Oriented Programming.
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I.
doi: 10.1007/978-3-642-34026-0_4
Konferenzveröffentlichung, Bibliographie

Hrsg.: Hähnle, Reiner ; Knoop, Jens ; Margaria, Tiziana ; Schreiner, Dietmar ; Steffen, Bernhard (2012)
Leveraging Applications of Formal Methods, Verification, and Validation - International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers.
doi: 10.1007/978-3-642-34781-8
Buch, Bibliographie

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)
doi: 10.1007/s10009-012-0250-1
Artikel, Bibliographie

Helvensteijn, Michiel ; Muschevici, Radu ; Wong, Peter Y. H.
Hrsg.: Eisenecker, Ulrich W. ; Apel, Sven ; Gnesi, Stefania (2012)
Delta modeling in practice: a Fredhopper case study.
Sixth International Workshop on Variability Modelling of Software-Intensive Systems, Leipzig, Germany, January 25-27, 2012. Proceedings.
doi: 10.1145/2110147.2110163
Konferenzveröffentlichung, Bibliographie

Ji, Ran ; Bubel, Richard
Hrsg.: Derrick, John ; Gnesi, Stefania ; Latella, Diego ; Treharne, Helen (2012)
PE-KeY: A Partial Evaluator for Java Programs.
doi: 10.1007/978-3-642-30729-4_20
Konferenzveröffentlichung, Bibliographie

Ji, Ran (2012)
Towards a Deductive Compilation Approach.
Buch, Bibliographie

Din, Crystal Chang ; Dovland, Johan ; Owe, Olaf
Hrsg.: Eleftherakis, George ; Hinchey, Mike ; Holcombe, Mike (2012)
Compositional Reasoning about Shared Futures.
doi: 10.1007/978-3-642-33826-7_7
Konferenzveröffentlichung, Bibliographie

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)
doi: 10.1016/j.jlap.2012.01.003
Artikel, Bibliographie

2011

Giesl, Jürgen ; Hähnle, Reiner (2011)
Preface: Special Issue of Selected Extended Papers of IJCAR 2010.
In: J. Autom. Reasoning, 47 (4)
doi: 10.1007/s10817-011-9240-3
Artikel, Bibliographie

Hähnle, Reiner ; Helvensteijn, Michiel ; Johnsen, Einar Broch ; Lienhardt, Michael ; Sangiorgi, Davide ; Schaefer, Ina ; Wong, Peter Y. H.
Hrsg.: Beckert, Bernhard ; Damiani, Ferruccio ; de Boer, Frank S. ; Bonsangue, Marcello M. (2011)
HATS Abstract Behavioral Specification: The Architectural View.
Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers.
doi: 10.1007/978-3-642-35887-6_6
Konferenzveröffentlichung, Bibliographie

Muschevici, Radu ; Proenca, Jose ; Clarke, Dave
Hrsg.: Barthe, Gilles ; Pardo, Alberto ; Schneider, Gerardo (2011)
Modular Modelling of Software Product Lines with Feature Nets.
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
Konferenzveröffentlichung, Bibliographie

Bubel, Richard ; Hähnle, Reiner ; Geilmann, Ulrich
Hrsg.: Barthe, Gilles ; Schneider, Gerardo ; Pardo, Alberto (2011)
A Formalisation of Java Strings for Program Specification and Verification.
Konferenzveröffentlichung, Bibliographie

Bubel, Richard ; Hähnle, Reiner ; Ji, Ran
Hrsg.: Aichernig, Bernhard ; de Boer, Frank ; Bonsangue, Marcello (2011)
Program Specialization Via a Software Verification Tool.
Konferenzveröffentlichung, Bibliographie

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

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

Albert, Elvira ; Bubel, Richard ; Genaim, Samir ; Hähnle, Reiner ; Puebla, Germán ; Román-Díez, Guillermo (2011)
Verified Resource Guarantees using COSTA and KeY.
Konferenzveröffentlichung, Bibliographie

2010

Beckert, Bernhard ; Hähnle, Reiner (2010)
Tests and Proofs - Preface of the Special Issue.
In: J. Autom. Reasoning, 45 (4)
doi: 10.1007/s10817-010-9173-2
Artikel, Bibliographie

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

Hähnle, Reiner ; Baum, Marcus ; Bubel, Richard ; Rothe, Marcel
Hrsg.: Pecheur, Charles ; Andrews, Jamie ; Nitto, Elisabetta Di (2010)
A Visual Interactive Debugger Based on Symbolic Execution.
ASE 2010, 25th IEEE/ACM International Conference on Automated Software Engineering, Antwerp, Belgium, September 20-24, 2010. Antwerp, Belgium (20.09.2010-24.09.2010)
doi: 10.1145/1858996.1859022
Konferenzveröffentlichung, Bibliographie

Hrsg.: Giesl, Jürgen ; Hähnle, Reiner (2010)
Automated Reasoning, 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings.
doi: 10.1007/978-3-642-14203-1
Buch, Bibliographie

Clarke, Dave ; Muschevici, Radu ; Proenca, Jose ; Schaefer, Ina ; Schlatte, Rudolf
Hrsg.: Aichernig, Bernhard K. ; de Boer, Frank S. ; Bonsangue, Marcello M. (2010)
Variability Modelling in the ABS Language.
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
Konferenzveröffentlichung, Bibliographie

Muschevici, Radu ; Clarke, Dave ; Proenca, Jose
Hrsg.: Botterweck, Goetz ; Jarzabek, Stan ; Kishi, Tomoji ; Lee, Jaejoon ; Livengood, Steve (2010)
Feature Petri Nets.
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).
Konferenzveröffentlichung, Bibliographie

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

Hähnle, Reiner
Hrsg.: Margaria, Tiziana ; Steffen, Bernhard (2010)
HATS: Highly Adaptable and Trustworthy Software using Formal Models.
doi: 10.1007/978-3-642-16561-0_2
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner
Hrsg.: Margaria, Tiziana ; Steffen, Bernhard (2010)
Task Forces in the EternalS Coordination Action.
Konferenzveröffentlichung, Bibliographie

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

Bubel, Richard ; Hähnle, Reiner ; Ji, Ran
Hrsg.: de Boer, Frank ; Bonsangue, Marcello ; Hallerstede, Stefan ; Leuschel, Michael (2010)
Interleaving Symbolic Eexecution and Partial Evaluation.
Konferenzveröffentlichung, Bibliographie

Hrsg.: Beckert, Bernhard ; Hähnle, Reiner (2010)
Special Issue on Tests and Proofs.
Konferenzveröffentlichung, Bibliographie

Bubel, Richard ; Din, Crystal Chang ; Hähnle, Reiner
Hrsg.: Beckert, Bernhard ; Marché, Claude (2010)
Verification of Variable Software: an Experience Report.
Konferenzveröffentlichung, Bibliographie

2009

Langer, Lucie ; Volkamer, Melanie ; Weber, Stefan ; Schmidt, Axel ; Buchmann, Johannes
Hrsg.: Davies, Jim ; Janowski, Tomasz (2009)
Towards Long-Term Free and Secret Electronic Elections Providing Voter-Verifiability in the Bulletin Board Model.
Bogota
Konferenzveröffentlichung, Bibliographie

Ji, Ran (2009)
Automatic Verification of Dynamic Data-Dependent Programs.
Universität Uppsala
Masterarbeit, Bibliographie

Hrsg.: Ball, Thomas ; Giesl, Jürgen ; Hähnle, Reiner ; Nipkow, Tobias (2009)
Interaction versus Automation: The two Faces of Deduction, 04.10. - 09.10.2009.
Buch, Bibliographie

Ball, Thomas ; Giesl, Jürgen ; Hähnle, Reiner ; Nipkow, Tobias
Hrsg.: Ball, Thomas ; Giesl, Jürgen ; Hähnle, Reiner ; Nipkow, Tobias (2009)
09411 Abstracts Collection - Interaction versus Automation: The two Faces of Deduction.
Interaction versus Automation: The two Faces of Deduction, 04.10. - 09.10.2009.
Konferenzveröffentlichung, Bibliographie

Abdulla, Parosh Aziz ; Atto, Muhsin ; Cederberg, Jonathan ; Ji, Ran
Hrsg.: Liu, Zhiming ; Ravn, Anders (2009)
Automated Analysis of Data-Dependent Programs with Dynamic Memory.
Konferenzveröffentlichung, Bibliographie

Ahrendt, Wolfgang ; Bubel, Richard ; Hähnle, Reiner
Hrsg.: Gibbons, J. ; Oliveira, J. N. (2009)
Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification.
Teaching Formal Methods, Second International Conference, TFM 2009. Eindhoven (02.11.2009-06.11.2009)
doi: 10.1007/978-3-642-04912-5_9
Konferenzveröffentlichung, Bibliographie

2008

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

Bubel, Richard ; Hähnle, Reiner ; Weiß, Benjamin
Hrsg.: de Boer, Frank S. ; Bonsangue, Marcello M. ; Madelaine, Eric (2008)
Abstract Interpretation of Symbolic Execution with Explicit State Updates.
Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures.
doi: 10.1007/978-3-642-04167-9_13
Konferenzveröffentlichung, Bibliographie

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
doi: 10.1016/j.entcs.2007.11.015
Artikel, Bibliographie

Seifert, Christian ; Endicott-Popovsky, Barbara ; Frincke, Deborah A. ; Komisarczuk, Peter ; Muschevici, Radu ; Welch, Ian
Hrsg.: Ray, Indrajit ; Shenoi, Sujeet (2008)
Identifying and Analyzing Web Server Attacks.
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
Konferenzveröffentlichung, Bibliographie

Muschevici, Radu ; Potanin, Alex ; Tempero, Ewan D. ; Noble, James
Hrsg.: Harris, Gail E. (2008)
Multiple dispatch in practice.
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
Konferenzveröffentlichung, Bibliographie

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

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

Bubel, Richard ; Hähnle, Reiner
Hrsg.: Instenes, Zoltán (2008)
A Hoare-Style Calculus with Explicit State Updates.
Konferenzveröffentlichung, Bibliographie

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

Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter
Hrsg.: Beckert, Bernhard (2008)
Specification Predicates with Explicit Dependency Information.
Konferenzveröffentlichung, Bibliographie

2007

Beckert, Bernhard ; Giese, Martin ; Hähnle, Reiner ; Klebanov, Vladimir ; Rümmer, Philipp ; Schlager, Steffen ; Schmitt, Peter
Hrsg.: Pfenning, Frank (2007)
The KeY System 1.0 (Deduction Component).
Konferenzveröffentlichung, Bibliographie

Mürk, Oleg ; Larsson, Daniel ; Hähnle, Reiner
Hrsg.: Pfenning, Frank (2007)
KeY-C: A Tool for Verification of C Programs.
Konferenzveröffentlichung, Bibliographie

Mürk, Oleg ; Larsson, Daniel ; Hähnle, Reiner
Hrsg.: Tews, Hendrik (2007)
Deductive Verifiction of C Programs with KeY-C.
Konferenzveröffentlichung, Bibliographie

Ahrendt, Wolfgang ; Beckert, Bernhard ; Hähnle, Reiner ; Schmitt, Peter
Hrsg.: Bonsangue, Marcello ; Johnsen, Einar Broch (2007)
KeY: A Formal Method for Object-Oriented Systems.
Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings.
doi: 10.1007/978-3-540-72952-5_2
Konferenzveröffentlichung, Bibliographie

Larsson, Daniel ; Hähnle, Reiner
Hrsg.: Beckert, Bernhard (2007)
Symbolic Fault Injection.
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner ; Pan, Jing ; Rümmer, Philipp ; Walter, Dennis
Hrsg.: Montanari, Ugo ; Sannella, Donald ; Bruni, R. (2007)
Integration of a Security Type System into a Program Logic.
Konferenzveröffentlichung, Bibliographie

Engel, Christian ; Hähnle, Reiner
Hrsg.: Meyer, Bertrand ; Gurevich, Yuri (2007)
Generating Unit Tests from Formal Proofs.
Tests and Proofs, First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers.
doi: 10.1007/978-3-540-73770-4_10
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner
Hrsg.: Beckert, Bernhard ; Hähnle, Reiner ; Schmitt, Peter (2007)
A New Look at Formal Methods for Software Construction.
In: Verification of Object-Oriented Software: The {KeY} Approach
Buchkapitel, Bibliographie

Bubel, Richard
Hrsg.: Beckert, Bernhard ; Hähnle, Reiner ; Schmitt, Peter (2007)
The Schorr-Waite Algorithm.
In: Verification of Object-Oriented Software: The {KeY} Approach
Buchkapitel, Bibliographie

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

Ahrendt, Wolfgang ; Beckert, Bernhard ; Hähnle, Reiner ; Rümmer, Philipp ; Schmitt, Peter
Hrsg.: de Boer, Frank ; Bonsangue, Marcello ; Graf, Susanne ; de Roever, Willem (2007)
Verifying Object-Oriented Programs with KeY: a Tutorial.
doi: 10.1007/978-3-540-74792-5_4
Konferenzveröffentlichung, Bibliographie

2006

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

Ahrendt, Wolfgang ; Beckert, Bernhard ; Hähnle, Reiner ; Rümmer, Philipp ; Schmitt, Peter H.
Hrsg.: de Boer, Frank S. ; Bonsangue, Marcello M. ; Graf, Susanne ; de Roever, Willem P. (2006)
Verifying Object-Oriented Programs with KeY: A Tutorial.
Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures.
doi: 10.1007/978-3-540-74792-5_4
Konferenzveröffentlichung, Bibliographie

Gedell, Tobias ; Hähnle, Reiner
Hrsg.: Hermann, Miki ; Voronkov, Andrei (2006)
Automating Verification of Loops by Parallelization.
Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings.
doi: 10.1007/11916277_23
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner ; Pan, Jing ; Rümmer, Philipp ; Walter, Dennis
Hrsg.: Montanari, Ugo ; Sannella, Donald ; Bruni, Roberto (2006)
Integration of a Security Type System into a Program Logic.
Trustworthy Global Computing, Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers.
doi: 10.1007/978-3-540-75336-0_8
Konferenzveröffentlichung, Bibliographie

Beckert, Bernhard ; Hähnle, Reiner ; Hoare, Tony ; Smith, Douglas ; Green, Cordell ; Ranise, Silvio ; Tinelli, Cesare ; Ball, Thomas ; Rajamani, Sriram (2006)
Intelligent Systems and Formal Methods in Software Engineering.
In: IEEE Intelligent Systems, 21 (6)
doi: 10.1109/MIS.2006.117
Artikel, Bibliographie

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

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

Beckert, Bernhard ; Hähnle, Reiner ; Schmitt, Peter (2006)
Integrating Object-Oriented Design and Deductive Verification of Software.
Fourth IEEE International Conference o Software Engineering and Formal Methods (SEFM 2006). Pune, India (11.09.2006-15.09.2006)
doi: 10.1109/SEFM.2006.25
Konferenzveröffentlichung, Bibliographie

Bubel, Richard ; Hähnle, Reiner
Hrsg.: Beckert, Bernhard ; Hähnle, Reiner ; Schmitt, Peter (2006)
Pattern-Driven Formal Specification.
In: Verification of Object-Oriented Software: The {KeY} Approach
Buchkapitel, Bibliographie

Wallenburg, Angela
Hrsg.: Beckert, Bernhard ; Hähnle, Reiner ; Schmitt, Peter (2006)
Proving by Induction.
In: Verification of Object-Oriented Software: The {KeY} Approach
Buchkapitel, Bibliographie

2005

Bubel, Richard ; Hähnle, Reiner (2005)
Integration of informal and formal development of object-oriented safety-critical software.
In: STTT, 7 (3)
doi: 10.1007/s10009-004-0166-5
Artikel, Bibliographie

Darvas, Adam ; Hähnle, Reiner ; Sands, David
Hrsg.: Hutter, Dieter ; Ullmann, Markus (2005)
A Theorem Proving Approach to Analysis of Secure Information Flow.
Security in Pervasive Computing, Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings.
doi: 10.1007/978-3-540-32004-3_20
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner ; Murray, Neil ; Rosenthal, Erik
Hrsg.: Hacid, Mohand-Saïd ; Raś, Zbigniew ; Murray, Neil ; Tsumoto, Shusaku (2005)
Normal Forms for Knowledge Compilation.
Konferenzveröffentlichung, Bibliographie

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

Bézivin, Jean ; Baar, Thomas ; Gardner, Tracy ; Gogolla, Martin ; Hähnle, Reiner ; Hussmann, Heinrich ; Patrascoiu, Octavian ; Schmitt, Peter ; Warmer, Jos
Hrsg.: Nunes, Nuno Jardim ; Selic, Bran ; Rodrigues da Silva, Alberto ; Alvarez, Ambrosio Toval (2005)
OCL and Model Driven Engineering (Workshop Report).
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner ; Mostowski, Wojciech
Hrsg.: Barthe, Gilles ; Burdy, Lilian ; Huisman, Marieke ; Lanet, Jean-Louis ; Muntean, Traian (2005)
Verification of Safety Properties in the Presence of Transactions.
Konferenzveröffentlichung, Bibliographie

Darvas, Adam ; Hähnle, Reiner ; Sands, Dave
Hrsg.: Hutter, Dieter ; Ullmann, Markus (2005)
A Theorem Proving Approach to Analysis of Secure Information Flow.
Konferenzveröffentlichung, Bibliographie

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

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

2004

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

Giese, Martin ; Hähnle, Reiner ; Larsson, Daniel (2004)
Rule-Based Simplification of OCL Constraints.
Konferenzveröffentlichung, Bibliographie

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

Darvas, Adam ; Hähnle, Reiner ; Sands, Dave (2004)
A Theorem Proving Approach to Analysis of Secure Information Flow.
Report, Bibliographie

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., 80
doi: 10.1016/S1571-0661(04)80806-5
Artikel, Bibliographie

Hähnle, Reiner ; Sörensson, Niklas
Hrsg.: Cialdea Mayer, Marta ; Pirri, Fiora (2003)
Fair Constraint Merging Tableaux in Lazy Functional Programming Style.
Konferenzveröffentlichung, Bibliographie

Giese, Martin ; Hähnle, Reiner (2003)
Tableaux + Constraints.
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner ; Wallenburg, Angela
Hrsg.: Petrenko, Alex ; Ulrich, Andreas (2003)
Using a software testing technique to improve theorem proving.
Konferenzveröffentlichung, Bibliographie

Darvas, Adam ; Hähnle, Reiner ; Sands, Dave
Hrsg.: Gorrieri, Roberto (2003)
A Theorem Proving Approach to Analysis of Secure Information Flow.
Konferenzveröffentlichung, Bibliographie

Bubel, Richard ; Hähnle, Reiner
Hrsg.: Arts, Thomas ; Fokkink, Wan (2003)
Formal Specification of Security-Critical Railway Software with the KeY System.
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner
Hrsg.: Fitting, Melvin ; Orlowska, Ewa (2003)
Complexity of Many-Valued Logics.
In: Beyond Two: Theory and Applications of Multiple-Valued Logic
Buchkapitel, Bibliographie

2002

Hähnle, Reiner ; Johannisson, Kristofer ; Ranta, Aarne
Hrsg.: Kutsche, Ralf-Detlef ; Weber, Herbert (2002)
An Authoring Tool for Informal and Formal Requirements Specifications.
Fundamental Approaches to Software Engineering, 5th International Conference, FASE 2002, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings.
doi: 10.1007/3-540-45923-5_16
Konferenzveröffentlichung, Bibliographie

Ahrendt, Wolfgang ; Baar, Thomas ; Beckert, Bernhard ; Giese, Martin ; Habermalz, Elmar ; Hähnle, Reiner ; Menzel, Wolfram ; Mostowski, Wojciech ; Schmitt, Peter H.
Hrsg.: Kutsche, Ralf-Detlef ; Weber, Herbert (2002)
The KeY System: Integrating Object-Oriented Design and Formal Methods.
Fundamental Approaches to Software Engineering, 5th International Conference, FASE 2002, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings.
doi: 10.1007/3-540-45923-5_23
Konferenzveröffentlichung, Bibliographie

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

Hähnle, Reiner ; Murray, Neil ; Rosenthal, Erik
Hrsg.: Fermüller, Christian ; Egly, Uwe (2002)
Unit Preference for Ordered Resolution and for Connection Graph Resolution.
Konferenzveröffentlichung, Bibliographie

Claessen, Koen ; Hähnle, Reiner ; Maartensson, Johan
Hrsg.: Sutcliffe, Geoff ; Pelletier, Jef ; Suttner, Christian (2002)
Verification of Hardware Systems with First-Order Logic.
Konferenzveröffentlichung, Bibliographie

2001

Hähnle, Reiner ; Murray, Neil ; Rosenthal, Erik
Hrsg.: Goré, Rajeev ; Leitsch, Alexander ; Nipkow, Tobias (2001)
Ordered Resolution vs. Connection Graph Resolution.
Konferenzveröffentlichung, Bibliographie

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

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

Hähnle, Reiner
Hrsg.: Reusch, Bernd ; Temme, Karl-Heinz (2001)
Proof Theory of Many-Valued Logic and Linear Optimization.
In: Computational Intelligence in Theory and Practice
Buchkapitel, Bibliographie

Hähnle, Reiner ; Ranta, Aarne
Hrsg.: Whittle, Jon (2001)
Connecting OCL with the Rest of the World.
Konferenzveröffentlichung, Bibliographie

Béjar, Ramon ; Hähnle, Reiner ; Manyà, Felip (2001)
A Modular Reduction of Regular Logic to Classical Logic.
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner (2001)
Complexity of Many-Valued Logics.
Konferenzveröffentlichung, Bibliographie

2000

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

Hähnle, Reiner ; Hasegawa, Ryuzo ; Shirai, Yasuyuki
Hrsg.: Lloyd, John ; Dahl, Veronica ; Furbach, Ulrich ; Kerber, Manfred ; Lau, Kung-Kiu ; Palamidessi, Catuscia ; Pereira, Luís Moniz ; Sagiv, Yehoshua ; Stuckey, Peter (2000)
Model Generation Theorem Proving with Finite Interval Constraints.
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner ; Hasegawa, Ryuzo ; Shirai, Yasuyuki (2000)
A Model Generation Theorem Prover Handling Finite Interval Constraints.
Report, Bibliographie

Baar, Thomas ; Hähnle, Reiner
Hrsg.: France, Robert ; Rumpe, Bernhard ; Whittle, Jonathan (2000)
An Integrated Metamodel for OCL Types.
Konferenzveröffentlichung, Bibliographie

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

Ahrendt, Wolfgang ; Baar, Thomas ; Beckert, Bernhard ; Giese, Martin ; Habermalz, Elmar ; Hähnle, Reiner ; Menzel, Wolfram ; Schmitt, Peter (2000)
The KeY Approach: Integrating Object Oriented Design and Formal Verification.
Konferenzveröffentlichung, Bibliographie

Beckert, Bernhard ; Hähnle, Reiner ; Manya, Felip (2000)
The 2-SAT Problem of Regular Signed CNF Formulas.
Konferenzveröffentlichung, Bibliographie

Beckert, Bernhard ; Hähnle, Reiner ; Manya, Felip
Hrsg.: Basin, David ; D'Agostino, Marcello ; Gabbay, Dov ; Matthews, Seán ; Viganò, Luca (2000)
The SAT Problem of Signed CNF Formulas.
In: Labelled Deduction
Buchkapitel, Bibliographie

Ahrendt, Wolfgang ; Baar, Thomas ; Beckert, Bernhard ; Giese, Martin ; Habermalz, Elmar ; Hähnle, Reiner ; Menzel, Wolfram ; Schmitt, Peter
Hrsg.: Ojeda-Aciego, Manuel ; de Guzmán, Inma P. ; Brewka, Gerhard ; Pereira, Luís Moniz (2000)
The KeY Approach: Integrating Object Oriented Design and Formal Verification.
Konferenzveröffentlichung, Bibliographie

1999

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

Hähnle, Reiner
Hrsg.: D'Agostino, Marcello ; Gabbay, Dov ; Hähnle, Reiner ; Posegga, Joachim (1999)
Tableaux for Many-Valued Logics.
In: Handbook of Tableau Methods
Buchkapitel, Bibliographie

Hähnle, Reiner (1999)
Many-Valued Logic, Linear Optimization and Logic Design: Connections and Interactions.
In: Collegium Logicum. Annals of the Kurt-G"{o}del-Society
Buchkapitel, Bibliographie

Hrsg.: D'Agostino, Marcello ; Gabbay, Dov ; Hähnle, Reiner ; Posegga, Joachim (1999)
Handbook of Tableau Methods.
Buch, Bibliographie

Beckert, Bernhard ; Hähnle, Reiner ; Manyà, Felip (1999)
Transformations between Signed and Classical Clause Logic.
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner ; Beckert, Bernhard
Hrsg.: Murray, Neil V. (1999)
Proof Confluent Tabelau Calculi (Tutorial).
Konferenzveröffentlichung, Bibliographie

1998

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

Hähnle, Reiner ; Murray, Neil ; Rosenthal, Erik
Hrsg.: de Swart, Harrie (1998)
Some Remarks on Completeness, Connection Graph Resolution and Link Deletion.
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner ; Menzel, Wolfram ; Schmitt, Peter (1998)
Integrierter Deduktiver Software-Entwurf.
In: Künstliche Intelligenz, 12
Artikel, Bibliographie

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

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

Ahrendt, Wolfgang ; Beckert, Bernhard ; Hähnle, Reiner ; Menzel, Wolfram ; Reif, Wolfgang ; Schellhorn, Gerhard ; Schmitt, Peter
Hrsg.: Bibel, Wolfgang ; Schmitt, Peter (1998)
Integration of Automated and Interactive Theorem Proving.
In: Automated Deduction: A Basis for Applications
Buchkapitel, Bibliographie

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

1997

Hähnle, Reiner (1997)
Proof theory of many-valued logic--linear optimization--logic design: connections and interactions.
In: Soft Comput., 1 (3)
doi: 10.1007/s005000050012
Artikel, Bibliographie

Hähnle, Reiner ; Murray, Neil ; Rosenthal, Erik
Hrsg.: Raś, Zbigniew ; Skowron, Andrzej (1997)
Completeness for Linear Regular Negation Normal Form Inference Systems.
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner ; Murray, Neil ; Rosenthal, Erik
Hrsg.: Galmiche, Didier (1997)
A Remark on Proving Completeness.
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner (1997)
Proof Theory of Many-Valued Logic - Linear Optimization - Logic Design: Connections and Interactions.
In: sc, 1 (3)
Artikel, Bibliographie

Hähnle, Reiner ; Pape, Christian
Hrsg.: Galmiche, Didier (1997)
Ordered Tableaux: Extensions and Applications.
doi: 10.1007/BFb0027413
Konferenzveröffentlichung, Bibliographie

Pape, Christian ; Hähnle, Reiner
Hrsg.: Gottlob, Georg ; Leitsch, Alexander ; Mundici, Daniele (1997)
Restart Tableaux with Selection Function.
Konferenzveröffentlichung, Bibliographie

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

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

Hähnle, Reiner ; Escalada-Imaz, Gonzalo (1997)
Deduction in Many-Valued Logics: a Survey.
In: Mathware & Soft Computing, 4 (2)
Artikel, Bibliographie

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

1996

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

Hähnle, Reiner ; Kerber, Manfred ; Weidenbach, Christoph (1996)
Common Syntax of DFG-Schwerpunktprogramm "Deduktion".
Report, Bibliographie

Hähnle, Reiner ; Murray, Neil ; Rosenthal, Erik
Hrsg.: Miglioli, Pierangelo ; Moscato, Ugo ; Mundici, Daniele ; Ornaghi, Mario (1996)
A Remark on the P-Simulatability of Proof Systems by Path Dissolution.
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner (1996)
Exploiting Data Dependencies in Many-Valued Logics.
In: Journal of Applied Non-Classical Logics, 6 (1)
Artikel, Bibliographie

Hähnle, Reiner (1996)
Many-Valued Logic, Linear Optimization and Logic Design: Connections and Interactions.
Konferenzveröffentlichung, Bibliographie

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

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

Beckert, Bernhard ; Hähnle, Reiner ; Oel, Peter ; Sulzmann, Martin
Hrsg.: McRobbie, Michael ; Slaney, John (1996)
The Tableau-Based Theorem Prover TaP, Version 4.0.
Konferenzveröffentlichung, Bibliographie

Beckert, Bernhard ; Hähnle, Reiner ; Oel, Peter ; Sulzmann, Martin (1996)
The Tableau-Based Theorem Prover (TaP).
Konferenzveröffentlichung, Bibliographie

Beckert, Bernhard ; Hähnle, Reiner (1996)
Proving Compiler Correctness with Evolving Algebra Specifications.
Report, Bibliographie

1995

Beckert, Bernhard ; Hähnle, Reiner
Hrsg.: Kleine Büning, Hans (1995)
Deduction by Combining Semantic Tableaux and Integer Programming.
Computer Science Logic, 9th International Workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995, Selected Papers.
doi: 10.1007/3-540-61377-3_31
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner ; Hasegawa, Ryuzo ; Shirai, Yasuyuki
Hrsg.: Benhamou, Frédéric ; Older, William J. ; Emden, Maarten van ; Hentenryck, Pascal van (1995)
Model Generation Theorem Proving with Interval Constraints.
Konferenzveröffentlichung, Bibliographie

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

Hähnle, Reiner (1995)
Automated Deduction and Integer Programming.
In: Collegium Logicum. Annals of the Kurt-G"{o}del-Society
Buchkapitel, Bibliographie

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

Ramesh, Anavai ; Murray, Neil V. ; Beckert, Bernhard ; Hähnle, Reiner (1995)
Fast Subsumption Checks Using Anti-Links.
Report, Bibliographie

Hrsg.: Baumgartner, Peter ; Hähnle, Reiner ; Posegga, Joachim (1995)
Theorem Proving with Analytic Tableaux and Related Methods, 4th International Workshop, St. Goar, Germany.
Konferenzveröffentlichung, Bibliographie

Hrsg.: Baumgartner, Peter ; Hähnle, Reiner ; Posegga, Joachim (1995)
Theorem Proving with Analytic Tableaux and Related Methods, 4th International Workshop, St. Goar, Germany. Poster Session and Short Papers.
Konferenzveröffentlichung, Bibliographie

1994

Hähnle, Reiner ; Schmitt, Peter H. (1994)
The Liberalized delta-Rule in Free Variable Semantic Tableaux.
In: J. Autom. Reasoning, 13 (2)
doi: 10.1007/BF00881956
Artikel, Bibliographie

Hähnle, Reiner (1994)
Many-Valued Logic and Mixed Integer Programming.
In: Annals of Mathematics and Artificial Intelligence, 12 (3,4)
Artikel, Bibliographie

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

Hähnle, Reiner (1994)
Efficient Deduction in Many-Valued Logics.
Konferenzveröffentlichung, Bibliographie

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

Hähnle, Reiner ; Ibens, Ortrun
Hrsg.: Gabbay, Ortrun M. ; Ohlbach, Hans Jürgen (1994)
Improving Temporal Logic Tableaux Using Integer Constraints.
Konferenzveröffentlichung, Bibliographie

Klingenbeck, Stefan ; Hähnle, Reiner
Hrsg.: Bundy, Alan (1994)
Semantic Tableaux with Ordering Restrictions.
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner ; Reif, Wolfgang
Hrsg.: Frisch, Alan (1994)
Towards the Integration of Tactical and Automated Reasoning.
Konferenzveröffentlichung, Bibliographie

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

Hähnle, Reiner ; Beckert, Bernhard ; Gerberding, Stefan (1994)
The Many-Valued Tableau-Based Theorem Prover TAP.
Report, Bibliographie

Beckert, Bernhard ; Hähnle, Reiner ; Ramesh, Anavai ; Murray, Neil
Hrsg.: Pfenning, Frank (1994)
On Anti-Links.
Konferenzveröffentlichung, Bibliographie

1993

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

Hähnle, Reiner
Hrsg.: Komorowski, Jan ; Raś, Zbigniew (1993)
Short CNF in Finitely-Valued Logics.
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner ; Kernig, Werner
Hrsg.: Kropf, Th. ; Kumar, R. ; Schmid, D. (1993)
Uses of Many-Valued Deduction in Hardware Verification.
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner
Hrsg.: Jackson, Peter ; Scherl, Richard (1993)
Efficient Deduction in Many-Valued Logics.
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner ; Kernig, Werner
Hrsg.: Voronkov, Andrei (1993)
Verification of Switch Level Designs with Many-Valued Logic.
Konferenzveröffentlichung, Bibliographie

Ries, Klaus ; Hähnle, Reiner (1993)
Prädikatenlogisches Beweisen mit gemischt ganzzahliger Optimierung. Ein tableau-basier-ter Ansatz.
Konferenzveröffentlichung, Bibliographie

Hrsg.: Basin, David ; Fronhöfer, Bertram ; Hähnle, Reiner ; Posegga, Joachim ; Schwind, Camilla (1993)
2nd Workshop on Theorem Proving with Analytic Tableaux and Related Methods, Marseille/France.
Konferenzveröffentlichung, Bibliographie

Beckert, Bernhard ; Hähnle, Reiner ; Schmitt, Peter
Hrsg.: Gottlob, Georg ; Leitsch, Alexander ; Mundici, Daniele (1993)
The even more liberalized delta-rule in free variable semantic tableaux.
Konferenzveröffentlichung, Bibliographie

1992

Beckert, Bernhard ; Gerberding, Stefan ; Hähnle, Reiner ; Kernig, Werner
Hrsg.: Kapur, Deepak (1992)
The Tableau-Based Theorem Prover 3TAP for Multi-Valued Logics.
Automated Deduction - CADE-11, 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings.
doi: 10.1007/3-540-55602-8_219
Konferenzveröffentlichung, Bibliographie

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

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

Hähnle, Reiner
Hrsg.: Calmet, Jacques ; Campbell, John A. (1992)
A New Translation from Deduction into Integer Programming.
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner
Hrsg.: Fronhöfer, Bertram ; Hähnle, Reiner ; Käufl, Thomas (1992)
Analytic Tableaux and Integer Programming.
Konferenzveröffentlichung, Bibliographie

Beckert, Bernhard ; Gerberding, Stefan ; Hähnle, Reiner ; Kernig, Werner
Hrsg.: Kapur, Deepak (1992)
The Many-Valued Tableau-Based Theorem Prover TaP.
Konferenzveröffentlichung, Bibliographie

Beckert, Bernhard ; Hähnle, Reiner
Hrsg.: Kapur, Deepak (1992)
An Improved Method for Adding Equality to Free Variable Semantic Tableau.
Automated Deduction - CADE-11, 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings.
Konferenzveröffentlichung, Bibliographie

Hrsg.: Fronhöfer, Bertram ; Hähnle, Reiner ; Käufl, Thomas (1992)
Workshop on Theorem Proving with Analytic Tableaux and Related Methods, Lautenbach/Germany.
Konferenzveröffentlichung, Bibliographie

1991

Hähnle, Reiner
Hrsg.: Börger, Egon ; Kleine Büning, Hans ; Richter, Michael ; Schönfeld, Wolfgang (1991)
Towards an Efficient Tableau Proof Procedure for Multiple-Valued Logics.
In: Selected Papers from Computer Science Logic, {CSL}'90, Heidelberg, Germany
Buchkapitel, Bibliographie

Hähnle, Reiner (1991)
Uniform Notation of Tableaux Rules for Multiple-Valued Logics.
Konferenzveröffentlichung, Bibliographie

1990

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

1987

Hähnle, Reiner (1987)
Programmverifikation durch symbolische Ausführung und Induktion.
University of Karlsruhe
Diplom- oder Magisterarbeit, Bibliographie

1986

Hähnle, Reiner ; Heisel, Maritta ; Reif, Wolfgang ; Stephan, Werner (1986)
An Interactive Verification System Based on Dynamic Logic.
doi: 10.1007/3-540-16780-3_99
Konferenzveröffentlichung, Bibliographie