ANCONA, DAVIDE
ANCONA, DAVIDE
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
A Formal Framework with Late Binding
1999-01-01 Ancona, Davide; Cerioli, Maura; Zucca, Elena
Comparing trace expressions and linear temporal logic for runtime verification
2016-01-01 Ancona, Davide; Ferrando, Angelo; Mascardi, Viviana
Exploiting Logic Programming for Runtime Verification: Current and Future Perspectives
2023-01-01 Ancona, D.; Ferrando, A.; Mascardi, V.
Extending Casl by Late Binding
2000-01-01 Ancona, Davide; Cerioli, Maura; Zucca, Elena
Prefazione agli Atti del Convegno Italiano di Logica Computazionale Trentesima Edizione, CILC 2015 Genova, 1-3 Luglio 2015
2015-01-01 Ancona, Davide; Maratea, Marco; Mascardi, Viviana
Special track on Object-Oriented Languages and Systems: editorial message
2011-01-01 Ancona, Davide; S., Chiba; A., Igarashi; A., Kellens
Special track on Object-Oriented Languages and Systems: editorial message
2010-01-01 Ancona, Davide; A., Buckley; A., Kellens
Special track on Object-Oriented Languages and Systems: editorial message
2009-01-01 Ancona, Davide; A., Buckley
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
| 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-2010 | Ancona, Davide; A., Buckley; A., Kellens | |
| Special track on Object-Oriented Languages and Systems: editorial message | 1-gen-2009 | Ancona, Davide; A., Buckley | |
| 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 |