CICALA, GIUSEPPE
CICALA, GIUSEPPE
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.028 secondi).
A Multi-Formalism Framework To Generate Diagnostic Decision Support Systems
2016-01-01 Cicala, Giuseppe; DE LUCA, Marco; Oreggia, Marco; Tacchella, Armando
Engineering approaches and methods to verify software in autonomous systems
2014-01-01 Cicala, Giuseppe; Khalili, Ali; Metta, Giorgio; Natale, L.; Pathak, Shashank; Pulina, Luca; Tacchella, Armando
Formalizing the Execution Context of Behavior Trees for Runtime Verification of Deliberative Policies
2021-01-01 Colledanchise, M; Cicala, G; Domenichelli, De; Natale, L; Tacchella, A
OBDA and Intermodal Logistics: Active Projects and Applications
2013-01-01 Jean Rémi, Bourguet; Cicala, Giuseppe; Luca, Pulina; Tacchella, Armando
Telling faults from cyber-attacks in a multi-modal logistic system with complex network analysis
2021-01-01 Guidotti, D.; Cicala, G.; Gili, T.; Tacchella, A.
Towards an Ontology-Based Framework to Generate Diagnostic Decision Support Systems
2013-01-01 Cicala, Giuseppe; Oreggia, Marco; Tacchella, Armando
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Multi-Formalism Framework To Generate Diagnostic Decision Support Systems | 1-gen-2016 | Cicala, Giuseppe; DE LUCA, Marco; Oreggia, Marco; Tacchella, Armando | |
Engineering approaches and methods to verify software in autonomous systems | 1-gen-2014 | Cicala, Giuseppe; Khalili, Ali; Metta, Giorgio; Natale, L.; Pathak, Shashank; Pulina, Luca; Tacchella, Armando | |
Formalizing the Execution Context of Behavior Trees for Runtime Verification of Deliberative Policies | 1-gen-2021 | Colledanchise, M; Cicala, G; Domenichelli, De; Natale, L; Tacchella, A | |
OBDA and Intermodal Logistics: Active Projects and Applications | 1-gen-2013 | Jean Rémi, Bourguet; Cicala, Giuseppe; Luca, Pulina; Tacchella, Armando | |
Telling faults from cyber-attacks in a multi-modal logistic system with complex network analysis | 1-gen-2021 | Guidotti, D.; Cicala, G.; Gili, T.; Tacchella, A. | |
Towards an Ontology-Based Framework to Generate Diagnostic Decision Support Systems | 1-gen-2013 | Cicala, Giuseppe; Oreggia, Marco; Tacchella, Armando |