Luca Franceschini

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