Richard Bubel

According to our database1, Richard Bubel authored at least 55 papers between 2003 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Functional Verification of Smart Contracts via Strong Data Integrity.
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.
Int. J. Softw. Tools Technol. Transf., 2019

Verifying OpenJDK's Sort Method for Generic Collections.
J. Autom. Reason., 2019

A Program Logic for Dependence Analysis.
Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

Verification of Smart Contract Business Logic - Exploiting a Java Source Code Verifier.
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.
Comput. Secur., 2017

Inferring Secrets by Guided Experiments.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2017, 2017

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

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

Program Transformation and Compilation.
Proceedings of the Deductive Software Verification - The KeY Book, 2016

Modular Specification and Verification.
Proceedings of the Deductive Software Verification - The KeY Book, 2016

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

Debugging and Visualization.
Proceedings of the Deductive Software Verification - The KeY Book, 2016

Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic.
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.
Softw. Syst. Model., 2016

Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct.
LNCS Trans. Found. Mastering Chang., 2016

The interactive verification debugger: effective understanding of interactive proof attempts.
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.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Can Formal Methods Improve the Efficiency of Code Reviews?
Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

A General Lattice Model for Merging Symbolic Execution Branches.
Proceedings of the Formal Methods and Software Engineering, 2016

Array Abstraction with Symbolic Pivots.
Proceedings of the Theory and Practice of Formal Methods, 2016

2015
Testing abstract behavioral specifications.
Int. J. Softw. Tools Technol. Transf., 2015

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

A Dynamic Logic with Traces and Coinduction.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2015

Exploit Generation for Information Flow Leaks in Object-Oriented Programs.
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.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015

KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS.
Proceedings of the Automated Deduction - CADE-25, 2015

2014
The KeY Platform for Verification and Analysis of Java Programs.
Proceedings of the Verified Software: Theories, Tools and Experiments, 2014

Visualizing Unbounded Symbolic Execution.
Proceedings of the Tests and Proofs - 8th International Conference, 2014

Analysis of Executable Software Models.
Proceedings of the Formal Methods for Executable Software Models, 2014

Symbolic Execution Debugger (SED).
Proceedings of the Runtime Verification - 5th International Conference, 2014

Runtime Assertion Checking and Theorem Proving for Concurrent and Distributed Systems.
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.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

An Interactive Verification Tool Meets an IDE.
Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

2013
Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks.
Proceedings of the SOFSEM 2013: Theory and Practice of Computer Science, 2013

Program Transformation Based on Symbolic Execution and Deduction.
Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013

Reuse in Software Verification by Abstract Method Calls.
Proceedings of the Automated Deduction - CADE-24, 2013

2012
PE-KeY: A Partial Evaluator for Java Programs.
Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

Verified Resource Guarantees for Heap Manipulating Programs.
Proceedings of the Fundamental Approaches to Software Engineering, 2012

2011
A Formalisation of Java Strings for Program Specification and Verification.
Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

Verified resource guarantees using COSTA and KeY.
Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2011

2010
A visual interactive debugger based on symbolic execution.
Proceedings of the ASE 2010, 2010

Specifying Imperative ML-Like Programs Using Dynamic Logic.
Proceedings of the Formal Verification of Object-Oriented Software, 2010

Program Specialization via a Software Verification Tool.
Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

2009
Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification.
Proceedings of the Teaching Formal Methods, Second International Conference, 2009

Interleaving Symbolic Execution and Partial Evaluation.
Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009

2008
Ensuring the Correctness of Lightweight Tactics for JavaCard Dynamic Logic.
Electron. Notes Theor. Comput. Sci., 2008

Abstract Interpretation of Symbolic Execution with Explicit State Updates.
Proceedings of the Formal Methods for Components and Objects, 7th International Symposium, 2008

Specification Predicates with Explicit Dependency Information.
Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, 2008

2007
Pattern-Driven Formal Specification.
Proceedings of the Verification of Object-Oriented Software. The KeY Approach, 2007

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

Formal verification of recursive predicates.
PhD thesis, 2007

2005
Integration of informal and formal development of object-oriented safety-critical software.
Int. J. Softw. Tools Technol. Transf., 2005

The KeY tool.
Softw. Syst. Model., 2005

2003
Integration of Informal and Formal Development of Object-Oriented Safety-Critical Software: A Case Study with the KeY System.
Electron. Notes Theor. Comput. Sci., 2003


  Loading...