 | 2009 |
|---|
| 7 |       | Wolfgang Ahrendt,
Richard Bubel,
Reiner Hähnle:
Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification.
TFM 2009: 125-143 |
| 2008 |
|---|
| 6 | | Richard Bubel,
Reiner Hähnle,
Benjamin Weiß:
Abstract Interpretation of Symbolic Execution with Explicit State Updates.
FMCO 2008: 247-277 |
| 5 | | Richard Bubel,
Reiner Hähnle,
Peter H. Schmitt:
Specification Predicates with Explicit Dependency Information.
VERIFY 2008 |
| 4 | | Richard Bubel,
Andreas Roth,
Philipp Rümmer:
Ensuring the Correctness of Lightweight Tactics for JavaCard Dynamic Logic.
Electr. Notes Theor. Comput. Sci. 199: 107-128 (2008) |
| 2005 |
|---|
| 3 | | Richard Bubel,
Reiner Hähnle:
Integration of informal and formal development of object-oriented safety-critical software.
STTT 7(3): 197-211 (2005) |
| 2 | | Wolfgang Ahrendt,
Thomas Baar,
Bernhard Beckert,
Richard Bubel,
Martin Giese,
Reiner Hähnle,
Wolfram Menzel,
Wojciech Mostowski,
Andreas Roth,
Steffen Schlager,
Peter H. Schmitt:
The KeY tool.
Software and System Modeling 4(1): 32-54 (2005) |
| 2003 |
|---|
| 1 | | Richard Bubel,
Reiner Hähnle:
Integration of Informal and Formal Development of Object-Oriented Safety-Critical Software: A Case Study with the KeY System.
Electr. Notes Theor. Comput. Sci. 80: (2003) |
