Nicola Saccomanno

26 papers A* 4A 1B 1C 1Journal 13Unranked 5
YearRankTypeTitle / Venue / Authors
2026 A* conf
Automata-less Monitoring via Trace-Checking.
AAAI
Andrea Brunello, Luca Geatti, Angelo Montanari, Nicola Saccomanno
2026 A* conf
Do LLMs Really Struggle at NL-FOL Translation? Revealing Their Strengths via a Novel Benchmarking Strategy.
AAAI
Andrea Brunello, Luca Geatti, Michele Mignani, Angelo Montanari, Nicola Saccomanno
2025 J jnl
A survey on recent trends in robotics and artificial intelligence in the furniture industry.
Robotics Comput. Integr. Manuf.
Andrea Brunello, Giuliano Fabris, Alessandro Gasparetto, Angelo Montanari, Nicola Saccomanno, Lorenzo Scalera
2025 — conf
An Information System for Biblical Manuscripts Paratexts: Modeling, Implementation, and Future Directions.
IRCDL
Andrea Brunello, Emanuela Colombi, Matteo Raffin, Nicola Saccomanno
2025 J jnl
Automata-less Monitoring via Trace-Checking (Extended Version).
CoRR
Andrea Brunello, Luca Geatti, Angelo Montanari, Nicola Saccomanno
2025 J jnl
Do LLMs Really Struggle at NL-FOL Translation? Revealing their Strengths via a Novel Benchmarking Strategy.
CoRR
Andrea Brunello, Luca Geatti, Michele Mignani, Angelo Montanari, Nicola Saccomanno
2025 A conf
Interpretable Early Failure Detection via Machine Learning and Trace Checking-Based Monitoring.
ECAI
Andrea Brunello, Luca Geatti, Angelo Montanari, Nicola Saccomanno
2025 J jnl
Interpretable Early Failure Detection via Machine Learning and Trace Checking-based Monitoring.
CoRR
Andrea Brunello, Luca Geatti, Angelo Montanari, Nicola Saccomanno
2025 — ed.
Short Paper Proceedings of the 7th International Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2025, Bologna, Italy, October 26, 2025.
OVERLAY
Angelo Montanari, Andrea Orlandini, Nicola Saccomanno, Stefano Tonetta
2025 J jnl
Time matters: Empirical insights into the limits and challenges of temporal generalization in CSI-based Wi-Fi sensing.
Internet Things
Andrea Brunello, Angelo Montanari, Raúl Montoliu, Adriano J. C. Moreira, Nicola Saccomanno, Emilio Sansano-Sansano, Joaquín Torres-Sospedra
2025 J jnl
Unified Peripartum Database with Natural-Language-to-SQL Capabilities at Udine University Hospital: Design and Prototype.
CoRR
Doriana Armenise, Ginevra Battello, Andrea Brunello, Lorenza Driul, Angelo Montanari, Elisa Rizzante, Nicola Saccomanno, Andrea Salvador, Serena Xodo, Silvia Zermano
2024 — conf
Evaluating LLMs Capabilities at Natural Language to Logic Translation: A Preliminary Investigation.
OVERLAY
Andrea Brunello, Riccardo Ferrarese, Luca Geatti, Enrico Marzano, Angelo Montanari, Nicola Saccomanno
2024 A* conf
Learning What to Monitor: Using Machine Learning to Improve past STL Monitoring.
IJCAI
Andrea Brunello, Luca Geatti, Angelo Montanari, Nicola Saccomanno
2023 J jnl
AIOSA: An approach to the automatic identification of obstructive sleep apnea events based on deep learning.
CoRR
Andrea Bernardini, Andrea Brunello, Gian Luigi Gigli, Angelo Montanari, Nicola Saccomanno
2023 J jnl
Crowdsourced Reconstruction of Cellular Networks to Serve Outdoor Positioning: Modeling, Validation and Analysis.
Sensors
Andrea Brunello, Andrea Dalla Torre, Paolo Gallo, Donatella Gubiani, Angelo Montanari, Nicola Saccomanno
2023 — conf
High-Performance Features in Generalizable Fingerprint-Based Indoor Positioning.
MobiQuitous (1)
Andrea Brunello, Angelo Montanari, Nicola Saccomanno, Joaquín Torres-Sospedra
2023 J jnl
Monitors That Learn From Failures: Pairing STL and Genetic Programming.
IEEE Access
Andrea Brunello, Dario Della Monica, Angelo Montanari, Nicola Saccomanno, Andrea Urgolo
2023 A* conf
Towards Learning an Optimal Metric for Fingerprint-based Localisation.
MobiCom
Nicola Saccomanno, Andrea Brunello, Angelo Montanari
2023 — conf
Towards Machine Learning Enhanced LTL Monitoring.
OVERLAY@AI*IA
Luca Geatti, Angelo Montanari, Nicola Saccomanno
2023 J jnl
Towards interpretability in fingerprint based indoor positioning: May attention be with us.
Expert Syst. Appl.
Andrea Brunello, Angelo Montanari, Nicola Saccomanno
2023 — conf
Usage of Language Model for the Filling of Lacunae in Ancient Latin Inscriptions: A Case Study (full paper).
IAI4CH@AI*IA
Andrea Brunello, Emanuela Colombi, Alessandro Locaputo, Stefano Magnani, Nicola Saccomanno, Giuseppe Serra
2022 J jnl
A Framework for Indoor Positioning Including Building Topology.
IEEE Access
Andrea Brunello, Angelo Montanari, Nicola Saccomanno
2022 J jnl
A genetic programming approach to WiFi fingerprint meta-distance learning.
Pervasive Mob. Comput.
Andrea Brunello, Angelo Montanari, Nicola Saccomanno
2021 J jnl
AIOSA: An approach to the automatic identification of obstructive sleep apnea events based on deep learning.
Artif. Intell. Medicine
Andrea Bernardini, Andrea Brunello, Gian Luigi Gigli, Angelo Montanari, Nicola Saccomanno
2020 B conf
A new similarity measure for low-sampling cellular fingerprint trajectories.
MDM
Paolo Gallo, Donatella Gubiani, Angelo Montanari, Nicola Saccomanno
2020 C conf
Let's Forget About Exact Signal Strength: Indoor Positioning based on Access Point Ranking and Recurrent Neural Networks.
MobiQuitous
Nicola Saccomanno, Andrea Brunello, Angelo Montanari