Anik Momtaz

According to our database, Anik Momtaz authored at least 9 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Runtime verification of partially-synchronous distributed system.

Ritam Ganguly, Anik Momtaz, Borzoo Bonakdarpour

Formal Methods Syst. Des., December, 2024

Approximate Distributed Monitoring under Partial Synchrony: Balancing Speed and Accuracy.

Borzoo Bonakdarpour, Anik Momtaz, Dejan Nickovic, N. Ege Saraç

CoRR, 2024

Approximate Distributed Monitoring Under Partial Synchrony: Balancing Speed & Accuracy.

Borzoo Bonakdarpour, Anik Momtaz, Dejan Nickovic, N. Ege Saraç

Proceedings of the Runtime Verification - 24th International Conference, 2024

2023

Resource Optimization of Stream Processing in Layered Internet of Things.

Anik Momtaz, Ramy Medhat, Borzoo Bonakdarpour

Proceedings of the 42nd International Symposium on Reliable Distributed Systems, 2023

Decentralized Predicate Detection Over Partially Synchronous Continuous-Time Signals.

Charles Koll, Anik Momtaz, Borzoo Bonakdarpour, Houssam Abbas

Proceedings of the Runtime Verification - 23rd International Conference, 2023

Monitoring Signal Temporal Logic in Distributed Cyber-physical Systems.

Anik Momtaz, Houssam Abbas, Borzoo Bonakdarpour

Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023

2021

Runtime Verification for Distributed Cyber-Physical Systems.

Anik Momtaz

Proceedings of the 40th International Symposium on Reliable Distributed Systems, 2021

Predicate Monitoring in Distributed Cyber-Physical Systems.

Anik Momtaz, Niraj Basnet, Houssam Abbas, Borzoo Bonakdarpour

Proceedings of the Runtime Verification - 21st International Conference, 2021

2020

Distributed Runtime Verification Under Partial Synchrony.

Ritam Ganguly, Anik Momtaz, Borzoo Bonakdarpour

Proceedings of the 24th International Conference on Principles of Distributed Systems, 2020