Richard Bubel
Richard Bubel
Department of Computer Science, TU Darmstadt
Bestätigte E-Mail-Adresse bei cs.tu-darmstadt.de
Titel
Zitiert von
Zitiert von
Jahr
The KeY Tool
R Hähnle, W Ahrendt, T Baar, B Beckert, R Bubel, M Giese, W Menzel, ...
Software and Systems Modeling 4 (1), 32-54, 2005
367*2005
Deductive Software Verification–The KeY Book
W Ahrendt, B Beckert, R Bubel, R Hähnle, PH Schmitt, M Ulbrich
Lecture notes in computer science 10001, 2016
182*2016
The KeY platform for verification and analysis of Java programs
W Ahrendt, B Beckert, D Bruns, R Bubel, C Gladisch, S Grebing, R Hähnle, ...
Working Conference on Verified Software: Theories, Tools, and Experiments, 55-71, 2014
692014
OpenJDK’s Java. utils. Collection. sort () is broken: The good, the bad and the worst case
S De Gouw, J Rot, FS de Boer, R Bubel, R Hähnle
International Conference on Computer Aided Verification, 273-289, 2015
562015
KeY-ABS: A deductive verification tool for the concurrent modelling language ABS
CC Din, R Bubel, R Hähnle
International Conference on Automated Deduction, 517-526, 2015
512015
Abstract interpretation of symbolic execution with explicit state updates
R Bubel, R Hähnle, B Weiß
International Symposium on Formal Methods for Components and Objects, 247-277, 2008
342008
A visual interactive debugger based on symbolic execution
R Hähnle, M Baum, R Bubel, M Rothe
Proceedings of the IEEE/ACM international conference on Automated software …, 2010
332010
Reuse in software verification by abstract method calls
R Hähnle, I Schaefer, R Bubel
International Conference on Automated Deduction, 300-314, 2013
292013
Verified resource guarantees using COSTA and KeY
E Albert, R Bubel, S Genaim, R Hähnle, G Puebla, G Román-Díez
Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and …, 2011
272011
Symbolic execution debugger (SED)
M Hentschel, R Bubel, R Hähnle
International Conference on Runtime Verification, 255-262, 2014
222014
Interleaving symbolic execution and partial evaluation
R Bubel, R Hähnle, R Ji
International Symposium on Formal Methods for Components and Objects, 125-146, 2009
212009
Fully abstract operation contracts
R Bubel, R Hähnle, M Pelevina
International Symposium On Leveraging Applications of Formal Methods …, 2014
192014
An interactive verification tool meets an IDE
M Hentschel, S Käsdorf, R Hähnle, R Bubel
International Conference on Integrated Formal Methods, 55-70, 2014
192014
Visualizing unbounded symbolic execution
M Hentschel, R Hähnle, R Bubel
International Conference on Tests and Proofs, 82-98, 2014
192014
Exploit generation for information flow leaks in object-oriented programs
QH Do, R Bubel, R Hähnle
IFIP International Information Security and Privacy Conference, 401-415, 2015
182015
A Hoare-style calculus with explicit state updates
R Hähnle, R Bubel
Formal Methods in Computer Science Education, 49-60, 2008
172008
Verifying openjdk’s sort method for generic collections
S de Gouw, FS de Boer, R Bubel, R Hähnle, J Rot, D Steinhöfel
Journal of automated reasoning 62 (1), 93-126, 2019
152019
Testing abstract behavioral specifications
PYH Wong, R Bubel, FS de Boer, M Gómez-Zamalloa, S De Gouw, ...
International Journal on Software Tools for Technology Transfer 17 (1), 107-119, 2015
152015
Analysis of executable software models
R Bubel, AF Montoya, R Hähnle
International School on Formal Methods for the Design of Computer …, 2014
152014
The Symbolic Execution Debugger (SED): a platform for interactive symbolic execution, debugging, verification and more
M Hentschel, R Bubel, R Hähnle
International Journal on Software Tools for Technology Transfer 21 (5), 485-513, 2019
142019
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20