Anik Momtaz

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 8

Top Topics

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Anik Momtaz, Houssam Abbas, Borzoo Bonakdarpour
Monitoring Signal Temporal Logic in Distributed Cyber-physical Systems. ICCPS (2023)
Charles Koll, Anik Momtaz, Borzoo Bonakdarpour, Houssam Abbas
Decentralized Predicate Detection Over Partially Synchronous Continuous-Time Signals. RV (2023)
Anik Momtaz, Niraj Basnet, Houssam Abbas, Borzoo Bonakdarpour
Predicate monitoring in distributed cyber-physical systems. Int. J. Softw. Tools Technol. Transf. 25 (4) (2023)
Charles Koll, Anik Momtaz, Borzoo Bonakdarpour, Houssam Abbas
Decentralized Predicate Detection over Partially Synchronous Continuous-Time Signals. CoRR (2023)
Anik Momtaz, Ramy Medhat, Borzoo Bonakdarpour
Resource Optimization of Stream Processing in Layered Internet of Things. SRDS (2023)
Anik Momtaz
Runtime Verification for Distributed Cyber-Physical Systems. SRDS (2021)
Anik Momtaz, Niraj Basnet, Houssam Abbas, Borzoo Bonakdarpour
Predicate Monitoring in Distributed Cyber-Physical Systems. RV (2021)
Ritam Ganguly, Anik Momtaz, Borzoo Bonakdarpour
Distributed Runtime Verification Under Partial Synchrony. OPODIS (2020)