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: Bubel:Richard
Contributed to:
2015
2015
2014
2014
20142013
2013
20122012
20112011
20102016Wrote 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.