Moran Omer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2021–2025
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | RV | DSLs for Runtime Verification. | Klaus Havelund, Moran Omer, Doron Peled |
| 2025 | RV | Monitoring Distributed Systems Based on Partial Order Executions with Global States. | Moran Omer, Doron Peled, Ely Porat, Vijay K. Garg |
| 2024 | VMCAI | TP-DejaVu: Combining Operational and Declarative Runtime Verification. | Klaus Havelund, Panagiotis Katsaros, Moran Omer, Doron Peled, Anastasios Temperekidis |
| 2023 | RV | Runtime Verification Prediction for Traces with Data. | Moran Omer, Doron Peled |
| 2021 | SEFM | Monitoring First-Order Interval Logic. | Klaus Havelund, Moran Omer, Doron Peled |