Predictive Monitoring with Strong Trace Prefixes

July 25, 2024

Predictive Monitoring against Pattern Regular Languages

Note: The ArXiv version of the paper corrects an error in the published version.

January 6, 2024

Coarser Equivalences for Causal Concurrency

January 5, 2024

Dynamic Data-Race Detection through the Fine-Grained Lens

August 13, 2021