Write a Blog >>
FormaliSE 2021
Tue 18 - Fri 21 May 2021
co-located with ICSE 2021
ICSE 2021 (series) / FormaliSE 2021 (series) / Matteo Rossi

Not registered as user yet

Name:Matteo Rossi
Country:Italy
Affiliation:Politecnico di Milano
Personal website:http://home.deib.polimi.it/rossi/

Contributions

SCORE 2021 Committee Member in Program Committee within the SCORE 2021-track
FormaliSE 2021 Improved Bounded Model Checking of Timed Automata
SEAMS 2021 RoboMAX: Robotic Mission Adaptation eXemplars
Show activities from other conferences

ICSE 2021-profile
View general profile