Richard Bubel

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 22

Top Venues

CoRR

IFM

Int. J. Softw. Tools Technol. Transf.

ASE

Karlsruhe Institute of Technology, Germany (PHD)

Education History

Karlsruhe Institute of Technology, Germany

PHD

Publications

Adele Veschetti, Richard Bubel, Reiner Hähnle
SmartML: Towards a Modeling Language for Smart Contracts. CoRR (2024)
Richard Bubel, Dilian Gurov, Reiner Hähnle, Marco Scaletta
Trace-based Deductive Verification. LPAR (2023)
Richard Bubel, Dilian Gurov, Reiner Hähnle, Marco Scaletta
Towards Trace-based Deductive Verification (Tech Report). CoRR (2022)
Lukas Grätz, Reiner Hähnle, Richard Bubel
Finding Semantic Bugs Fast. FASE (2022)
Asmae Heydari Tabar, Richard Bubel, Reiner Hähnle
Automatic Loop Invariant Generation for Data Dependence Analysis. FormaliSE@ICSE (2022)
Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich
Towards a Usable and Sustainable Deductive Verification Tool. ISoLA (2) (2022)
Marco Scaletta, Reiner Hähnle, Dominic Steinhöfel, Richard Bubel
Delta-based verification of software product families. GPCE (2021)
Wolfgang Ahrendt, Richard Bubel
Functional Verification of Smart Contracts via Strong Data Integrity. ISoLA (3) (2020)
Martin Hentschel, Richard Bubel, Reiner Hähnle
The Symbolic Execution Debugger (SED): a platform for interactive symbolic execution, debugging, verification and more. Int. J. Softw. Tools Technol. Transf. 21 (5) (2019)
Wolfgang Ahrendt, Richard Bubel, Joshua Ellul, Gordon J. Pace, Raúl Pardo, Vincent Rebiscoul, Gerardo Schneider
Verification of Smart Contract Business Logic - Exploiting a Java Source Code Verifier. FSEN (2019)
Richard Bubel, Reiner Hähnle, Asmae Heydari Tabar
A Program Logic for Dependence Analysis. IFM (2019)
Stijn de Gouw, Frank S. de Boer, Richard Bubel, Reiner Hähnle, Jurriaan Rot, Dominic Steinhöfel
Verifying OpenJDK's Sort Method for Generic Collections. J. Autom. Reason. 62 (1) (2019)
Quoc Huy Do, Richard Bubel, Reiner Hähnle
Automatic detection and demonstrator generation for information flow leaks in object-oriented programs. Comput. Secur. 67 (2017)
Quoc Huy Do, Richard Bubel, Reiner Hähnle
Inferring Secrets by Guided Experiments. ICTAC (2017)
Martin Hentschel, Reiner Hähnle, Richard Bubel
An empirical evaluation of two user interfaces of an interactive program verifier. ASE (2016)
Martin Hentschel, Reiner Hähnle, Richard Bubel
Can Formal Methods Improve the Efficiency of Code Reviews? IFM (2016)
Martin Hentschel, Reiner Hähnle, Richard Bubel
The interactive verification debugger: effective understanding of interactive proof attempts. ASE (2016)
Stijn de Gouw, Frank S. de Boer, Wolfgang Ahrendt, Richard Bubel
Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic. Softw. Syst. Model. 15 (4) (2016)
Reiner Hähnle, Nathan Wasser, Richard Bubel
Array Abstraction with Symbolic Pivots. Theory and Practice of Formal Methods (2016)
Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Germán Puebla, Guillermo Román-Díez
A formal verification framework for static analysis - As well as its instantiation to the resource analyzer COSTA and formal verification tool KeY. Softw. Syst. Model. 15 (4) (2016)
Dominic Scheurer, Reiner Hähnle, Richard Bubel
A General Lattice Model for Merging Symbolic Execution Branches. ICFEM (2016)
Richard Bubel, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Olaf Owe, Ina Schaefer, Ingrid Chieh Yu
Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct. LNCS Trans. Found. Mastering Chang. 1 (2016)
Richard Bubel, Crystal Chang Din, Reiner Hähnle, Keiko Nakata
A Dynamic Logic with Traces and Coinduction. TABLEAUX (2015)
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
Testing abstract behavioral specifications. Int. J. Softw. Tools Technol. Transf. 17 (1) (2015)
Stijn de Gouw, Jurriaan Rot, Frank S. de Boer, Richard Bubel, Reiner Hähnle
OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case. CAV (1) (2015)
Crystal Chang Din, Richard Bubel, Reiner Hähnle
KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS. CADE (2015)
Bart van Delft, Richard Bubel
Dependency-Based Information Flow Analysis with Declassification in a Program Logic. CoRR (2015)
Quoc Huy Do, Richard Bubel, Reiner Hähnle
Exploit Generation for Information Flow Leaks in Object-Oriented Programs. SEC (2015)
Martin Hentschel, Reiner Hähnle, Richard Bubel
Visualizing Unbounded Symbolic Execution. TAP@STAF (2014)
Richard Bubel, Antonio Flores-Montoya, Reiner Hähnle
Analysis of Executable Software Models. SFM (2014)
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
The KeY Platform for Verification and Analysis of Java Programs. VSTTE (2014)
Martin Hentschel, Stefan Käsdorf, Reiner Hähnle, Richard Bubel
An Interactive Verification Tool Meets an IDE. IFM (2014)
Richard Bubel, Reiner Hähnle, Maria Pelevina
Fully Abstract Operation Contracts. ISoLA (2) (2014)
Martin Hentschel, Richard Bubel, Reiner Hähnle
Symbolic Execution Debugger (SED). RV (2014)
Crystal Chang Din, Olaf Owe, Richard Bubel
Runtime Assertion Checking and Theorem Proving for Concurrent and Distributed Systems. MODELSWARD (2014)
Ran Ji, Reiner Hähnle, Richard Bubel
Program Transformation Based on Symbolic Execution and Deduction. SEFM (2013)
Stijn de Gouw, Frank S. de Boer, Wolfgang Ahrendt, Richard Bubel
Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks. SOFSEM (2013)
Reiner Hähnle, Ina Schaefer, Richard Bubel
Reuse in Software Verification by Abstract Method Calls. CADE (2013)
Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Guillermo Román-Díez
Verified Resource Guarantees for Heap Manipulating Programs. FASE (2012)
Ran Ji, Richard Bubel
PE-KeY: A Partial Evaluator for Java Programs. IFM (2012)
Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Germán Puebla, Guillermo Román-Díez
Verified resource guarantees using COSTA and KeY. PEPM (2011)
Richard Bubel, Reiner Hähnle, Ulrich Geilmann
A Formalisation of Java Strings for Program Specification and Verification. SEFM (2011)
Richard Bubel, Reiner Hähnle, Ran Ji
Program Specialization via a Software Verification Tool. FMCO (2010)
Reiner Hähnle, Marcus Baum, Richard Bubel, Marcel Rothe
A visual interactive debugger based on symbolic execution. ASE (2010)
Séverine Maingaud, Vincent Balat, Richard Bubel, Reiner Hähnle, Alexandre Miquel
Specifying Imperative ML-Like Programs Using Dynamic Logic. FoVeOOS (2010)
Richard Bubel, Reiner Hähnle, Ran Ji
Interleaving Symbolic Execution and Partial Evaluation. FMCO (2009)
Wolfgang Ahrendt, Richard Bubel, Reiner Hähnle
Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification. TFM (2009)
Richard Bubel, Reiner Hähnle, Benjamin Weiß
Abstract Interpretation of Symbolic Execution with Explicit State Updates. FMCO (2008)
Richard Bubel, Reiner Hähnle, Peter H. Schmitt
Specification Predicates with Explicit Dependency Information. VERIFY (2008)
Richard Bubel, Andreas Roth, Philipp Rümmer
Ensuring the Correctness of Lightweight Tactics for JavaCard Dynamic Logic. Electron. Notes Theor. Comput. Sci. 199 (2008)
Richard Bubel, Reiner Hähnle
Integration of informal and formal development of object-oriented safety-critical software. Int. J. Softw. Tools Technol. Transf. 7 (3) (2005)
Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager, Peter H. Schmitt
The KeY tool. Softw. Syst. Model. 4 (1) (2005)
Richard Bubel, Reiner Hähnle
Integration of Informal and Formal Development of Object-Oriented Safety-Critical Software: A Case Study with the KeY System. Electron. Notes Theor. Comput. Sci. 80 (2003)

Richard Bubel.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Richard Bubel