The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Richard Bubel: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  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. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:80, n:, pp:- [Journal]
  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. [Citation Graph (0, 0)][DBLP]
    Software and System Modeling, 2005, v:4, n:1, pp:32-54 [Journal]
  3. 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]

  4. Specification Predicates with Explicit Dependency Information. [Citation Graph (, )][DBLP]


  5. Abstract Interpretation of Symbolic Execution with Explicit State Updates. [Citation Graph (, )][DBLP]


  6. A visual interactive debugger based on symbolic execution. [Citation Graph (, )][DBLP]


  7. Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification. [Citation Graph (, )][DBLP]


  8. Ensuring the Correctness of Lightweight Tactics for JavaCard Dynamic Logic. [Citation Graph (, )][DBLP]


Search in 0.001secs, Finished in 0.001secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002