Login / Signup
Matteo Rossi
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Semi Automated
Formal Methods
Low Voltage
Clustering Algorithm
Top Venues
FormaliSE
IEEE Access
</>
Publications
</>
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)