dblp.uni-trier.dewww.uni-trier.de

Richard Bubel

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Wolfgang Ahrendt [2]
2Thomas Baar [2]
3Bernhard Beckert [2]
4Martin Giese [2]
5Reiner Hähnle [1] [2] [3] [5]
6Wolfram Menzel [2]
7Wojciech Mostowski [2]
8Andreas Roth [2] [4]
9Philipp Rümmer [4]
10Steffen Schlager [2]
11Peter H. Schmitt [2] [5]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)