Luca Franceschini

2 The Testing Scenario : a Diabetes Mobile Health IoT System

D. Ancona, F. Ricca, G. Delzanno, 2018 .

ROSMonitoring: A Runtime Verification Framework for ROS

Angelo Ferrando, Viviana Mascardi, Davide Ancona, 2020, TAROS.

Coping with Bad Agent Interaction Protocols When Monitoring Partially Observable Multiagent Systems

Angelo Ferrando, Davide Ancona, Viviana Mascardi, 2018, PAAMS.

RML: Theory and practice of a domain specific language for runtime verification

Angelo Ferrando, Davide Ancona, Viviana Mascardi, 2021, Sci. Comput. Program..

Towards a Runtime Verification Approach for Internet of Things Systems

Davide Ancona, Filippo Ricca, Marina Ribaudo, 2018, ICWE Workshops.

Parametric Trace Expressions for Runtime Verification of Java-Like Programs

Angelo Ferrando, Davide Ancona, Viviana Mascardi, 2017, FTfJP@ECOOP.

Resource Analysis of Ethereum 2.0 Clients pdf

Leonardo Bautista-Gomez, Mikel Cortes-Goicoechea, Luca Franceschini, 2020, 2021 3rd Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS).

RML: runtime monitoring language: a system-agnostic DSL for runtime verification

Luca Franceschini, Luca Franceschini, 2019, Programming.

Structural Resolution for Abstract Compilation of Object-Oriented Languages

Davide Ancona, Ekaterina Komendantskaya, Luca Franceschini, 2017, CoALP-Ty.