Monitoring First-Order Interval Logic. - Klaus Havelund; Moran Omer; Doron Peled (SEFM, 2021)

Runtime Verification Prediction for Traces with Data. - Moran Omer; Doron Peled (RV, 2023)

TP-DejaVu: Combining Operational and Declarative Runtime Verification. - Klaus Havelund; Panagiotis Katsaros; Moran Omer; Doron Peled; Anastasios Temperekidis (VMCAI (2), 2024)

Operational and Declarative Runtime Verification (Keynote). - Klaus Havelund; Moran Omer; Doron Peled (VORTEX@ISSTA, 2024)