TU Darmstadt / ULB / TUbiblio

Items in division

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Date | Item Type | Language | No Grouping
Jump to: A | B | C | D | E | F | G | H | J | K | L | M | N | O | P | R | S | T | W | Z
Number of items at this level: 273.

A

Albert, Elvira and Bubel, Richard and Genaim, Samir and Hähnle, Reiner and Puebla, German and 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.
[Article] , (2016)

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

The KeY Platform for Verification and Analysis of Java Programs.
In: LNCS . Springer
[Conference or Workshop Item] , (2014)

Albert, Elvira and de Boer, Frank S. and Hähnle, Reiner and Johnsen, Einar Broch and Schlatte, Rudolf and Tarifa, Silvia Lizeth Tapia and Wong, Peter Y. H. :
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.
[Article] , (2014)

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

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
[Conference or Workshop Item] , (2013)

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

Albert, Elvira and Bubel, Richard and Genaim, Samir and Hähnle, Reiner and Puebla, Germán and 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
[Conference or Workshop Item] , (2011)

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

Automated Analysis of Data-Dependent Programs with Dynamic Memory.
In: LNCS , 5799 . Springer
[Conference or Workshop Item] , (2009)

Ahrendt, Wolfgang and Bubel, Richard and Hähnle, Reiner
Gibbons, J. and 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
[Conference or Workshop Item] , (2009)

Ahrendt, Wolfgang and Beckert, Bernhard and Hähnle, Reiner and Schmitt, Peter
Bonsangue, Marcello and 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
[Conference or Workshop Item] , (2007)

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

Verifying Object-Oriented Programs with KeY: a Tutorial.
In: LNCS , 4709 . Springer-Verlag
[Conference or Workshop Item] , (2007)

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

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
[Conference or Workshop Item] , (2006)

Ahrendt, Wolfgang and Baar, Thomas and Beckert, Bernhard and Bubel, Richard and Giese, Martin and Hähnle, Reiner and Menzel, Wolfram and Mostowski, Wojciech and Roth, Andreas and Schlager, Steffen and Schmitt, Peter :
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.
[Article] , (2005)

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

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
[Conference or Workshop Item] , (2002)

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

[Report] , (2000)

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

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

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

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

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

B

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

Bubel, Richard and Damiani, Ferruccio and Hähnle, Reiner and Johnsen, Einar Broch and Owe, Olaf and Schaefer, Ina and 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.
[Article] , (2016)

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

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.
[Book Section] , (2016)

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

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.
[Book Section] , (2016)

Bennaceur, Amel and Giannakopoulou, Dimitra and Hähnle, Reiner and 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.
[Article] , (2016)

Bubel, Richard and Din, Crystal Chang and Hähnle, Reiner and 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
[Conference or Workshop Item] , (2015)

Beckert, Bernhard and 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.
[Article] , (2014)

Bubel, Richard and Hähnle, Reiner and Pelevina, Maria :
Fully Abstract Operation Contracts.
In: LNCS . Springer
[Conference or Workshop Item] , (2014)

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

Analysis of Executable Software Models.
In: LNCS (8483). Springer
[Conference or Workshop Item] , (2014)

Bjorner, Nikolaj and Hähnle, Reiner and Nipkow, Tobias and 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.
[Article] , (2013)

Bubel, Richard and Hähnle, Reiner and Geilmann, Ulrich
Barthe, Gilles and Schneider, Gerardo and 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
[Conference or Workshop Item] , (2011)

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

Program Specialization Via a Software Verification Tool.
In: LNCS . Springer-Verlag
[Conference or Workshop Item] , (2011)

Beckert, Bernhard and 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.
[Article] , (2010)

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

Interleaving Symbolic Eexecution and Partial Evaluation.
In: LNCS , 6286 . Springer-Verlag
[Conference or Workshop Item] , (2010)

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

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

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

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
[Conference or Workshop Item] , (2009)

