| 2024 | ICTAI | LLMs for Sentiment Analysis in Tourism Reviews: A Resource-Efficient Approach. | Dario Guidotti, Laura Pandolfo, Luca Pulina |
| 2023 | CAV | Supporting Standardization of Neural Networks Verification with VNNLIB and CoCoNet. | Stefano Demarchi, Dario Guidotti, Luca Pulina, Armando Tacchella |
| 2023 | ETFA | Vector Reconstruction Error for Anomaly Detection: Preliminary Results in the IMOCO4.E Project. | Dario Guidotti, Riccardo Masiero, Laura Pandolfo, Luca Pulina |
| 2023 | ETFA | Verification of NNs in the IMOCO4.E Project: Preliminary Results. | Dario Guidotti, Laura Pandolfo, Luca Pulina |
| 2023 | ICTAI | Verifying Neural Networks with Non-Linear SMT Solvers: a Short Status Report. | Dario Guidotti, Laura Pandolfo, Luca Pulina |
| 2022 | ECMS | Formal Verification Of Neural Networks: A Case Study About Adaptive Cruise Control. | Stefano Demarchi, Dario Guidotti, Andrea Pitto, Armando Tacchella |
| 2021 | AAAI | Verification and Repair of Neural Networks. | Dario Guidotti |
| 2021 | ATVA | pyNeVer: A Framework for Learning and Verification of Neural Networks. | Dario Guidotti, Luca Pulina, Armando Tacchella |
| 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 | IJCAI | Safety Analysis of Deep Neural Networks. | Dario Guidotti |
| 2020 | ECAI | Verification of Neural Networks: Enhancing Scalability Through Pruning. | Dario Guidotti, Francesco Leofante, Luca Pulina, Armando Tacchella |
| 2019 | CPAIOR | Repairing Learned Controllers with Convex Optimization: A Case Study. | Dario Guidotti, Francesco Leofante, Claudio Castellini, Armando Tacchella |