| 2025 | ENASE | The Impact of the European Product Liability Directive on Software Engineering. | Doriana Cobrzan, Richard Bubel, Torsten Ullrich |
| 2025 | SEFM | Axiomatisation of Solidity Memory and Storage. | Guilherme Horta Alvares Da Silva, Wolfgang Ahrendt, Richard Bubel |
| 2024 | FM | The Java Verification Tool KeY:A Tutorial. | Bernhard Beckert, Richard Bubel, Daniel Drodt, Reiner Hhnle, Florian Lanzinger, Wolfram Pfeifer, Mattias Ulbrich, Alexander Weigl |
| 2024 | SEFM | A Formal Modeling Language for Smart Contracts. | Adele Veschetti, Richard Bubel, Reiner Hhnle |
| 2023 | LPAR | Trace-based Deductive Verification. | Richard Bubel, Dilian Gurov, Reiner Hhnle, Marco Scaletta |
| 2022 | FASE | Finding Semantic Bugs Fast. | Lukas Grtz, Reiner Hhnle, Richard Bubel |
| 2022 | ISoLA | Towards a Usable and Sustainable Deductive Verification Tool. | Bernhard Beckert, Richard Bubel, Reiner Hhnle, Mattias Ulbrich |
| 2021 | GPCE | Delta-based verification of software product families. | Marco Scaletta, Reiner Hhnle, Dominic Steinhfel, Richard Bubel |
| 2020 | ISoLA | Functional Verification of Smart Contracts via Strong Data Integrity. | Wolfgang Ahrendt, Richard Bubel |
| 2019 | IFM | A Program Logic for Dependence Analysis. | Richard Bubel, Reiner Hhnle, Asmae Heydari Tabar |
| 2017 | ICTAC | Inferring Secrets by Guided Experiments. | Quoc Huy Do, Richard Bubel, Reiner Hhnle |
| 2016 | ICFEM | A General Lattice Model for Merging Symbolic Execution Branches. | Dominic Scheurer, Reiner Hhnle, Richard Bubel |
| 2016 | IFM | Can Formal Methods Improve the Efficiency of Code Reviews? | Martin Hentschel, Reiner Hhnle, Richard Bubel |
| 2015 | CADE | KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS. | Crystal Chang Din, Richard Bubel, Reiner Hhnle |
| 2015 | CAV | 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 Hhnle |
| 2015 | SEC | Exploit Generation for Information Flow Leaks in Object-Oriented Programs. | Quoc Huy Do, Richard Bubel, Reiner Hhnle |
| 2015 | TABLEAUX | A Dynamic Logic with Traces and Coinduction. | Richard Bubel, Crystal Chang Din, Reiner Hhnle, Keiko Nakata |
| 2014 | IFM | An Interactive Verification Tool Meets an IDE. | Martin Hentschel, Stefan Ksdorf, Reiner Hhnle, Richard Bubel |
| 2014 | ISoLA | Fully Abstract Operation Contracts. | Richard Bubel, Reiner Hhnle, Maria Pelevina |
| 2014 | MODELSWARD | Runtime Assertion Checking and Theorem Proving for Concurrent and Distributed Systems. | Crystal Chang Din, Olaf Owe, Richard Bubel |
| 2014 | RV | Symbolic Execution Debugger (SED). | Martin Hentschel, Richard Bubel, Reiner Hhnle |
| 2014 | TAP | Visualizing Unbounded Symbolic Execution. | Martin Hentschel, Reiner Hhnle, Richard Bubel |
| 2013 | CADE | Reuse in Software Verification by Abstract Method Calls. | Reiner Hhnle, Ina Schaefer, Richard Bubel |
| 2013 | SEFM | Program Transformation Based on Symbolic Execution and Deduction. | Ran Ji, Reiner Hhnle, Richard Bubel |
| 2013 | SOFSEM | Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks. | Stijn de Gouw, Frank S. de Boer, Wolfgang Ahrendt, Richard Bubel |
| 2012 | FASE | Verified Resource Guarantees for Heap Manipulating Programs. | Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hhnle, Guillermo Romn-Dez |
| 2012 | IFM | PE-KeY: A Partial Evaluator for Java Programs. | Ran Ji, Richard Bubel |
| 2011 | PEPM | Verified resource guarantees using COSTA and KeY. | Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hhnle, Germn Puebla, Guillermo Romn-Dez |
| 2011 | SEFM | A Formalisation of Java Strings for Program Specification and Verification. | Richard Bubel, Reiner Hhnle, Ulrich Geilmann |
| 2008 | CADE | Specification Predicates with Explicit Dependency Information. | Richard Bubel, Reiner Hhnle, Peter H. Schmitt |