| 2008 |
|---|
| 5 | EE | Richard Bubel,
Reiner Hähnle,
Peter H. Schmitt:
Specification Predicates with Explicit Dependency Information.
VERIFY 2008 |
| 4 | EE | 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 | EE | Richard Bubel,
Reiner Hähnle:
Integration of informal and formal development of object-oriented safety-critical software.
STTT 7(3): 197-211 (2005) |
| 2 | EE | 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 | EE | 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) |
