Publications

< back to Richard Bubel

Publications

Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Gruppiere nach: Publikationsjahr | Typ des Eintrags | Keine Gruppierung
Springe zu: 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2003
Anzahl der Einträge: 71.

2019

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

Hentschel, Martin ; Bubel, Richard ; Hähnle, Reiner (2019):
The Symbolic Execution Debugger (SED): a platform for interactive symbolic execution, debugging, verification and more.
21, In: STTT, (5), S. 485-513, DOI: 10.1007/s10009-018-0490-9,
[Online-Edition: https://doi.org/10.1007/s10009-018-0490-9],
[Article]

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

Bubel, Richard ; Hähnle, Reiner ; Tabar, Asmae Heydari Ahrendt, Wolfgang ; Tarifa, Silvia Lizeth Tapia (Hrsg.) (2019):
A Program Logic for Dependence Analysis.
In: Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, DOI: 10.1007/978-3-030-34968-4_5,
[Online-Edition: https://doi.org/10.1007/978-3-030-34968-4\_5],
[Konferenzveröffentlichung]

2018

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

2017

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

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

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

2016

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

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

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

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

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

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

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

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

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

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

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

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

Steinhöfel, Dominic ; Hähnle, Reiner ; Bubel, Richard Ogata, Kazuhiro ; Lawford, Mark ; Liu, Shaoying (Hrsg.) (2016):
A General Lattice Model for Merging Symbolic Execution Branches.
In: Lecture Notes in Computer Science, 10009, 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, S. 57-73, DOI: 10.1007/978-3-319-47846-3_5,
[Online-Edition: https://doi.org/10.1007/978-3-319-47846-3\_5],
[Konferenzveröffentlichung]

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

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

Grahl, Daniel ; Bubel, Richard ; Mostowski, Wojciech ; Schmitt, Peter H. ; Ulbrich, Mattias ; Weiß, Benjamin Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (Hrsg.) (2016):
Modular Specification and Verification.
In: Lecture Notes in Computer Science, In: Deductive Software Verification - The KeY Book - From Theory to Practice, Springer, S. 289-351, DOI: 10.1007/978-3-319-49812-6₉,
[Online-Edition: https://doi.org/10.1007/978-3-319-49812-6_9],
[Book section]

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

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

Beckert, Bernhard ; Hähnle, Reiner ; Hentschel, Martin ; Schmitt, Peter H. Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (Hrsg.) (2016):
Formal Verification with KeY: A Tutorial.
In: Lecture Notes in Computer Science, In: Deductive Software Verification - The KeY Book - From Theory to Practice, Springer, S. 541-570, DOI: 10.1007/978-3-319-49812-6₁₆,
[Online-Edition: https://doi.org/10.1007/978-3-319-49812-6_16],
[Book section]

Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (Hrsg.) (2016):
Deductive Software Verification - The KeY Book - From Theory to Practice.
In: Lecture Notes in Computer Science, 10001, Springer, 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]

2015

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

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

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

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

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

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

2014

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

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

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

Ahrendt, Wolfgang ; Beckert, Bernhard ; Bruns, Daniel ; Bubel, Richard ; Gladisch, Christoph ; Grebing, Sarah ; Hähnle, Reiner ; Hentschel, Martin ; Klebanov, Vladimir ; Mostowski, Wojciech ; Scheben, Christoph ; Schmitt, Peter ; Ulbrich, Mattias Giannakopoulou, Dimitra ; Kroening, Daniel (Hrsg.) (2014):
The KeY Platform for Verification and Analysis of Java Programs.
In: LNCS, In: Post-Conference Proceedings VSTTE 2014, Springer, S. 55--71, [Konferenzveröffentlichung]

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

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

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

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

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

2013

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

de Gouw, Stijn ; de Boer, Frank S. ; Ahrendt, Wolfgang ; Bubel, Richard van Emde Boas, Peter ; Groen, Frans C. A. ; Italiano, Giuseppe F. ; Nawrocki, Jerzy R. ; Sack, Harald (Hrsg.) (2013):
Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks.
In: Lecture Notes in Computer Science, 7741, 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, S. 207-219, DOI: 10.1007/978-3-642-35843-2₁₉,
[Online-Edition: https://doi.org/10.1007/978-3-642-35843-2_19],
[Konferenzveröffentlichung]

de Gouw, Stijn ; de Boer, Frank ; Ahrendt, Wolfgang ; Bubel, Richard (2013):
Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks.
In: LNCS, In: SOFSEM 2013, Springer, S. 207-219, DOI: 978-3-642-35843-2_19,
[Konferenzveröffentlichung]

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

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

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

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

2012

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

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

2011

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

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

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

2010

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

Maingaud, Séverine ; Balat, Vincent ; Bubel, Richard ; Hähnle, Reiner ; Miquel, Alexandre Beckert, Bernhard ; Marché, Claude (Hrsg.) (2010):
Specifying Imperative ML-like Programs Using Dynamic Logic.
In: LNCS, 6528, 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, S. 122-137, DOI: 10.1007/978-3-642-18070-5_9,
[Online-Edition: https://doi.org/10.1007/978-3-642-18070-5_9],
[Konferenzveröffentlichung]

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

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

2009

Ahrendt, Wolfgang ; Bubel, Richard ; Hähnle, Reiner Gibbons, J. ; Oliveira, J. N. (Hrsg.) (2009):
Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification.
In: LNCS, 5846, 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, S. 125-143, DOI: 10.1007/978-3-642-04912-5_9,
[Online-Edition: https://doi.org/10.1007/978-3-642-04912-5_9],
[Konferenzveröffentlichung]

2008

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

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

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

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

2007

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

2006

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

2005

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

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

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

2003

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

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

Diese Liste wurde am Wed Dec 11 05:58:58 2019 CET generiert.

go to TU-biblio search on ULB website