GUIDOTTI, Dario
GUIDOTTI, Dario
SCIENZE UMANISTICHE E SOCIALI
A Knowledge-Driven Approach to Threat Validation and Security Reasoning in Modular Systems
2025-01-01 Pandolfo, L.; Corona, G.; Guidotti, D.; Pulina, L.
A Multi-Modal Knowledge Graph for Mapping Narratives of Cinema's Divas
2025-01-01 Corona, G.; Guidotti, D.; Pandolfo, L.
A Systematic Literature Review of Supervised Machine Learning Techniques for Predictive Maintenance in Industry 4.0
2025-01-01 Guidotti, Dario; Pandolfo, Laura; Pulina, Luca
Anomaly Recognition with Trustworthy Neural Networks: a Case Study in Elevator Control
2024-01-01 Guidotti, D.; Pandolfo, L.; Pulina, L.
Bistìris Ontology: Towards a Structured Representation of Sardinian Traditional Female Costumes
2024-01-01 Corona, G.; Guidotti, D.; Pandolfo, L.; Pulina, L.
Constructing a Knowledge Graph for Italian Cinema Divas' Autobiographies
2024-01-01 Corona, G.; Guidotti, D.; Pandolfo, L.
Counter-Example Guided Abstract Refinement for Verification of Neural Networks
2022-01-01 Demarchi, S.; Guidotti, D.
Detection of Component Degradation: A Study on Autoencoder-Based Approaches
2023-01-01 Guidotti, D.; Pandolfo, L.; Pulina, L.
Discovering sentiment insights: streamlining tourism review analysis with Large Language Models
2025-01-01 Guidotti, Dario; Pandolfo, Laura; Pulina, Luca
Enhancing neural networks through formal verification
2019-01-01 Guidotti, D.
Formal Verification of Neural Networks: a Case Study about Adaptive Cruise Control
2022-01-01 Demarchi, S.; Guidotti, D.; Pitto, A.; Tacchella, A.
Formal Verification of Neural Networks: A “Step Zero” Approach for Vehicle Detection
2024-01-01 Guidotti, Dario; Pandolfo, Laura; Pulina, Luca
Improving Reliability of Myocontrol Using Formal Verification
2019-01-01 Guidotti, D.; Leofante, F.; Tacchella, A.; Castellini, C.
Leveraging Satisfiability Modulo Theory Solvers for Verification of Neural Networks in Predictive Maintenance Applications
2023-01-01 Guidotti, D.; Pandolfo, L.; Pulina, L.
LLMs for Sentiment Analysis in Tourism Reviews: A Resource-Efficient Approach
2024-01-01 Guidotti, Dario; Pandolfo, Laura; Pulina, Luca
NeVer 2.0: Learning, Verification and Repair of Deep Neural Networks
2020-01-01 Guidotti, Dario; Pulina, Luca; Tacchella, Armando
NeVer2: learning and verification of neural networks
2024-01-01 Demarchi, S.; Guidotti, D.; Pulina, L.; Tacchella, A.
Proceedings of the 40th Italian Conference on Computational Logic (CILC 2025)
2025-01-01 Guidotti, D.; Pandolfo, L.; Pulina, L.
pyNeVer: A Framework for Learning and Verification of Neural Networks
2021-01-01 Guidotti, D.; Pulina, L.; Tacchella, A.
Repair of convolutional neural networks using convex optimization: Preliminary experiments
2019-01-01 Guidotti, D.; Leofante, F.