Giuseppe Cicala
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2014–2021
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | ECMS | Telling Faults From Cyber-Attacks In A Multi-Modal Logistic System With Complex Network Analysis. | Dario Guidotti, Giuseppe Cicala, Tommaso Gili, Armando Tacchella |
| 2021 | IROS | Formalizing the Execution Context of Behavior Trees for Runtime Verification of Deliberative Policies. | Michele Colledanchise, Giuseppe Cicala, Daniele E. Domenichelli, Lorenzo Natale, Armando Tacchella |
| 2016 | ECMS | A Multi-Formalism Framework To Generate Diagnostic Decision Support Systems. | Giuseppe Cicala, Marco De Luca, Marco Oreggia, Armando Tacchella |
| 2014 | IAS | Engineering Approaches and Methods to Verify Software in Autonomous Systems. | Giuseppe Cicala, Ali Khalili, Giorgio Metta, Lorenzo Natale, Shashank Pathak, Luca Pulina, Armando Tacchella |