FRANCESCHINI, LUCA
FRANCESCHINI, LUCA
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
A deterministic event calculus for effective runtime verification
2019-01-01 Ancona, D.; Franceschini, L.; Ferrando, A.; Mascardi, V.
A formalism for specification of Java API interfaces
2018-01-01 Ancona, D.; Dagnino, F.; Franceschini, L.
An abstract machine for asynchronous programs with closures and priority queues
2017-01-01 Ancona, Davide; Delzanno, Giorgio; Franceschini, Luca; Leotta, Maurizio; Prampolini, Enrico; Ribaudo, Marina; Ricca, Filippo
Comparing Testing and Runtime Verification of IoT Systems: A Preliminary Evaluation based on a Case Study
2019-01-01 Leotta, Maurizio; Clerissi, Diego; Franceschini, Luca; Olianas, Dario; Ancona, Davide; Ricca, Filippo; Ribaudo, Marina
Coping with bad agent interaction protocols when monitoring partially observable multiagent systems
2018-01-01 Ancona, Davide; Ferrando, Angelo; Franceschini, Luca; Mascardi, Viviana
Managing bad AIPs with RIVERtools
2018-01-01 Ancona, Davide; Ferrando, Angelo; Franceschini, Luca; Mascardi, Viviana
Parametric trace expressions for runtime verification of Java-like programs
2017-01-01 Ancona, Davide; Ferrando, Angelo; Franceschini, Luca; Mascardi, Viviana
ROSMonitoring: A Runtime Verification Framework for ROS
2020-01-01 Ferrando, A.; Cardoso, R. C.; Fisher, M.; Ancona, D.; Franceschini, L.; Mascardi, V.
Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things
2018-01-01 Ancona, Davide; Franceschini, Luca; Delzanno, Giorgio; Leotta, Maurizio; Ribaudo, Marina; Ricca, Filippo
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A deterministic event calculus for effective runtime verification | 1-gen-2019 | Ancona, D.; Franceschini, L.; Ferrando, A.; Mascardi, V. | |
| A formalism for specification of Java API interfaces | 1-gen-2018 | Ancona, D.; Dagnino, F.; Franceschini, L. | |
| An abstract machine for asynchronous programs with closures and priority queues | 1-gen-2017 | Ancona, Davide; Delzanno, Giorgio; Franceschini, Luca; Leotta, Maurizio; Prampolini, Enrico; Ribaudo, Marina; Ricca, Filippo | |
| Comparing Testing and Runtime Verification of IoT Systems: A Preliminary Evaluation based on a Case Study | 1-gen-2019 | Leotta, Maurizio; Clerissi, Diego; Franceschini, Luca; Olianas, Dario; Ancona, Davide; Ricca, Filippo; Ribaudo, Marina | |
| Coping with bad agent interaction protocols when monitoring partially observable multiagent systems | 1-gen-2018 | Ancona, Davide; Ferrando, Angelo; Franceschini, Luca; Mascardi, Viviana | |
| Managing bad AIPs with RIVERtools | 1-gen-2018 | Ancona, Davide; Ferrando, Angelo; Franceschini, Luca; Mascardi, Viviana | |
| Parametric trace expressions for runtime verification of Java-like programs | 1-gen-2017 | Ancona, Davide; Ferrando, Angelo; Franceschini, Luca; Mascardi, Viviana | |
| ROSMonitoring: A Runtime Verification Framework for ROS | 1-gen-2020 | Ferrando, A.; Cardoso, R. C.; Fisher, M.; Ancona, D.; Franceschini, L.; Mascardi, V. | |
| Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things | 1-gen-2018 | Ancona, Davide; Franceschini, Luca; Delzanno, Giorgio; Leotta, Maurizio; Ribaudo, Marina; Ricca, Filippo |