Concepedia
Statistics
Publications
30
Citations
620
H-Index
16
Active since
2000
Affiliations
Politecnico di Milano(Current)
Institute of Electronics, Computer and Telecommunication Engineering
McMaster University
National Research Council
University of York
Matteo Rossi is an author at Politecnico di Milano specializing in computer science, formal methods, and model checking.
Publications per year
2000–2023
Safety Assessment of Collaborative Robotics Through Automated Formal Verification
Federico Vicentini, Mehrnoosh Askarpour, Matteo Rossi et al. · IEEE Transactions on Robotics · 2019 · 71 citations · Full text
Engineering, Computer Science, Robotics Engineering +17
Formal model of human erroneous behavior for safety analysis in collaborative robotics
Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi et al. · Robotics and Computer-Integrated Manufacturing · 2019 · 63 citations · Full text
A tool for deciding the satisfiability of continuous-time metric temporal logic
Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro · Acta Informatica · 2015 · 32 citations · Full text
Computing, Computer Science, Algorithms +13
MADES FP7 EU project: Effective high level SysML/MARTE methodology for real-time and embedded avionics systems
Imran Rafiq Quadri, Ian Gray, Nicholas Matragkas et al. · 2012 · 27 citations · Full text
Engineering, Computer Engineering, Computer Science +17
Formal verification and validation of embedded systems: the UML-based MADES approach
Luciano Baresi, Gundula Blohm, Dimitrios S. Kolovos et al. · Software & Systems Modeling · 2013 · 27 citations · Full text
Engineering, Computer Engineering, Computer Science +15
1–5 of 30