Sledovat
Anik Momtaz
Název
Citace
Citace
Rok
Distributed runtime verification under partial synchrony
R Ganguly, A Momtaz, B Bonakdarpour
24th International Conference on Principles of Distributed Systems (OPODIS 2020), 2021
162021
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
122023
Detecting document similarity in large document collecting using MapReduce and the Hadoop framework
A Momtaz, S Amreen
BRAC University, 2012
92012
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
22023
Runtime Verification for Distributed Cyber-Physical Systems
A Momtaz
2021 40th International Symposium on Reliable Distributed Systems (SRDS …, 2021
12021
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, ...
Distributed Runtime Verification under Partial
R Ganguly, A Momtaz, B Bonakdarpour
Runtime Verification of Partially-Synchronous Distributed System
R Ganguly, A Momtaz, B Bonakdarpour
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–12