Richard Bubel

	2012
15		Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Guillermo Román-Díez: Verified Resource Guarantees for Heap Manipulating Programs. FASE 2012: 130-145
	2011
14		Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Germán Puebla, Guillermo Román-Díez: Verified resource guarantees using COSTA and KeY. PEPM 2011: 73-76
13		Richard Bubel, Reiner Hähnle, Ulrich Geilmann: A Formalisation of Java Strings for Program Specification and Verification. SEFM 2011: 90-105
	2010
12		Reiner Hähnle, Marcus Baum, Richard Bubel, Marcel Rothe: A visual interactive debugger based on symbolic execution. ASE 2010: 143-146
11		Richard Bubel, Reiner Hähnle, Ran Ji: Program Specialization via a Software Verification Tool. FMCO 2010: 80-101
10		Séverine Maingaud, Vincent Balat, Richard Bubel, Reiner Hähnle, Alexandre Miquel: Specifying Imperative ML-Like Programs Using Dynamic Logic. FoVeOOS 2010: 122-137
	2009
9		Richard Bubel, Reiner Hähnle, Ran Ji: Interleaving Symbolic Execution and Partial Evaluation. FMCO 2009: 125-146
8		Wolfgang Ahrendt, Richard Bubel, Reiner Hähnle: Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification. TFM 2009: 125-143
	2008
7		Richard Bubel, Reiner Hähnle, Benjamin Weiß: Abstract Interpretation of Symbolic Execution with Explicit State Updates. FMCO 2008: 247-277
6		Richard Bubel, Reiner Hähnle, Peter H. Schmitt: Specification Predicates with Explicit Dependency Information. VERIFY 2008
5		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)
4		Richard Bubel: Formal verification of recursive predicates. Karlsruhe Institute of Technology 2008: 1-141
	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: 1-23 (2003)

Coauthor Index

1	Wolfgang Ahrendt	[2] [8]
2	Elvira Albert	[14] [15]
3	Thomas Baar	[2]
4	Vincent Balat	[10]
5	Marcus Baum	[12]
6	Bernhard Beckert	[2]
7	Ulrich Geilmann	[13]
8	Samir Genaim	[14] [15]
9	Martin Giese	[2]
10	Reiner Hähnle	[1] [2] [3] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15]
11	Ran Ji	[9] [11]
12	Séverine Maingaud	[10]
13	Wolfram Menzel	[2]
14	Alexandre Miquel	[10]
15	Wojciech Mostowski	[2]
16	Germán Puebla (German Puebla)	[14]
17	Guillermo Román-Díez	[14] [15]
18	Andreas Roth	[2] [5]
19	Marcel Rothe	[12]
20	Philipp Rümmer	[5]
21	Steffen Schlager	[2]
22	Peter H. Schmitt	[2] [6]
23	Benjamin Weiß	[7]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page