Matteo Rossi

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 4

Top Topics

Reference Architecture

Formal Verification

Top Venues

Softw. Syst. Model.

J. Supercomput.

Publications

Livia Lestingi, Andrea Manglaviti, Davide Marinaro, Luca Marinello, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification. Softw. Syst. Model. 23 (2) (2024)
Mersedeh Sadeghi, Alessio Carenini, Óscar Corcho, Matteo Rossi, Riccardo Santoro, Andreas Vogelsang
Interoperability of heterogeneous Systems of Systems: from requirements to a reference architecture. J. Supercomput. 80 (7) (2024)
Ahmed Nagy Abdelkhalek Mansour, Samuele Grillo, Enrico Ragaini, Matteo Rossi
A Formal Approach to the Verification of Protection Systems in Low-Voltage Distribution Grids. FormaliSE (2023)
Safia Kalwar, Matteo Rossi, Mersedeh Sadeghi
Automated Creation of Mappings Between Data Specifications Through Linguistic and Structural Techniques. IEEE Access 11 (2023)