Matteo G. Rossi

20 papers B 1C 1Misc 2Journal 7Unranked 9
YearRankTypeTitle / Venue / Authors
2026 J jnl
Do You Understand How I Feel?: Towards Verified Empathy in Therapy Chatbots.
CoRR
Francesco Dettori, Matteo Forasassi, Lorenzo Veronese, Livia Lestingi, Vincenzo Scotti, Matteo G. Rossi
2026 J jnl
Proactive self-adaptation and assurance of explainable Human-Machine Teaming.
J. Syst. Softw.
Livia Lestingi, Marcello M. Bersani, Matteo Camilli, Raffaela Mirandola, Matteo G. Rossi, Patrizia Scandurra
2026 J jnl
TARZAN: A Region-Based Library for Forward and Backward Reachability of Timed Automata (Extended Version).
CoRR
Andrea Manini, Matteo G. Rossi, Pierluigi San Pietro
2025 J jnl
Data-Driven Energy Modeling of Machining Centers Through Automata Learning.
IEEE Trans Autom. Sci. Eng.
Livia Lestingi, Nicla Frigerio, Marcello M. Bersani, Andrea Matta, Matteo G. Rossi
2025 J jnl
Finger-to-Chest Style Transfer-Assisted Deep Learning Method for Photoplethysmogram Waveform Restoration With Timing Preservation.
IEEE Trans. Instrum. Meas.
Sara Maria Pagotto, Federico Tognoni, Matteo G. Rossi, Dario Bovio, Caterina Salito, Luca T. Mainardi, Pietro Cerveri
2025 J jnl
On Decidability Timed Automata with 2 Parametric Clocks.
CoRR
Marcello M. Bersani, Matteo G. Rossi, Pierluigi San Pietro
2025 — conf
Preliminary Study of DSL Code Generation for Robotics with LLMs.
TAROS
Alberto Tagliaferro, Livia Lestingi, Matteo G. Rossi
2025 Misc conf
Random Testing of Model Checkers for Timed Automata with Automated Oracle Generation.
TASE
Andrea Manini, Matteo G. Rossi, Pierluigi San Pietro
2024 — conf
An Educational Module for Temporal Features in Alloy 6.
FMTea
Luca Padalino, Francesca Pia Panaccione, Francesco Santambrogio, Elisabetta Di Nitto, Matteo G. Rossi
2024 — conf
Efficient Verification of Protection System Configuration of Electrical Distribution Grids.
ISGT EUROPE
Francesco Pellei, Ahmed Nagy Abdelkhalek Mansour, Enrico Ragaini, Samuele Grillo, Matteo G. Rossi
2024 J jnl
Optimising Queries for Pattern Detection Over Large Scale Temporally Evolving Graphs.
IEEE Access
Hassan Nazeer Chaudhry, Matteo G. Rossi
2024 — conf
Verification-Oriented Specification of Multi-agent Interaction Patterns.
AREA
Alberto Tagliaferro, Livia Lestingi, Matteo G. Rossi
2023 — conf
A Conceptual Framework for Explainability Requirements in Software-Intensive Systems.
REW
Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi, Patrizia Scandurra
2023 B conf
Architecting Explainable Service Robots.
ECSA
Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi, Patrizia Scandurra
2023 — conf
Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning.
FormaliSE
Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi
2023 — conf
Towards Better Trust in Human-Machine Teaming through Explainable Dependability.
ICSA-C
Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi, Patrizia Scandurra
2021 Misc conf
A semantic-based access control mechanism for distributed systems.
SAC
Mersedeh Sadeghi, Luca Sartor, Matteo G. Rossi
2021 — conf
On the Visualization of Semantic-based Mappings.
Sem4Tra@SEMANTiCS
Nicolò Oreste Pinciroli Vago, Mario Sacaj, Mersedeh Sadeghi, Safia Kalwar, Andreas Vogelsang, Matteo G. Rossi
2021 C conf
SMART: Towards Automated Mapping between Data Specifications.
SEKE
Safia Kalwar, Mersedeh Sadeghi, Alireza Javadian Sabet, Alexander Nemirovskiy, Matteo G. Rossi
2019 — conf
Automated Mapping for Semantic-based Conversion of Transportation Data Formats.
SEM4TRA-AMAR@SEMANTiCS
Marjan Hosseini, Safia Kalwar, Matteo G. Rossi, Mersedeh Sadeghi