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
An Acceptance Testing Approach for Internet of Things Systems
2018-01-01 Leotta, Maurizio; Clerissi, Diego; Olianas, Dario; Ricca, Filippo; Ancona, Davide; Delzanno, Giorgio; Franceschini, Luca; Ribaudo, Marina
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
RML: Runtime Monitoring Language
2020-03-19 Franceschini, Luca
RML: Theory and practice of a domain specific language for runtime verification
2021-01-01 Ancona, Davide; Franceschini, Luca; Ferrando, Angelo; 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.
Structural resolution for abstract compilation of object-oriented languages
2017-01-01 Franceschini, Luca; Ancona, Davide; Komendantskaya, Ekaterina
Towards a runtime verification approach for internet of things systems
2018-01-01 Leotta, Maurizio; Ancona, Davide; Franceschini, Luca; Olianas, Dario; Ribaudo, Marina; Ricca, Filippo
Towards an Acceptance Testing Approach for Internet of Things Systems
2018-01-01 Leotta, Maurizio; Ricca, Filippo; Clerissi, Diego; Ancona, Davide; Delzanno, Giorgio; Ribaudo, Marina; Franceschini, Luca
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 | |
| An Acceptance Testing Approach for Internet of Things Systems | 1-gen-2018 | Leotta, Maurizio; Clerissi, Diego; Olianas, Dario; Ricca, Filippo; Ancona, Davide; Delzanno, Giorgio; Franceschini, Luca; Ribaudo, Marina | |
| 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 | |
| RML: Runtime Monitoring Language | 19-mar-2020 | Franceschini, Luca | |
| RML: Theory and practice of a domain specific language for runtime verification | 1-gen-2021 | Ancona, Davide; Franceschini, Luca; Ferrando, Angelo; 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. | |
| Structural resolution for abstract compilation of object-oriented languages | 1-gen-2017 | Franceschini, Luca; Ancona, Davide; Komendantskaya, Ekaterina | |
| Towards a runtime verification approach for internet of things systems | 1-gen-2018 | Leotta, Maurizio; Ancona, Davide; Franceschini, Luca; Olianas, Dario; Ribaudo, Marina; Ricca, Filippo | |
| Towards an Acceptance Testing Approach for Internet of Things Systems | 1-gen-2018 | Leotta, Maurizio; Ricca, Filippo; Clerissi, Diego; Ancona, Davide; Delzanno, Giorgio; Ribaudo, Marina; Franceschini, Luca | |
| 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 |