Ontology-based data access: An application to intermodal logistics M Casu, G Cicala, A Tacchella Information Systems Frontiers 15, 849-871, 2013 | 22 | 2013 |
Formalizing the execution context of behavior trees for runtime verification of deliberative policies M Colledanchise, G Cicala, DE Domenichelli, L Natale, A Tacchella 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2021 | 14 | 2021 |
Engineering approaches and methods to verify software in autonomous systems G Cicala, A Khalili, G Metta, L Natale, S Pathak, L Pulina, A Tacchella Intelligent Autonomous Systems 13: Proceedings of the 13th International …, 2016 | 10 | 2016 |
Towards an ontology-based framework to generate Diagnostic Decision Support Systems G Cicala, M Oreggia, A Tacchella AI* IA 2013: Advances in Artificial Intelligence: XIIIth International …, 2013 | 2 | 2013 |
Obda and intermodal logistics: Active projects and applications JR Bourguet, G Cicala, L Pulina, A Tacchella Web Reasoning and Rule Systems: 7th International Conference, RR 2013 …, 2013 | 2 | 2013 |
A comparison of declarative AI techniques for computer automated design of elevator systems G Cicala, S Demarchi, M Menapace, L Annunziata, A Tacchella Intelligenza Artificiale 16 (1), 131-150, 2022 | 1 | 2022 |
A Toolchain to Design, Execute, and Monitor Robots Behaviors M Colledanchise, G Cicala, DE Domenichelli, L Natale, A Tacchella arXiv preprint arXiv:2106.15211, 2021 | 1 | 2021 |
A Multi-Formalism Framework To Generate Diagnostic Decision Support Systems. G Cicala, M De Luca, M Oreggia, A Tacchella ECMS, 628-634, 2016 | 1 | 2016 |
An experimental evaluation of tools for ontology-based data access JR Bourguet, G Cicala, L Pulina, A Tacchella Proceedings of the 20th RCRA International Workshop on Experimental …, 2013 | 1 | 2013 |
Telling faults from cyber-attacks in a multi-modal logistic system with complex network analysis D Guidotti, G Cicala, T Gili, A Tacchella Proceedings of the 35th ECMS International Conference on Modelling and …, 2021 | | 2021 |
Progetto PROSSIMO: Modellazione e Simulazione di Sistemi Cyber-Fisici con Ptolemy II G Cicala | | 2019 |
Progetto PROSSIMO: Tutorial “Modellazione e verifica nei Cyber-Physical Systems” G Cicala, S Vuotto | | 2019 |
Progetto PROSSIMO: Progettazione e modellazione di sistemi basata su contratti G Cicala, L Pulina | | 2019 |
Progetto PROSSIMO: Modellazione di CPSs con Ptolemy G Cicala, L Pulina | | 2019 |
Progetto PROSSIMO: Sintesi e analisi automatica di CPS (v. 1) L Pulina, G Cicala | | 2019 |
Progetto PROSSIMO: tutorial KeYmaeraX G Cicala, L Pulina | | 2019 |
Progetto PROSSIMO: Linguaggi e Strumenti di Modellazione e Specifica G Cicala | | 2019 |
Progetto PROSSIMO: RAPPORTO TECNICO Linguaggi di modellazione e specifica G Cicala, L Pulina | | 2019 |
Progetto PROSSIMO: Introduzione al Model Checking G Cicala, L Pulina | | 2019 |