Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Doron Peled
conf.researchr.org general profile
ATVA 2025 profile
ECOOP 2025 profile
ECOOP and ISSTA 2021 profile
ISSTA 2017 profile
ISSTA 2019 profile
ISSTA/ECOOP 2024 profile
POPL 2024 profile
Registered user since Tue 6 Jul 2021
Name:
Doron Peled
Country:
Israel
Affiliation:
Bar Ilan University
Contributions
2025
ATVA
PC Member in Programme Committee
VORTEX
PC Member in Program Committee (to be finalized) within the VORTEX-track
2024
VORTEX
Keynote Speaker of Operational and Declarative Runtime Verification and their Combination within the VORTEX 2024-track
VMCAI
Author of TP-DejaVu: Combining Operational and Declarative Runtime Verification within the VMCAI 2024-track
2021
SPIN
Bar Ilan University in Programming Committee within the SPIN-track
2019
SPIN
Committee Member in Program Committee within the 26th International SPIN Symposium on Model Checking of Software-track
2017
SPIN
Committee Member in Program Committee
Share
x
Wed 21 May 07:34
