Geometrical Kernel Machine for Prediction and Novelty Detection of Disruptive Events in TOKAMAK Machines. - Barbara Cannas; Rita Sabrina Delogu; Alessandra Fanni; Augusto Montisci; Piergiorgio Sonato; Katiuscia Zedda (J. Signal Process. Syst., 2010)

Fault diagnosis of an ABS system using Petri nets. - Maria Paola Cabasino; Alessandro Giua; Carla Seatzu; Antonio Solinas; Katiuscia Zedda (CASE, 2011)

Cross-layer design of reconfigurable cyber-physical systems. - Michael Masin; Francesca Palumbo; Hans Myrhaug; J. A. de Oliveira Filho; M. Pastena; Maxime Pelcat; Luigi Raffo; Francesco Regazzoni 001; A. A. Sanchez; Antonella Toffetti; Eduardo de la Torre; Katiuscia Zedda (DATE, 2017)

CERBERO: Cross-layer modEl-based fRamework for multi-oBjective dEsign of reconfigurable systems in unceRtain hybRid envirOnments: Invited paper: CERBERO teams from UniSS, UniCA, IBM Research, TASE, INSA-Rennes, UPM, USI, Abinsula, AmbieSense, TNO, S&T, CRF. - Francesca Palumbo; Tiziana Fanni; Carlo Sau; Luca Pulina; Luigi Raffo; Michael Masin; Evgeny Shindin; Pablo Sanchez de Rojas; Karol Desnos; Maxime Pelcat; Alfonso Rodríguez 002; Eduardo Juárez 001; et al. (CF, 2019)

Elicitation of technical requirements in large research projects: the CERBERO approach. - Michael Masin; Francesca Palumbo; Joost Adriaanse; Hans Myrhaug; Francesco Regazzoni 001; Manuel Sanchez; Katiuscia Zedda (SAC, 2019)

Verification of Neural Networks: Challenges and Perspectives in the AIDOaRt Project (Short Paper). - Romina Eramo; Tiziana Fanni; Dario Guidotti; Laura Pandolfo; Luca Pulina; Katiuscia Zedda (IPS/RiCeRcA/SPIRIT@AI*IA, 2022)

Translating Requirements in Property Specification Patterns using LLMs. - Dario Guidotti; Laura Pandolfo; Tiziana Fanni; Katiuscia Zedda; Luca Pulina (AI4CC-IPS-RCRA-SPIRIT@AI*IA, 2024)