Enhancing Neural Networks through Formal Verification. - Dario Guidotti (DDC@AI*IA, 2019)

Verification and Repair of Neural Networks: A Progress Report on Convolutional Models. - Dario Guidotti; Francesco Leofante; Luca Pulina; Armando Tacchella (AI*IA, 2019)

Repairing Learned Controllers with Convex Optimization: A Case Study. - Dario Guidotti; Francesco Leofante; Claudio Castellini; Armando Tacchella (CPAIOR, 2019)

Repair of Convolutional Neural Networks using Convex Optimization: Preliminary Experiments. - Dario Guidotti; Francesco Leofante (CPS Summer School, PhD Workshop, 2019)

Verification of Neural Networks: Enhancing Scalability Through Pruning. - Dario Guidotti; Francesco Leofante; Luca Pulina; Armando Tacchella (ECAI, 2020)

NeVer 2.0: Learning, Verification and Repair of Deep Neural Networks. - Dario Guidotti; Luca Pulina; Armando Tacchella (CoRR, 2020)

Verification and Repair of Neural Networks. - Dario Guidotti (AAAI, 2021)

pyNeVer: A Framework for Learning and Verification of Neural Networks. - Dario Guidotti; Luca Pulina; Armando Tacchella (ATVA, 2021)

Telling Faults From Cyber-Attacks In A Multi-Modal Logistic System With Complex Network Analysis. - Dario Guidotti; Giuseppe Cicala; Tommaso Gili; Armando Tacchella (ECMS, 2021)

Safety Analysis of Deep Neural Networks. - Dario Guidotti (IJCAI, 2021)

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)

Verification of Neural Networks for Safety and Security-critical Domains. - Dario Guidotti (IPS/RiCeRcA/SPIRIT@AI*IA, 2022)

Counter-Example Guided Abstract Refinement for Verification of Neural Networks. - Stefano Demarchi; Dario Guidotti (CPS Summer School, PhD Workshop, 2022)

Formal Verification Of Neural Networks: A Case Study About Adaptive Cruise Control. - Stefano Demarchi; Dario Guidotti; Andrea Pitto; Armando Tacchella (ECMS, 2022)

Verification and Repair of Machine Learning Models. - Dario Guidotti (2022)

Supporting Standardization of Neural Networks Verification with VNNLIB and CoCoNet. - Stefano Demarchi; Dario Guidotti; Luca Pulina; Armando Tacchella (FoMLAS@CAV, 2023)

Verifying Neural Networks with SMT: An Experimental Evaluation. - Dario Guidotti; Laura Pandolfo; Luca Pulina (e-Science, 2023)

Detection of Component Degradation: A Study on Autoencoder-Based Approaches. - Dario Guidotti; Laura Pandolfo; Luca Pulina (e-Science, 2023)

Vector Reconstruction Error for Anomaly Detection: Preliminary Results in the IMOCO4.E Project. - Dario Guidotti; Riccardo Masiero; Laura Pandolfo; Luca Pulina (ETFA, 2023)

Verification of NNs in the IMOCO4.E Project: Preliminary Results. - Dario Guidotti; Laura Pandolfo; Luca Pulina (ETFA, 2023)

Verifying Neural Networks with Non-Linear SMT Solvers: a Short Status Report. - Dario Guidotti; Laura Pandolfo; Luca Pulina (ICTAI, 2023)

Leveraging Satisfiability Modulo Theory Solvers for Verification of Neural Networks in Predictive Maintenance Applications. - Dario Guidotti; Laura Pandolfo; Luca Pulina (Inf., 2023)

Constructing a Knowledge Graph for Italian Cinema Divas' Autobiographies (short paper). - Giorgio Corona; Dario Guidotti; Laura Pandolfo (IAI4CH@AI*IA, 2024)

LLMs for Sentiment Analysis in Tourism Reviews: A Resource-Efficient Approach. - Dario Guidotti; Laura Pandolfo; Luca Pulina (ICTAI, 2024)

Verifying Autoencoders for Anomaly Detection in Predictive Maintenance. - Dario Guidotti; Laura Pandolfo; Luca Pulina (IEA/AIE, 2024)

Formal Verification of Neural Networks: A "Step Zero" Approach for Vehicle Detection. - Dario Guidotti; Laura Pandolfo; Luca Pulina (IEA/AIE, 2024)

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)

Anomaly Recognition with Trustworthy Neural Networks: a Case Study in Elevator Control. - Dario Guidotti; Laura Pandolfo; Luca Pulina (AI4CC-IPS-RCRA-SPIRIT@AI*IA, 2024)

Bistìris Ontology: Towards a Structured Representation of Sardinian Traditional Female Costumes. - Giorgio Corona; Dario Guidotti; Laura Pandolfo; Luca Pulina (SemDH@ESWC, 2024)

NeVer2: learning and verification of neural networks. - Stefano Demarchi; Dario Guidotti; Luca Pulina; Armando Tacchella (Soft Comput., 2024)

A Multi-Modal Knowledge Graph for Mapping Narratives of Cinema's Divas. - Giorgio Corona; Dario Guidotti; Laura Pandolfo (IRCDL, 2025)

A Systematic Literature Review of Supervised Machine Learning Techniques for Predictive Maintenance in Industry 4.0. - Dario Guidotti; Laura Pandolfo; Luca Pulina (IEEE Access, 2025)

A Knowledge-Driven Approach to Threat Validation and Security Reasoning in Modular Systems. - Laura Pandolfo; Giorgio Corona; Dario Guidotti; Luca Pulina (IEEE Access, 2025)

Discovering sentiment insights: streamlining tourism review analysis with Large Language Models. - Dario Guidotti; Laura Pandolfo; Luca Pulina (J. Inf. Technol. Tour., 2025)