Author of the publication

On the Expressiveness of some Runtime Validation Techniques.

, , and . HOWARD-60, volume 42 of EPiC Series in Computing, EasyChair, (2014)

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

Runtime Failure Prevention and Reaction., , , and . Lectures on Runtime Verification, volume 10457 of Lecture Notes in Computer Science, Springer, (2018)Decentralised LTL Monitoring., and . FM, volume 7436 of Lecture Notes in Computer Science, page 85-100. Springer, (2012)TiPEX: A Tool Chain for Timed Property Enforcement During eXecution., , , and . RV, volume 9333 of Lecture Notes in Computer Science, page 306-320. Springer, (2015)Monitoring decentralized specifications., and . ISSTA, page 125-135. ACM, (2017)A survey of challenges for runtime verification from advanced application domains (beyond software)., , , , , , , , , and 6 other author(s). Formal Methods Syst. Des., 54 (3): 279-335 (2019)Runtime enforcement of timed properties revisited., , , , , and . Formal Methods Syst. Des., 45 (3): 381-422 (2014)On the Monitoring of Decentralized Specifications: Semantics, Properties, Analysis, and Simulation., and . ACM Trans. Softw. Eng. Methodol., 29 (1): 1:1-1:57 (2020)Enforcement and validation (at runtime) of various notions of opacity., and . Discrete Event Dynamic Systems, 25 (4): 531-570 (2015)Preface to the special section on improving software quality through formal methods., and . Softw. Qual. J., 28 (2): 693-694 (2020)THEMIS: a tool for decentralized monitoring algorithms., and . ISSTA, page 372-375. ACM, (2017)