Bubel, Richard and Hähnle, Reiner and Weiß, Benjamin
de Boer, Frank S. and Bonsangue, Marcello M. and 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
[Conference or Workshop Item] , (2008)

Bubel, Richard and Roth, Andreas and 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.
[Article] , (2008)

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

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

Bubel, Richard and Hähnle, Reiner and 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
[Conference or Workshop Item] , (2008)

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

The KeY System 1.0 (Deduction Component).
In: LNCS , 4603 . Springer-Verlag
[Conference or Workshop Item] , (2007)

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

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

Beckert, Bernhard and Hähnle, Reiner and Hoare, Tony and Smith, Douglas and Green, Cordell and Ranise, Silvio and Tinelli, Cesare and Ball, Thomas and Rajamani, Sriram :
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.
[Article] , (2006)

Beckert, Bernhard and Hähnle, Reiner and 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
[Conference or Workshop Item] , (2006)

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

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

Bubel, Richard and 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.
[Article] , (2005)

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

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

Bubel, Richard and 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.
[Article] , (2005)

Beckert, Bernhard and Giese, Martin and Habermalz, Elmar and Hähnle, Reiner and Roth, Andreas and Rümmer, Philipp and 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.
[Article] , (2004)

Bubel, Richard and 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.
[Article] , (2003)

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

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

Béjar, Ramon and Hähnle, Reiner and 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
[Conference or Workshop Item] , (2001)

Baar, Thomas and Hähnle, Reiner and Sattler, Theo and Schmitt, Peter H.
Mehlhorn, Kurt and 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
[Conference or Workshop Item] , (2000)

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

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

Beckert, Bernhard and Hähnle, Reiner and 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
[Conference or Workshop Item] , (2000)

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

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

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

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

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

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

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

[Report] , (1997)

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

[Report] , (1996)

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

The Tableau-Based Theorem Prover TaP, Version 4.0.
In: LNCS , 1104 . Springer-Verlag
[Conference or Workshop Item] , (1996)

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

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

[Report] , (1996)

Beckert, Bernhard and 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
[Conference or Workshop Item] , (1995)

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

On Anti-Links.
In: LNCS , 822 . Springer-Verlag
[Conference or Workshop Item] , (1994)

Beckert, Bernhard and Hähnle, Reiner and Schmitt, Peter H.
Gottlob, Georg and Leitsch, Alexander and 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
[Conference or Workshop Item] , (1993)

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

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

Beckert, Bernhard and Gerberding, Stefan and Hähnle, Reiner and 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
[Conference or Workshop Item] , (1992)

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

The Many-Valued Tableau-Based Theorem Prover TaP.
In: LNCS , 607 . Springer-Verlag
[Conference or Workshop Item] , (1992)

Beckert, Bernhard and 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
[Conference or Workshop Item] , (1992)

C

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

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

Clarke, Dave and Muschevici, Radu and Proenca, Jose and Schaefer, Ina and Schlatte, Rudolf
Aichernig, Bernhard K. and de Boer, Frank S. and 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
[Conference or Workshop Item] , (2010)

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

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
[Conference or Workshop Item] , (2010)

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

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

D

Damiani, Ferruccio and Hähnle, Reiner and Kamburjan, Eduard and Lienhardt, Michael :
Same Same But Different: Interoperability of Software Product Line Variants.
In: Principled Software Development. Springer
[Conference or Workshop Item] , (2018)

Damiani, Ferruccio and Hähnle, Reiner and Kamburjan, Eduard and Lienhardt, Michael :
Interoperability of software product line variants.
In: SPLC. ACM
[Conference or Workshop Item] , (2018)

de Gouw, Stijn and de Boer, Frank S. and Bubel, Richard and Hähnle, Reiner and Rot, Jurriaan and 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
[Article] , (2017)

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

Do, Quoc Huy and Bubel, Richard and 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.
[Article] , (2017)

