1. Comparing Trace Expressions and Linear Temporal Logic for Runtime Verification
2. Davide Ancona , Angelo Ferrando , and Viviana Mascardi . 2017 . Parametric Runtime Verification of Multiagent Systems . In Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017 , São Paulo, Brazil , May 8-12, 2017, Kate Larson, Michael Winikoff, Sanmay Das, and Edmund H. Durfee (Eds.). ACM, Richland, SC. 1457–1459. http://dl.acm.org/citation.cfm?id=3091328 Davide Ancona, Angelo Ferrando, and Viviana Mascardi. 2017. Parametric Runtime Verification of Multiagent Systems. In Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017, Kate Larson, Michael Winikoff, Sanmay Das, and Edmund H. Durfee (Eds.). ACM, Richland, SC. 1457–1459. http://dl.acm.org/citation.cfm?id=3091328
3. RML: Theory and practice of a domain specific language for runtime verification
4. Runtime Verification of Multi-agent Systems Interaction Quality
5. Introduction to Runtime Verification