Master's Student (Graduated 2017)
Shokoufeh Kazemlou
Publications
2024
Ritam Ganguly, Shokufeh Kazemloo, Borzoo Bonakdarpour,
"Crash-Resilient Decentralized Synchronous Runtime Verification"
Transactions on Dependable and Secure Systems (TDSC),
IEEE,
2024.
tdsc23.pdf
(2.48 MB)
2018
Shokufeh Kazemloo, Borzoo Bonakdarpour,
"Crash-Resilient Decentralized Synchronous Runtime Verification"
The 37th IEEE Symposium on Reliable Distributed Systems (SRDS),
IEEE,
2018.
srds18.pdf
(371.43 KB)
