Concepedia

Richard Bubel

RB

Statistics

Publications

10

Citations

416

H-Index

10

Active since

2004

Affiliations

Technical University of Darmstadt(Current)

Chalmers University of Technology

Universidad Complutense de Madrid

Karlsruhe Institute of Technology

Centrum Wiskunde & Informatica

Richard Bubel is an author at Technical University of Darmstadt specializing in computer science, engineering, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationVerificationSoftware EngineeringSystem Software

Publications per year

2004–2018

10

Publications

10

The KeY tool

Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert et al. · Software & Systems Modeling · 2004 · 261 citations · Full text

Engineering, Input Device, Automation +8

Verifying OpenJDK’s Sort Method for Generic Collections

Stijn de Gouw, Frank S. de Boer, Richard Bubel et al. · Journal of Automated Reasoning · 2017 · 39 citations · Full text

Program Checking, Engineering, Java Standard Library +19

A visual interactive debugger based on symbolic execution

Reiner Hähnle, Marcus Baum, Richard Bubel et al. · 2010 · 25 citations

Engineering, Software Engineering, Source Code Analysis +16

Verified resource guarantees using COSTA and KeY

Elvira Albert, Richard Bubel, Samir Genaim et al. · 2011 · 18 citations

Software Maintenance, Program Checking, Engineering +24

The Symbolic Execution Debugger (SED): a platform for interactive symbolic execution, debugging, verification and more

Martin Hentschel, Richard Bubel, Reiner Hähnle · International Journal on Software Tools for Technology Transfer · 2018 · 17 citations

Software Maintenance, Interactive Symbolic Execution, Engineering +15

1–5 of 10