Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Doron Peled
conf.researchr.org general 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
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
Sat 23 Nov 13:06
