conf.researchr.org / Doron Peled
Registered user since Tue 6 Jul 2021
Name:Doron Peled
Country:Israel
Affiliation:Bar Ilan University
Contributions
2026
APLAS
- Steering Committee Member in ATVA2026 Steering Committee
- Steering Committee Member in ATVA Steering Committee within the ATVA Research Papers-track
- Committee Member in Program Committee within the ATVA Research Papers-track
- Author of Prove: A Runtime Monitor of Linear Temporal Properties over Partial Order Executions within the ATVA Research Papers-track