IRIS

ANCONA, DAVIDE

ANCONA, DAVIDE  

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

Mostra records
Risultati 1 - 10 di 10 (tempo di esecuzione: 0.015 secondi).
Titolo Data di pubblicazione Autore(i) File
A Formal Framework with Late Binding 1-gen-1999 Ancona, Davide; Cerioli, Maura; Zucca, Elena
Comparing trace expressions and linear temporal logic for runtime verification 1-gen-2016 Ancona, Davide; Ferrando, Angelo; Mascardi, Viviana
Exploiting Logic Programming for Runtime Verification: Current and Future Perspectives 1-gen-2023 Ancona, D.; Ferrando, A.; Mascardi, V.
Extending Casl by Late Binding 1-gen-2000 Ancona, Davide; Cerioli, Maura; Zucca, Elena
Prefazione agli Atti del Convegno Italiano di Logica Computazionale Trentesima Edizione, CILC 2015 Genova, 1-3 Luglio 2015 1-gen-2015 Ancona, Davide; Maratea, Marco; Mascardi, Viviana
Special track on Object-Oriented Languages and Systems: editorial message 1-gen-2011 Ancona, Davide; S., Chiba; A., Igarashi; A., Kellens
Special track on Object-Oriented Languages and Systems: editorial message 1-gen-2009 Ancona, Davide; A., Buckley
Special track on Object-Oriented Languages and Systems: editorial message 1-gen-2010 Ancona, Davide; A., Buckley; A., Kellens
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