1. Verifying data- and control-oriented properties combining static and runtime verification: theory and tools
2. A formalism for specification of Java API interfaces
3. 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. 1457–1459. 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. 1457–1459.
4. RML: Theory and practice of a domain specific language for runtime verification
5. Behavior investigation of concurrent Java programs: an approach based on source-code instrumentation