Richard Bubel

According to our database, Richard Bubel authored at least 64 papers between 2003 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

SmartML: Towards a Modeling Language for Smart Contracts.

Adele Veschetti, Richard Bubel, Reiner Hähnle

CoRR, 2024

2023

Trace-based Deductive Verification.

Richard Bubel, Dilian Gurov, Reiner Hähnle, Marco Scaletta

Proceedings of the LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, 2023

2022

Towards Trace-based Deductive Verification (Tech Report).

Richard Bubel, Dilian Gurov, Reiner Hähnle, Marco Scaletta

CoRR, 2022

Towards a Usable and Sustainable Deductive Verification Tool.

Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022

Automatic Loop Invariant Generation for Data Dependence Analysis.

Asmae Heydari Tabar, Richard Bubel, Reiner Hähnle

Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2022

Finding Semantic Bugs Fast.

Lukas Grätz, Reiner Hähnle, Richard Bubel

Proceedings of the Fundamental Approaches to Software Engineering, 2022

2021

Delta-based verification of software product families.

Marco Scaletta, Reiner Hähnle, Dominic Steinhöfel, Richard Bubel

Proceedings of the GPCE '21: Concepts and Experiences, Chicago, IL, USA, October 17, 2021

2020

Formal Analysis of Smart Contracts: Applying the KeY System.

Jonas Schiffl, Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel

Proceedings of the Deductive Software Verification: Future Perspectives, 2020

Using Abstract Contracts for Verifying Evolving Features and Their Interactions.

Alexander Knüppel, Stefan Krüger, Thomas Thüm, Richard Bubel, Sebastian Krieter, Eric Bodden, Ina Schaefer

Proceedings of the Deductive Software Verification: Future Perspectives, 2020

Functional Verification of Smart Contracts via Strong Data Integrity.

Wolfgang Ahrendt, Richard Bubel

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

2019

The Symbolic Execution Debugger (SED): a platform for interactive symbolic execution, debugging, verification and more.

Martin Hentschel, Richard Bubel, Reiner Hähnle

Int. J. Softw. Tools Technol. Transf., 2019

Verifying OpenJDK's Sort Method for Generic Collections.

Stijn de Gouw, Frank S. de Boer, Richard Bubel, Reiner Hähnle, Jurriaan Rot, Dominic Steinhöfel

J. Autom. Reason., 2019

A Program Logic for Dependence Analysis.

Richard Bubel, Reiner Hähnle, Asmae Heydari Tabar

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

Verification of Smart Contract Business Logic - Exploiting a Java Source Code Verifier.

Wolfgang Ahrendt, Richard Bubel, Joshua Ellul, Gordon J. Pace, Raúl Pardo, Vincent Rebiscoul, Gerardo Schneider

Proceedings of the Fundamentals of Software Engineering - 8th International Conference, 2019

2017

Automatic detection and demonstrator generation for information flow leaks in object-oriented programs.

Quoc Huy Do, Richard Bubel, Reiner Hähnle

Comput. Secur., 2017

Inferring Secrets by Guided Experiments.

Quoc Huy Do, Richard Bubel, Reiner Hähnle

Proceedings of the Theoretical Aspects of Computing - ICTAC 2017, 2017

2016

Abstract Interpretation.

Nathan Wasser, Reiner Hähnle, Richard Bubel

Proceedings of the Deductive Software Verification - The KeY Book, 2016

Theories.

Peter H. Schmitt, Richard Bubel

Proceedings of the Deductive Software Verification - The KeY Book, 2016

Program Transformation and Compilation.

Ran Ji, Richard Bubel

Proceedings of the Deductive Software Verification - The KeY Book, 2016

Modular Specification and Verification.

Daniel Grahl, Richard Bubel, Wojciech Mostowski, Peter H. Schmitt, Mattias Ulbrich, Benjamin Weiß

Proceedings of the Deductive Software Verification - The KeY Book, 2016

KeY-Hoare.

Richard Bubel, Reiner Hähnle

Proceedings of the Deductive Software Verification - The KeY Book, 2016

Debugging and Visualization.

Martin Hentschel, Reiner Hähnle, Richard Bubel

Proceedings of the Deductive Software Verification - The KeY Book, 2016

Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic.

Stijn de Gouw, Frank S. de Boer, Wolfgang Ahrendt, Richard Bubel

Softw. Syst. Model., 2016

A formal verification framework for static analysis - As well as its instantiation to the resource analyzer COSTA and formal verification tool KeY.

Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Germán Puebla, Guillermo Román-Díez

Softw. Syst. Model., 2016

Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct.

Richard Bubel, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Olaf Owe, Ina Schaefer, Ingrid Chieh Yu

LNCS Trans. Found. Mastering Chang., 2016

The interactive verification debugger: effective understanding of interactive proof attempts.

Martin Hentschel, Reiner Hähnle, Richard Bubel

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

An empirical evaluation of two user interfaces of an interactive program verifier.

Martin Hentschel, Reiner Hähnle, Richard Bubel

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Can Formal Methods Improve the Efficiency of Code Reviews?

Martin Hentschel, Reiner Hähnle, Richard Bubel

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

A General Lattice Model for Merging Symbolic Execution Branches.

Dominic Scheurer, Reiner Hähnle, Richard Bubel

Proceedings of the Formal Methods and Software Engineering, 2016

Array Abstraction with Symbolic Pivots.

Reiner Hähnle, Nathan Wasser, Richard Bubel

Proceedings of the Theory and Practice of Formal Methods, 2016

2015

Testing abstract behavioral specifications.

Peter Y. H. Wong, Richard Bubel, Frank S. de Boer, Miguel Gómez-Zamalloa, Stijn de Gouw, Reiner Hähnle, Karl Meinke, Muddassar Azam Sindhu

