Luca Franceschini

Publication Activity (10 Years)

Years Active: 2016-2021
Publications (10 Years): 17

Top Topics

Portlet Development

Interaction Protocols

Top Venues

Publications

Davide Ancona, Luca Franceschini, Angelo Ferrando, Viviana Mascardi
RML: Theory and practice of a domain specific language for runtime verification. Sci. Comput. Program. 205 (2021)
Mikel Cortes-Goicoechea, Luca Franceschini, Leonardo Bautista-Gomez
Resource Analysis of Ethereum 2.0 Clients. BRAINS (2021)
Angelo Ferrando, Rafael C. Cardoso, Michael Fisher, Davide Ancona, Luca Franceschini, Viviana Mascardi
ROSMonitoring: A Runtime Verification Framework for ROS. TAROS (2020)
Mikel Cortes-Goicoechea, Luca Franceschini, Leonardo Bautista-Gomez
Resource Analysis of Ethereum 2.0 Clients. CoRR (2020)
Luca Franceschini
RML: runtime monitoring language: a system-agnostic DSL for runtime verification. Programming (2019)
Davide Ancona, Luca Franceschini, Angelo Ferrando, Viviana Mascardi
A Deterministic Event Calculus for Effective Runtime Verification. ICTCS (2019)
Maurizio Leotta, Diego Clerissi, Luca Franceschini, Dario Olianas, Davide Ancona, Filippo Ricca, Marina Ribaudo
Comparing Testing and Runtime Verification of IoT Systems: A Preliminary Evaluation based on a Case Study. ENASE (2019)
Maurizio Leotta, Davide Ancona, Luca Franceschini, Dario Olianas, Marina Ribaudo, Filippo Ricca
Towards a Runtime Verification Approach for Internet of Things Systems. ICWE Workshops (2018)
Davide Ancona, Angelo Ferrando, Luca Franceschini, Viviana Mascardi
Coping with Bad Agent Interaction Protocols When Monitoring Partially Observable Multiagent Systems. PAAMS (2018)
Davide Ancona, Francesco Dagnino, Luca Franceschini
A formalism for specification of Java API interfaces. ISSTA/ECOOP Workshops (2018)
Davide Ancona, Angelo Ferrando, Luca Franceschini, Viviana Mascardi
Managing Bad AIPs with RIVERtools. PAAMS (2018)
Maurizio Leotta, Diego Clerissi, Dario Olianas, Filippo Ricca, Davide Ancona, Giorgio Delzanno, Luca Franceschini, Marina Ribaudo
An acceptance testing approach for Internet of Things systems. IET Softw. 12 (5) (2018)
Davide Ancona, Giorgio Delzanno, Luca Franceschini, Maurizio Leotta, Enrico Prampolini, Marina Ribaudo, Filippo Ricca
An Abstract Machine for Asynchronous Programs with Closures and Priority Queues. RP (2017)
Maurizio Leotta, Filippo Ricca, Diego Clerissi, Davide Ancona, Giorgio Delzanno, Marina Ribaudo, Luca Franceschini
Towards an Acceptance Testing Approach for Internet of Things Systems. ICWE Workshops (2017)
Davide Ancona, Luca Franceschini, Giorgio Delzanno, Maurizio Leotta, Marina Ribaudo, Filippo Ricca
Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things. ALP4IoT@iFM (2017)
Davide Ancona, Angelo Ferrando, Luca Franceschini, Viviana Mascardi
Parametric Trace Expressions for Runtime Verification of Java-Like Programs. FTfJP@ECOOP (2017)
Luca Franceschini, Davide Ancona, Ekaterina Komendantskaya
Structural Resolution for Abstract Compilation of Object-Oriented Languages. CoALP-Ty (2016)