Luca Franceschini
Luca Franceschini
Verified email at dibris.unige.it - Homepage
Title
Cited by
Cited by
Year
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
192018
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
142018
Parametric Trace Expressions for Runtime Verification of Java-Like Programs
D Ancona, A Ferrando, L Franceschini, V Mascardi
142017
ROSMonitoring: A Runtime Verification Framework for ROS
A Ferrando, RC Cardoso, M Fisher, D Ancona, L Franceschini, ...
Annual Conference Towards Autonomous Robotic Systems, 387-399, 2020
112020
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
102017
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
10*
Coping with bad agent interaction protocols when monitoring partially observable multiagent systems
D Ancona, A Ferrando, L Franceschini, V Mascardi
International Conference on Practical Applications of Agents and Multi-Agent …, 2018
72018
RML: runtime monitoring language: a system-agnostic DSL for runtime verification
L Franceschini
Proceedings of the Conference Companion of the 3rd International Conference …, 2019
52019
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
42019
A Deterministic Event Calculus for Effective Runtime Verification.
D Ancona, L Franceschini, A Ferrando, V Mascardi
ICTCS, 248-260, 2019
32019
Managing Bad AIPs with RIVERtools
D Ancona, A Ferrando, L Franceschini, V Mascardi
International Conference on Practical Applications of Agents and Multi-Agent …, 2018
32018
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
22021
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
22018
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, ...
International Workshop on Reachability Problems, 59-74, 2017
12017
Corecursion in abstract compilation of object-oriented languages
L Franceschini
University of Genoa, 2016
2016
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–17