Int. J. Softw. Tools Technol. Transf., 2015

Dependency-Based Information Flow Analysis with Declassification in a Program Logic.

Bart van Delft, Richard Bubel

CoRR, 2015

A Dynamic Logic with Traces and Coinduction.

Richard Bubel, Crystal Chang Din, Reiner Hähnle, Keiko Nakata

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2015

Exploit Generation for Information Flow Leaks in Object-Oriented Programs.

Quoc Huy Do, Richard Bubel, Reiner Hähnle

Proceedings of the ICT Systems Security and Privacy Protection, 2015

OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case.

Stijn de Gouw, Jurriaan Rot, Frank S. de Boer, Richard Bubel, Reiner Hähnle

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS.

Crystal Chang Din, Richard Bubel, Reiner Hähnle

Proceedings of the Automated Deduction - CADE-25, 2015

2014

The KeY Platform for Verification and Analysis of Java Programs.

Wolfgang Ahrendt, Bernhard Beckert, Daniel Bruns, Richard Bubel, Christoph Gladisch, Sarah Grebing, Reiner Hähnle, Martin Hentschel, Mihai Herda, Vladimir Klebanov, Wojciech Mostowski, Christoph Scheben, Peter H. Schmitt, Mattias Ulbrich

Proceedings of the Verified Software: Theories, Tools and Experiments, 2014

Visualizing Unbounded Symbolic Execution.

Martin Hentschel, Reiner Hähnle, Richard Bubel

Proceedings of the Tests and Proofs - 8th International Conference, 2014

Analysis of Executable Software Models.

Richard Bubel, Antonio Flores-Montoya, Reiner Hähnle

Proceedings of the Formal Methods for Executable Software Models, 2014

Symbolic Execution Debugger (SED).

Martin Hentschel, Richard Bubel, Reiner Hähnle

Proceedings of the Runtime Verification - 5th International Conference, 2014

Runtime Assertion Checking and Theorem Proving for Concurrent and Distributed Systems.

Crystal Chang Din, Olaf Owe, Richard Bubel

Proceedings of the MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7, 2014

Fully Abstract Operation Contracts.

Richard Bubel, Reiner Hähnle, Maria Pelevina

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

An Interactive Verification Tool Meets an IDE.

Martin Hentschel, Stefan Käsdorf, Reiner Hähnle, Richard Bubel

Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

2013

Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks.

Stijn de Gouw, Frank S. de Boer, Wolfgang Ahrendt, Richard Bubel

Proceedings of the SOFSEM 2013: Theory and Practice of Computer Science, 2013

Program Transformation Based on Symbolic Execution and Deduction.

Ran Ji, Reiner Hähnle, Richard Bubel

Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013

Reuse in Software Verification by Abstract Method Calls.

Reiner Hähnle, Ina Schaefer, Richard Bubel

Proceedings of the Automated Deduction - CADE-24, 2013

2012

PE-KeY: A Partial Evaluator for Java Programs.

Ran Ji, Richard Bubel

Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

Verified Resource Guarantees for Heap Manipulating Programs.

Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Guillermo Román-Díez

Proceedings of the Fundamental Approaches to Software Engineering, 2012

2011

A Formalisation of Java Strings for Program Specification and Verification.

Richard Bubel, Reiner Hähnle, Ulrich Geilmann

Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

Verified resource guarantees using COSTA and KeY.

Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Germán Puebla, Guillermo Román-Díez

Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2011

2010

A visual interactive debugger based on symbolic execution.

Reiner Hähnle, Marcus Baum, Richard Bubel, Marcel Rothe

Proceedings of the ASE 2010, 2010

Specifying Imperative ML-Like Programs Using Dynamic Logic.

Séverine Maingaud, Vincent Balat, Richard Bubel, Reiner Hähnle, Alexandre Miquel

Proceedings of the Formal Verification of Object-Oriented Software, 2010

Program Specialization via a Software Verification Tool.

Richard Bubel, Reiner Hähnle, Ran Ji

Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

2009

Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification.

Wolfgang Ahrendt, Richard Bubel, Reiner Hähnle

Proceedings of the Teaching Formal Methods, Second International Conference, 2009

Interleaving Symbolic Execution and Partial Evaluation.

Richard Bubel, Reiner Hähnle, Ran Ji

Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009

2008

Abstract Interpretation of Symbolic Execution with Explicit State Updates.

Richard Bubel, Reiner Hähnle, Benjamin Weiß

Proceedings of the Formal Methods for Components and Objects, 7th International Symposium, 2008

Specification Predicates with Explicit Dependency Information.

Richard Bubel, Reiner Hähnle, Peter H. Schmitt

Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, 2008

2007

Pattern-Driven Formal Specification.

Richard Bubel, Reiner Hähnle

Proceedings of the Verification of Object-Oriented Software. The KeY Approach, 2007

The Schorr-Waite-Algorithm.

Richard Bubel

Proceedings of the Verification of Object-Oriented Software. The KeY Approach, 2007

Formal verification of recursive predicates.

Richard Bubel

PhD thesis, 2007

2005

Integration of informal and formal development of object-oriented safety-critical software.

Richard Bubel, Reiner Hähnle

Int. J. Softw. Tools Technol. Transf., 2005

The KeY tool.

Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager, Peter H. Schmitt

Softw. Syst. Model., 2005

2004

Ensuring the Correctness of Lightweight Tactics for JavaCard Dynamic Logic.

Richard Bubel, Andreas Roth, Philipp Rümmer

Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages, 2004

2003

Integration of Informal and Formal Development of Object-Oriented Safety-Critical Software: A Case Study with the KeY System.

Richard Bubel, Reiner Hähnle

Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems, 2003