Richard Bubel

Showing 17 publications

2016

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

S. De Gouw, F. De Boer, Wolfgang Ahrendt et al
Software and Systems Modeling. Vol. 15 (4), p. 1117-1140
Journal article
2016

Deductive Software Verification - The KeY Book

Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel et al
Book
2014

The KeY platform for verification and analysis of java programs

Wolfgang Ahrendt, B. Beckert, D. Bruns et al
Lecture Notes in Computer Science (8471), p. 55-71
Paper in proceedings
2013

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

S. De Gouw, F. De Boer, Wolfgang Ahrendt et al
Lecture Notes in Computer Science (7741), p. 207-219
Paper in proceedings
2012

Verified resource guarantees for heap manipulating programs

Elvira Albert, Richard Bubel, Samir Genaim et al
Lecture Notes in Computer Science. Vol. 7212, p. 130-145
Paper in proceedings
2011

Program specialization via a software verification tool

Richard Bubel, Reiner Hähnle, Ran Ji
Lecture Notes in Computer Science. Vol. 6957, p. 80-101
Paper in proceedings
2011

Verified Resource Guarantees using COSTA and KeY

Elvira Albert, Richard Bubel, Samir Genaim et al
Proc. ACM SIGPLAN 2011 Workshop on Partial Evaluation and Program Manipulation (PEPM'11), ACM Press, p. 73-76
Paper in proceedings
2011

Specifying Imperative ML-like Programs Using Dynamic Logic

Severine Maingaud, Vincent Balat, Richard Bubel et al
Lecture Notes in Computer Science. Vol. 6528, p. 122-137
Paper in proceedings
2011

A formalisation of Java Strings for program specification and verification

Richard Bubel, Reiner Hähnle, U. Geilmann
Lecture Notes in Computer Science. Vol. 7041, p. 90-105
Paper in proceedings
2010

Interleaving Symbolic Execution and Partial Evaluation

Richard Bubel, Reiner Hähnle, Ran Ji
Lecture Notes in Computer Science. Vol. 6286, p. 125-146
Paper in proceedings
2010

Visual Interactive Debugger Based on Symbolic Execution

Reiner Hähnle, M. Baum, Richard Bubel et al
25th IEEE/ACM International Conference on Automated Software Engineering (Antwerp, Belgium), ACM Press, p. 143-146
Paper in proceedings
2009

Abstract Interpretation of Symbolic Execution with Explicit State Updates

Richard Bubel, Reiner Hähnle, Benjamin Weiss
Post Conf. Proceedings 6th Intl. Symposium on Formal Methods for Components and Objects, Sophia Antipolis, France. Vol. 5751, p. 247-277
Paper in proceedings
2009

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

Wolfgang Ahrendt, Richard Bubel, Reiner Hähnle
Second International Conference on Teaching Formal Methods, Eindhoven, Netherlands. Vol. 5846, p. 125-143
Paper in proceedings
2008

Specification Predicates with Explicit Dependency Information

Richard Bubel, Reiner Hähnle, Peter Schmitt
Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008. Vol. 372, p. 28-43
Paper in proceedings
2008

A Hoare-Style Calculus with Explicit State Updates

Reiner Hähnle, Richard Bubel
Proceedings Formal Methods in Computer Science Education (FORMED), Satellite Event of ETAPS 2008, Budapest, Hungary
Paper in proceedings
2006

Pattern-Driven Formal Specification

Richard Bubel, Reiner Hähnle
Verification of Object-Oriented Software. The KeY Approach. Lecture Notes in Computer Science. Bernhard Beckert, Reiner Hähnle, Peter Schmitt (eds.). Vol. 4334, p. 295-315
Book chapter
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
Electronic Notes in Theoretical Computer Science. Vol. 80, p. 3-25
Paper in proceedings

Save references

If you have installed Zotero or Mendeley on your computer you can use a plugin to extract references from the publications you see.

Download plugins:
Zotero
Mendeley

There are no projects.
There might be more projects where Richard Bubel participates, but you have to be logged in as a Chalmers employee to see them.