Artikkelit, joihin on yleisen käytön mandaatti - Richard BubelLisätietoja
Saatavilla jossain: 20
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
Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015
Mandaatit: European Commission
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, ...
Verified Software: Theories, Tools and Experiments: 6th International …, 2014
Mandaatit: German Research Foundation, European Commission
KeY-ABS: A deductive verification tool for the concurrent modelling language ABS
CC Din, R Bubel, R Hähnle
Automated Deduction-CADE-25: 25th International Conference on Automated …, 2015
Mandaatit: European Commission
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, 93-126, 2019
Mandaatit: Netherlands Organisation for Scientific Research, European Commission
Reuse in software verification by abstract method calls
R Hähnle, I Schaefer, R Bubel
Automated Deduction–CADE-24: 24th International Conference on Automated …, 2013
Mandaatit: German Research Foundation
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
Mandaatit: German Research Foundation
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, 107-119, 2015
Mandaatit: European Commission
Proof Repositories for Compositional Verification of Evolving Software Systems: Managing Change When Proving Software Correct
R Bubel, F Damiani, R Hähnle, EB Johnsen, O Owe, I Schaefer, IC Yu
Transactions on Foundations for Mastering Change I, 130-156, 2016
Mandaatit: European Commission
A dynamic logic with traces and coinduction
R Bubel, CC Din, R Hähnle, K Nakata
Automated Reasoning with Analytic Tableaux and Related Methods: 24th …, 2015
Mandaatit: European Commission
Analysis of executable software models
R Bubel, AF Montoya, R Hähnle
International School on Formal Methods for the Design of Computer …, 2014
Mandaatit: European Commission
A formal verification framework for static analysis: As well as its instantiation to the resource analyzer COSTA and formal verification tool KeY
E Albert, R Bubel, S Genaim, R Hähnle, G Puebla, G Román-Díez
Software & Systems Modeling 15, 987-1012, 2016
Mandaatit: European Commission, Government of Spain
Verified resource guarantees for heap manipulating programs
E Albert, R Bubel, S Genaim, R Hähnle, G Román-Díez
International Conference on Fundamental Approaches to Software Engineering …, 2012
Mandaatit: Government of Spain
Array abstraction with symbolic pivots
R Hähnle, N Wasser, R Bubel
Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on …, 2016
Mandaatit: German Research Foundation
Trace-based Deductive Verification.
R Bubel, D Gurov, R Hähnle, M Scaletta
LPAR, 73-95, 2023
Mandaatit: German Research Foundation, Vinnova, Sweden
Runtime assertion checking and theorem proving for concurrent and distributed systems
CC Din, O Owe, R Bubel
2014 2nd International Conference on Model-Driven Engineering and Software …, 2014
Mandaatit: European Commission
Automatic detection and demonstrator generation for information flow leaks in object-oriented programs
QH Do, R Bubel, R Hähnle
computers & security 67, 335-349, 2017
Mandaatit: German Research Foundation
Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic
S de Gouw, F de Boer, W Ahrendt, R Bubel
Software & Systems Modeling 15 (4), 1117-1140, 2016
Mandaatit: European Commission
Using abstract contracts for verifying evolving features and their interactions
A Knüppel, S Krüger, T Thüm, R Bubel, S Krieter, E Bodden, I Schaefer
Deductive Software Verification: Future Perspectives: Reflections on the …, 2020
Mandaatit: German Research Foundation
A theorem prover backed approach to array abstraction
N Wasser, R Bubel
Proc. of VSL, 2014
Mandaatit: German Research Foundation
Towards a usable and sustainable deductive verification tool
B Beckert, R Bubel, R Hähnle, M Ulbrich
International Symposium on Leveraging Applications of Formal Methods, 281-300, 2022
Mandaatit: German Research Foundation
Tietokoneohjelma arvioi ja määrittää julkaisu- ja rahoitustiedot automaattisesti