A Case Study in Object-Oriented Modeling and Design of Distributed Multimedia Applications. - Angelo Morzenti; Matteo Pradella; Matteo Rossi 001; Stefano Russo 001; Antonio Sergio (PDSE, 1999)

A multirate predictive approach to orbit control of small spacecraft. - Matteo Rossi 001; Marco Lovera (ACC, 2002)

A formal approach for designing CORBA-based applications. - Alberto Coen-Porisini; Matteo Pradella; Matteo Rossi 001; Dino Mandrioli (ACM Trans. Softw. Eng. Methodol., 2003)

Semi-formal and Formal Models Applied to Flexible Manufacturing Systems. - Andrea Matta; Carlo A. Furia; Matteo Rossi 001 (ISCIS, 2004)

A formal approach for modeling and verification of RTCORBA-based applications. - Matteo Rossi 001; Dino Mandrioli (ISSTA, 2004)

A Compositional Framework for Formally Verifying Modular Systems. - Carlo A. Furia; Matteo Rossi 001 (TACoS, 2004)

ArchiTRIO: A UML-Compatible Language for Architectural Description and Its Formal Semantics. - Matteo Pradella; Matteo Rossi 001; Dino Mandrioli (FORTE, 2005)

A UML-Compatible Formal Language for System Architecture Description. - Matteo Pradella; Matteo Rossi 001; Dino Mandrioli (SDL Forum, 2005)

Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling. - Carlo A. Furia; Matteo Rossi 001 (FORMATS, 2006)

A formal approach to sensor placement and configuration in a network intrusion detection system. - Marco Rolando; Matteo Rossi 001; Niccolò Sanarico; Dino Mandrioli (SESS@ICSE, 2006)

A UML 2-compatible language and tool for formal modeling real-time system architectures. - Pietro Colombo; Matteo Pradella; Matteo Rossi 001 (SAC, 2006)

Comments on "An Interval Logic for Real-Time System Specification'. - Carlo A. Furia; Angelo Morzenti; Matteo Pradella; Matteo Rossi 001 (IEEE Trans. Software Eng., 2006)

On the Expressiveness of MTL Variants over Dense Time. - Carlo A. Furia; Matteo Rossi 001 (FORMATS, 2007)

Modeling the Environment in Software-Intensive Systems. - Carlo A. Furia; Matteo Rossi 001; Dino Mandrioli (MiSE@ICSE, 2007)

FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems. - Andrea Matta; Matteo Rossi 001; Paola Spoletini; Dino Mandrioli; Quirico Semeraro; Tullio Tolio (ICTAC, 2007)

No Need to Be Strict: On the Expressiveness of Metric Temporal Logics with (Non-)strict Operators. - Carlo A. Furia; Matteo Rossi 001 (Bull. EATCS, 2007)

Automated compositional proofs for real-time systems. - Carlo A. Furia; Matteo Rossi 001; Dino Mandrioli; Angelo Morzenti (Theor. Comput. Sci., 2007)

Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation. - Carlo A. Furia; Matteo Pradella; Matteo Rossi 001 (FM, 2008)

MTL with Bounded Variability: Decidability and Complexity. - Carlo A. Furia; Matteo Rossi 001 (FORMATS, 2008)

Practical Automated Partial Verification of Multi-paradigm Real-Time Models. - Carlo A. Furia; Matteo Pradella; Matteo Rossi 001 (ICFEM, 2008)

Towards a formal model of autonomic services based on SelfLets. - Stefania Pacifici; Matteo Rossi 001 (PESOS@ICSE, 2009)

Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms. - Marcello M. Bersani; Carlo A. Furia; Matteo Pradella; Matteo Rossi 001 (SEFM, 2009)

Comments on temporal logics for real-time system specification. - Carlo A. Furia; Matteo Pradella; Matteo Rossi 001 (ACM Comput. Surv., 2009)

