| Distributed runtime verification under partial synchrony R Ganguly, A Momtaz, B Bonakdarpour LIPICS, 2020 | 18 | 2020 |
| Predicate monitoring in distributed cyber-physical systems A Momtaz, N Basnet, H Abbas, B Bonakdarpour International Journal on Software Tools for Technology Transfer 25 (4), 541-556, 2023 | 13 | 2023 |
| Detecting document similarity in large document collecting using MapReduce and the Hadoop framework A Momtaz, S Amreen BRAC University, 2012 | 9 | 2012 |
| Monitoring signal temporal logic in distributed cyber-physical systems A Momtaz, H Abbas, B Bonakdarpour Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical …, 2023 | 3 | 2023 |
| Runtime Verification for Distributed Cyber-Physical Systems A Momtaz 2021 40th International Symposium on Reliable Distributed Systems (SRDS …, 2021 | 2 | 2021 |
| Runtime verification of partially-synchronous distributed system R Ganguly, A Momtaz, B Bonakdarpour Formal Methods in System Design, 1-32, 2024 | 1 | 2024 |
| Approximate Distributed Monitoring under Partial Synchrony: Balancing Speed and Accuracy B Bonakdarpour, A Momtaz, D Ničković, N Saraç arXiv preprint arXiv:2408.05033, 2024 | | 2024 |
| Decentralized predicate detection over partially synchronous continuous-time signals C Koll, A Momtaz, B Bonakdarpour, H Abbas International Conference on Runtime Verification, 213-230, 2023 | | 2023 |
| Resource Optimization of Stream Processing in Layered Internet of Things A Momtaz, R Medhat, B Bonakdarpour 2023 42nd International Symposium on Reliable Distributed Systems (SRDS …, 2023 | | 2023 |
| Runtime Verification of Partially Synchronous Distributed Cyber-Physical Systems A Momtaz Michigan State University, 2023 | | 2023 |
| 10.1007/978-3-030-88494-9_1 A Momtaz, N Basnet International Conference on Runtime Verification, 2021 | | 2021 |
| 2023 42nd International Symposium on Reliable Distributed Systems (SRDS)| 979-8-3503-2910-0/23/$31.00© 2023 IEEE| DOI: 10.1109/SRDS60354. 2023.00034 D Abbott, A Abuadbba, M Ahn, S Al-Kiswany, F Alves, E Anceaume, ... | | |