de Boer, Frank S. and Serbanescu, Vlad and Hähnle, Reiner and Henrio, Ludovic and Rochas, Justine and Din, Crystal Chang and Johnsen, Einar Broch and Sirjani, Marjan and Khamespanah, Ehsan and Fernandez-Reyes, Kiko and Yang, Albert Mingkun :
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.
[Article] , (2017)

Damiani, Ferruccio and Hähnle, Reiner and Kamburjan, Eduard and Lienhardt, Michael
Huisman, Marieke and 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
[Conference or Workshop Item] , (2017)

Do, Quoc Huy and Bubel, Richard and Hähnle, Reiner
Hung, Dang Van and 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
[Conference or Workshop Item] , (2017)

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

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
[Conference or Workshop Item] , (2017)

Damiani, Ferruccio and Hähnle, Reiner and Lienhardt, Michael
Gabmeyer, Sebastian and 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
[Conference or Workshop Item] , (2017)

Damiani, Ferruccio and Lienhardt, Michael and Muschevici, Radu and Schaefer, Ina
Polikarpova, Nadia and 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
[Conference or Workshop Item] , (2017)

de Gouw, Stijn and de Boer, Frank S. and Ahrendt, Wolfgang and 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.
[Article] , (2016)

Do, Quoc Huy and Kamburjan, Eduard and Wasser, Nathan
Piessens, Frank and 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
[Conference or Workshop Item] , (2016)

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

[Report] , (2015)

Din, Crystal Chang and Bubel, Richard and Hähnle, Reiner
Felty, Amy P. and 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
[Conference or Workshop Item] , (2015)

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

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
[Conference or Workshop Item] , (2015)

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

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
[Conference or Workshop Item] , (2015)

Do, Quoc Huy and Bubel, Richard and Hähnle, Reiner
Federrath, Hannes and 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
[Conference or Workshop Item] , (2015)

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

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

Din, Crystal Chang and 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.
[Article] , (2014)

de Gouw, Stijn and de Boer, Frank S. and Ahrendt, Wolfgang and Bubel, Richard
van Emde Boas, Peter and Groen, Frans C. A. and Italiano, Giuseppe F. and Nawrocki, Jerzy R. and 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
[Conference or Workshop Item] , (2013)

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

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
[Conference or Workshop Item] , (2012)

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

Compositional Reasoning about Shared Futures.
In: Lecture Notes in Computer Science , 7504 . Springer Berlin Heidelberg
[Conference or Workshop Item] , (2012)

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

Darvas, Adam and Hähnle, Reiner and Sands, David
Hutter, Dieter and 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
[Conference or Workshop Item] , (2005)

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

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

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

[Report] , (2004)

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

A Theorem Proving Approach to Analysis of Secure Information Flow.
Workshop on Issues in the Theory of Security, WITS
[Conference or Workshop Item] , (2003)

E

