Moran Omer

According to our database, Moran Omer authored at least 4 papers between 2021 and 2024.

Collaborative distances:

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

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