Richard Bubel

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A program logic for dependence analysis	2024-04-19	Paper
Array abstraction with symbolic pivots	2021-05-20	Paper
Verifying OpenJDK's sort method for generic collections Journal of Automated Reasoning	2019-02-15	Paper
Inferring secrets by guided experiments	2017-11-03	Paper
A dynamic logic with traces and coinduction Lecture Notes in Computer Science	2015-12-11	Paper
Key-ABS: a deductive verification tool for the concurrent modelling language ABS Automated Deduction - CADE-25	2015-12-02	Paper
Analysis of executable software models Lecture Notes in Computer Science	2015-02-25	Paper
Weak arithmetic completeness of object-oriented first-order assertion networks Lecture Notes in Computer Science	2014-11-04	Paper
Ensuring the correctness of lightweight tactics for JavaCard dynamic logic Electronic Notes in Theoretical Computer Science	2014-01-10	Paper
Reuse in Software Verification by Abstract Method Calls Automated Deduction – CADE-24	2013-06-14	Paper
Specifying imperative ML-like programs using dynamic logic Formal Verification of Object-Oriented Software	2011-01-21	Paper
Interleaving symbolic execution and partial evaluation Formal Methods for Components and Objects	2011-01-08	Paper
Abstract Interpretation of Symbolic Execution with Explicit State Updates Formal Methods for Components and Objects	2009-10-28	Paper

Research outcomes over time

This page was built for person: Richard Bubel