Engel, Christian and Hähnle, Reiner
Meyer, Bertrand and 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
[Conference or Workshop Item] , (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
[Ph.D. Thesis], (2017)

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

[Report] , (2015)

Flores-Montoya, Antonio and 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
[Conference or Workshop Item] , (2014)

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

[Report] , (2014)

G

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

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.
[Book Section] , (2016)

Giesl, Jürgen and 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.
[Article] , (2011)

Gedell, Tobias and Hähnle, Reiner
Aguzzoli, Stefano and Ciabattoni, Agata and Gerla, Brunella and Manara, Corrado and 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
[Conference or Workshop Item] , (2007)

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

Gedell, Tobias and Hähnle, Reiner
Hermann, Miki and 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
[Conference or Workshop Item] , (2006)

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

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

H

Hähnle, Reiner and Huisman, Marieke
Reger, Giles and 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
[Conference or Workshop Item] , (2017)

Hentschel, Martin and Hähnle, Reiner and Bubel, Richard :
An Empirical Evaluation of Two User Interfaces of an Interactive Program Verifier.
In: ASE 2016 . ACM
[Conference or Workshop Item] , (2016)

Hentschel, Martin and Hähnle, Reiner and Bubel, Richard :
The Interactive Verification Debugger: Effective Understanding of Interactive Proof Attempts.
In: ASE 2016 . ACM
[Conference or Workshop Item] , (2016)

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

Hähnle, Reiner and Wasser, Nathan and Bubel, Richard
Ábrahám, Erika and Bonsangue, Marcello M. and 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
[Conference or Workshop Item] , (2016)

Hentschel, Martin and Hähnle, Reiner and Bubel, Richard
Abraham, Erika and 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
[Conference or Workshop Item] , (2016)

Hähnle, Reiner and Muschevici, Radu
Margaria, Tiziana and 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 .
[Conference or Workshop Item] , (2016)

Hentschel, Martin and Hähnle, Reiner and Bubel, Richard
Lo, David and Apel, Sven and 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
[Conference or Workshop Item] , (2016)

Hentschel, Martin and Hähnle, Reiner and Bubel, Richard
Lo, David and Apel, Sven and 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
[Conference or Workshop Item] , (2016)

Hähnle, Reiner
Ahrendt, Wolfgang and Beckert, Bernhard and Bubel, Richard and Hähnle, Reiner and Schmitt, Peter H. and 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.
[Book Section] , (2016)

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

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.
[Book Section] , (2016)

Hähnle, Reiner and 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.
[Article] , (2015)

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

Symbolic Execution Debugger (SED).
In: LNCS . Springer
[Conference or Workshop Item] , (2014)

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

An interactive verification tool meets an IDE.
In: LNCS . Springer
[Conference or Workshop Item] , (2014)

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

Visualizing Unbounded Symbolic Execution.
In: LNCS . Springer
[Conference or Workshop Item] , (2014)

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

[Report] , (2014)

Hentschel, Martin and Käsdorf, Stefan and Hähnle, Reiner and Bubel, Richard
Albert, Elvira and 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
[Conference or Workshop Item] , (2014)

Hähnle, Reiner and Johnsen, Einar Broch
Margaria, Tiziana and 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
[Conference or Workshop Item] , (2014)

Hähnle, Reiner and Schaefer, Ina and 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.
[Book Section] , (2013)

Hähnle, Reiner
Giachino, Elena and Hähnle, Reiner and de Boer, Frank S. and 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
[Conference or Workshop Item] , (2012)

Hähnle, Reiner and Schaefer, Ina
Margaria, Tiziana and 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
[Conference or Workshop Item] , (2012)

Hähnle, Reiner and Schaefer, Ina
Margaria, Tiziana and 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
[Conference or Workshop Item] , (2012)

Helvensteijn, Michiel and Muschevici, Radu and Wong, Peter Y. H.
Eisenecker, Ulrich W. and Apel, Sven and 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
[Conference or Workshop Item] , (2012)

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

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
[Conference or Workshop Item] , (2011)

Hähnle, Reiner and Baum, Marcus and Bubel, Richard and Rothe, Marcel
Pecheur, Charles and Andrews, Jamie and 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, September 20-24, 2010, Antwerp, Belgium. ACM
[Conference or Workshop Item] , (2010)

Hähnle, Reiner
Margaria, Tiziana and 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
[Conference or Workshop Item] , (2010)

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

Task Forces in the EternalS Coordination Action.
In: LNCS , 6416 . Springer-Verlag
[Conference or Workshop Item] , (2010)

Hähnle, Reiner and Pan, Jing and Rümmer, Philipp and 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.
[Article] , (2008)

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

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

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

Hähnle, Reiner
Beckert, Bernhard and Hähnle, Reiner and 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.
[Book Section] , (2007)

Hähnle, Reiner and Pan, Jing and Rümmer, Philipp and Walter, Dennis
Montanari, Ugo and Sannella, Donald and 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
[Conference or Workshop Item] , (2006)

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

Normal Forms for Knowledge Compilation.
In: LNCS (3488). Springer-Verlag
[Conference or Workshop Item] , (2005)

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

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

Verification of Safety Properties in the Presence of Transactions.
In: LNCS , 3362 . Springer-Verlag
[Conference or Workshop Item] , (2005)

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

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

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

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

Using a software testing technique to improve theorem proving.
In: LNCS . Springer-Verlag
[Conference or Workshop Item] , (2003)

Hähnle, Reiner
Fitting, Melvin and 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
[Book Section] , (2003)

Hähnle, Reiner and Johannisson, Kristofer and Ranta, Aarne
Kutsche, Ralf-Detlef and 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
[Conference or Workshop Item] , (2002)

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

Hähnle, Reiner and Murray, Neil and Rosenthal, Erik
Fermüller, Christian and 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
[Conference or Workshop Item] , (2002)

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

Ordered Resolution vs. Connection Graph Resolution.
In: LNCS , 2083 . Springer-Verlag
[Conference or Workshop Item] , (2001)

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

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

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

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

Hähnle, Reiner
Reusch, Bernd and 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
[Book Section] , (2001)

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

Connecting OCL with the Rest of the World.
WTUML: Workshop on Transformations in UML at ETAPS, Genova, Italy
[Conference or Workshop Item] , (2001)

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

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

Model Generation Theorem Proving with Finite Interval Constraints.
In: LNCS , 1861 . Springer-Verlag
[Conference or Workshop Item] , (2000)

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

[Report] , (2000)

Hähnle, Reiner and Menzel, Wolfram and Schmitt, Peter H. and 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)
[Article] , (1999)

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

