Matteo Rossi -

Registered user since Fri 15 Sep 2023

Name:Matteo Rossi

Country:Italy

Affiliation:Politecnico di Milano

Personal website: https://www4.ceda.polimi.it/manifesti/manifesti/controller/ricerche/RicercaPerDocentiPublic.do?EVN_PRODOTTI=evento&n_docente=Rossi&k_doc=143828&lang=IT&aa=2022&tab_ricerca=1

GitHub: https://github.com/matteo-g-rossi

Research interests:Formal Methods, Software Engineering, Formal Verification, Temporal Logics, Human-robot interaction, Intelligent Transport Systems

Contributions

2024

FormaliSE

2023

FormaliSE

ECSA

Author of Architecting Explainable Service Robots within the Research Papers-track

2022

FormaliSE

Author of Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings within the FormaliSE 2022-track

2021

SCORE

Committee Member in Program Committee within the SCORE 2021-track

FormaliSE

Author of Improved Bounded Model Checking of Timed Automata within the FormaliSE 2021-track

International Conference on Software Engineering for Adaptive and Self-Managing Systems

Author of RoboMAX: Robotic Mission Adaptation eXemplars within the SEAMS 2021-track

2020

FormaliSE

PC Member in Program Committee within the FormaliSE 2020-track

2019

FormaliSE

2018

ICSE

Committee Member in SCORE Program Committee within the SCORE-track

FormaliSE

Committee Member in Program Committee within the FormaliSE 2018-track