Towards the UML-Based Formal Verification of Timed Systems. - Luciano Baresi; Angelo Morzenti; Alfredo Motta; Matteo Rossi 001 (FMCO, 2010)

Using Compositionality to Formally Model and Analyze Systems Built of a High Number of Components. - Silvia Bindelli; Elisabetta Di Nitto; Carlo A. Furia; Matteo Rossi 001 (ICECCS, 2010)

From Interaction Overview Diagrams to Temporal Logic. - Luciano Baresi; Angelo Morzenti; Alfredo Motta; Matteo Rossi 001 (MoDELS (Workshops), 2010)

SMT-based Verification of LTL Specification with Integer Constraints and its Application to Runtime Checking of Service Substitutability. - Marcello M. Bersani; Luca Cavallaro; Achille Frigeri; Matteo Pradella; Matteo Rossi 001 (SEFM, 2010)

Bounded Reachability for Temporal Logic over Constraint Systems. - Marcello M. Bersani; Achille Frigeri; Angelo Morzenti; Matteo Pradella; Matteo Rossi 001; Pierluigi San Pietro (TIME, 2010)

SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability - Marcello M. Bersani; Luca Cavallaro; Achille Frigeri; Matteo Pradella; Matteo Rossi 001 (CoRR, 2010)

Modeling time in computing: A taxonomy and a comparative survey. - Carlo A. Furia; Dino Mandrioli; Angelo Morzenti; Matteo Rossi 001 (ACM Comput. Surv., 2010)

SCORE: the first student contest on software engineering. - Dino Mandrioli; Stephen Fickas; Carlo A. Furia; Mehdi Jazayeri; Matteo Rossi 001; Michal Young (ACM SIGSOFT Softw. Eng. Notes, 2010)

A theory of sampling for continuous-time metric temporal logic. - Carlo A. Furia; Matteo Rossi 001 (ACM Trans. Comput. Log., 2010)

SCORE 2011: the second student contest on software engineering. - Matteo Rossi 001; Michal Young (ICSE, 2011)

Completeness of the Bounded Satisfiability Problem for Constraint LTL. - Marcello M. Bersani; Achille Frigeri; Matteo Rossi 001; Pierluigi San Pietro (RP, 2011)

Modeling Time in Computing. - Carlo A. Furia; Dino Mandrioli; Angelo Morzenti; Matteo Rossi 001 (Springer, 2012)

MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems. - Alek Radjenovic; Nikolas Drivalos Matragkas; Richard F. Paige; Matteo Rossi 001; Alfredo Motta; Luciano Baresi; Dimitrios S. Kolovos (ECMFA, 2012)

Modular Automated Verification of Flexible Manufacturing Systems with Metric Temporal Logic and Non-Standard Analysis. - Luca Ferrucci; Dino Mandrioli; Angelo Morzenti; Matteo Rossi 001 (FMICS, 2012)

Green Move: Towards next generation sustainable smartphone-based vehicle sharing. - Giovanni Alli; Luciano Baresi; Andrea G. Bianchessi; Gianpaolo Cugola; Alessandro Margara; Angelo Morzenti; Carlo Ongini; Emanuele Panigati; Matteo Rossi 001; S. Rotondi; Sergio M. Savaresi; Fabio Alberto Schreiber; et al. (SustainIT, 2012)

Flexible logic-based Co-simulation of Modelica models. - Luciano Baresi; Gianni Ferretti; Alberto Leva; Matteo Rossi 001 (INDIN, 2012)

MADES FP7 EU project: Effective high level SysML/MARTE methodology for real-time and embedded avionics systems. - Imran Rafiq Quadri; Etienne Brosse; Ian Gray; Nikolas Drivalos Matragkas; Leandro Soares Indrusiak; Matteo Rossi 001; Alessandra Bagnato; Andrey Sadovykh (ReCoSoC, 2012)

A Metric Temporal Logic for Dealing with Zero-Time Transitions. - Luca Ferrucci; Dino Mandrioli; Angelo Morzenti; Matteo Rossi 001 (TIME, 2012)

