TU Darmstadt / ULB / TUbiblio

Einträge mit Organisationseinheit "20 Fachbereich Informatik > Software Engineering"

Ebene hoch
Gruppiere nach: Autor(en) | Datum | Typ des Eintrags | Sprache | Keine Gruppierung
Springe zu: A | B | C | D | E | F | G | H | J | K | L | M | N | O | P | R | S | T | W
Anzahl der Einträge auf dieser Ebene: 265.

A

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

Ahrendt, Wolfgang ; Beckert, Bernhard ; Bruns, Daniel ; Bubel, Richard ; Gladisch, Christoph ; Grebing, Sarah ; Hähnle, Reiner ; Hentschel, Martin ; Klebanov, Vladimir ; Mostowski, Wojciech ; Scheben, Christoph ; Schmitt, Peter ; Ulbrich, Mattias
Giannakopoulou, Dimitra ; Kroening, Daniel (eds.) :

The KeY Platform for Verification and Analysis of Java Programs.
In: LNCS . Springer
[Konferenz- oder Workshop-Beitrag], (2014)

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

Albert, Elvira ; de Boer, Frank S. ; Hähnle, Reiner ; Johnsen, Einar Broch ; Laneve, Cosimo
Solberg, Arnor ; Babar, Muhammad Ali ; Dumas, Marlon ; Cuesta, Carlos E. (eds.) :

