Moran Omer

According to our database, Moran Omer authored at least 7 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Monitoring Distributed Systems Based on Partial Order Executions with Global States.

Moran Omer, Doron Peled, Ely Porat, Vijay K. Garg

Proceedings of the Runtime Verification - 25th International Conference, 2025

DSLs for Runtime Verification.

Klaus Havelund, Moran Omer, Doron Peled

Proceedings of the Runtime Verification - 25th International Conference, 2025

Embedding Monitoring of First-Order Temporal Logic in a Programming Language.

Klaus Havelund, Moran Omer, Doron Peled

Proceedings of the Principles of Formal Quantitative Analysis, 2025

2024

Operational and Declarative Runtime Verification (Keynote).

Klaus Havelund, Moran Omer, Doron Peled

Proceedings of the 7th ACM International Workshop on Verification and Monitoring at Runtime Execution, 2024

TP-DejaVu: Combining Operational and Declarative Runtime Verification.

Klaus Havelund, Panagiotis Katsaros, Moran Omer, Doron Peled, Anastasios Temperekidis

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

2023

Runtime Verification Prediction for Traces with Data.

Moran Omer, Doron Peled

Proceedings of the Runtime Verification - 23rd International Conference, 2023

2021

Monitoring First-Order Interval Logic.

Klaus Havelund, Moran Omer, Doron Peled

Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021