BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Belgium
1 × Estonia
1 × Germany
1 × Spain
1 × United Kingdom
1 × Uruguay
3 × Italy
3 × USA
Collaborated with:
R.Hähnle M.Hentschel R.Ji E.Albert S.Genaim G.Román-Díez C.C.Din A.Flores-Montoya I.Schaefer U.Geilmann S.Käsdorf M.Baum M.Rothe S.d.Gouw J.Rot F.S.d.Boer G.Puebla
Talks about:
interact (5) program (5) verif (5) execut (4) verifi (3) symbol (3) java (3) guarante (2) softwar (2) resourc (2)

Person: Richard Bubel

DBLP DBLP: Bubel:Richard

Contributed to:

CADE 20152015
CAV 20152015
IFM 20142014
SFM 20142014
TAP 20142014
CADE 20132013
SEFM 20132013
FASE 20122012
IFM 20122012
PEPM 20112011
SEFM 20112011
ASE 20102010
ASE 20162016

Wrote 16 papers:

CADE-2015-DinBH #concurrent #deduction #modelling #named #verification
KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS (CCD, RB, RH), pp. 517–526.
CAV-2015-GouwRBBH #java
OpenJDK’s Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case (SdG, JR, FSdB, RB, RH), pp. 273–289.
IFM-2014-HentschelKHB #ide #interactive #verification
An Interactive Verification Tool Meets an IDE (MH, SK, RH, RB), pp. 55–70.
SFM-2014-BubelMH #analysis #execution #modelling
Analysis of Executable Software Models (RB, AFM, RH), pp. 1–25.
TAP-2014-HentschelHB #bound #execution #symbolic computation #visualisation
Visualizing Unbounded Symbolic Execution (MH, RH, RB), pp. 82–98.
CADE-2013-HahnleSB #reuse #verification
Reuse in Software Verification by Abstract Method Calls (RH, IS, RB), pp. 300–314.
SEFM-2013-JiHB #deduction #execution #program transformation #symbolic computation
Program Transformation Based on Symbolic Execution and Deduction (RJ, RH, RB), pp. 289–304.
FASE-2012-AlbertBGHR #source code
Verified Resource Guarantees for Heap Manipulating Programs (EA, RB, SG, RH, GRD), pp. 130–145.
IFM-2012-JiB #java #named #source code
PE-KeY: A Partial Evaluator for Java Programs (RJ, RB), pp. 283–295.
PEPM-2011-AlbertBGHPR #using
Verified resource guarantees using COSTA and KeY (EA, RB, SG, RH, GP, GRD), pp. 73–76.
SEFM-2011-BubelHG #formal method #java #specification #string #verification
A Formalisation of Java Strings for Program Specification and Verification (RB, RH, UG), pp. 90–105.
ASE-2010-HahnleBBR #debugging #execution #interactive #symbolic computation #visual notation
A visual interactive debugger based on symbolic execution (RH, MB, RB, MR), pp. 143–146.
ASE-2016-HentschelHB #empirical #evaluation #interactive #user interface #verification
An empirical evaluation of two user interfaces of an interactive program verifier (MH, RH, RB), pp. 403–413.
ASE-2016-HentschelHB16a #comprehension #debugging #effectiveness #interactive #proving #verification
The interactive verification debugger: effective understanding of interactive proof attempts (MH, RH, RB), pp. 846–851.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.