Skip to main content

Shokoufeh Kazemlou

Shokoufeh Kazemlou
Master's Student (Graduated 2017)

Publications

2023

Ritam Ganguly, Shokufeh Kazemloo, Borzoo Bonakdarpour, "Crash-Resilient Decentralized Synchronous Runtime Verification" Transactions on Dependable and Secure Systems (TDSC), IEEE, 2023.   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)