Follow
Luca Franceschini
Luca Franceschini
Esaote SpA
Verified email at dibris.unige.it - Homepage
Title
Cited by
Cited by
Year
ROSMonitoring: a runtime verification framework for ROS
A Ferrando, RC Cardoso, M Fisher, D Ancona, L Franceschini, ...
Towards Autonomous Robotic Systems: 21st Annual Conference, TAROS 2020 …, 2020
452020
An acceptance testing approach for Internet of Things systems
M Leotta, D Clerissi, D Olianas, F Ricca, D Ancona, G Delzanno, ...
IET Software 12 (5), 430-436, 2018
302018
RML: theory and practice of a domain specific language for runtime verification
D Ancona, L Franceschini, A Ferrando, V Mascardi
Science of Computer Programming 205, 102610, 2021
272021
Towards runtime monitoring of node. js and its application to the internet of things
D Ancona, L Franceschini, G Delzanno, M Leotta, M Ribaudo, F Ricca
arXiv preprint arXiv:1802.01790, 2018
232018
Towards an Acceptance Testing Approach for Internet of Things Systems
M Leotta, F Ricca, D Clerissi, D Ancona, G Delzanno, M Ribaudo, ...
Proceedings of 1st International Workshop on Engineering the Web of Things, 2017
172017
Towards a Runtime Verification Approach for Internet of Things Systems
M Leotta, D Ancona, L Franceschini, D Olianas, M Ribaudo, F Ricca
Current Trends in Web Engineering, 83, 0
17*
Parametric Trace Expressions for Runtime Verification of Java-Like Programs
D Ancona, A Ferrando, L Franceschini, V Mascardi
152017
Coping with bad agent interaction protocols when monitoring partially observable multiagent systems
D Ancona, A Ferrando, L Franceschini, V Mascardi
Advances in Practical Applications of Agents, Multi-Agent Systems, and …, 2018
112018
RML: runtime monitoring language: a system-agnostic DSL for runtime verification
L Franceschini
Companion Proceedings of the 3rd International Conference on the Art …, 2019
82019
Comparing Testing and Runtime Verification of IoT Systems: A Preliminary Evaluation based on a Case Study.
M Leotta, D Clerissi, L Franceschini, D Olianas, D Ancona, F Ricca, ...
ENASE, 434-441, 2019
62019
RML: Runtime Monitoring Language
L Franceschini
University of Genoa, Italy, 2020
52020
A formalism for specification of Java API interfaces
D Ancona, F Dagnino, L Franceschini
Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 24-26, 2018
52018
Managing Bad AIPs with RIVERtools
D Ancona, A Ferrando, L Franceschini, V Mascardi
Advances in Practical Applications of Agents, Multi-Agent Systems, and …, 2018
52018
A deterministic event calculus for effective runtime verification
D Ancona, L Franceschini, A Ferrando, V Mascardi
CEUR Workshop Proceedings 2504, 248-260, 2019
32019
Structural Resolution for Abstract Compilation of Object-Oriented Languages
L Franceschini, D Ancona, E Komendantskaya
Proceedings of the Workshop on Coalgebra, Horn Clause Logic Programming and …, 2016
22016
An Abstract Machine for Asynchronous Programs with Closures and Priority Queues
D Ancona, G Delzanno, L Franceschini, M Leotta, E Prampolini, ...
Reachability Problems: 11th International Workshop, RP 2017, London, UK …, 2017
12017
Corecursion in abstract compilation of object-oriented languages
L Franceschini
University of Genoa, 2016
2016
Agent Interaction Protocols: The Good, the Bad and the Ugly
D Ancona, A Ferrando, L Franceschini, V Mascardi
A SWI-Prolog based implementation of RML
D Ancona, L Franceschini, V Mascardi, A Ferrando
The system can't perform the operation now. Try again later.
Articles 1–19