Dario Guidotti

38 papers A* 2A 1B 6C 6Journal 8Unranked 13

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A Knowledge-Driven Approach to Threat Validation and Security Reasoning in Modular Systems. IEEE Access Laura Pandolfo, Giorgio Corona, Dario Guidotti, Luca Pulina
2025	—	`conf`	A Multi-Modal Knowledge Graph for Mapping Narratives of Cinema's Divas. IRCDL Giorgio Corona, Dario Guidotti, Laura Pandolfo
2025	J	`jnl`	A Systematic Literature Review of Supervised Machine Learning Techniques for Predictive Maintenance in Industry 4.0. IEEE Access Dario Guidotti, Laura Pandolfo, Luca Pulina
2025	J	`jnl`	Discovering sentiment insights: streamlining tourism review analysis with Large Language Models. J. Inf. Technol. Tour. Dario Guidotti, Laura Pandolfo, Luca Pulina
2025	—	`ed.`	Proceedings of the 40th Italian Conference on Computational Logic, Alghero, Italy, June 25-27, 2025. CILC Dario Guidotti, Laura Pandolfo, Luca Pulina
2025	—	`conf`	SKET-Monitor: A Knowledge-Driven AI System for Sustainable Environmental and Territorial Monitoring. Green-Aware AI@ECAI Veronica Camerada, Dario Guidotti, Salvatore Lampreu, Laura Pandolfo, Luca Pulina
2025	J	`jnl`	SynthVal: A Framework for Validating Synthetic Medical Images. IEEE Access Dario Guidotti, Laura Pandolfo, Alberto Gutierrez-Torre, Omar Lopez-Rubio, Luca Pulina
2024	—	`conf`	Anomaly Recognition with Trustworthy Neural Networks: a Case Study in Elevator Control. AI4CC-IPS-RCRA-SPIRIT@AI*IA Dario Guidotti, Laura Pandolfo, Luca Pulina
2024	—	`conf`	Bistìris Ontology: Towards a Structured Representation of Sardinian Traditional Female Costumes. SemDH@ESWC Giorgio Corona, Dario Guidotti, Laura Pandolfo, Luca Pulina
2024	—	`conf`	Constructing a Knowledge Graph for Italian Cinema Divas' Autobiographies (short paper). IAI4CH@AI*IA Giorgio Corona, Dario Guidotti, Laura Pandolfo
2024	C	`conf`	Formal Verification of Neural Networks: A "Step Zero" Approach for Vehicle Detection. IEA/AIE Dario Guidotti, Laura Pandolfo, Luca Pulina
2024	B	`conf`	LLMs for Sentiment Analysis in Tourism Reviews: A Resource-Efficient Approach. ICTAI Dario Guidotti, Laura Pandolfo, Luca Pulina
2024	J	`jnl`	NeVer2: learning and verification of neural networks. Soft Comput. Stefano Demarchi, Dario Guidotti, Luca Pulina, Armando Tacchella
2024	—	`conf`	Translating Requirements in Property Specification Patterns using LLMs. AI4CC-IPS-RCRA-SPIRIT@AI*IA Dario Guidotti, Laura Pandolfo, Tiziana Fanni, Katiuscia Zedda, Luca Pulina
2024	C	`conf`	Verifying Autoencoders for Anomaly Detection in Predictive Maintenance. IEA/AIE Dario Guidotti, Laura Pandolfo, Luca Pulina
2023	B	`conf`	Detection of Component Degradation: A Study on Autoencoder-Based Approaches. e-Science Dario Guidotti, Laura Pandolfo, Luca Pulina
2023	J	`jnl`	Leveraging Satisfiability Modulo Theory Solvers for Verification of Neural Networks in Predictive Maintenance Applications. Inf. Dario Guidotti, Laura Pandolfo, Luca Pulina
2023	—	`conf`	Supporting Standardization of Neural Networks Verification with VNNLIB and CoCoNet. FoMLAS@CAV Stefano Demarchi, Dario Guidotti, Luca Pulina, Armando Tacchella
2023	C	`conf`	Vector Reconstruction Error for Anomaly Detection: Preliminary Results in the IMOCO4.E Project. ETFA Dario Guidotti, Riccardo Masiero, Laura Pandolfo, Luca Pulina
2023	C	`conf`	Verification of NNs in the IMOCO4.E Project: Preliminary Results. ETFA Dario Guidotti, Laura Pandolfo, Luca Pulina
2023	B	`conf`	Verifying Neural Networks with Non-Linear SMT Solvers: a Short Status Report. ICTAI Dario Guidotti, Laura Pandolfo, Luca Pulina
2023	B	`conf`	Verifying Neural Networks with SMT: An Experimental Evaluation. e-Science Dario Guidotti, Laura Pandolfo, Luca Pulina
2022	—	`conf`	Counter-Example Guided Abstract Refinement for Verification of Neural Networks. CPS Summer School, PhD Workshop Stefano Demarchi, Dario Guidotti
2022	C	`conf`	Formal Verification Of Neural Networks: A Case Study About Adaptive Cruise Control. ECMS Stefano Demarchi, Dario Guidotti, Andrea Pitto, Armando Tacchella
2022	—	`—`	Verification and Repair of Machine Learning Models. Dario Guidotti
2022	—	`conf`	Verification of Neural Networks for Safety and Security-critical Domains. IPS/RiCeRcA/SPIRIT@AI*IA Dario Guidotti
2022	—	`conf`	Verification of Neural Networks: Challenges and Perspectives in the AIDOaRt Project (Short Paper). IPS/RiCeRcA/SPIRIT@AI*IA Romina Eramo, Tiziana Fanni, Dario Guidotti, Laura Pandolfo, Luca Pulina, Katiuscia Zedda
2021	A*	`conf`	Safety Analysis of Deep Neural Networks. IJCAI Dario Guidotti
2021	C	`conf`	Telling Faults From Cyber-Attacks In A Multi-Modal Logistic System With Complex Network Analysis. ECMS Dario Guidotti, Giuseppe Cicala, Tommaso Gili, Armando Tacchella
2021	A*	`conf`	Verification and Repair of Neural Networks. AAAI Dario Guidotti
2021	B	`conf`	pyNeVer: A Framework for Learning and Verification of Neural Networks. ATVA Dario Guidotti, Luca Pulina, Armando Tacchella
2020	J	`jnl`	NeVer 2.0: Learning, Verification and Repair of Deep Neural Networks. CoRR Dario Guidotti, Luca Pulina, Armando Tacchella
2020	A	`conf`	Verification of Neural Networks: Enhancing Scalability Through Pruning. ECAI Dario Guidotti, Francesco Leofante, Luca Pulina, Armando Tacchella
2020	J	`jnl`	Verification of Neural Networks: Enhancing Scalability through Pruning. CoRR Dario Guidotti, Francesco Leofante, Luca Pulina, Armando Tacchella
2019	—	`conf`	Enhancing Neural Networks through Formal Verification. DDC@AI*IA Dario Guidotti
2019	—	`conf`	Repair of Convolutional Neural Networks using Convex Optimization: Preliminary Experiments. CPS Summer School, PhD Workshop Dario Guidotti, Francesco Leofante
2019	B	`conf`	Repairing Learned Controllers with Convex Optimization: A Case Study. CPAIOR Dario Guidotti, Francesco Leofante, Claudio Castellini, Armando Tacchella
2019	—	`conf`	Verification and Repair of Neural Networks: A Progress Report on Convolutional Models. AI*IA Dario Guidotti, Francesco Leofante, Luca Pulina, Armando Tacchella