Author of the publication

On the Monitoring of Decentralized Specifications: Semantics, Properties, Analysis, and Simulation.

, and . ACM Trans. Softw. Eng. Methodol., 29 (1): 1:1-1:57 (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Monitoring decentralized specifications., and . ISSTA, page 125-135. ACM, (2017)On the Monitoring of Decentralized Specifications: Semantics, Properties, Analysis, and Simulation., and . ACM Trans. Softw. Eng. Methodol., 29 (1): 1:1-1:57 (2020)Bringing runtime verification home: a case study on the hierarchical monitoring of smart homes using decentralized specifications., and . Int. J. Softw. Tools Technol. Transf., 24 (2): 159-181 (2022)From global choreographies to verifiable efficient distributed implementations., , , , , and . J. Log. Algebraic Methods Program., (2020)THEMIS: a tool for decentralized monitoring algorithms., and . ISSTA, page 372-375. ACM, (2017)Runtime Verification of Hierarchical Decentralized Specifications. (Vérification à l'exécution de spécifications décentralisées hiérarchiques).. Grenoble Alpes University, France, (2018)Decentralized Enforcement of Artifact Lifecycles., , , and . EDOC, page 1-10. IEEE Computer Society, (2016)Can We Monitor All Multithreaded Programs?, and . RV, volume 11237 of Lecture Notes in Computer Science, page 64-89. Springer, (2018)Decentralized enforcement of document lifecycle constraints., , , , and . Inf. Syst., 74 (Part): 117-135 (2018)Bringing Runtime Verification Home - A Case Study on the Hierarchical Monitoring of Smart Homes., and . CoRR, (2018)