Engineering virtualized services.
[Online-Edition: http://doi.acm.org/10.1145/2513534.2513545]
In: Second Nordic Symposium on Cloud Computing & Internet Technologies, NordiCloud '13, Oslo, Norway, September 1-3, 2013. In: ACM International Conference Proceeding Series , 826 . ACM
[Konferenz- oder Workshop-Beitrag], (2013)

Albert, Elvira ; Bubel, Richard ; Genaim, Samir ; Hähnle, Reiner ; Román-Díez, Guillermo :
Verified Resource Guarantees for Heap Manipulating Programs.
In: Lecture Notes in Computer Science , 7212 . Springer-Verlag
[Konferenz- oder Workshop-Beitrag], (2012)

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

Abdulla, Parosh Aziz ; Atto, Muhsin ; Cederberg, Jonathan ; Ji, Ran
Liu, Zhiming ; Ravn, Anders (eds.) :

Automated Analysis of Data-Dependent Programs with Dynamic Memory.
In: LNCS , 5799 . Springer
[Konferenz- oder Workshop-Beitrag], (2009)

Ahrendt, Wolfgang ; Bubel, Richard ; Hähnle, Reiner
Gibbons, J. ; Oliveira, J. N. (eds.) :

Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification.
[Online-Edition: https://doi.org/10.1007/978-3-642-04912-5_9]
In: Teaching Formal Methods, Second International Conference, TFM 2009, November 2-6, 2009, Eindhoven. In: LNCS , 5846 . Springer-Verlag
[Konferenz- oder Workshop-Beitrag], (2009)

Ahrendt, Wolfgang ; Beckert, Bernhard ; Hähnle, Reiner ; Schmitt, Peter
Bonsangue, Marcello ; Johnsen, Einar Broch (eds.) :

KeY: A Formal Method for Object-Oriented Systems.
[Online-Edition: https://doi.org/10.1007/978-3-540-72952-5_2]
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 . Springer-Verlag
[Konferenz- oder Workshop-Beitrag], (2007)

Ahrendt, Wolfgang ; Beckert, Bernhard ; Hähnle, Reiner ; Rümmer, Philipp ; Schmitt, Peter
de Boer, Frank ; Bonsangue, Marcello ; Graf, Susanne ; de Roever, Willem (eds.) :

Verifying Object-Oriented Programs with KeY: a Tutorial.
In: LNCS , 4709 . Springer-Verlag
[Konferenz- oder Workshop-Beitrag], (2007)

Ahrendt, Wolfgang ; Beckert, Bernhard ; Hähnle, Reiner ; Rümmer, Philipp ; Schmitt, Peter H.
de Boer, Frank S. ; Bonsangue, Marcello M. ; Graf, Susanne ; de Roever, Willem P. (eds.) :

Verifying Object-Oriented Programs with KeY: A Tutorial.
[Online-Edition: https://doi.org/10.1007/978-3-540-74792-5_4]
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 . Springer
[Konferenz- oder Workshop-Beitrag], (2006)

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

Ahrendt, Wolfgang ; Baar, Thomas ; Beckert, Bernhard ; Giese, Martin ; Habermalz, Elmar ; Hähnle, Reiner ; Menzel, Wolfram ; Mostowski, Wojciech ; Schmitt, Peter H.
Kutsche, Ralf-Detlef ; Weber, Herbert (eds.) :

The KeY System: Integrating Object-Oriented Design and Formal Methods.
[Online-Edition: https://doi.org/10.1007/3-540-45923-5_23]
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 . Springer
[Konferenz- oder Workshop-Beitrag], (2002)

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

[Report], (2000)

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

Ahrendt, Wolfgang ; Baar, Thomas ; Beckert, Bernhard ; Giese, Martin ; Habermalz, Elmar ; Hähnle, Reiner ; Menzel, Wolfram ; Schmitt, Peter
Ojeda-Aciego, Manuel ; de Guzmán, Inma P. ; Brewka, Gerhard ; Pereira, Luís Moniz (eds.) :

The KeY Approach: Integrating Object Oriented Design and Formal Verification.
In: LNCS , 1919 . Springer-Verlag
[Konferenz- oder Workshop-Beitrag], (2000)

Ahrendt, Wolfgang ; Beckert, Bernhard ; Hähnle, Reiner ; Menzel, Wolfram ; Reif, Wolfgang ; Schellhorn, Gerhard ; Schmitt, Peter
Bibel, Wolfgang ; Schmitt, Peter (eds.) :

Integration of Automated and Interactive Theorem Proving.
In: Automated Deduction: A Basis for Applications. Kluwer , 97--116.
[Buchkapitel], (1998)

B

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

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

Beckert, Bernhard ; Hähnle, Reiner ; Hentschel, Martin ; Schmitt, Peter H.
Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (eds.) :

Formal Verification with KeY: A Tutorial.
[Online-Edition: https://doi.org/10.1007/978-3-319-49812-6_16]
In: Deductive Software Verification - The KeY Book - From Theory to Practice. Lecture Notes in Computer Science, 10001. Springer , pp. 541-570.
[Buchkapitel], (2016)

Bubel, Richard ; Hähnle, Reiner
Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (eds.) :

KeY-Hoare.
[Online-Edition: https://doi.org/10.1007/978-3-319-49812-6_17]
In: Deductive Software Verification - The KeY Book - From Theory to Practice. Lecture Notes in Computer Science, 10001. Springer , pp. 571-589.
[Buchkapitel], (2016)

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

Bubel, Richard ; Din, Crystal Chang ; Hähnle, Reiner ; Nakata, Keiko
de Nivelle, Hans (ed.) :

A Dynamic Logic with Traces and Coinduction.
[Online-Edition: https://doi.org/10.1007/978-3-319-24312-2_21]
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 . Springer
[Konferenz- oder Workshop-Beitrag], (2015)

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

Bubel, Richard ; Hähnle, Reiner ; Pelevina, Maria :
Fully Abstract Operation Contracts.
In: LNCS . Springer
[Konferenz- oder Workshop-Beitrag], (2014)

Bubel, Richard ; Montoya, Antonio Flores ; Hähnle, Reiner
Bernardo, M. ; Damiani, F. ; Hähnle, R. ; Johnsen, E. B. ; Schaefer, I. (eds.) :

Analysis of Executable Software Models.
In: LNCS (8483). Springer
[Konferenz- oder Workshop-Beitrag], (2014)

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

Bubel, Richard ; Hähnle, Reiner ; Geilmann, Ulrich
Barthe, Gilles ; Schneider, Gerardo ; Pardo, Alberto (eds.) :

A Formalisation of Java Strings for Program Specification and Verification.
Proc. 9th International Conference on Software Engineering and Formal Methods ({SEFM}), Montevideo, Uruguay IEEE Computer Society
[Konferenz- oder Workshop-Beitrag], (2011)

Bubel, Richard ; Hähnle, Reiner ; Ji, Ran
Aichernig, Bernhard ; de Boer, Frank ; Bonsangue, Marcello (eds.) :

Program Specialization Via a Software Verification Tool.
In: LNCS . Springer-Verlag
[Konferenz- oder Workshop-Beitrag], (2011)

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

Bubel, Richard ; Hähnle, Reiner ; Ji, Ran
de Boer, Frank ; Bonsangue, Marcello ; Hallerstede, Stefan ; Leuschel, Michael (eds.) :

Interleaving Symbolic Eexecution and Partial Evaluation.
In: LNCS , 6286 . Springer-Verlag
[Konferenz- oder Workshop-Beitrag], (2010)

Bubel, Richard ; Din, Crystal Chang ; Hähnle, Reiner
Beckert, Bernhard ; Marché, Claude (eds.) :

Verification of Variable Software: an Experience Report.
Pre-Proc. International Conference on Formal Verification of Object-Oriented Software (FoVeOOS), Paris, France
[Konferenz- oder Workshop-Beitrag], (2010)

Ball, Thomas ; Giesl, Jürgen ; Hähnle, Reiner ; Nipkow, Tobias
Ball, Thomas ; Giesl, Jürgen ; Hähnle, Reiner ; Nipkow, Tobias (eds.) :

09411 Abstracts Collection - Interaction versus Automation: The two Faces of Deduction.
[Online-Edition: http://drops.dagstuhl.de/opus/volltexte/2010/2503/]
In: Interaction versus Automation: The two Faces of Deduction, 04.10. - 09.10.2009. In: Dagstuhl Seminar Proceedings , 09411 . Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany
[Konferenz- oder Workshop-Beitrag], (2009)

Bubel, Richard ; Hähnle, Reiner ; Weiß, Benjamin
de Boer, Frank S. ; Bonsangue, Marcello M. ; Madelaine, Eric (eds.) :

Abstract Interpretation of Symbolic Execution with Explicit State Updates.
[Online-Edition: https://doi.org/10.1007/978-3-642-04167-9_13]
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 . Springer
[Konferenz- oder Workshop-Beitrag], (2008)

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

Bubel, Richard ; Hähnle, Reiner
Instenes, Zoltán (ed.) :

A Hoare-Style Calculus with Explicit State Updates.
In: Electronic Notes in Theoretical Computer Science . Elsevier
[Konferenz- oder Workshop-Beitrag], (2008)

Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter
Beckert, Bernhard (ed.) :

Specification Predicates with Explicit Dependency Information.
Proc. 5th International Verification Workshop (Verify) in connection with IJCAR Sidney, Australia CEUR Workshop Proceedings
[Konferenz- oder Workshop-Beitrag], (2008)

Beckert, Bernhard ; Giese, Martin ; Hähnle, Reiner ; Klebanov, Vladimir ; Rümmer, Philipp ; Schlager, Steffen ; Schmitt, Peter
Pfenning, Frank (ed.) :

The KeY System 1.0 (Deduction Component).
In: LNCS , 4603 . Springer-Verlag
[Konferenz- oder Workshop-Beitrag], (2007)

Bubel, Richard
Beckert, Bernhard ; Hähnle, Reiner ; Schmitt, Peter (eds.) :

The Schorr-Waite Algorithm.
In: Verification of Object-Oriented Software: The {KeY} Approach. LNCS, 4334. Springer-Verlag , pp. 569-587.
[Buchkapitel], (2007)

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

Beckert, Bernhard ; Hähnle, Reiner ; Schmitt, Peter :
Integrating Object-Oriented Design and Deductive Verification of Software.
[Online-Edition: https://doi.org/10.1109/SEFM.2006.25]
In: Fourth IEEE International Conference o Software Engineering and Formal Methods (SEFM 2006), 11-15 September 2006, Pune, India. Fourth IEEE Intl. Conference on Software Engineering and Formal Methods (SEFM), Pune, India IEEE Computer Society
[Konferenz- oder Workshop-Beitrag], (2006)

Bubel, Richard ; Hähnle, Reiner
Beckert, Bernhard ; Hähnle, Reiner ; Schmitt, Peter (eds.) :

Pattern-Driven Formal Specification.
In: Verification of Object-Oriented Software: The {KeY} Approach. LNCS, 4334. Springer-Verlag , 295--315.
[Buchkapitel], (2006)

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

Bézivin, Jean ; Baar, Thomas ; Gardner, Tracy ; Gogolla, Martin ; Hähnle, Reiner ; Hussmann, Heinrich ; Patrascoiu, Octavian ; Schmitt, Peter ; Warmer, Jos
Nunes, Nuno Jardim ; Selic, Bran ; Rodrigues da Silva, Alberto ; Alvarez, Ambrosio Toval (eds.) :

OCL and Model Driven Engineering (Workshop Report).
In: Lecture Notes in Computer Science , 3297 . Springer-Verlag
[Konferenz- oder Workshop-Beitrag], (2005)

Bubel, Richard ; Hähnle, Reiner :
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) 197--211.
[Artikel], (2005)

Beckert, Bernhard ; Giese, Martin ; Habermalz, Elmar ; Hähnle, Reiner ; Roth, Andreas ; Rümmer, Philipp ; Schlager, Steffen :
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) 17--53.
[Artikel], (2004)

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

Bubel, Richard ; Hähnle, Reiner
Arts, Thomas ; Fokkink, Wan (eds.) :

Formal Specification of Security-Critical Railway Software with the KeY System.
In: Electronic Notes in Theoretical Computer Science , 80 . Elsevier
[Konferenz- oder Workshop-Beitrag], (2003)

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

Baar, Thomas ; Hähnle, Reiner ; Sattler, Theo ; Schmitt, Peter H.
Mehlhorn, Kurt ; Snelting, Gregor (eds.) :

Entwurfsmustergesteuerte Erzeugung von OCL-Constraints.
[Online-Edition: https://doi.org/10.1007/978-3-642-58322-3_30]
In: Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung der Gesellschaft für Informatik Berlin, 19.-22. September 2000.. In: Informatik aktuell . Springer
[Konferenz- oder Workshop-Beitrag], (2000)

Baar, Thomas ; Hähnle, Reiner
France, Robert ; Rumpe, Bernhard ; Whittle, Jonathan (eds.) :

An Integrated Metamodel for OCL Types.
Proc. OOPSLA 2000 Workshop Refactoring the UML: In Search of the Core, Minneapolis/MI, USA
[Konferenz- oder Workshop-Beitrag], (2000)

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

Beckert, Bernhard ; Hähnle, Reiner ; Manya, Felip
Basin, David ; D'Agostino, Marcello ; Gabbay, Dov ; Matthews, Seán ; Viganò, Luca (eds.) :

The SAT Problem of Signed CNF Formulas.
In: Labelled Deduction. Applied Logic Series, 17. Kluwer, Dordrecht , 61--82. ISBN 0-7923-6237-3
[Buchkapitel], (2000)

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

Beckert, Bernhard ; Hähnle, Reiner
Bibel, Wolfgang ; Schmitt, Peter (eds.) :

Analytic Tableaux.
In: Automated Deduction: A Basis for Applications. Kluwer , 11--41.
[Buchkapitel], (1998)

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

Beckert, Bernhard ; Hähnle, Reiner ; Escalada-Imaz, Gonzalo :
Simplification of Many-Valued Logic Formulas Using Anti-Links.

[Report], (1997)

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

[Report], (1996)

Beckert, Bernhard ; Hähnle, Reiner ; Oel, Peter ; Sulzmann, Martin
McRobbie, Michael ; Slaney, John (eds.) :

The Tableau-Based Theorem Prover TaP, Version 4.0.
In: LNCS , 1104 . Springer-Verlag
[Konferenz- oder Workshop-Beitrag], (1996)

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

Beckert, Bernhard ; Hähnle, Reiner :
Proving Compiler Correctness with Evolving Algebra Specifications.

[Report], (1996)

Beckert, Bernhard ; Hähnle, Reiner
Kleine Büning, Hans (ed.) :

Deduction by Combining Semantic Tableaux and Integer Programming.
[Online-Edition: https://doi.org/10.1007/3-540-61377-3_31]
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 . Springer-Verlag
[Konferenz- oder Workshop-Beitrag], (1995)

Beckert, Bernhard ; Hähnle, Reiner ; Ramesh, Anavai ; Murray, Neil
Pfenning, Frank (ed.) :

On Anti-Links.
In: LNCS , 822 . Springer-Verlag
[Konferenz- oder Workshop-Beitrag], (1994)

Beckert, Bernhard ; Hähnle, Reiner ; Schmitt, Peter H.
Gottlob, Georg ; Leitsch, Alexander ; Mundici, Daniele (eds.) :

The Even More Liberalized delta-Rule in Free Variable Semantic Tableaux.
[Online-Edition: https://doi.org/10.1007/BFb0022559]
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 . Springer
[Konferenz- oder Workshop-Beitrag], (1993)

Beckert, Bernhard ; Hähnle, Reiner ; Schmitt, Peter
Gottlob, Georg ; Leitsch, Alexander ; Mundici, Daniele (eds.) :

The even more liberalized delta-rule in free variable semantic tableaux.
In: LNCS , 713 . Springer-Verlag
[Konferenz- oder Workshop-Beitrag], (1993)

Beckert, Bernhard ; Gerberding, Stefan ; Hähnle, Reiner ; Kernig, Werner
Kapur, Deepak (ed.) :

The Tableau-Based Theorem Prover 3TAP for Multi-Valued Logics.
[Online-Edition: https://doi.org/10.1007/3-540-55602-8_219]
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 . Springer
[Konferenz- oder Workshop-Beitrag], (1992)

Beckert, Bernhard ; Gerberding, Stefan ; Hähnle, Reiner ; Kernig, Werner
Kapur, Deepak (ed.) :

The Many-Valued Tableau-Based Theorem Prover TaP.
In: LNCS , 607 . Springer-Verlag
[Konferenz- oder Workshop-Beitrag], (1992)

Beckert, Bernhard ; Hähnle, Reiner
Kapur, Deepak (ed.) :

An Improved Method for Adding Equality to Free Variable Semantic Tableau.
[Online-Edition: https://doi.org/10.1007/3-540-55602-8_188]
In: Automated Deduction - CADE-11, 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings. In: LNCS , 607 . Springer-Verlag
[Konferenz- oder Workshop-Beitrag], (1992)

C

Clarke, Dave ; Diakov, Nikolay ; Hähnle, Reiner ; Johnsen, Einar Broch ; Schafer, Ina ; Schäfer, Jan ; Schlatte, Rudi ; Wong, Peter
Bernardo, M. ; Issarny, V. (eds.) :

Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language.
In: Formal Methods for Eternal Networked Software Systems. LNCS, 6659. Springer-Verlag , 417--457.
[Buchkapitel], (2011)

Clarke, Dave ; Muschevici, Radu ; Proenca, Jose ; Schaefer, Ina ; Schlatte, Rudolf
Aichernig, Bernhard K. ; de Boer, Frank S. ; Bonsangue, Marcello M. (eds.) :

Variability Modelling in the ABS Language.
[Online-Edition: https://doi.org/10.1007/978-3-642-25271-6_11]
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 . Springer
[Konferenz- oder Workshop-Beitrag], (2010)

Clarke, Dave ; Diakov, Nikolay ; Hähnle, Reiner ; Johnsen, Einar Broch ; Puebla, Germán ; Weitzel, Balthasar ; Wong, Peter
Botterweck, Goetz ; Jarzabek, Stan ; Kishi, Tomoji ; Lee, Jaejoon ; Livengood, Steve (eds.) :

HATS - A Formal Software Product Line Engineering Methodology.
[Online-Edition: http://splc2010.postech.ac.kr/SPLC2010_second_volume.pdf]
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). Proc. International Workshop on Formal Methods in Software Product Line Engineering, Jeju Island, South Corea
[Konferenz- oder Workshop-Beitrag], (2010)

Claessen, Koen ; Hähnle, Reiner ; Maartensson, Johan
Sutcliffe, Geoff ; Pelletier, Jef ; Suttner, Christian (eds.) :

Verification of Hardware Systems with First-Order Logic.
Proc. Problems and Problem Sets Workshop, affiliated to CADE-18, Copenhagen
[Konferenz- oder Workshop-Beitrag], (2002)

D

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

Do, Quoc Huy :
Detection and Exploitation of Information Flow Leaks.
[Online-Edition: http://tuprints.ulb.tu-darmstadt.de/6258]
Technische Universität , Darmstadt
[Dissertation], (2017)

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

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 :
A Survey of Active Object Languages.
[Online-Edition: http://doi.acm.org/10.1145/3122848]
In: ACM Comput. Surv., 50 (5) 76:1-76:39.
[Artikel], (2017)

Damiani, Ferruccio ; Hähnle, Reiner ; Kamburjan, Eduard ; Lienhardt, Michael
Huisman, Marieke ; Rubin, Julia (eds.) :

A Unified and Formal Programming Model for Deltas and Traits.
[Online-Edition: https://doi.org/10.1007/978-3-662-54494-5_25]
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 . Springer
[Konferenz- oder Workshop-Beitrag], (2017)

Do, Quoc Huy ; Bubel, Richard ; Hähnle, Reiner
Hung, Dang Van ; Kapur, Deepak (eds.) :

Inferring Secrets by Guided Experiments.
[Online-Edition: https://doi.org/10.1007/978-3-319-67729-3_16]
In: Theoretical Aspects of Computing - ICTAC 2017 - 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings. In: Lecture Notes in Computer Science , 10580 . Springer
[Konferenz- oder Workshop-Beitrag], (2017)

Din, Crystal Chang ; Hähnle, Reiner ; Johnsen, Einar Broch ; Pun, Ka I ; Tarifa, Silvia Lizeth Tapia
Schmidt, Renate A. ; Nalon, Claudia (eds.) :

Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages.
[Online-Edition: https://doi.org/10.1007/978-3-319-66902-1_2]
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 . Springer
[Konferenz- oder Workshop-Beitrag], (2017)

Damiani, Ferruccio ; Hähnle, Reiner ; Lienhardt, Michael
Gabmeyer, Sebastian ; Johnsen, Einar Broch (eds.) :

Abstraction Refinement for the Analysis of Software Product Lines.
[Online-Edition: https://doi.org/10.1007/978-3-319-61467-0_1]
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 . Springer
[Konferenz- oder Workshop-Beitrag], (2017)

Damiani, Ferruccio ; Lienhardt, Michael ; Muschevici, Radu ; Schaefer, Ina
Polikarpova, Nadia ; Schneider, Steve (eds.) :

An Extension of the ABS Toolchain with a Mechanism for Type Checking SPLs.
[Online-Edition: https://doi.org/10.1007/978-3-319-66845-1_8]
In: Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings. In: Lecture Notes in Computer Science , 10510 . Springer
[Konferenz- oder Workshop-Beitrag], (2017)

de Gouw, Stijn ; de Boer, Frank S. ; Ahrendt, Wolfgang ; Bubel, Richard :
Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic.
[Online-Edition: https://doi.org/10.1007/s10270-014-0446-9]
In: Software and System Modeling, 15 (4) pp. 1117-1140.
[Artikel], (2016)

Do, Quoc Huy ; Kamburjan, Eduard ; Wasser, Nathan
Piessens, Frank ; Vigano, Luca (eds.) :

Towards Fully Automatic Logic-Based Information Flow Analysis: An Electronic-Voting Case Study.
[Online-Edition: https://doi.org/10.1007/978-3-662-49635-0_6]
In: 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. In: Lecture Notes in Computer Science , 9635 . Springer
[Konferenz- oder Workshop-Beitrag], (2016)

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

[Report], (2015)

Din, Crystal Chang ; Bubel, Richard ; Hähnle, Reiner
Felty, Amy P. ; Middeldorp, Aart (eds.) :

KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS.
[Online-Edition: https://doi.org/10.1007/978-3-319-21401-6_35]
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 . Springer
[Konferenz- oder Workshop-Beitrag], (2015)

de Gouw, Stijn ; Rot, Jurriaan ; de Boer, Frank S. ; Bubel, Richard ; Hähnle, Reiner
Kroening, Daniel ; Pasareanu, Corina S. (eds.) :

OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case.
[Online-Edition: https://doi.org/10.1007/978-3-319-21690-4_16]
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 . Springer
[Konferenz- oder Workshop-Beitrag], (2015)

Din, Crystal Chang ; Tarifa, Silvia Lizeth Tapia ; Hähnle, Reiner ; Johnsen, Einar Broch
Butler, Michael J. ; Conchon, Sylvain ; Zaidi, Fatiha (eds.) :

History-Based Specification and Verification of Scalable Concurrent and Distributed Systems.
[Online-Edition: https://doi.org/10.1007/978-3-319-25423-4_14]
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 . Springer
[Konferenz- oder Workshop-Beitrag], (2015)

Do, Quoc Huy ; Bubel, Richard ; Hähnle, Reiner
Federrath, Hannes ; Gollmann, Dieter (eds.) :

Exploit Generation for Information Flow Leaks in Object-Oriented Programs.
[Online-Edition: https://doi.org/10.1007/978-3-319-18467-8_27]
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 . Springer
[Konferenz- oder Workshop-Beitrag], (2015)

Din, Crystal Chang ; Owe, Olaf :
Compositional reasoning about active objects with shared futures.
In: Formal Aspects of Computing (Distributed systems; Obje) pp. 1-22.
[Artikel], (2014)

Din, Crystal Chang ; Owe, Olaf ; Bubel, Richard :
Runtime Assertion Checking and Theorem Proving for Concurrent and Distributed Systems.
In: Proceedings MODELWARDS’14 SCITEPRESS 2014 SCITEPRESS
[Konferenz- oder Workshop-Beitrag], (2014)

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

de Gouw, Stijn ; de Boer, Frank S. ; Ahrendt, Wolfgang ; Bubel, Richard
van Emde Boas, Peter ; Groen, Frans C. A. ; Italiano, Giuseppe F. ; Nawrocki, Jerzy R. ; Sack, Harald (eds.) :

Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks.
[Online-Edition: https://doi.org/10.1007/978-3-642-35843-2_19]
In: 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. In: Lecture Notes in Computer Science , 7741 . Springer
[Konferenz- oder Workshop-Beitrag], (2013)

de Boer, Frank S. ; Hähnle, Reiner ; Johnsen, Einar Broch ; Schlatte, Rudolf ; Wong, Peter Y. H.
Paoli, Flavio De ; Pimentel, Ernesto ; Zavattaro, Gianluigi (eds.) :

Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study.
[Online-Edition: https://doi.org/10.1007/978-3-642-33427-6_7]
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 . Springer
[Konferenz- oder Workshop-Beitrag], (2012)

Din, Crystal Chang ; Dovland, Johan ; Owe, Olaf
Eleftherakis, George ; Hinchey, Mike ; Holcombe, Mike (eds.) :

Compositional Reasoning about Shared Futures.
In: Lecture Notes in Computer Science , 7504 . Springer Berlin Heidelberg
[Konferenz- oder Workshop-Beitrag], (2012)

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

Darvas, Adam ; Hähnle, Reiner ; Sands, David
Hutter, Dieter ; Ullmann, Markus (eds.) :

A Theorem Proving Approach to Analysis of Secure Information Flow.
[Online-Edition: https://doi.org/10.1007/978-3-540-32004-3_20]
In: Security in Pervasive Computing, Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings. In: Lecture Notes in Computer Science , 3450 . Springer
[Konferenz- oder Workshop-Beitrag], (2005)

Darvas, Adam ; Hähnle, Reiner ; Sands, Dave
Hutter, Dieter ; Ullmann, Markus (eds.) :

A Theorem Proving Approach to Analysis of Secure Information Flow.
In: LNCS , 3450 . Springer-Verlag
[Konferenz- oder Workshop-Beitrag], (2005)

Darvas, Adam ; Hähnle, Reiner ; Sands, Dave :
A Theorem Proving Approach to Analysis of Secure Information Flow.

[Report], (2004)

Darvas, Adam ; Hähnle, Reiner ; Sands, Dave
Gorrieri, Roberto (ed.) :

A Theorem Proving Approach to Analysis of Secure Information Flow.
Workshop on Issues in the Theory of Security, WITS
[Konferenz- oder Workshop-Beitrag], (2003)

E

Engel, Christian ; Hähnle, Reiner
Meyer, Bertrand ; Gurevich, Yuri (eds.) :

Generating Unit Tests from Formal Proofs.
[Online-Edition: https://doi.org/10.1007/978-3-540-73770-4_10]
In: Tests and Proofs, First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers. In: LNCS , 4454 . Springer-Verlag
[Konferenz- oder Workshop-Beitrag], (2007)

F

Flores Montoya, Antonio :
Cost Analysis of Programs Based on the Refinement of Cost Relations.
[Online-Edition: http://tuprints.ulb.tu-darmstadt.de/6746]
Technische Universität , Darmstadt
[Dissertation], (2017)

Flores-Montoya, Antonio ; Hähnle, Reiner :
Resource Consumption of Concurrent Objects over Time.

[Report], (2015)

Flores-Montoya, Antonio ; Hähnle, Reiner
Garrigue, Jacques (ed.) :

Resource Analysis of Complex Programs with Cost Equations.
[Online-Edition: https://doi.org/10.1007/978-3-319-12736-1_15]
In: Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Singapore, November 17-19, 2014, Proceedings. In: Lecture Notes in Computer Science , 8858 . Springer
[Konferenz- oder Workshop-Beitrag], (2014)

Flores-Montoya, Antonio ; Hähnle, Reiner :
Resource Analysis of Complex Programs with Cost Equations.

[Report], (2014)

G

Grahl, Daniel ; Bubel, Richard ; Mostowski, Wojciech ; Schmitt, Peter H. ; Ulbrich, Mattias ; Weiß, Benjamin
Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (eds.) :

Modular Specification and Verification.
[Online-Edition: https://doi.org/10.1007/978-3-319-49812-6_9]
In: Deductive Software Verification - The KeY Book - From Theory to Practice. Lecture Notes in Computer Science, 10001. Springer , pp. 289-351.
[Buchkapitel], (2016)

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

Gedell, Tobias ; Hähnle, Reiner
Aguzzoli, Stefano ; Ciabattoni, Agata ; Gerla, Brunella ; Manara, Corrado ; Marra, Vincenzo (eds.) :

Verification by Parallelization of Parametric Code.
[Online-Edition: https://doi.org/10.1007/978-3-540-75939-3_10]
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 . Springer-Verlag
[Konferenz- oder Workshop-Beitrag], (2007)

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

Gedell, Tobias ; Hähnle, Reiner
Hermann, Miki ; Voronkov, Andrei (eds.) :

Automating Verification of Loops by Parallelization.
[Online-Edition: https://doi.org/10.1007/11916277_23]
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 . Springer
[Konferenz- oder Workshop-Beitrag], (2006)

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

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

H

Hähnle, Reiner ; Huisman, Marieke
Reger, Giles ; Traytel, Dmitriy (eds.) :

24 Challenges in Deductive Software Verification.
[Online-Edition: http://www.easychair.org/publications/paper/kdZ7]
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 . EasyChair
[Konferenz- oder Workshop-Beitrag], (2017)

Hentschel, Martin ; Hähnle, Reiner ; Bubel, Richard :
An Empirical Evaluation of Two User Interfaces of an Interactive Program Verifier.
In: ASE 2016 . ACM
[Konferenz- oder Workshop-Beitrag], (2016)

Hentschel, Martin ; Hähnle, Reiner ; Bubel, Richard :
The Interactive Verification Debugger: Effective Understanding of Interactive Proof Attempts.
In: ASE 2016 . ACM
[Konferenz- oder Workshop-Beitrag], (2016)

Hentschel, Martin :
Integrating Symbolic Execution, Debugging and Verification.
[Online-Edition: http://tuprints.ulb.tu-darmstadt.de/5399]
Technische Universität Darmstadt
[Dissertation], (2016)

Hähnle, Reiner ; Wasser, Nathan ; Bubel, Richard
Erika abraham, ; Bonsangue, Marcello M. ; Johnsen, Einar Broch (eds.) :

Array Abstraction with Symbolic Pivots.
[Online-Edition: https://doi.org/10.1007/978-3-319-30734-3_9]
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 . Springer
[Konferenz- oder Workshop-Beitrag], (2016)

Hentschel, Martin ; Hähnle, Reiner ; Bubel, Richard
Abraham, Erika ; Huisman, Marieke (eds.) :

Can Formal Methods Improve the Efficiency of Code Reviews?
[Online-Edition: https://doi.org/10.1007/978-3-319-33693-0_1]
In: Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. In: Lecture Notes in Computer Science , 9681 . Springer
[Konferenz- oder Workshop-Beitrag], (2016)

Hähnle, Reiner ; Muschevici, Radu
Margaria, Tiziana ; Steffen, Bernhard (eds.) :

Towards Incremental Validation of Railway Systems.
[Online-Edition: https://doi.org/10.1007/978-3-319-47169-3_36]
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 .
[Konferenz- oder Workshop-Beitrag], (2016)

Hentschel, Martin ; Hähnle, Reiner ; Bubel, Richard
Lo, David ; Apel, Sven ; Khurshid, Sarfraz (eds.) :

An empirical evaluation of two user interfaces of an interactive program verifier.
[Online-Edition: http://doi.acm.org/10.1145/2970276.2970303]
In: Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, ASE 2016, Singapore, September 3-7, 2016. ACM
[Konferenz- oder Workshop-Beitrag], (2016)

Hentschel, Martin ; Hähnle, Reiner ; Bubel, Richard
Lo, David ; Apel, Sven ; Khurshid, Sarfraz (eds.) :

The interactive verification debugger: effective understanding of interactive proof attempts.
[Online-Edition: http://doi.acm.org/10.1145/2970276.2970292]
In: Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, ASE 2016, Singapore, September 3-7, 2016. ACM
[Konferenz- oder Workshop-Beitrag], (2016)

Hähnle, Reiner
Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (eds.) :

Quo Vadis Formal Verification?
[Online-Edition: https://doi.org/10.1007/978-3-319-49812-6_1]
In: Deductive Software Verification - The KeY Book - From Theory to Practice. Lecture Notes in Computer Science, 10001. Springer , pp. 1-19.
[Buchkapitel], (2016)

Hentschel, Martin ; Hähnle, Reiner ; Bubel, Richard
Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (eds.) :

Debugging and Visualization.
[Online-Edition: https://doi.org/10.1007/978-3-319-49812-6_11]
In: Deductive Software Verification - The KeY Book - From Theory to Practice. Lecture Notes in Computer Science, 10001. Springer , pp. 383-413.
[Buchkapitel], (2016)

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

Hentschel, Martin ; Bubel, Richard ; Hähnle, Reiner
Bonakdarpour, Borzoo ; Smolka, Scott (eds.) :

Symbolic Execution Debugger (SED).
In: LNCS . Springer
[Konferenz- oder Workshop-Beitrag], (2014)

Hentschel, Martin ; Käsdorf, Stefan ; Hähnle, Reiner ; Bubel, Richard
Albert, Elvira ; Sekerinski, Emil ; Zavattaro, Gianluigi (eds.) :

An interactive verification tool meets an IDE.
In: LNCS . Springer
[Konferenz- oder Workshop-Beitrag], (2014)

Hentschel, Martin ; Hähnle, Reiner ; Bubel, Richard
Seidl, Martina ; Tillmann, Nikolai (eds.) :

Visualizing Unbounded Symbolic Execution.
In: LNCS . Springer
[Konferenz- oder Workshop-Beitrag], (2014)

Huisman, Marieke ; Ahrendt, Wolfgang ; Bruns, Daniel ; Hentschel, Martin :
Formal Specification with JML.

[Report], (2014)

Hentschel, Martin ; Käsdorf, Stefan ; Hähnle, Reiner ; Bubel, Richard
Albert, Elvira ; Sekerinski, Emil (eds.) :

An Interactive Verification Tool Meets an IDE.
[Online-Edition: https://doi.org/10.1007/978-3-319-10181-1_4]
In: Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings. In: Lecture Notes in Computer Science , 8739 . Springer
[Konferenz- oder Workshop-Beitrag], (2014)

Hähnle, Reiner ; Johnsen, Einar Broch
Margaria, Tiziana ; Steffen, Bernhard (eds.) :

Introduction to Track on Engineering Virtualized Services.
[Online-Edition: https://doi.org/10.1007/978-3-662-45231-8_1]
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 . Springer
[Konferenz- oder Workshop-Beitrag], (2014)

Hähnle, Reiner ; Schaefer, Ina ; Bubel, Richard
Bonacina, Maria Paola (ed.) :

Reuse in Software Verification by Abstract Method Calls.
In: Automated Deduction - CADE-24: 24th International Conference on Automated Deduction, Proceedings. Lecture Notes in Computer Science (7898). Springer Lake Placid, NY , pp. 300-314.
[Buchkapitel], (2013)

Hähnle, Reiner
Giachino, Elena ; Hähnle, Reiner ; de Boer, Frank S. ; Bonsangue, Marcello M. (eds.) :

The Abstract Behavioral Specification Language: A Tutorial Introduction.
[Online-Edition: https://doi.org/10.1007/978-3-642-40615-7_1]
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 . Springer
[Konferenz- oder Workshop-Beitrag], (2012)

Hähnle, Reiner ; Schaefer, Ina
Margaria, Tiziana ; Steffen, Bernhard (eds.) :

Adaptable and Evolving Software for Eternal Systems - (Track Summary).
[Online-Edition: https://doi.org/10.1007/978-3-642-34026-0_1]
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 . Springer
[Konferenz- oder Workshop-Beitrag], (2012)

Hähnle, Reiner ; Schaefer, Ina
Margaria, Tiziana ; Steffen, Bernhard (eds.) :

A Liskov Principle for Delta-Oriented Programming.
[Online-Edition: https://doi.org/10.1007/978-3-642-34026-0_4]
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 . Springer
[Konferenz- oder Workshop-Beitrag], (2012)

Helvensteijn, Michiel ; Muschevici, Radu ; Wong, Peter Y. H.
Eisenecker, Ulrich W. ; Apel, Sven ; Gnesi, Stefania (eds.) :

Delta modeling in practice: a Fredhopper case study.
[Online-Edition: http://doi.acm.org/10.1145/2110147.2110163]
In: Sixth International Workshop on Variability Modelling of Software-Intensive Systems, Leipzig, Germany, January 25-27, 2012. Proceedings. ACM
[Konferenz- oder Workshop-Beitrag], (2012)

Hähnle, Reiner ; Helvensteijn, Michiel ; Johnsen, Einar Broch ; Lienhardt, Michael ; Sangiorgi, Davide ; Schaefer, Ina ; Wong, Peter Y. H.
Beckert, Bernhard ; Damiani, Ferruccio ; de Boer, Frank S. ; Bonsangue, Marcello M. (eds.) :

HATS Abstract Behavioral Specification: The Architectural View.
[Online-Edition: https://doi.org/10.1007/978-3-642-35887-6_6]
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 . Springer
[Konferenz- oder Workshop-Beitrag], (2011)

Hähnle, Reiner ; Baum, Marcus ; Bubel, Richard ; Rothe, Marcel
Pecheur, Charles ; Andrews, Jamie ; Nitto, Elisabetta Di (eds.) :

A visual interactive debugger based on symbolic execution.
[Online-Edition: http://doi.acm.org/10.1145/1858996.1859022]
In: ASE 2010, 25th IEEE/ACM International Conference on Automated Software Engineering, Antwerp, Belgium, September 20-24, 2010. ACM
[Konferenz- oder Workshop-Beitrag], (2010)

Hähnle, Reiner
Margaria, Tiziana ; Steffen, Bernhard (eds.) :

HATS: Highly Adaptable and Trustworthy Software using Formal Models.
[Online-Edition: https://doi.org/10.1007/978-3-642-16561-0_2]
In: LNCS , 6416 . Springer-Verlag
[Konferenz- oder Workshop-Beitrag], (2010)

Hähnle, Reiner
Margaria, Tiziana ; Steffen, Bernhard (eds.) :

Task Forces in the EternalS Coordination Action.
In: LNCS , 6416 . Springer-Verlag
[Konferenz- oder Workshop-Beitrag], (2010)

Hähnle, Reiner ; Baum, Marcus ; Bubel, Richard ; Rothe, Marcel
Andrews, Jamie ; Nitto, Elisabetta Di (eds.) :

A Visual Interactive Debugger Based on Symbolic Execution.
Proc. 25th IEEE/ACM International Conference on Automated Software Engineering, Antwerp, Belgium ACM Press
[Konferenz- oder Workshop-Beitrag], (2010)

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

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

Hähnle, Reiner ; Pan, Jing ; Rümmer, Philipp ; Walter, Dennis
Montanari, Ugo ; Sanella, Don ; Bruni, R. (eds.) :

Integration of a Security Type System into a Program Logic.
In: LNCS , 4661 . Springer-Verlag
[Konferenz- oder Workshop-Beitrag], (2007)

Hähnle, Reiner
Beckert, Bernhard ; Hähnle, Reiner ; Schmitt, Peter (eds.) :

A New Look at Formal Methods for Software Construction.
In: Verification of Object-Oriented Software: The {KeY} Approach. LNCS, 4334. Springer-Verlag , 1--18.
[Buchkapitel], (2007)

Hähnle, Reiner ; Pan, Jing ; Rümmer, Philipp ; Walter, Dennis
Montanari, Ugo ; Sannella, Donald ; Bruni, Roberto (eds.) :

Integration of a Security Type System into a Program Logic.
[Online-Edition: https://doi.org/10.1007/978-3-540-75336-0_8]
In: Trustworthy Global Computing, Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers. In: Lecture Notes in Computer Science , 4661 . Springer
[Konferenz- oder Workshop-Beitrag], (2006)

Hähnle, Reiner ; Murray, Neil ; Rosenthal, Erik
Hacid, Mohand-Saïd ; Raś, Zbigniew ; Murray, Neil ; Tsumoto, Shusaku (eds.) :

Normal Forms for Knowledge Compilation.
In: LNCS (3488). Springer-Verlag
[Konferenz- oder Workshop-Beitrag], (2005)

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

Hähnle, Reiner ; Mostowski, Wojciech
Barthe, Gilles ; Burdy, Lilian ; Huisman, Marieke ; Lanet, Jean-Louis ; Muntean, Traian (eds.) :

Verification of Safety Properties in the Presence of Transactions.
In: LNCS , 3362 . Springer-Verlag
[Konferenz- oder Workshop-Beitrag], (2005)

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

Hähnle, Reiner ; Sörensson, Niklas
Cialdea Mayer, Marta ; Pirri, Fiora (eds.) :

Fair Constraint Merging Tableaux in Lazy Functional Programming Style.
In: LNCS , 2796 . Springer-Verlag
[Konferenz- oder Workshop-Beitrag], (2003)

Hähnle, Reiner ; Wallenburg, Angela
Petrenko, Alex ; Ulrich, Andreas (eds.) :

Using a software testing technique to improve theorem proving.
In: LNCS . Springer-Verlag
[Konferenz- oder Workshop-Beitrag], (2003)

Hähnle, Reiner
Fitting, Melvin ; Orlowska, Ewa (eds.) :

Complexity of Many-Valued Logics.
In: Beyond Two: Theory and Applications of Multiple-Valued Logic. Studies in Fuzziness and Soft Computing, 114. Physica-Verlag , 211--233. ISBN 3-7908-1541-1
[Buchkapitel], (2003)

Hähnle, Reiner ; Johannisson, Kristofer ; Ranta, Aarne
Kutsche, Ralf-Detlef ; Weber, Herbert (eds.) :

An Authoring Tool for Informal and Formal Requirements Specifications.
[Online-Edition: https://doi.org/10.1007/3-540-45923-5_16]
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 . Springer
[Konferenz- oder Workshop-Beitrag], (2002)

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

Hähnle, Reiner ; Murray, Neil ; Rosenthal, Erik
Fermüller, Christian ; Egly, Uwe (eds.) :

Unit Preference for Ordered Resolution and for Connection Graph Resolution.
Position Papers presented at International Conference on Analytic Tableaux and Related Methods, Copenhagen, Denmark
[Konferenz- oder Workshop-Beitrag], (2002)

Hähnle, Reiner ; Murray, Neil ; Rosenthal, Erik
Goré, Rajeev ; Leitsch, Alexander ; Nipkow, Tobias (eds.) :

Ordered Resolution vs. Connection Graph Resolution.
In: LNCS , 2083 . Springer-Verlag
[Konferenz- oder Workshop-Beitrag], (2001)

Hähnle, Reiner
Gabbay, Reiner M. ; Guenthner, F. (eds.) :

Advanced Many-Valued Logics.
In: Handbook of Philosophical Logic. Kluwer, Dordrecht , 297--395. ISBN 0-7923-7126-7
[Buchkapitel], (2001)

Hähnle, Reiner
Robinson, Alan ; Voronkov, Andrei (eds.) :

Tableaux and Related Methods.
In: Handbook of Automated Reasoning. Elsevier Science B.V. , 101--178. ISBN 0-444-508139
[Buchkapitel], (2001)

Hähnle, Reiner
Reusch, Bernd ; Temme, Karl-Heinz (eds.) :

Proof Theory of Many-Valued Logic and Linear Optimization.
In: Computational Intelligence in Theory and Practice. Advances in Soft Computing. Physica-Verlag, Heidelberg , 15--33. ISBN 3-7908-1357-5
[Buchkapitel], (2001)

Hähnle, Reiner ; Ranta, Aarne
Whittle, Jon (ed.) :

Connecting OCL with the Rest of the World.
WTUML: Workshop on Transformations in UML at ETAPS, Genova, Italy
[Konferenz- oder Workshop-Beitrag], (2001)

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

Hähnle, Reiner ; Hasegawa, Ryuzo ; Shirai, Yasuyuki
Lloyd, John ; Dahl, Veronica ; Furbach, Ulrich ; Kerber, Manfred ; Lau, Kung-Kiu ; Palamidessi, Catuscia ; Pereira, Luís Moniz ; Sagiv, Yehoshua ; Stuckey, Peter (eds.) :

Model Generation Theorem Proving with Finite Interval Constraints.
In: LNCS , 1861 . Springer-Verlag
[Konferenz- oder Workshop-Beitrag], (2000)

Hähnle, Reiner ; Hasegawa, Ryuzo ; Shirai, Yasuyuki :
A Model Generation Theorem Prover Handling Finite Interval Constraints.

[Report], (2000)

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

Hähnle, Reiner
D'Agostino, Marcello ; Gabbay, Dov ; Hähnle, Reiner ; Posegga, Joachim (eds.) :

Tableaux for Many-Valued Logics.
In: Handbook of Tableau Methods. Kluwer, Dordrecht , 529--580.
[Buchkapitel], (1999)

Hähnle, Reiner :
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 , 60--84.
[Buchkapitel], (1999)

Hähnle, Reiner ; Beckert, Bernhard
Murray, Neil V. (ed.) :

Proof Confluent Tabelau Calculi (Tutorial).
In: LNCS (1617). Springer-Verlag
[Konferenz- oder Workshop-Beitrag], (1999)

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

Hähnle, Reiner ; Murray, Neil ; Rosenthal, Erik
de Swart, Harrie (ed.) :

Some Remarks on Completeness, Connection Graph Resolution and Link Deletion.
In: LNCS (1397). Springer-Verlag
[Konferenz- oder Workshop-Beitrag], (1998)

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

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

Hähnle, Reiner ; Murray, Neil ; Rosenthal, Erik
Raś, Zbigniew ; Skowron, Andrzej (eds.) :

Completeness for Linear Regular Negation Normal Form Inference Systems.
In: LNCS , 1325 . Springer-Verlag
[Konferenz- oder Workshop-Beitrag], (1997)

Hähnle, Reiner ; Murray, Neil ; Rosenthal, Erik
Galmiche, Didier (ed.) :

A Remark on Proving Completeness.
Position Papers presented at International Conference on Analytic Tableaux and Related Methods, Pont-`{a}-Mousson, France
[Konferenz- oder Workshop-Beitrag], (1997)

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

Hähnle, Reiner ; Pape, Christian
Galmiche, Didier (ed.) :

Ordered Tableaux: Extensions and Applications.
[Online-Edition: https://doi.org/10.1007/BFb0027413]
In: LNCS , 1227 . Springer-Verlag
[Konferenz- oder Workshop-Beitrag], (1997)

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

Hähnle, Reiner ; Klingenbeck, Stefan :
A-Ordered Tableaux.
[Online-Edition: https://doi.org/10.1093/logcom/6.6.819]
In: J. Log. Comput., 6 (6) pp. 819-833.
[Artikel], (1996)

Hähnle, Reiner ; Kerber, Manfred ; Weidenbach, Christoph :
Common Syntax of DFG-Schwerpunktprogramm "Deduktion".

[Report], (1996)

Hähnle, Reiner ; Murray, Neil ; Rosenthal, Erik
Miglioli, Pierangelo ; Moscato, Ugo ; Mundici, Daniele ; Ornaghi, Mario (eds.) :

A Remark on the P-Simulatability of Proof Systems by Path Dissolution.
Short Papers presented at 5th International Workshop, {TABLEAUX'96}, Palermo, Italy
[Konferenz- oder Workshop-Beitrag], (1996)

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

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

Hähnle, Reiner :
Broadening the Perspectives of Automated Theorem Proving.

[Anderes], (1996)

Hähnle, Reiner ; Hasegawa, Ryuzo ; Shirai, Yasuyuki
Benhamou, Frédéric ; Older, William J. ; van Emden, Maarten ; van Hentenryck, Pascal (eds.) :

Model Generation Theorem Proving with Interval Constraints.
Proc. of {ILPS} Post-Conference Workshop on Interval Constraints, Portland/OR, USA
[Konferenz- oder Workshop-Beitrag], (1995)

Hähnle, Reiner ; Hasegawa, Ryuzo ; Shirai, Yasuyuki :
Model Generation Theorem Proving with Interval Constraints.

[Report], (1995)

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

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

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

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

Hähnle, Reiner :
Efficient Deduction in Many-Valued Logics.
Proc. International Symposium on Multiple-Valued Logics, ISMVL, Boston/MA, USA IEEE CS Press, Los Alamitos
[Konferenz- oder Workshop-Beitrag], (1994)

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

Hähnle, Reiner ; Ibens, Ortrun
Gabbay, Ortrun M. ; Ohlbach, Hans Jürgen (eds.) :

Improving Temporal Logic Tableaux Using Integer Constraints.
In: LNCS , 827 . Springer-Verlag
[Konferenz- oder Workshop-Beitrag], (1994)

Hähnle, Reiner ; Reif, Wolfgang
Frisch, Alan (ed.) :

Towards the Integration of Tactical and Automated Reasoning.
Working Notes AISB Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice, Leeds, England
[Konferenz- oder Workshop-Beitrag], (1994)

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

Hähnle, Reiner ; Beckert, Bernhard ; Gerberding, Stefan :
The Many-Valued Tableau-Based Theorem Prover TAP.

[Report], (1994)

Hähnle, Reiner
Komorowski, Jan ; Raś, Zbigniew (eds.) :

Short CNF in Finitely-Valued Logics.
In: LNCS , 689 . Springer-Verlag
[Konferenz- oder Workshop-Beitrag], (1993)

Hähnle, Reiner ; Kernig, Werner
Kropf, Th. ; Kumar, R. ; Schmid, D. (eds.) :

Uses of Many-Valued Deduction in Hardware Verification.
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
[Konferenz- oder Workshop-Beitrag], (1993)

Hähnle, Reiner
Jackson, Peter ; Scherl, Richard (eds.) :

Efficient Deduction in Many-Valued Logics.
Proc. Workshop Automated Deduction in Nonstandard Logics, AAAI Fall Symposium Series, Raleigh/NC, USA, AAAI Technical Report FS-93-01
[Konferenz- oder Workshop-Beitrag], (1993)

Hähnle, Reiner ; Kernig, Werner
Voronkov, Andrei (ed.) :

Verification of Switch Level Designs with Many-Valued Logic.
In: LNCS , 698 . Springer-Verlag
[Konferenz- oder Workshop-Beitrag], (1993)

Hähnle, Reiner
Fronhöfer, Bertram ; Hähnle, Reiner ; Käufl, Thomas (eds.) :

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.
[Konferenz- oder Workshop-Beitrag], (1992)

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

Hähnle, Reiner
Calmet, Jacques ; Campbell, John A. (eds.) :

A New Translation from Deduction into Integer Programming.
In: LNCS , 737 . Springer-Verlag
[Konferenz- oder Workshop-Beitrag], (1992)

Hähnle, Reiner
Fronhöfer, Bertram ; Hähnle, Reiner ; Käufl, Thomas (eds.) :

Analytic Tableaux and Integer Programming.
Proc. Workshop on Theorem Proving with Analytic Tableaux and Related Methods, Lautenbach/Germany Internal Report 8/92, University of Karlsruhe
[Konferenz- oder Workshop-Beitrag], (1992)

Hähnle, Reiner
Börger, Egon ; Kleine Büning, Hans ; Richter, Michael ; Schönfeld, Wolfgang (eds.) :

Towards an Efficient Tableau Proof Procedure for Multiple-Valued Logics.
In: Selected Papers from Computer Science Logic, {CSL}'90, Heidelberg, Germany. LNCS, 533. Springer-Verlag , 248--260.
[Buchkapitel], (1991)

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

Hähnle, Reiner :
Spezifikation eines Theorembeweisers für dreiwertige First-Order Logik.

[Report], (1990)

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

Hähnle, Reiner ; Heisel, Maritta ; Reif, Wolfgang ; Stephan, Werner :
An Interactive Verification System Based on Dynamic Logic.
[Online-Edition: https://doi.org/10.1007/3-540-16780-3_99]
In: LNCS , 230 . Springer-Verlag
[Konferenz- oder Workshop-Beitrag], (1986)

J

Ji, Ran ; Bubel, Richard
Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (eds.) :

Program Transformation and Compilation.
[Online-Edition: https://doi.org/10.1007/978-3-319-49812-6_14]
In: Deductive Software Verification - The KeY Book - From Theory to Practice. Lecture Notes in Computer Science, 10001. Springer , pp. 473-492.
[Buchkapitel], (2016)

Ji, Ran ; Hähnle, Reiner :
Information Flow Analysis Based on Program Simplification.

[Report], (2014)

Ji, Ran ; Hähnle, Reiner :
Sound Deductive Compilation.

[Report], (2014)

Ji, Ran ; Hähnle, Reiner ; Bubel, Richard
Hierons, Robert M. ; Merayo, Mercedes G. ; Bravetti, Mario (eds.) :

Program Transformation Based on Symbolic Execution and Deduction.
[Online-Edition: https://doi.org/10.1007/978-3-642-40561-7_20]
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 . Springer
[Konferenz- oder Workshop-Beitrag], (2013)

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

[Report], (2013)

Ji, Ran ; Hähnle, Reiner ; Bubel, Richard
Hierons, Robert ; Merayo, Mercedes ; Bravetti, Mario (eds.) :

Program Transformation Based on Symbolic Execution and Deduction.
In: Lecture Notes in Computer Science , 8137 . Springer
[Konferenz- oder Workshop-Beitrag], (2013)

Ji, Ran ; Bubel, Richard
Derrick, John ; Gnesi, Stefania ; Latella, Diego ; Treharne, Helen (eds.) :

PE-KeY: A Partial Evaluator for Java Programs.
In: Lecture Notes in Computer Science , 7321 . Springer-Verlag
[Konferenz- oder Workshop-Beitrag], (2012)

Ji, Ran:
Towards a Deductive Compilation Approach.

[Buch], (2012)

Johnsen, Einar Broch ; Hähnle, Reiner ; Schäfer, Jan ; Schlatte, Rudolf ; Steffen, Martin
Aichernig, Bernhard K. ; de Boer, Frank S. ; Bonsangue, Marcello M. (eds.) :

ABS: A Core Language for Abstract Behavioral Specification.
[Online-Edition: https://doi.org/10.1007/978-3-642-25271-6_8]
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 . Springer
[Konferenz- oder Workshop-Beitrag], (2010)

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

K

Kamburjan, Eduard ; Hähnle, Reiner
Fantechi, Alessandro ; Lecomte, Thierry ; Romanovsky, Alexander B. (eds.) :

Deductive Verification of Railway Operations.
[Online-Edition: https://doi.org/10.1007/978-3-319-68499-4_9]
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 . Springer
[Konferenz- oder Workshop-Beitrag], (2017)

Kamburjan, Eduard ; Hähnle, Reiner
Artho, Cyrille ; Ölveczky, Peter Csaba (eds.) :

Uniform Modeling of Railway Operations.
[Online-Edition: https://doi.org/10.1007/978-3-319-53946-1_4]
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 .
[Konferenz- oder Workshop-Beitrag], (2016)

Kamburjan, Eduard ; Din, Crystal Chang ; Chen, Tzu-Chun
Ogata, Kazuhiro ; Lawford, Mark ; Liu, Shaoying (eds.) :

Session-Based Compositional Analysis for Actor-Based Languages Using Futures.
[Online-Edition: https://doi.org/10.1007/978-3-319-47846-3_19]
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 .
[Konferenz- oder Workshop-Beitrag], (2016)

Kamburjan, Eduard :
Session Types for ABS.

[Report], (2016)

Klingenbeck, Stefan ; Hähnle, Reiner
Bundy, Alan (ed.) :

Semantic Tableaux with Ordering Restrictions.
In: LNCS , 814 . Springer-Verlag
[Konferenz- oder Workshop-Beitrag], (1994)

L

Langer, Lucie ; Volkamer, Melanie ; Weber, Stefan ; Schmidt, Axel ; Buchmann, Johannes
Davies, Jim ; Janowski, Tomasz (eds.) :

Towards Long-Term Free and Secret Electronic Elections Providing Voter-Verifiability in the Bulletin Board Model.
ICEGOV 2009, Proceedings of the 3rd International Conference on Theory and Practice of Electronic Governance
[Konferenz- oder Workshop-Beitrag], (2009)

Larsson, Daniel ; Hähnle, Reiner
Beckert, Bernhard (ed.) :

Symbolic Fault Injection.
Proc. 4th International Verification Workshop (Verify) in connection with CADE-21 Bremen, Germany CEUR Workshop Proceedings
[Konferenz- oder Workshop-Beitrag], (2007)

Larsson, Daniel ; Hähnle, Reiner :
Symbolic Fault Injection.

[Report], (2006)

M

Meyer zu Hörste, Michael ; Kamburjan, Eduard ; Hähnle, Reiner ; Winter, Hanno ; Willert, Volker ; Adamy, Jürgen ; Leining, Michael ; Spindler, Max ; Lauer, Martin ; Stein, Denis ; Heirich, Oliver ; Groos, Jörn ; Geffert, Arne ; Becker, Uwe ; Breuer, Michael ; Bachurina, Daria ; Düpmeier, Frederik
Oetting, Andreas (ed.) :

Tagungsband des Scientific Railway Signalling Symposiums 2017 - Die Steuerung des Eisenbahnbetriebs der Zukunft.
[Online-Edition: http://tuprints.ulb.tu-darmstadt.de/7403]
In: Die Steuerung des Eisenbahnbetriebs der Zukunft, 19.04.2017, Darmstadt. In: Scientific Railway Signalling Symposium . Darmstadt
[Konferenz- oder Workshop-Beitrag], (2017)

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

Muschevici, Radu ; Clarke, Dave ; Proenca, Jose
Classen, Andreas ; Siegmund, Norbert (eds.) :

Executable modelling of dynamic software product lines in the ABS language.
[Online-Edition: http://doi.acm.org/10.1145/2528265.2528266]
In: 5th International Workshop on Feature-Oriented Software Development, FOSD '13, Indianapolis, IN, USA, October 26, 2013. ACM
[Konferenz- oder Workshop-Beitrag], (2013)

Muschevici, Radu ; Proenca, Jose ; Clarke, Dave
Barthe, Gilles ; Pardo, Alberto ; Schneider, Gerardo (eds.) :

Modular Modelling of Software Product Lines with Feature Nets.
[Online-Edition: https://doi.org/10.1007/978-3-642-24690-6_22]
In: Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings. In: Lecture Notes in Computer Science , 7041 . Springer
[Konferenz- oder Workshop-Beitrag], (2011)

Muschevici, Radu ; Clarke, Dave ; Proenca, Jose
Botterweck, Goetz ; Jarzabek, Stan ; Kishi, Tomoji ; Lee, Jaejoon ; Livengood, Steve (eds.) :

Feature Petri Nets.
[Online-Edition: http://splc2010.postech.ac.kr/SPLC2010_second_volume.pdf]
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). Lancaster University
[Konferenz- oder Workshop-Beitrag], (2010)

Maingaud, Séverine ; Balat, Vincent ; Bubel, Richard ; Hähnle, Reiner ; Miquel, Alexandre
Beckert, Bernhard ; Marché, Claude (eds.) :

Specifying Imperative ML-like Programs Using Dynamic Logic.
[Online-Edition: https://doi.org/10.1007/978-3-642-18070-5_9]
In: Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers. In: LNCS , 6528 . Springer-Verlag
[Konferenz- oder Workshop-Beitrag], (2010)

Muschevici, Radu ; Potanin, Alex ; Tempero, Ewan D. ; Noble, James
Harris, Gail E. (ed.) :

Multiple dispatch in practice.
[Online-Edition: http://doi.acm.org/10.1145/1449764.1449808]
In: 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. ACM
[Konferenz- oder Workshop-Beitrag], (2008)

Mürk, Oleg ; Larsson, Daniel ; Hähnle, Reiner
Pfenning, Frank (ed.) :

KeY-C: A Tool for Verification of C Programs.
In: LNCS , 4603 . Springer-Verlag
[Konferenz- oder Workshop-Beitrag], (2007)

Mürk, Oleg ; Larsson, Daniel ; Hähnle, Reiner
Tews, Hendrik (ed.) :

Deductive Verifiction of C Programs with KeY-C.
Proc. {C/C++} Verification Workshop, colocated with Integrated Formal Methods (IFM), Oxford, UK
[Konferenz- oder Workshop-Beitrag], (2007)

N

Naily, Moh. Afifun ; Setyautami, Maya Retno Ayu ; Muschevici, Radu ; Azurat, Ade
Cerone, Antonio ; Roveri, Marco (eds.) :

A Framework for Modelling Variable Microservices as Software Product Lines.
[Online-Edition: https://doi.org/10.1007/978-3-319-74781-1_18]
In: 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. In: Lecture Notes in Computer Science , 10729 . Springer
[Konferenz- oder Workshop-Beitrag], (2017)

O

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

P

Pape, Christian ; Hähnle, Reiner
Gottlob, Georg ; Leitsch, Alexander ; Mundici, Daniele (eds.) :

Restart Tableaux with Selection Function.
In: LNCS , 1289 . Springer-Verlag
[Konferenz- oder Workshop-Beitrag], (1997)

R

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

Ramesh, Anavai ; Murray, Neil V. ; Beckert, Bernhard ; Hähnle, Reiner :
Fast Subsumption Checks Using Anti-Links.

[Report], (1995)

Ries, Klaus ; Hähnle, Reiner :
Prädikatenlogisches Beweisen mit gemischt ganzzahliger Optimierung. Ein tableau-basier-ter Ansatz.
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)
[Konferenz- oder Workshop-Beitrag], (1993)

S

Steinhöfel, Dominic
Ábrahám, Erika ; Tarifa, Lizeth Tapia (eds.) :

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). University of Oslo , 38--40. ISBN 978-82-7368-435-6
[Buchkapitel], (2017)

Steinhöfel, Dominic ; Wasser, Nathan
Polikarpova, Nadia ; Schneider, Steve (eds.) :

A New Invariant Rule for the Analysis of Loops with Non-standard Control Flows.
In: Lecture Notes in Computer Science , 10510 . Springer
[Konferenz- oder Workshop-Beitrag], (2017)

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

[Report], (2017)

Späth, Johannes ; Nguyen, Lisa ; Ali, Karim ; Bodden, Eric :
Boomerang: Demand-Driven Flow-Sensitive, Field-Sensitive, and Context-Sensitive Pointer Analysis.
European Conference on Object-Oriented Programming Dagstuhl
[Konferenz- oder Workshop-Beitrag], (2016)

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

[Report], (2016)

Scheurer, Dominic ; Hähnle, Reiner ; Bubel, Richard
Ogata, Kazuhiro ; Lawford, Mark ; Liu, Shaoying (eds.) :

A General Lattice Model for Merging Symbolic Execution Branches.
[Online-Edition: https://doi.org/10.1007/978-3-319-47846-3_5]
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 .
[Konferenz- oder Workshop-Beitrag], (2016)

Setyautami, Maya R. A. ; Hähnle, Reiner ; Muschevici, Radu ; Azurat, Ade
Mei, Hong (ed.) :

A UML profile for delta-oriented programming to support software product line engineering.
[Online-Edition: http://doi.acm.org/10.1145/2934466.2934479]
In: Proceedings of the 20th International Systems and Software Product Line Conference, SPLC 2016, Beijing, China, September 16-23, 2016. ACM
[Konferenz- oder Workshop-Beitrag], (2016)

Schmitt, Peter H. ; Bubel, Richard
Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (eds.) :

Theories.
[Online-Edition: https://doi.org/10.1007/978-3-319-49812-6_5]
In: Deductive Software Verification - The KeY Book - From Theory to Practice. Lecture Notes in Computer Science, 10001. Springer , pp. 149-166.
[Buchkapitel], (2016)

Scheurer, Dominic :
From Trees to DAGs: A General Lattice Model for Symbolic Execution.
Department of Computer Science, Software Engineering
[Masterarbeit], (2014)

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

Seifert, Christian ; Endicott-Popovsky, Barbara ; Frincke, Deborah A. ; Komisarczuk, Peter ; Muschevici, Radu ; Welch, Ian
Ray, Indrajit ; Shenoi, Sujeet (eds.) :

Identifying and Analyzing Web Server Attacks.
[Online-Edition: https://doi.org/10.1007/978-0-387-84927-0_13]
In: Advances in Digital Forensics IV, Fourth Annual IFIP WG 11.9 Conference on Digital Forensics, Kyoto University, Kyoto, Japan, January 28-30, 2008. In: IFIP , 285 . Springer
[Konferenz- oder Workshop-Beitrag], (2008)

T

Thüm, Thomas ; Winkelmann, Tim ; Schröter, Reimar ; Hentschel, Martin ; Krüger, Stefan :
Variability Hiding in Contracts for Dependent Software Product Lines.
In: VaMoS '16 . ACM
[Konferenz- oder Workshop-Beitrag], (2016)

ter Beek, Maurice H. ; Hähnle, Reiner ; Schaefer, Ina
Margaria, Tiziana ; Steffen, Bernhard (eds.) :

Correctness-by-Construction and Post-hoc Verification: Friends or Foes?
[Online-Edition: https://doi.org/10.1007/978-3-319-47166-2_51]
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 .
[Konferenz- oder Workshop-Beitrag], (2016)

Thüm, Thomas ; Meinicke, Jens ; Benduhn, Fabian ; Hentschel, Martin ; von Rhein, Alexander ; Saake, Gunter :
Potential Synergies of Theorem Proving and Model Checking for Software Product Lines.
In: SPLC . ACM
[Konferenz- oder Workshop-Beitrag], (2014)

Thüm, Thomas ; Schaefer, Ina ; Apel, Sven ; Hentschel, Martin :
Family-Based Deductive Verification of Software Product Lines.
In: GPCE '12 . ACM
[Konferenz- oder Workshop-Beitrag], (2012)

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

W

Walther, Christoph ; Wasser, Nathan :
Fermat, Euler, Wilson - Three Case Studies in Number Theory.
[Online-Edition: https://doi.org/10.1007/s10817-016-9387-z]
In: J. Autom. Reasoning, 59 (2) pp. 267-286.
[Artikel], (2017)

Wasser, Nathan Daniel :
Automatic generation of specifications using verification tools.
[Online-Edition: http://tuprints.ulb.tu-darmstadt.de/5910]
Technische Universität Darmstadt , Darmstadt
[Dissertation], (2016)

Wasser, Nathan ; Hähnle, Reiner ; Bubel, Richard
Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (eds.) :

Abstract Interpretation.
[Online-Edition: https://doi.org/10.1007/978-3-319-49812-6_6]
In: Deductive Software Verification - The KeY Book - From Theory to Practice. Lecture Notes in Computer Science, 10001. Springer , pp. 167-189.
[Buchkapitel], (2016)

Wasser, Nathan :
Automatic generation of specifications using verification tools = Automatische Spezifikationserzeugung mit Hilfe von Verifikationswerkzeugen.
[Online-Edition: http://tuprints.ulb.tu-darmstadt.de/5910/]
Darmstadt University of Technology, Germany
[Dissertation]

Wasser, Nathan ; Bubel, Richard ; Hähnle, Reiner :
Array Abstraction with Symbolic Pivots.

[Report], (2015)

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

Wasser, Nathan
Li, Xuandong ; Liu, Zhiming ; Yi, Wang (eds.) :

Generating Specifications for Recursive Methods by Abstracting Program States.
[Online-Edition: https://doi.org/10.1007/978-3-319-25942-0_16]
In: Dependable Software Engineering: Theories, Tools, and Applications - First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings. In: Lecture Notes in Computer Science , 9409 . Springer
[Konferenz- oder Workshop-Beitrag], (2015)

Wasser, Nathan ; Bubel, Richard :
A Theorem Prover Backed Approach to Array Abstraction.

[Report], (2014)

Wong, Peter Y. H. ; Albert, Elvira ; Muschevici, Radu ; Proenca, Jose ; Schäfer, Jan ; Schlatte, Rudolf :
The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems.
[Online-Edition: https://doi.org/10.1007/s10009-012-0250-1]
In: STTT, 14 (5) pp. 567-588.
[Artikel], (2012)

Wallenburg, Angela
Beckert, Bernhard ; Hähnle, Reiner ; Schmitt, Peter (eds.) :

Proving by Induction.
In: Verification of Object-Oriented Software: The {KeY} Approach. LNCS, 4334. Springer-Verlag , 453--480.
[Buchkapitel], (2006)

Diese Liste wurde am Thu Aug 16 02:15:43 2018 CEST generiert.