Dario Guidotti

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 25

Top Topics

Anomaly Detection

Formal Verification

Top Venues

IPS/RiCeRcA/SPIRIT@AI*IA

Publications

Giorgio Corona, Dario Guidotti, Laura Pandolfo, Luca Pulina
Bistìris Ontology: Towards a Structured Representation of Sardinian Traditional Female Costumes. SemDH@ESWC (2024)
Dario Guidotti, Laura Pandolfo, Luca Pulina
Verifying Autoencoders for Anomaly Detection in Predictive Maintenance. IEA/AIE (2024)
Dario Guidotti, Laura Pandolfo, Luca Pulina
Formal Verification of Neural Networks: A "Step Zero" Approach for Vehicle Detection. IEA/AIE (2024)
Dario Guidotti, Laura Pandolfo, Luca Pulina
Verifying Neural Networks with SMT: An Experimental Evaluation. e-Science (2023)
Stefano Demarchi, Dario Guidotti, Luca Pulina, Armando Tacchella
Supporting Standardization of Neural Networks Verification with VNNLIB and CoCoNet. FoMLAS@CAV (2023)
Dario Guidotti, Laura Pandolfo, Luca Pulina
Detection of Component Degradation: A Study on Autoencoder-Based Approaches. e-Science (2023)
Dario Guidotti, Laura Pandolfo, Luca Pulina
Leveraging Satisfiability Modulo Theory Solvers for Verification of Neural Networks in Predictive Maintenance Applications. Inf. 14 (7) (2023)
Dario Guidotti, Riccardo Masiero, Laura Pandolfo, Luca Pulina
Vector Reconstruction Error for Anomaly Detection: Preliminary Results in the IMOCO4.E Project. ETFA (2023)
Dario Guidotti, Laura Pandolfo, Luca Pulina
Verifying Neural Networks with Non-Linear SMT Solvers: a Short Status Report. ICTAI (2023)
Dario Guidotti, Laura Pandolfo, Luca Pulina
Verification of NNs in the IMOCO4.E Project: Preliminary Results. ETFA (2023)
Stefano Demarchi, Dario Guidotti
Counter-Example Guided Abstract Refinement for Verification of Neural Networks. CPS Summer School, PhD Workshop (2022)
Romina Eramo, Tiziana Fanni, Dario Guidotti, Laura Pandolfo, Luca Pulina, Katiuscia Zedda
Verification of Neural Networks: Challenges and Perspectives in the AIDOaRt Project (Short Paper). IPS/RiCeRcA/SPIRIT@AI*IA (2022)
Stefano Demarchi, Dario Guidotti, Andrea Pitto, Armando Tacchella
Formal Verification Of Neural Networks: A Case Study About Adaptive Cruise Control. ECMS (2022)
Dario Guidotti
Verification of Neural Networks for Safety and Security-critical Domains. IPS/RiCeRcA/SPIRIT@AI*IA (2022)
Dario Guidotti
Verification and Repair of Neural Networks. AAAI (2021)
Dario Guidotti, Luca Pulina, Armando Tacchella
pyNeVer: A Framework for Learning and Verification of Neural Networks. ATVA (2021)
Dario Guidotti, Giuseppe Cicala, Tommaso Gili, Armando Tacchella
Telling Faults From Cyber-Attacks In A Multi-Modal Logistic System With Complex Network Analysis. ECMS (2021)
Dario Guidotti
Safety Analysis of Deep Neural Networks. IJCAI (2021)
Dario Guidotti, Francesco Leofante, Luca Pulina, Armando Tacchella
Verification of Neural Networks: Enhancing Scalability through Pruning. CoRR (2020)
Dario Guidotti, Luca Pulina, Armando Tacchella
NeVer 2.0: Learning, Verification and Repair of Deep Neural Networks. CoRR (2020)
Dario Guidotti, Francesco Leofante, Luca Pulina, Armando Tacchella
Verification of Neural Networks: Enhancing Scalability Through Pruning. ECAI (2020)
Dario Guidotti
Enhancing Neural Networks through Formal Verification. DDC@AI*IA (2019)
Dario Guidotti, Francesco Leofante
Verification and Repair of Neural Networks: a Progress Report on Convolutional Models. CPS Summer School, PhD Workshop (2019)
Dario Guidotti, Francesco Leofante, Claudio Castellini, Armando Tacchella
Repairing Learned Controllers with Convex Optimization: A Case Study. CPAIOR (2019)
Dario Guidotti, Francesco Leofante, Luca Pulina, Armando Tacchella
Verification and Repair of Neural Networks: A Progress Report on Convolutional Models. AI*IA (2019)