Richard Bubel

Visar 17 publikationer

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
Artikel i vetenskaplig tidskrift
2016

Deductive Software Verification - The KeY Book

Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel et al
Bok
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 i 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 (7741), p. 207-219
Paper i proceeding
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 i proceeding
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 i 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 i proceeding
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 i proceeding
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 i proceeding
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 i 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 i 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 i 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 i 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 i 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 i 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
Kapitel i bok
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 i proceeding

Spara referenser

Om du har installerat Zotero eller Mendeley på din dator kan du direkt ta ut referenser från de publikationer du ser i listan.

Du laddar ner dessa pluginer här:
Zotero
Mendeley

Det finns inga projekt att visa.
Det kan finnas fler projekt där Richard Bubel medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.