Non-null Infinitesimal Micro-steps: a Metric Temporal Logic Approach - Luca Ferrucci; Dino Mandrioli; Angelo Morzenti; Matteo Rossi 001 (CoRR, 2012)

A logic-based semantics for the verification of multi-diagram UML models. - Luciano Baresi; Angelo Morzenti; Alfredo Motta; Matteo Rossi 001 (ACM SIGSOFT Softw. Eng. Notes, 2012)

Complex Autonomic Systems for Networked Enterprises: Mechanisms, Solutions and Design Approaches. - Nicolò Maria Calcavecchia; Elisabetta Di Nitto; Daniel J. Dubois; Carlo Ghezzi; Valentina Mazza; Matteo Rossi 001 (ArtDeco, 2012)

Deciding Continuous-Time Metric Temporal Logic with Counting Modalities. - Marcello M. Bersani; Matteo Rossi 001; Pierluigi San Pietro (RP, 2013)

Deciding the Satisfiability of MITL Specifications. - Marcello Maria Bersani; Matteo Rossi 001; Pierluigi San Pietro (GandALF, 2013)

On the Satisfiability of Metric Temporal Logics over the Reals. - Marcello Maria Bersani; Matteo Rossi 001; Pierluigi San Pietro (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

A Flexible Architecture for Managing Vehicle Sharing Systems. - Andrea G. Bianchessi; Carlo Ongini; S. Rotondi; Mara Tanelli; Matteo Rossi 001; Gianpaolo Cugola; Sergio M. Savaresi (IEEE Embed. Syst. Lett., 2013)

Towards a Formal Semantics for UML/MARTE State Machines Based on Hierarchical Timed Automata. - Yu Zhou 010; Luciano Baresi; Matteo Rossi 001 (J. Comput. Sci. Technol., 2013)

Flexible modular formalization of UML sequence diagrams. - Luciano Baresi; Mohammad Mehdi Pourhashem Kallehbasti; Matteo Rossi 001 (FormaliSE, 2014)

A Logical Characterization of Timed (non-)Regular Languages. - Marcello M. Bersani; Matteo Rossi 001; Pierluigi San Pietro (MFCS (1), 2014)

Green Move: A Platform for Highly Configurable, Heterogeneous Electric Vehicle Sharing. - Andrea G. Bianchessi; Gianpaolo Cugola; Simone Formentin; Angelo Morzenti; Carlo Ongini; Emanuele Panigati; Matteo Rossi 001; Sergio M. Savaresi; Fabio Alberto Schreiber; Letizia Tanca; Edoardo G. Vannutelli Depoli (IEEE Intell. Transp. Syst. Mag., 2014)

Constraint LTL satisfiability checking without automata. - Marcello M. Bersani; Achille Frigeri; Angelo Morzenti; Matteo Pradella; Matteo Rossi 001; Pierluigi San Pietro (J. Appl. Log., 2014)

Automated formal verification for flexible manufacturing systems. - Emanuele Carpanzano; Luca Ferrucci; Dino Mandrioli; Mauro Mazzolini; Angelo Morzenti; Matteo Rossi 001 (J. Intell. Manuf., 2014)

Efficient Scalable Verification of LTL Specifications. - Luciano Baresi; Mohammad Mehdi Pourhashem Kallehbasti; Matteo Rossi 001 (ICSE (1), 2015)

DICE: Quality-Driven Development of Data-Intensive Cloud Applications. - Giuliano Casale; Danilo Ardagna; Matej Artac; Franck Barbier; Elisabetta Di Nitto; Alexis Henry; Gabriel Iuhasz; Christophe Joubert; José Merseguer; Victor Ion Munteanu; Juan Fernando Pérez; Dana Petcu; et al. (MiSE@ICSE, 2015)

An SMT-based approach to satisfiability checking of MITL. - Marcello M. Bersani; Matteo Rossi 001; Pierluigi San Pietro (Inf. Comput., 2015)

Formal verification and validation of embedded systems: the UML-based MADES approach. - Luciano Baresi; Gundula Blohm; Dimitrios S. Kolovos; Nicholas Drivalos Matragkas; Alfredo Motta; Richard F. Paige; Alek Radjenovic; Matteo Rossi 001 (Softw. Syst. Model., 2015)

Towards the Formal Verification of Data-Intensive Applications Through Metric Temporal Logic. - Francesco Marconi; Marcello M. Bersani; Madalina Erascu; Matteo Rossi 001 (ICFEM, 2016)

A tool for verification of big-data applications. - Marcello M. Bersani; Francesco Marconi; Matteo Rossi 001; Madalina Erascu (QUDOS@ISSTA, 2016)

How bit-vector logic can help improve the verification of LTL specifications over infinite domains. - Luciano Baresi; Mohammad Mehdi Pourhashem Kallehbasti; Matteo Rossi 001 (SAC, 2016)

SAFER-HRC: Safety Analysis Through Formal vERification in Human-Robot Collaboration. - Mehrnoosh Askarpour; Dino Mandrioli; Matteo Rossi 001; Federico Vicentini (SAFECOMP, 2016)

Analysis of Energy-Efficient Buildings through Simulation and Formal Methods. - Maryam Ehsanpour; Luciano Baresi; Matteo Rossi 001; Ernesto Damiani (SIMPDA, 2016)

A tool for deciding the satisfiability of continuous-time metric temporal logic. - Marcello M. Bersani; Matteo Rossi 001; Pierluigi San Pietro (Acta Informatica, 2016)

A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications. - Matteo Rossi 001; Dino Mandrioli; Angelo Morzenti; Luca Ferrucci (Theor. Comput. Sci., 2016)

A Human-in-the-Loop Perspective for Safety Assessment in Robotic Applications. - Mehrnoosh Askarpour; Dino Mandrioli; Matteo Rossi 001; Federico Vicentini (Ershov Informatics Conference, 2017)

Formal verification of storm topologies through D-VerT. - Francesco Marconi; Marcello M. Bersani; Matteo Rossi 001 (SAC, 2017)

Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications. - Mehrnoosh Askarpour; Dino Mandrioli; Matteo Rossi 001; Federico Vicentini (SAFECOMP, 2017)

Formal verification of data-intensive applications through model checking modulo theories. - Marcello M. Bersani; Francesco Marconi; Matteo Rossi 001; Madalina Erascu; Silvio Ghilardi (SPIN, 2017)

A logical characterization of timed regular languages. - Marcello M. Bersani; Matteo Rossi 001; Pierluigi San Pietro (Theor. Comput. Sci., 2017)

A Logic-Based Approach for the Verification of UML Timed Models. - Luciano Baresi; Angelo Morzenti; Alfredo Motta; Mohammad Mehdi Pourhashem Kallehbasti; Matteo Rossi 001 (ACM Trans. Softw. Eng. Methodol., 2017)

3cixty: Building comprehensive knowledge bases for city exploration. - Raphaël Troncy; Giuseppe Rizzo 002; Anthony Jameson; Óscar Corcho; Julien Plu; Enrico Palumbo; Juan Carlos Ballesteros Hermida; Adrian Spirescu; Kai-Dominik Kuhn; Catalin-Mihai Barbu; Matteo Rossi 001; Irene Celino; et al. (J. Web Semant., 2017)

On the Timed Analysis of Big-Data Applications. - Francesco Marconi; Giovanni Quattrocchi; Luciano Baresi; Marcello M. Bersani; Matteo Rossi 001 (NFM, 2018)

Trace Checking of Streaming Applications through DICE-TraCT. - Marcello M. Bersani; Francesco Marconi; Matteo Rossi 001 (ICPE Companion, 2018)

A Flexible Approach for Checking Timed Automata on Continuous Time Semantics. - Claudio Menghi; Marcello M. Bersani; Matteo Rossi 001; Pierluigi San Pietro (CoRR, 2018)

Formal Methods in Designing Critical Cyber-Physical Systems. - Mehrnoosh Askarpour; Carlo Ghezzi; Dino Mandrioli; Matteo Rossi 001; Christos Tsigkanos (From Software Engineering to Formal Methods and Tools, and Back, 2019)

Temporal Pattern Recognition in Large Scale Graphs. - Hassan Nazeer Chaudhry; Alessandro Margara; Matteo Rossi 001 (DEBS, 2019)

Automated Mapping for Semantic-based Conversion of Transportation Data Formats. - Marjan Hosseini; Safia Kalwar; Matteo G. Rossi; Mersedeh Sadeghi (SEM4TRA-AMAR@SEMANTiCS, 2019)

Model-driven Risk Analysis for the Design of Safe Collaborative Robotic Applications. - Mehrnoosh Askarpour; Livia Lestingi; Federico Buran; Matteo Rossi 001; Federico Vicentini (ICHMS, 2020)

Towards Learning Travelers' Preferences in a Context-Aware Fashion. - Alireza Javadian Sabet; Matteo Rossi 001; Fabio Alberto Schreiber; Letizia Tanca (ISAmI, 2020)

Context Awareness in the Travel Companion of the Shift2Rail Initiative. - Alireza Javadian Sabet; Matteo Rossi 001; Fabio Alberto Schreiber; Letizia Tanca (SEBD, 2020)

Formal Verification of Human-Robot Interaction in Healthcare Scenarios. - Livia Lestingi; Mehrnoosh Askarpour; Marcello M. Bersani; Matteo Rossi 001 (SEFM, 2020)

A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios. - Livia Lestingi; Mehrnoosh Askarpour; Marcello M. Bersani; Matteo Rossi 001 (SMC, 2020)

Co-Simulation of Human-Robot Collaboration: from Temporal Logic to 3D Simulation. - Mehrnoosh Askarpour; Matteo Rossi 001; Omer Tiryakiler (AREA@ECAI, 2020)

Statistical Model Checking of Human-Robot Interaction Scenarios. - Livia Lestingi; Mehrnoosh Askarpour; Marcello M. Bersani; Matteo Rossi 001 (AREA@ECAI, 2020)

Using formal verification to evaluate the execution time of Spark applications. - Luciano Baresi; Marcello M. Bersani; Francesco Marconi; Giovanni Quattrocchi; Matteo Rossi 001 (Formal Aspects Comput., 2020)

PuRSUE -from specification of robotic environments to synthesis of controllers. - Marcello M. Bersani; Matteo Soldo; Claudio Menghi; Patrizio Pelliccione; Matteo Rossi 001 (Formal Aspects Comput., 2020)

On the initialization of clocks in timed formalisms. - Marcello M. Bersani; Matteo Rossi 001; Pierluigi San Pietro (Theor. Comput. Sci., 2020)

Model Checking MITL Formulae on Timed Automata: A Logic-based Approach. - Claudio Menghi; Marcello M. Bersani; Matteo Rossi 001; Pierluigi San Pietro (ACM Trans. Comput. Log., 2020)

Safety Assessment of Collaborative Robotics Through Automated Formal Verification. - Federico Vicentini; Mehrnoosh Askarpour; Matteo Rossi 001; Dino Mandrioli (IEEE Trans. Robotics, 2020)

Temporal Pattern Recognition in Graph Data Structures. - Pietro Daverio; Hassan Nazeer Chaudhry; Alessandro Margara; Matteo Rossi 001 (IEEE BigData, 2021)

On the Visualization of Semantic-based Mappings. - Nicolò Oreste Pinciroli Vago; Mario Sacaj; Mersedeh Sadeghi; Safia Kalwar; Andreas Vogelsang; Matteo G. Rossi (Sem4Tra@SEMANTiCS, 2021)

Improved Bounded Model Checking of Timed Automata. - Robert L. Smith; Marcello M. Bersani; Matteo Rossi 001; Pierluigi San Pietro (FormaliSE@ICSE, 2021)

A semantic-based access control mechanism for distributed systems. - Mersedeh Sadeghi; Luca Sartor; Matteo G. Rossi (SAC, 2021)

RoboMAX: Robotic Mission Adaptation eXemplars. - Mehrnoosh Askarpour; Christos Tsigkanos; Claudio Menghi; Radu Calinescu; Patrizio Pelliccione; Sergio García 002; Ricardo Caldas; Tim J. von Oertzen; Manuel Wimmer; Luca Berardinelli; Matteo Rossi 001; Marcello M. Bersani; et al. (SEAMS@ICSE, 2021)

SMART: Towards Automated Mapping between Data Specifications. - Safia Kalwar; Mersedeh Sadeghi; Alireza Javadian Sabet; Alexander Nemirovskiy; Matteo G. Rossi (SEKE, 2021)

A Deployment Framework for Formally Verified Human-Robot Interactions. - Livia Lestingi; Mehrnoosh Askarpour; Marcello M. Bersani; Matteo Rossi 001 (IEEE Access, 2021)

Modeling and analysis of communicating systems. - Matteo Rossi 001 (Formal Aspects Comput., 2021)

Formally-based Model-Driven Development of Collaborative Robotic Applications. - Mehrnoosh Askarpour; Livia Lestingi; Samuele Longoni; Niccolò Iannacci; Matteo Rossi 001; Federico Vicentini (J. Intell. Robotic Syst., 2021)

Convolutional Neural Networks Cascade for Automatic Pupil and Iris Detection in Ocular Proton Therapy. - Luca Antonioli; Andrea Pella; Rosalinda Ricotti; Matteo Rossi 001; Maria Rosaria Fiore; Gabriele Belotti; Giuseppe Magro; Chiara Paganelli; Ester Orlandi; Mario Ciocca; Guido Baroni (Sensors, 2021)

End-to-end Deep Learning and Sensor Fusion for Non-invasive BP Monitoring Using Multivariate Physiological Signals. - Pietro Cerveri; Mattia Sarti; Matteo Rossi 001; Giulia Alessandrelli; Carolina Lombardi; Luca T. Mainardi (CinC, 2022)

CEL-Unet: a novel CNN architecture for 3D Segmentation of Knee Bones affected by Severe Osteoarthritis for PSI-Based Surgical Planning. - Luca Marsilio; Alberto Faglia; Matteo Rossi 001; Luca T. Mainardi; Alfonso Manzotti; Pietro Cerveri (EMBC, 2022)

Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings. - Livia Lestingi; Cristian Sbrolli; Pasquale Scarmozzino; Giorgio Romeo; Marcello M. Bersani; Matteo Rossi 001 (FormaliSE@ICSE, 2022)

Delay Estimation for Shared Rides From GPS Data. - Sepehr Samavati; Alexander Nemirovskiy; Matteo Rossi 001 (ITSC, 2022)

Personalized Context-Aware Recommender System for Travelers. - Mahsa Shekari; Alireza Javadian Sabet; Chaofeng Guan; Matteo Rossi 001; Fabio Alberto Schreiber; Letizia Tanca (SEBD, 2022)

THOR: A Hybrid Recommender System for the Personalized Travel Experience. - Alireza Javadian Sabet; Mahsa Shekari; Chaofeng Guan; Matteo Rossi 001; Fabio Alberto Schreiber; Letizia Tanca (Big Data Cogn. Comput., 2022)

SPRINT: Semantics for PerfoRmant and scalable INteroperability of multimodal Transport. - Mersedeh Sadeghi; Petr Buchnicek; Alessio Carenini; Óscar Corcho; Stefanos Gogos; Matteo Rossi 001; Riccardo Santoro (CoRR, 2022)

Model-Driven Development of Service Robot Applications Dealing With Uncertain Human Behavior. - Livia Lestingi; Marcello M. Bersani; Matteo Rossi 001 (IEEE Intell. Syst., 2022)

Identification of Characteristic Points in Multivariate Physiological Signals by Sensor Fusion and Multi-Task Deep Networks. - Matteo Rossi 001; Giulia Alessandrelli; Andra Dombrovschi; Dario Bovio; Caterina Salito; Luca T. Mainardi; Pietro Cerveri (Sensors, 2022)

On How Bit-Vector Logic Can Help Verify LTL-Based Specifications. - Mohammad Mehdi Pourhashem Kallehbasti; Matteo Rossi 001; Luciano Baresi (IEEE Trans. Software Eng., 2022)

Architecting Explainable Service Robots. - Marcello M. Bersani; Matteo Camilli; Livia Lestingi; Raffaela Mirandola; Matteo G. Rossi; Patrizia Scandurra (ECSA, 2023)

Towards Better Trust in Human-Machine Teaming through Explainable Dependability. - Marcello M. Bersani; Matteo Camilli; Livia Lestingi; Raffaela Mirandola; Matteo G. Rossi; Patrizia Scandurra (ICSA-C, 2023)

Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning. - Marcello M. Bersani; Matteo Camilli; Livia Lestingi; Raffaela Mirandola; Matteo G. Rossi (FormaliSE, 2023)

A Formal Approach to the Verification of Protection Systems in Low-Voltage Distribution Grids. - Ahmed Nagy Abdelkhalek Mansour; Samuele Grillo; Enrico Ragaini; Matteo Rossi 001 (FormaliSE, 2023)

Merging Contour-and Region-Aware Branches in the UNet Decoder to Enhance Osseous Segmentation in Shoulder CT Scans. - Luca Marsilio; Matteo Rossi 001; Alfonso Manzotti; Davide Marzorati; Pietro Cerveri (MetroXRAINE, 2023)

A Conceptual Framework for Explainability Requirements in Software-Intensive Systems. - Marcello M. Bersani; Matteo Camilli; Livia Lestingi; Raffaela Mirandola; Matteo G. Rossi; Patrizia Scandurra (REW, 2023)

Interoperability of Heterogeneous Systems of Systems: Review of Challenges, Emerging Requirements and Options. - Mersedeh Sadeghi; Alessio Carenini; Óscar Corcho; Matteo Rossi 001; Riccardo Santoro; Andreas Vogelsang (SAC, 2023)

Automated Creation of Mappings Between Data Specifications Through Linguistic and Structural Techniques. - Safia Kalwar; Matteo Rossi 001; Mersedeh Sadeghi (IEEE Access, 2023)

Lecture Notes on Monadic First- and Second-Order Logic on Strings. - Dino Mandrioli; Davide Martinenghi; Angelo Morzenti; Matteo Pradella; Matteo Rossi 001 (CoRR, 2023)

Specification, stochastic modeling and analysis of interactive service robotic applications. - Livia Lestingi; Davide Zerla; Marcello M. Bersani; Matteo Rossi 001 (Robotics Auton. Syst., 2023)

SLEEP-SEE-THROUGH: Explainable Deep Learning for Sleep Event Detection and Quantification From Wearable Somnography. - Matteo Rossi 001; Davide Sala; Dario Bovio; Caterina Salito; Giulia Alessandrelli; Carolina Lombardi; Luca T. Mainardi; Pietro Cerveri (IEEE J. Biomed. Health Informatics, 2023)

Verification-Oriented Specification of Multi-agent Interaction Patterns. - Alberto Tagliaferro; Livia Lestingi; Matteo G. Rossi (AREA, 2024)

Towards Verifiable Multi-Agent Interaction Pattern Specification. - Alberto Tagliaferro; Livia Lestingi; Matteo Rossi 001 (FormaliSE@ICSE, 2024)

Efficient Verification of Protection System Configuration of Electrical Distribution Grids. - Francesco Pellei; Ahmed Nagy Abdelkhalek Mansour; Enrico Ragaini; Samuele Grillo; Matteo G. Rossi (ISGT EUROPE, 2024)

An Educational Module for Temporal Features in Alloy 6. - Luca Padalino; Francesca Pia Panaccione; Francesco Santambrogio; Elisabetta Di Nitto; Matteo G. Rossi (FMTea, 2024)

Optimising Queries for Pattern Detection Over Large Scale Temporally Evolving Graphs. - Hassan Nazeer Chaudhry; Matteo G. Rossi (IEEE Access, 2024)

Cascade learning in multi-task encoder-decoder networks for concurrent bone segmentation and glenohumeral joint assessment in shoulder CT scans. - Luca Marsilio; Davide Marzorati; Matteo Rossi 001; Andrea Moglia; Luca T. Mainardi; Alfonso Manzotti; Pietro Cerveri (CoRR, 2024)

Analyzing the impact of human errors on interactive service robotic scenarios via formal verification. - Livia Lestingi; Andrea Manglaviti; Davide Marinaro; Luca Marinello; Mehrnoosh Askarpour; Marcello M. Bersani; Matteo Rossi 001 (Softw. Syst. Model., 2024)

Interoperability of heterogeneous Systems of Systems: from requirements to a reference architecture. - Mersedeh Sadeghi; Alessio Carenini; Óscar Corcho; Matteo Rossi 001; Riccardo Santoro; Andreas Vogelsang (J. Supercomput., 2024)

Advancements in Wearable EEG Technology: Electrode Characterization and Signal Quality Assessment. - Andrea Farabbi; Andrea Costanzo Palmisciano; Matteo Rossi 001; Niccolò Antonello; Diana Trojaniello; Tommaso Ongarello; Pietro Cerveri; Luca T. Mainardi (BIOSTEC (1), 2025)

Preliminary Study of DSL Code Generation for Robotics with LLMs. - Alberto Tagliaferro; Livia Lestingi; Matteo G. Rossi (TAROS, 2025)

Random Testing of Model Checkers for Timed Automata with Automated Oracle Generation. - Andrea Manini; Matteo G. Rossi; Pierluigi San Pietro (TASE, 2025)

Eyewear-Based ECG Recording: A Novel Head-Electrode Approach for Reliable Cardiac Signal Acquisition. - Andrea Costanzo Palmisciano; Matteo Rossi 001; Andrea Farabbi; Niccolò Antonello; Diana Trojaniello; Tommaso Ongarello; Pietro Cerveri; Luca T. Mainardi (IEEE Access, 2025)

Cascade learning in multi-task encoder-decoder networks for concurrent bone segmentation and glenohumeral joint clinical assessment in shoulder CT scans. - Luca Marsilio; Davide Marzorati; Matteo Rossi 001; Andrea Moglia; Luca T. Mainardi; Alfonso Manzotti; Pietro Cerveri (Artif. Intell. Medicine, 2025)

Data-Driven Energy Modeling of Machining Centers Through Automata Learning. - Livia Lestingi; Nicla Frigerio; Marcello M. Bersani; Andrea Matta; Matteo G. Rossi (IEEE Trans Autom. Sci. Eng., 2025)

Finger-to-Chest Style Transfer-Assisted Deep Learning Method for Photoplethysmogram Waveform Restoration With Timing Preservation. - Sara Maria Pagotto; Federico Tognoni; Matteo G. Rossi; Dario Bovio; Caterina Salito; Luca T. Mainardi; Pietro Cerveri (IEEE Trans. Instrum. Meas., 2025)

On Decidability Timed Automata with 2 Parametric Clocks. - Marcello M. Bersani; Matteo G. Rossi; Pierluigi San Pietro (CoRR, 2025)