Luca Franceschini

According to our database, Luca Franceschini authored at least 17 papers between 2016 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

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

Davide Ancona, Luca Franceschini, Angelo Ferrando, Viviana Mascardi

Sci. Comput. Program., 2021

Resource Analysis of Ethereum 2.0 Clients.

Mikel Cortes-Goicoechea, Luca Franceschini, Leonardo Bautista-Gomez

Proceedings of the 3rd Conference on Blockchain Research & Applications for Innovative Networks and Services, 2021

2020

RML: Runtime Monitoring Language

Luca Franceschini

PhD thesis, 2020

ROSMonitoring: A Runtime Verification Framework for ROS.

Angelo Ferrando, Rafael C. Cardoso, Michael Fisher, Davide Ancona, Luca Franceschini, Viviana Mascardi

Proceedings of the Towards Autonomous Robotic Systems - 21st Annual Conference, 2020

2019

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

Luca Franceschini

Proceedings of the Conference Companion of the 3rd International Conference on Art, 2019

A Deterministic Event Calculus for Effective Runtime Verification.

Davide Ancona, Luca Franceschini, Angelo Ferrando, Viviana Mascardi

Proceedings of the 20th Italian Conference on Theoretical Computer Science, 2019

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

Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, 2019

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

Managing Bad AIPs with RIVERtools.

Davide Ancona, Angelo Ferrando, Luca Franceschini, Viviana Mascardi

Proceedings of the Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection, 2018

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

Davide Ancona, Angelo Ferrando, Luca Franceschini, Viviana Mascardi

Proceedings of the Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection, 2018

A formalism for specification of Java API interfaces.

Davide Ancona, Francesco Dagnino, Luca Franceschini

Proceedings of the Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 2018

Towards a Runtime Verification Approach for Internet of Things Systems.

Maurizio Leotta, Davide Ancona, Luca Franceschini, Dario Olianas, Marina Ribaudo, Filippo Ricca

Proceedings of the Current Trends in Web Engineering, 2018

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

Proceedings of the Proceedings First Workshop on Architectures, 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

Proceedings of the Reachability Problems - 11th International Workshop, 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

Proceedings of the Current Trends in Web Engineering, 2017

Parametric Trace Expressions for Runtime Verification of Java-Like Programs.

Davide Ancona, Angelo Ferrando, Luca Franceschini, Viviana Mascardi

Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs, 2017

2016

Structural Resolution for Abstract Compilation of Object-Oriented Languages.

Luca Franceschini, Davide Ancona, Ekaterina Komendantskaya

Proceedings of the First Workshop on Coalgebra, Horn Clause Logic Programming and Types, 2016