Richard Bubel

Publications (20)
Projects (0)

Showing 20 publications

2020

Functional Verification of Smart Contracts via Strong Data Integrity

Wolfgang Ahrendt, Richard Bubel

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 12478 LNCS, p. 9-24

Paper in proceeding

2020

Formal Analysis of Smart Contracts: Applying the KeY System

Jonas Schiffl, Wolfgang Ahrendt, B. Beckert et al

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), p. 204-218

Book chapter

2019

Verification of Smart Contract Business Logic: Exploiting a Java Source Code Verifier

Wolfgang Ahrendt, Richard Bubel, Joshua Ellul et al

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 11761 LNCS, p. 228-243

Paper in proceeding

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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8471 (8471), p. 55-71

Paper in proceeding

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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7741 LNCS (7741), p. 207-219

Paper in proceeding

2012

Verified resource guarantees for heap manipulating programs

Elvira Albert, Richard Bubel, Samir Genaim et al

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7212, p. 130-145

Paper in proceeding

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 proceeding

2011

Specifying Imperative ML-like Programs Using Dynamic Logic

Severine Maingaud, Vincent Balat, Richard Bubel et al

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6528, p. 122-137

Paper in proceeding

2011

A formalisation of Java Strings for program specification and verification

Richard Bubel, Reiner Hähnle, U. Geilmann

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7041, p. 90-105

Paper in proceeding

2011

Program specialization via a software verification tool

Richard Bubel, Reiner Hähnle, Ran Ji

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6957, p. 80-101

Paper in proceeding

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 proceeding

2010

Interleaving Symbolic Execution and Partial Evaluation

Richard Bubel, Reiner Hähnle, Ran Ji

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6286, p. 125-146

Paper in proceeding

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 proceeding

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 proceeding

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 proceeding

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 proceeding

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 proceeding

Download publication list

You can download this list to your computer.

Filter and download publication list

As logged in user (Chalmers employee) you find more export functions in MyResearch.

You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:

Zotero Connector
Mendeley Web Importer

The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.

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.