Follow
giuseppe cicala
giuseppe cicala
Verified email at unige.it
Title
Cited by
Cited by
Year
Ontology-based data access: An application to intermodal logistics
M Casu, G Cicala, A Tacchella
Information Systems Frontiers 15, 849-871, 2013
212013
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
102016
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
82021
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
22013
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
22013
A Multi-Formalism Framework To Generate Diagnostic Decision Support Systems.
G Cicala, M De Luca, M Oreggia, A Tacchella
ECMS, 628-634, 2016
12016
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
12013
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
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
2021
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
The system can't perform the operation now. Try again later.
Articles 1–19