Richard Bubel

Available identifiers

zbMath Open bubel.richardMaRDI QIDQ1675814

List of research outcomes

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	2019-02-15	Paper
Inferring secrets by guided experiments	2017-11-03	Paper
A dynamic logic with traces and coinduction	2015-12-11	Paper
Key-ABS: a deductive verification tool for the concurrent modelling language ABS	2015-12-02	Paper
Analysis of executable software models	2015-02-25	Paper
Weak arithmetic completeness of object-oriented first-order assertion networks	2014-11-04	Paper
Ensuring the correctness of lightweight tactics for JavaCard dynamic logic	2014-01-10	Paper
Reuse in Software Verification by Abstract Method Calls	2013-06-14	Paper
Specifying imperative ML-like programs using dynamic logic	2011-01-21	Paper
Interleaving symbolic execution and partial evaluation	2011-01-08	Paper
Abstract Interpretation of Symbolic Execution with Explicit State Updates	2009-10-28	Paper

Research outcomes over time

This page was built for person: Richard Bubel