Anik Momtaz

11 papers B 6Journal 4Unranked 1
YearRankTypeTitle / Venue / Authors
2024 B conf
Approximate Distributed Monitoring Under Partial Synchrony: Balancing Speed & Accuracy.
RV
Borzoo Bonakdarpour, Anik Momtaz, Dejan Nickovic, N. Ege Saraç
2024 J jnl
Approximate Distributed Monitoring under Partial Synchrony: Balancing Speed and Accuracy.
CoRR
Borzoo Bonakdarpour, Anik Momtaz, Dejan Nickovic, N. Ege Saraç
2024 J jnl
Runtime verification of partially-synchronous distributed system.
Formal Methods Syst. Des.
Ritam Ganguly, Anik Momtaz, Borzoo Bonakdarpour
2023 B conf
Decentralized Predicate Detection Over Partially Synchronous Continuous-Time Signals.
RV
Charles Koll, Anik Momtaz, Borzoo Bonakdarpour, Houssam Abbas
2023 J jnl
Decentralized Predicate Detection over Partially Synchronous Continuous-Time Signals.
CoRR
Charles Koll, Anik Momtaz, Borzoo Bonakdarpour, Houssam Abbas
2023 — conf
Monitoring Signal Temporal Logic in Distributed Cyber-physical Systems.
ICCPS
Anik Momtaz, Houssam Abbas, Borzoo Bonakdarpour
2023 J jnl
Predicate monitoring in distributed cyber-physical systems.
Int. J. Softw. Tools Technol. Transf.
Anik Momtaz, Niraj Basnet, Houssam Abbas, Borzoo Bonakdarpour
2023 B conf
Resource Optimization of Stream Processing in Layered Internet of Things.
SRDS
Anik Momtaz, Ramy Medhat, Borzoo Bonakdarpour
2021 B conf
Predicate Monitoring in Distributed Cyber-Physical Systems.
RV
Anik Momtaz, Niraj Basnet, Houssam Abbas, Borzoo Bonakdarpour
2021 B conf
Runtime Verification for Distributed Cyber-Physical Systems.
SRDS
Anik Momtaz
2020 B conf
Distributed Runtime Verification Under Partial Synchrony.
OPODIS
Ritam Ganguly, Anik Momtaz, Borzoo Bonakdarpour