Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Moran Omer
conf.researchr.org general profile
APLAS & ATVA 2026 profile
POPL 2024 profile
Registered user since Mon 25 May 2026
Name:
Moran Omer
Country:
Israel
Affiliation:
Bar Ilan University, Israel
Contributions
2026
APLAS
Author of Prove: A Runtime Monitor of Linear Temporal Properties over Partial Order Executions within the ATVA Research Papers-track
2024
VMCAI
Author of TP-DejaVu: Combining Operational and Declarative Runtime Verification within the VMCAI 2024-track
Share
x
Fri 9 Oct 03:27