FRANCESCHINI, LUCA

FRANCESCHINI, LUCA  

100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi  

Mostra records
Risultati 1 - 15 di 15 (tempo di esecuzione: 0.026 secondi).
Titolo Data di pubblicazione Autore(i) File
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
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.
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