TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Jump to: 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2003
Number of items: 68.

2019

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

2018

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

2017

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

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

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

2016

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

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

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.) (2016):
Abstract Interpretation.
In: Deductive Software Verification - The KeY Book - From Theory to Practice, Springer, pp. 167-189, DOI: 10.1007/978-3-319-49812-6₆,
[Online-Edition: https://doi.org/10.1007/978-3-319-49812-6_6],
[Book Section]

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

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

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.) (2016):
Debugging and Visualization.
In: Deductive Software Verification - The KeY Book - From Theory to Practice, Springer, pp. 383-413, DOI: 10.1007/978-3-319-49812-6₁₁,
[Online-Edition: https://doi.org/10.1007/978-3-319-49812-6_11],
[Book Section]

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

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.) (2016):
Formal Verification with KeY: A Tutorial.
In: Deductive Software Verification - The KeY Book - From Theory to Practice, Springer, pp. 541-570, DOI: 10.1007/978-3-319-49812-6₁₆,
[Online-Edition: https://doi.org/10.1007/978-3-319-49812-6_16],
[Book Section]

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

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

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

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.) (2016):
KeY-Hoare.
In: Deductive Software Verification - The KeY Book - From Theory to Practice, Springer, pp. 571-589, DOI: 10.1007/978-3-319-49812-6₁₇,
[Online-Edition: https://doi.org/10.1007/978-3-319-49812-6_17],
[Book Section]

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

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

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

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

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.) (2016):
Theories.
In: Deductive Software Verification - The KeY Book - From Theory to Practice, Springer, pp. 149-166, DOI: 10.1007/978-3-319-49812-6₅,
[Online-Edition: https://doi.org/10.1007/978-3-319-49812-6_5],
[Book Section]

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

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

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

2015

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

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

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

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

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.) (2015):
OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case.
Springer, In: Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I, In: Lecture Notes in Computer Science, 9206, DOI: 10.1007/978-3-319-21690-4₁₆,
[Online-Edition: https://doi.org/10.1007/978-3-319-21690-4_16],
[Conference or Workshop Item]

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 (2015):
Testing abstract behavioral specifications.
In: STTT, pp. 107-119, 17, (1), DOI: 10.1007/s10009-014-0301-x,
[Online-Edition: https://doi.org/10.1007/s10009-014-0301-x],
[Article]

2014

Hentschel, Martin and Bubel, Richard and Hähnle, Reiner
Bonakdarpour, Borzoo and Smolka, Scott (eds.) (2014):
Symbolic Execution Debugger (SED).
In: Proceedings of Runtime Verification 2014, Springer, In: LNCS, [Conference or Workshop Item]

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

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

Hentschel, Martin and Hähnle, Reiner and Bubel, Richard
Seidl, Martina and Tillmann, Nikolai (eds.) (2014):
Visualizing Unbounded Symbolic Execution.
In: Proceedings of Testing and Proofs (TAP) 2014, Springer, In: LNCS, [Conference or Workshop Item]

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.) (2014):
Analysis of Executable Software Models.
In: SFM 2014, Springer, In: LNCS, DOI: 10.1007/978-3-319-07317-0_1,
[Conference or Workshop Item]

Bubel, Richard and Hähnle, Reiner and Pelevina, Maria (2014):
Fully Abstract Operation Contracts.
In: Proceedings 6th International Symposium On Leveraging Applications of Formal Methods, Springer, In: LNCS, [Conference or Workshop Item]

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

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

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

2013

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

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

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

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

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

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.) (2013):
Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks.
Springer, 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, DOI: 10.1007/978-3-642-35843-2₁₉,
[Online-Edition: https://doi.org/10.1007/978-3-642-35843-2_19],
[Conference or Workshop Item]

de Gouw, Stijn and de Boer, Frank and Ahrendt, Wolfgang and Bubel, Richard (2013):
Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks.
In: SOFSEM 2013, Springer, In: LNCS, DOI: 978-3-642-35843-2_19,
[Conference or Workshop Item]

2012

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

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

2011

Bubel, Richard and Hähnle, Reiner and Geilmann, Ulrich
Barthe, Gilles and Schneider, Gerardo and Pardo, Alberto (eds.) (2011):
A Formalisation of Java Strings for Program Specification and Verification.
In: Proc. 9th International Conference on Software Engineering and Formal Methods ({SEFM}), Montevideo, Uruguay, IEEE Computer Society, [Conference or Workshop Item]

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

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

2010

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

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

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

Hähnle, Reiner and Baum, Marcus and Bubel, Richard and Rothe, Marcel
Pecheur, Charles and Andrews, Jamie and Nitto, Elisabetta Di (eds.) (2010):
A Visual Interactive Debugger Based on Symbolic Execution.
ACM, In: ASE 2010, 25th IEEE/ACM International Conference on Automated Software Engineering, Antwerp, Belgium, September 20-24, 2010, Antwerp, Belgium, September 20-24, 2010, DOI: 10.1145/1858996.1859022,
[Online-Edition: http://doi.acm.org/10.1145/1858996.1859022],
[Conference or Workshop Item]

2009

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

2008

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

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

Bubel, Richard and Hähnle, Reiner
Instenes, Zoltán (ed.) (2008):
A Hoare-Style Calculus with Explicit State Updates.
In: Proc. Formal Methods in Computer Science Education (FORMED), Elsevier, In: Electronic Notes in Theoretical Computer Science, [Conference or Workshop Item]

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

2007

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

2006

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

2005

Bubel, Richard and Hähnle, Reiner (2005):
Integration of Informal and Formal Development of Object-Oriented Safety-Critical Software - A Case Study with the KeY System.
In: Software Tools for Technology Transfer, pp. 197--211, 7, (3), [Article]

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

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 (2005):
The KeY tool: integrating object oriented design and formal verification.
In: Software and System Modeling, p. 32, 4, (1), DOI: 0.1007/s10270-004-0058-x,
[Online-Edition: http://www.springerlink.com/index/10.1007/s10270-004-0058-x],
[Article]

2003

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

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

This list was generated on Tue Nov 19 01:45:31 2019 CET.