Distributed runtime verification by past-CTL and the field calculus-Reference-Cited by-同舟云学术

Distributed runtime verification by past-CTL and the field calculus

Author:

Audrito Giorgio^ORCID,Damiani Ferruccio,Stolz Volker,Torta Gianluca,Viroli Mirko

Publisher

Elsevier BV

Subject

Hardware and Architecture,Information Systems,Software

Reference38 articles.

1. FCPP: an efficient and extensible field calculus framework;Audrito,2020

2. Field-based coordination with the share operator;Audrito;Log. Methods Comput. Sci.,2020

3. Space-time universality of field calculus;Audrito,2018

5. RM for users’ safety and security in the built environment;Audrito,2021

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

3. Parallelising an Aggregate Programming Framework with Message-Passing Interface;2023 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C);2023-09-25

4. Combining Static and Runtime Verification with AC and Coq;Proceedings of the 6th International Workshop on Verification and Monitoring at Runtime Execution;2023-07-18

5. On Stream Runtime Verification and Aggregate Programming;Proceedings of the 6th International Workshop on Verification and Monitoring at Runtime Execution;2023-07-18