Search the dblp DataBase
Richard Bubel :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Richard Bubel , Reiner Hähnle Integration of Informal and Formal Development of Object-Oriented Safety-Critical Software: A Case Study with the KeY System. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2003, v:80, n:, pp:- [Journal ] 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. [Citation Graph (0, 0)][DBLP ] Software and System Modeling, 2005, v:4, n:1, pp:32-54 [Journal ] Richard Bubel , Reiner Hähnle Integration of informal and formal development of object-oriented safety-critical software. [Citation Graph (0, 0)][DBLP ] STTT, 2005, v:7, n:3, pp:197-211 [Journal ] Specification Predicates with Explicit Dependency Information. [Citation Graph (, )][DBLP ] Abstract Interpretation of Symbolic Execution with Explicit State Updates. [Citation Graph (, )][DBLP ] A visual interactive debugger based on symbolic execution. [Citation Graph (, )][DBLP ] Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification. [Citation Graph (, )][DBLP ] Ensuring the Correctness of Lightweight Tactics for JavaCard Dynamic Logic. [Citation Graph (, )][DBLP ] Search in 0.001secs, Finished in 0.001secs