Matteo G. Rossi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
8
Active years
2021–2026
Best venue rank
National
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FORTE | Tarzan: A Region-Based Library for Forward and Backward Reachability of Timed Automata. | Andrea Manini, Matteo G. Rossi, Pierluigi San Pietro |
| 2026 | Mobisys | Vibrational, Acoustic and Inertial Sensing on Smart Eyewear for Physiological Monitoring. | Angela Cortese, Federica Mozzini, Luca Casciano, Aurelio Teliti, Matteo G. Rossi, Giacomo Gervasoni, Niccol Antonello, Enrico Gianluca Caiani |
| 2026 | TASE | Timed Games Under Environmental Interference with Real-Time Objectives. | Andrea Manini, Matteo G. Rossi, Pierluigi San Pietro |
| 2025 | TASE | Random Testing of Model Checkers for Timed Automata with Automated Oracle Generation. | Andrea Manini, Matteo G. Rossi, Pierluigi San Pietro |
| 2023 | ECSA | Architecting Explainable Service Robots. | Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi, Patrizia Scandurra |
| 2023 | ICSA | Towards Better Trust in Human-Machine Teaming through Explainable Dependability. | Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi, Patrizia Scandurra |
| 2023 | RE | A Conceptual Framework for Explainability Requirements in Software-Intensive Systems. | Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi, Patrizia Scandurra |
| 2021 | SAC | A semantic-based access control mechanism for distributed systems. | Mersedeh Sadeghi, Luca Sartor, Matteo G. Rossi |
| 2021 | SEKE | SMART: Towards Automated Mapping between Data Specifications. | Safia Kalwar, Mersedeh Sadeghi, Alireza Javadian Sabet, Alexander Nemirovskiy, Matteo G. Rossi |