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: 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2003
Anzahl der Einträge: 67.

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.
In: Computers & Security, S. 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 ; Bubel, Richard ; Hähnle, Reiner
Hung, Dang Van ; Kapur, Deepak (Hrsg.) (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],
[Konferenzveröffentlichung]

2016

Hentschel, Martin ; Hähnle, Reiner ; 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,
[Konferenzveröffentlichung]

Hentschel, Martin ; Hähnle, Reiner ; 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,
[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.
In: Trans. Found. Mastering Chang., S. 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]

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: 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],
[Konferenzveröffentlichung]

Hentschel, Martin ; Hähnle, Reiner ; Bubel, Richard
Abraham, Erika ; Huisman, Marieke (Hrsg.) (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],
[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.
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],
[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.
In: Software and System Modeling, S. 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 ; 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, 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, 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: 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: 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: 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: 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],
[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.
In: Software and System Modeling, S. 1117-1140, 15, (4), 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: 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: 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: 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: 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: 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.
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]

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

Bubel, Richard ; Din, Crystal Chang ; Hähnle, Reiner ; Nakata, Keiko
de Nivelle, Hans (Hrsg.) (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],
[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.
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],
[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.
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],
[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.
In: STTT, S. 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 ; Bubel, Richard ; Hähnle, Reiner
Bonakdarpour, Borzoo ; Smolka, Scott (Hrsg.) (2014):
Symbolic Execution Debugger (SED).
In: Proceedings of Runtime Verification 2014, Springer, In: LNCS, [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: Proceedings of the 11th International Conference on Integrated Formal Methods, Springer, In: LNCS, [Konferenzveröffentlichung]

Hentschel, Martin ; Hähnle, Reiner ; Bubel, Richard
Seidl, Martina ; Tillmann, Nikolai (Hrsg.) (2014):
Visualizing Unbounded Symbolic Execution.
In: Proceedings of Testing and Proofs (TAP) 2014, Springer, In: LNCS, [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: Post-Conference Proceedings VSTTE 2014, Springer, In: LNCS, [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.
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],
[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: Proceedings 6th International Symposium On Leveraging Applications of Formal Methods, Springer, In: LNCS, [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: SFM 2014, Springer, In: LNCS, 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.
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],
[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.
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],
[Konferenzveröffentlichung]

de Gouw, Stijn ; de Boer, Frank ; Ahrendt, Wolfgang ; 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,
[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.
In: Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, 8137, [Konferenzveröffentlichung]

Hähnle, Reiner ; Schaefer, Ina ; Bubel, Richard
Bonacina, Maria Paola (Hrsg.) (2013):
Reuse in Software Verification by Abstract Method Calls.
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: 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,
[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: 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,
[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: 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,
[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: Post Conf. Proc. 9th International Symposium on Formal Methods for Components and Objects (FMCO), Springer-Verlag, In: LNCS, [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, 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: 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],
[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: Post Conf. Proc. 8th International Symposium on Formal Methods for Components and Objects (FMCO), Springer-Verlag, In: LNCS, 6286, [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: 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],
[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.
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],
[Konferenzveröffentlichung]

Bubel, Richard ; Roth, Andreas ; Rümmer, Philipp (2008):
Ensuring the Correctness of Lightweight Tactics for JavaCard Dynamic Logic.
In: Electr. Notes Theor. Comput. Sci., S. 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 ; Hähnle, Reiner
Instenes, Zoltán (Hrsg.) (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, [Konferenzveröffentlichung]

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

2007

Bubel, Richard
Beckert, Bernhard ; Hähnle, Reiner ; Schmitt, Peter (Hrsg.) (2007):
The Schorr-Waite Algorithm.
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: 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.
In: STTT, S. 197-211, 7, (3), 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.
In: Software Tools for Technology Transfer, S. 197--211, 7, (3), [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.
In: Software and System Modeling, S. 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 ; 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., S. 1-23, 80, 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: Proc. Eighth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 03), Elsevier, In: Electronic Notes in Theoretical Computer Science, 80, [Konferenzveröffentlichung]

Diese Liste wurde am Mon Sep 23 04:56:50 2019 CEST generiert.

go to TU-biblio search on ULB website