Tableaux for Many-Valued Logics.
In: Handbook of Tableau Methods. Kluwer, Dordrecht , 529--580.
[Book Section] , (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.
[Book Section] , (1999)

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

Proof Confluent Tabelau Calculi (Tutorial).
In: LNCS (1617). Springer-Verlag
[Conference or Workshop Item] , (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.
[Article] , (1998)

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

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

Hähnle, Reiner and Menzel, Wolfram and Schmitt, Peter :
Integrierter Deduktiver Software-Entwurf.
In: Künstliche Intelligenz p. 40.
[Article] , (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.
[Article] , (1997)

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

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

Hähnle, Reiner and Murray, Neil and 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
[Conference or Workshop Item] , (1997)

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

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

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

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

Hähnle, Reiner and 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.
[Article] , (1996)

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

[Report] , (1996)

Hähnle, Reiner and Murray, Neil and Rosenthal, Erik
Miglioli, Pierangelo and Moscato, Ugo and Mundici, Daniele and 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
[Conference or Workshop Item] , (1996)

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

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

[Other] , (1996)

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

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

Hähnle, Reiner and Hasegawa, Ryuzo and 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.
[Book Section] , (1995)

Hähnle, Reiner and 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.
[Article] , (1994)

Hähnle, Reiner :
Many-Valued Logic and Mixed Integer Programming.
In: Annals of Mathematics and Artificial Intelligence, 12 (3,4) 231--264.
[Article] , (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
[Book] , (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
[Conference or Workshop Item] , (1994)

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

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

Improving Temporal Logic Tableaux Using Integer Constraints.
In: LNCS , 827 . Springer-Verlag
[Conference or Workshop Item] , (1994)

Hähnle, Reiner and 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
[Conference or Workshop Item] , (1994)

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

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

[Report] , (1994)

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

Short CNF in Finitely-Valued Logics.
In: LNCS , 689 . Springer-Verlag
[Conference or Workshop Item] , (1993)

Hähnle, Reiner and Kernig, Werner
Kropf, Th. and Kumar, R. and 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
[Conference or Workshop Item] , (1993)

Hähnle, Reiner
Jackson, Peter and 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
[Conference or Workshop Item] , (1993)

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

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

Hähnle, Reiner
Fronhöfer, Bertram and Hähnle, Reiner and 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.
[Conference or Workshop Item] , (1992)

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

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

A New Translation from Deduction into Integer Programming.
In: LNCS , 737 . Springer-Verlag
[Conference or Workshop Item] , (1992)

Hähnle, Reiner
Fronhöfer, Bertram and Hähnle, Reiner and 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
[Conference or Workshop Item] , (1992)

Hähnle, Reiner
Börger, Egon and Kleine Büning, Hans and Richter, Michael and 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.
[Book Section] , (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
[Conference or Workshop Item] , (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
[Master Thesis] , (1987)

Hähnle, Reiner and Heisel, Maritta and Reif, Wolfgang and 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
[Conference or Workshop Item] , (1986)

J

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

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.
[Book Section] , (2016)

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

[Report] , (2014)

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

[Report] , (2014)

Ji, Ran and Hähnle, Reiner and Bubel, Richard
Hierons, Robert M. and Merayo, Mercedes G. and 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
[Conference or Workshop Item] , (2013)

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

[Report] , (2013)

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

Program Transformation Based on Symbolic Execution and Deduction.
In: Lecture Notes in Computer Science , 8137 . Springer
[Conference or Workshop Item] , (2013)

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

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

Ji, Ran:
Towards a Deductive Compilation Approach.

[Book] , (2012)

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

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
[Conference or Workshop Item] , (2010)

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

K

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

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

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

Kamburjan, Eduard and Hähnle, Reiner
Fantechi, Alessandro and Lecomte, Thierry and 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
[Conference or Workshop Item] , (2017)

Kamburjan, Eduard and Hähnle, Reiner
Artho, Cyrille and Ö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 .
[Conference or Workshop Item] , (2016)

Kamburjan, Eduard and Din, Crystal Chang and Chen, Tzu-Chun
Ogata, Kazuhiro and Lawford, Mark and 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 .
[Conference or Workshop Item] , (2016)

Kamburjan, Eduard :
Session Types for ABS.

[Report] , (2016)

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

Semantic Tableaux with Ordering Restrictions.
In: LNCS , 814 . Springer-Verlag
[Conference or Workshop Item] , (1994)

L

Langer, Lucie and Volkamer, Melanie and Weber, Stefan and Schmidt, Axel and Buchmann, Johannes
Davies, Jim and 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
[Conference or Workshop Item] , (2009)

Larsson, Daniel and 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
[Conference or Workshop Item] , (2007)

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

[Report] , (2006)

M

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

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
[Conference or Workshop Item] , (2017)

Muschevici, Radu and Proenca, Jose and 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.
[Article] , (2016)

Muschevici, Radu and Clarke, Dave and Proenca, Jose
Classen, Andreas and 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
[Conference or Workshop Item] , (2013)

Muschevici, Radu and Proenca, Jose and Clarke, Dave
Barthe, Gilles and Pardo, Alberto and 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
[Conference or Workshop Item] , (2011)

Muschevici, Radu and Clarke, Dave and Proenca, Jose
Botterweck, Goetz and Jarzabek, Stan and Kishi, Tomoji and Lee, Jaejoon and 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
[Conference or Workshop Item] , (2010)

Maingaud, Séverine and Balat, Vincent and Bubel, Richard and Hähnle, Reiner and Miquel, Alexandre
Beckert, Bernhard and 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
[Conference or Workshop Item] , (2010)

Muschevici, Radu and Potanin, Alex and Tempero, Ewan D. and 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
[Conference or Workshop Item] , (2008)

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

KeY-C: A Tool for Verification of C Programs.
In: LNCS , 4603 . Springer-Verlag
[Conference or Workshop Item] , (2007)

Mürk, Oleg and Larsson, Daniel and 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
[Conference or Workshop Item] , (2007)

N

Naily, Moh. Afifun and Setyautami, Maya Retno Ayu and Muschevici, Radu and Azurat, Ade
Cerone, Antonio and 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
[Conference or Workshop Item] , (2017)

O

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

P

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

Restart Tableaux with Selection Function.
In: LNCS , 1289 . Springer-Verlag
[Conference or Workshop Item] , (1997)

R

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

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

[Report] , (1995)

Ries, Klaus and 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)
[Conference or Workshop Item] , (1993)

S

Steinhöfel, Dominic and Hähnle, Reiner
Margaria, Tiziana and Steffen, Bernhard (eds.) :

Modular, Correct Compilation with Automatic Soundness Proofs.
[Online-Edition: https://doi.org/10.1007/978-3-030-03418-4_25]
In: Leveraging Applications of Formal Methods, Verification and Validation. Modeling. Lecture Notes in Computer Science, 11244. Springer International Publishing, Cham , pp. 424-447. ISBN 978-3-030-03417-7 ISSN 0302-9743
[Book Section] , (2018)

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

Assessing the Coverage of Formal Specifications (Extended Abstract).
[Online-Edition: https://www.duo.uio.no/bitstream/handle/10852/57814/uioRepor...]
In: Proceedings of the PhD Symposium at iFM’17 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’17). University of Oslo , pp. 38-40. ISBN 978-82-7368-435-6
[Book Section] , (2017)

Steinhöfel, Dominic and Wasser, Nathan
Polikarpova, Nadia and 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
[Conference or Workshop Item] , (2017)

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

[Report] , (2017)

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

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

[Report] , (2016)

Steinhöfel, Dominic and Hähnle, Reiner and Bubel, Richard
Ogata, Kazuhiro and Lawford, Mark and 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: Lecture Notes in Computer Science , 10009 . Springer International Publishing
[Conference or Workshop Item] , (2016)

Scheurer, Dominic and Hähnle, Reiner and Bubel, Richard
Ogata, Kazuhiro and Lawford, Mark and 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 .
[Conference or Workshop Item] , (2016)

Setyautami, Maya R. A. and Hähnle, Reiner and Muschevici, Radu and 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
[Conference or Workshop Item] , (2016)

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

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.
[Book Section] , (2016)

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

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

Seifert, Christian and Endicott-Popovsky, Barbara and Frincke, Deborah A. and Komisarczuk, Peter and Muschevici, Radu and Welch, Ian
Ray, Indrajit and 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
[Conference or Workshop Item] , (2008)

T

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

ter Beek, Maurice H. and Hähnle, Reiner and Schaefer, Ina
Margaria, Tiziana and 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 .
[Conference or Workshop Item] , (2016)

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

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

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

W

Wasser, Nathan and Steinhöfel, Dominic :
Technical Report: Using Loop Scopes with for-Loops.
[Online-Edition: https://arxiv.org/abs/1901.06839]

[Report] , (2019)

Walther, Christoph and 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.
[Article] , (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
[Ph.D. Thesis], (2016)

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

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.
[Book Section] , (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
[Ph.D. Thesis]

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

[Report] , (2015)

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

Wasser, Nathan
Li, Xuandong and Liu, Zhiming and 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
[Conference or Workshop Item] , (2015)

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

[Report] , (2014)

Wong, Peter Y. H. and Albert, Elvira and Muschevici, Radu and Proenca, Jose and Schäfer, Jan and 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.
[Article] , (2012)

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

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

Z

Zweigel, René and Gehrt, Jan-Jöran and Abel, Dirk and Reinhart, Peter and Wanstrath, Sven and Üyümez, Bilal and Schön, Sebastian and Kamburjan, Eduard and Hähnle, Reiner
Oetting, Andreas and Düpmeier, Frederik (eds.) :

Scientific Railway Signalling Symposium 2018 - Digital neue Wege fahren.
[Online-Edition: https://tuprints.ulb.tu-darmstadt.de/8327]
In: Scientific Railway Signalling Symposium, 13.06.2018, Darmstadt.
[Conference or Workshop Item] , (2018)

This list was generated on Sun May 19 01:58:04 2019 CEST.