Richard Bubel - RankMe

73 papers A* 3A 2B 16C 6Misc 1Journal 12Unranked 19

Year	Rank	Type	Title / Venue / Authors
2025	B	`conf`	Axiomatisation of Solidity Memory and Storage. SEFM Guilherme Horta Alvares Da Silva, Wolfgang Ahrendt, Richard Bubel
2025	B	`conf`	The Impact of the European Product Liability Directive on Software Engineering. ENASE Doriana Cobârzan, Richard Bubel, Torsten Ullrich
2025	—	`conf`	The Many Uses of Dynamic Logic. Go Where the Bugs Are Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich
2024	B	`conf`	A Formal Modeling Language for Smart Contracts. SEFM Adele Veschetti, Richard Bubel, Reiner Hähnle
2024	C	`conf`	SmartML: Enhancing Security and Reliability in Smart Contract Development. DLT Adele Veschetti, Richard Bubel, Reiner Hähnle
2024	J	`jnl`	SmartML: Towards a Modeling Language for Smart Contracts. CoRR Adele Veschetti, Richard Bubel, Reiner Hähnle
2024	—	`conf`	The Java Verification Tool KeY:A Tutorial. FM (2) Bernhard Beckert, Richard Bubel, Daniel Drodt, Reiner Hähnle, Florian Lanzinger, Wolfram Pfeifer, Mattias Ulbrich, Alexander Weigl
2023	B	`conf`	Trace-based Deductive Verification. LPAR Richard Bubel, Dilian Gurov, Reiner Hähnle, Marco Scaletta
2022	—	`conf`	Automatic Loop Invariant Generation for Data Dependence Analysis. FormaliSE@ICSE Asmae Heydari Tabar, Richard Bubel, Reiner Hähnle
2022	B	`conf`	Finding Semantic Bugs Fast. FASE Lukas Grätz, Reiner Hähnle, Richard Bubel
2022	—	`ed.`	The Logic of Software. A Tasting Menu of Formal Methods - Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday The Logic of Software. A Tasting Menu of Formal Methods Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen
2022	J	`jnl`	Towards Trace-based Deductive Verification (Tech Report). CoRR Richard Bubel, Dilian Gurov, Reiner Hähnle, Marco Scaletta
2022	—	`conf`	Towards a Usable and Sustainable Deductive Verification Tool. ISoLA (2) Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich
2021	B	`conf`	Delta-based verification of software product families. GPCE Marco Scaletta, Reiner Hähnle, Dominic Steinhöfel, Richard Bubel
2020	—	`book`	Deductive Software Verification: Future Perspectives - Reflections on the Occasion of 20 Years of KeY 20 Years of KeY Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich
2020	—	`ch.`	Formal Analysis of Smart Contracts: Applying the KeY System. 20 Years of KeY Jonas Schiffl, Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel
2020	—	`conf`	Functional Verification of Smart Contracts via Strong Data Integrity. ISoLA (3) Wolfgang Ahrendt, Richard Bubel
2020	—	`ch.`	Using Abstract Contracts for Verifying Evolving Features and Their Interactions. 20 Years of KeY Alexander Knüppel, Stefan Krüger, Thomas Thüm, Richard Bubel, Sebastian Krieter, Eric Bodden, Ina Schaefer
2019	B	`conf`	A Program Logic for Dependence Analysis. IFM Richard Bubel, Reiner Hähnle, Asmae Heydari Tabar
2019	J	`jnl`	The Symbolic Execution Debugger (SED): a platform for interactive symbolic execution, debugging, verification and more. Int. J. Softw. Tools Technol. Transf. Martin Hentschel, Richard Bubel, Reiner Hähnle
2019	—	`conf`	Verification of Smart Contract Business Logic - Exploiting a Java Source Code Verifier. FSEN Wolfgang Ahrendt, Richard Bubel, Joshua Ellul, Gordon J. Pace, Raúl Pardo, Vincent Rebiscoul, Gerardo Schneider
2019	J	`jnl`	Verifying OpenJDK's Sort Method for Generic Collections. J. Autom. Reason. Stijn de Gouw, Frank S. de Boer, Richard Bubel, Reiner Hähnle, Jurriaan Rot, Dominic Steinhöfel
2017	J	`jnl`	Automatic detection and demonstrator generation for information flow leaks in object-oriented programs. Comput. Secur. Quoc Huy Do, Richard Bubel, Reiner Hähnle
2017	C	`conf`	Inferring Secrets by Guided Experiments. ICTAC Quoc Huy Do, Richard Bubel, Reiner Hähnle
2016	C	`conf`	A General Lattice Model for Merging Symbolic Execution Branches. ICFEM Dominic Scheurer, Reiner Hähnle, Richard Bubel
2016	J	`jnl`	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. Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Germán Puebla, Guillermo Román-Díez
2016	—	`ch.`	Abstract Interpretation. Deductive Software Verification Nathan Wasser, Reiner Hähnle, Richard Bubel
2016	A*	`conf`	An empirical evaluation of two user interfaces of an interactive program verifier. ASE Martin Hentschel, Reiner Hähnle, Richard Bubel
2016	—	`conf`	Array Abstraction with Symbolic Pivots. Theory and Practice of Formal Methods Reiner Hähnle, Nathan Wasser, Richard Bubel
2016	B	`conf`	Can Formal Methods Improve the Efficiency of Code Reviews? IFM Martin Hentschel, Reiner Hähnle, Richard Bubel
2016	—	`ch.`	Debugging and Visualization. Deductive Software Verification Martin Hentschel, Reiner Hähnle, Richard Bubel
2016	—	`book`	Deductive Software Verification - The KeY Book - From Theory to Practice Deductive Software Verification Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich
2016	J	`jnl`	Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic. Softw. Syst. Model. Stijn de Gouw, Frank S. de Boer, Wolfgang Ahrendt, Richard Bubel
2016	—	`ch.`	KeY-Hoare. Deductive Software Verification Richard Bubel, Reiner Hähnle
2016	—	`ch.`	Modular Specification and Verification. Deductive Software Verification Daniel Grahl, Richard Bubel, Wojciech Mostowski, Peter H. Schmitt, Mattias Ulbrich, Benjamin Weiß
2016	—	`ch.`	Program Transformation and Compilation. Deductive Software Verification Ran Ji, Richard Bubel
2016	J	`jnl`	Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct. LNCS Trans. Found. Mastering Chang. Richard Bubel, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Olaf Owe, Ina Schaefer, Ingrid Chieh Yu
2016	A*	`conf`	The interactive verification debugger: effective understanding of interactive proof attempts. ASE Martin Hentschel, Reiner Hähnle, Richard Bubel
2016	—	`ch.`	Theories. Deductive Software Verification Peter H. Schmitt, Richard Bubel
2015	B	`conf`	A Dynamic Logic with Traces and Coinduction. TABLEAUX Richard Bubel, Crystal Chang Din, Reiner Hähnle, Keiko Nakata
2015	J	`jnl`	Dependency-Based Information Flow Analysis with Declassification in a Program Logic. CoRR Bart van Delft, Richard Bubel
2015	Misc	`conf`	Exploit Generation for Information Flow Leaks in Object-Oriented Programs. SEC Quoc Huy Do, Richard Bubel, Reiner Hähnle
2015	A	`conf`	KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS. CADE Crystal Chang Din, Richard Bubel, Reiner Hähnle
2015	—	`conf`	OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case. CAV (1) Stijn de Gouw, Jurriaan Rot, Frank S. de Boer, Richard Bubel, Reiner Hähnle
2015	J	`jnl`	Testing abstract behavioral specifications. Int. J. Softw. Tools Technol. Transf. 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
2014	B	`conf`	An Interactive Verification Tool Meets an IDE. IFM Martin Hentschel, Stefan Käsdorf, Reiner Hähnle, Richard Bubel
2014	—	`conf`	Analysis of Executable Software Models. SFM Richard Bubel, Antonio Flores-Montoya, Reiner Hähnle
2014	—	`conf`	Fully Abstract Operation Contracts. ISoLA (2) Richard Bubel, Reiner Hähnle, Maria Pelevina
2014	C	`conf`	Runtime Assertion Checking and Theorem Proving for Concurrent and Distributed Systems. MODELSWARD Crystal Chang Din, Olaf Owe, Richard Bubel
2014	B	`conf`	Symbolic Execution Debugger (SED). RV Martin Hentschel, Richard Bubel, Reiner Hähnle
2014	—	`conf`	The KeY Platform for Verification and Analysis of Java Programs. VSTTE 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
2014	—	`conf`	Visualizing Unbounded Symbolic Execution. TAP@STAF Martin Hentschel, Reiner Hähnle, Richard Bubel
2013	B	`conf`	Program Transformation Based on Symbolic Execution and Deduction. SEFM Ran Ji, Reiner Hähnle, Richard Bubel
2013	A	`conf`	Reuse in Software Verification by Abstract Method Calls. CADE Reiner Hähnle, Ina Schaefer, Richard Bubel
2013	B	`conf`	Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks. SOFSEM Stijn de Gouw, Frank S. de Boer, Wolfgang Ahrendt, Richard Bubel
2012	B	`conf`	PE-KeY: A Partial Evaluator for Java Programs. IFM Ran Ji, Richard Bubel
2012	B	`conf`	Verified Resource Guarantees for Heap Manipulating Programs. FASE Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Guillermo Román-Díez
2011	B	`conf`	A Formalisation of Java Strings for Program Specification and Verification. SEFM Richard Bubel, Reiner Hähnle, Ulrich Geilmann
2011	C	`conf`	Verified resource guarantees using COSTA and KeY. PEPM Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Germán Puebla, Guillermo Román-Díez
2010	A*	`conf`	A visual interactive debugger based on symbolic execution. ASE Reiner Hähnle, Marcus Baum, Richard Bubel, Marcel Rothe
2010	—	`conf`	Program Specialization via a Software Verification Tool. FMCO Richard Bubel, Reiner Hähnle, Ran Ji
2010	—	`conf`	Specifying Imperative ML-Like Programs Using Dynamic Logic. FoVeOOS Séverine Maingaud, Vincent Balat, Richard Bubel, Reiner Hähnle, Alexandre Miquel
2009	—	`conf`	Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification. TFM Wolfgang Ahrendt, Richard Bubel, Reiner Hähnle
2009	—	`conf`	Interleaving Symbolic Execution and Partial Evaluation. FMCO Richard Bubel, Reiner Hähnle, Ran Ji
2008	—	`conf`	Abstract Interpretation of Symbolic Execution with Explicit State Updates. FMCO Richard Bubel, Reiner Hähnle, Benjamin Weiß
2008	—	`conf`	Specification Predicates with Explicit Dependency Information. VERIFY Richard Bubel, Reiner Hähnle, Peter H. Schmitt
2007	—	`—`	Formal verification of recursive predicates. Richard Bubel
2007	—	`ch.`	Pattern-Driven Formal Specification. The KeY Approach Richard Bubel, Reiner Hähnle
2007	—	`ch.`	The Schorr-Waite-Algorithm. The KeY Approach Richard Bubel
2005	J	`jnl`	Integration of informal and formal development of object-oriented safety-critical software. Int. J. Softw. Tools Technol. Transf. Richard Bubel, Reiner Hähnle
2005	J	`jnl`	The KeY tool. Softw. Syst. Model. Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager, Peter H. Schmitt
2004	—	`conf`	Ensuring the Correctness of Lightweight Tactics for JavaCard Dynamic Logic. LFM@IJCAR Richard Bubel, Andreas Roth, Philipp Rümmer
2003	C	`conf`	Integration of Informal and Formal Development of Object-Oriented Safety-Critical Software: A Case Study with the KeY System. FMICS Richard Bubel, Reiner Hähnle