VLDB 2026 Research / reviewers in the wild / expert
Moran Omer
dblp:308/2017
· DBLP profile ↗
5ranked-venue papers
2as first author
5since 2021 · last 2025
0000-0002-1695-5560ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 5 · 2 first-author · 5 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | DSLs for Runtime Verification
Klaus Havelund, Moran Omer, Doron A. Peled |
RV | 2 |
| 2025 | Monitoring Distributed Systems Based on Partial Order Executions with Global States
Moran Omer, Doron A. Peled, Ely Porat, Vijay K. Garg |
RV | 1 |
| 2024 | TP-DejaVu: Combining Operational and Declarative Runtime Verification
Klaus Havelund, Panagiotis Katsaros, Moran Omer, Doron A. Peled, Anastasios Temperekidis |
VMCAI (2) | 3 |
| 2023 | Runtime Verification Prediction for Traces with Data
Moran Omer, Doron A. Peled |
RV | 1 |
| 2021 | Monitoring First-Order Interval Logic
Klaus Havelund, Moran Omer, Doron A. Peled |
SEFM | 2 |