Structural Resolution for Abstract Compilation of Object-Oriented Languages. - Luca Franceschini; Davide Ancona; Ekaterina Komendantskaya (CoALP-Ty, 2016)

Parametric Trace Expressions for Runtime Verification of Java-Like Programs. - Davide Ancona; Angelo Ferrando 001; Luca Franceschini; Viviana Mascardi (FTfJP@ECOOP, 2017)

Towards an Acceptance Testing Approach for Internet of Things Systems. - Maurizio Leotta; Filippo Ricca; Diego Clerissi; Davide Ancona; Giorgio Delzanno; Marina Ribaudo; Luca Franceschini (ICWE Workshops, 2017)

An Abstract Machine for Asynchronous Programs with Closures and Priority Queues. - Davide Ancona; Giorgio Delzanno; Luca Franceschini; Maurizio Leotta; Enrico Prampolini; Marina Ribaudo; Filippo Ricca (RP, 2017)

Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things. - Davide Ancona; Luca Franceschini; Giorgio Delzanno; Maurizio Leotta; Marina Ribaudo; Filippo Ricca (ALP4IoT@iFM, 2017)

Towards a Runtime Verification Approach for Internet of Things Systems. - Maurizio Leotta; Davide Ancona; Luca Franceschini; Dario Olianas; Marina Ribaudo; Filippo Ricca (ICWE Workshops, 2018)

A formalism for specification of Java API interfaces. - Davide Ancona; Francesco Dagnino; Luca Franceschini (ISSTA/ECOOP Workshops, 2018)

Coping with Bad Agent Interaction Protocols When Monitoring Partially Observable Multiagent Systems. - Davide Ancona; Angelo Ferrando 001; Luca Franceschini; Viviana Mascardi (PAAMS, 2018)

Managing Bad AIPs with RIVERtools. - Davide Ancona; Angelo Ferrando 001; Luca Franceschini; Viviana Mascardi (PAAMS, 2018)

An acceptance testing approach for Internet of Things systems. - Maurizio Leotta; Diego Clerissi; Dario Olianas; Filippo Ricca; Davide Ancona; Giorgio Delzanno; Luca Franceschini; Marina Ribaudo (IET Softw., 2018)

Comparing Testing and Runtime Verification of IoT Systems: A Preliminary Evaluation based on a Case Study. - Maurizio Leotta; Diego Clerissi; Luca Franceschini; Dario Olianas; Davide Ancona; Filippo Ricca; Marina Ribaudo (ENASE, 2019)

A Deterministic Event Calculus for Effective Runtime Verification. - Davide Ancona; Luca Franceschini; Angelo Ferrando 001; Viviana Mascardi (ICTCS, 2019)

RML: runtime monitoring language: a system-agnostic DSL for runtime verification. - Luca Franceschini (Programming, 2019)

ROSMonitoring: A Runtime Verification Framework for ROS. - Angelo Ferrando 001; Rafael C. Cardoso 001; Michael Fisher 001; Davide Ancona; Luca Franceschini; Viviana Mascardi (TAROS, 2020)

RML: Runtime Monitoring Language - Luca Franceschini (2020)

Resource Analysis of Ethereum 2.0 Clients. - Mikel Cortes-Goicoechea; Luca Franceschini; Leonardo Bautista-Gomez (BRAINS, 2021)

RML: Theory and practice of a domain specific language for runtime verification. - Davide Ancona; Luca Franceschini; Angelo Ferrando 001; Viviana Mascardi (Sci. Comput. Program., 2021)