Katiuscia Zedda

According to our database, Katiuscia Zedda authored at least 6 papers between 2010 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

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

Proceedings of the 10th Italian workshop on Planning and Scheduling (IPS 2022), RCRA Incontri E Confronti (RiCeRcA 2022), and the workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (SPIRIT 2022) co-located with 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), November 28, 2022

2019

Elicitation of technical requirements in large research projects: the CERBERO approach.

Michael Masin, Francesca Palumbo, Joost Adriaanse, Hans Myrhaug, Francesco Regazzoni, Manuel Sanchez, Katiuscia Zedda

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

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, Eduardo Juárez, Francesco Regazzoni, Giuseppe Meloni, Katiuscia Zedda, Hans Myrhaug, Leszek Kaliciak, Joost Adriaanse, Julio de Oliveira Filho, Pablo Muñoz, Antonella Toffetti

Proceedings of the 16th ACM International Conference on Computing Frontiers, 2019

2017

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, A. A. Sanchez, Antonella Toffetti, Eduardo de la Torre, Katiuscia Zedda

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

2011

Fault diagnosis of an ABS system using Petri nets.

Maria Paola Cabasino, Alessandro Giua, Carla Seatzu, Antonio Solinas, Katiuscia Zedda

Proceedings of the IEEE Conference on Automation Science and Engineering, 2011

2010

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