Distributed Runtime Verification Under Partial Synchrony. - Ritam Ganguly; Anik Momtaz; Borzoo Bonakdarpour (OPODIS, 2020)

Runtime Verification for Distributed Cyber-Physical Systems. - Anik Momtaz (SRDS, 2021)

Monitoring Signal Temporal Logic in Distributed Cyber-physical Systems. - Anik Momtaz; Houssam Abbas; Borzoo Bonakdarpour (ICCPS, 2023)

Decentralized Predicate Detection Over Partially Synchronous Continuous-Time Signals. - Charles Koll; Anik Momtaz; Borzoo Bonakdarpour; Houssam Abbas (RV, 2023)

Resource Optimization of Stream Processing in Layered Internet of Things. - Anik Momtaz; Ramy Medhat; Borzoo Bonakdarpour (SRDS, 2023)

Predicate monitoring in distributed cyber-physical systems. - Anik Momtaz; Niraj Basnet; Houssam Abbas; Borzoo Bonakdarpour (Int. J. Softw. Tools Technol. Transf., 2023)

Approximate Distributed Monitoring Under Partial Synchrony: Balancing Speed & Accuracy. - Borzoo Bonakdarpour; Anik Momtaz; Dejan Nickovic; N. Ege Saraç (RV, 2024)

Approximate Distributed Monitoring under Partial Synchrony: Balancing Speed and Accuracy. - Borzoo Bonakdarpour; Anik Momtaz; Dejan Nickovic; N. Ege Saraç (CoRR, 2024)

Runtime verification of partially-synchronous distributed system. - Ritam Ganguly; Anik Momtaz; Borzoo Bonakdarpour (Formal Methods Syst. Des., 2024)