Anik Momtaz

According to our database, Anik Momtaz authored at least 6 papers between 2020 and 2023.

Collaborative distances:

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

2023

Predicate monitoring in distributed cyber-physical systems.

Anik Momtaz, Niraj Basnet, Houssam Abbas, Borzoo Bonakdarpour

Int. J. Softw. Tools Technol. Transf., August, 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

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