Predicate Monitoring in Distributed Cyber-Physical Systems

Anik Momtaz, Niraj Basnet, Houssam Abbas, Borzoo Bonakdarpour. Predicate Monitoring in Distributed Cyber-Physical Systems. In Lu Feng 0001, Dana Fisman, editors, Runtime Verification - 21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, Proceedings. Volume 12974 of Lecture Notes in Computer Science, pages 3-22, Springer, 2021. [doi]

Authors

Anik Momtaz

This author has not been identified. Look up 'Anik Momtaz' in Google

Niraj Basnet

This author has not been identified. Look up 'Niraj Basnet' in Google

Houssam Abbas

This author has not been identified. Look up 'Houssam Abbas' in Google

Borzoo Bonakdarpour

This author has not been identified. Look up 'Borzoo Bonakdarpour' in Google