logo-polimi
Loading...
Degree programme
Programme Structure
Show/Search Programme
Degree Programme
International context
Customized Schedule
Your customized time schedule has been disabled
Enable
Search
Search a Professor
Professor's activities
Search a Course
Search a Course (system prior D.M. n. 509)
Search Lessons taught in English
Information on didactic, research and institutional assignments on this page are certified by the University; more information, prepared by the professor, are available on the personal web page and in the curriculum vitae indicated on this webpage.
Information on professor
ProfessorRossi Matteo Giovanni
QualificationAssociate professor full time
Belonging DepartmentDipartimento di Meccanica
Scientific-Disciplinary SectorING-INF/05 - Information Processing Systems
Curriculum VitaeDownload CV (363.44Kb - 31/10/2019)
OrcIDhttps://orcid.org/0000-0002-9193-9560

Contacts
Professor's office hours
DepartmentFloorOfficeDayTimetableTelephoneFaxNotes
Dipartimento di Elettronica ed Informazione--------(02.2339).3561--Su appuntamento (contattare via telefono o email)
E-mailmatteo.rossi@polimi.it
Professor's personal websitehttp://home.dei.polimi.it/rossi

Data source: RE.PUBLIC@POLIMI - Research Publications at Politecnico di Milano

List of publications and reserach products for the year 2020 (Show all details | Hide all details)
Type Title of the Publicaiton/Product
Conference proceedings
Formal Verification of Human-Robot Interaction in Healthcare Scenarios (Show >>)
Model-driven Risk Analysis for the Design of Safe Collaborative Robotic Applications (Show >>)
SPRINT: Semantics for PerfoRmant and scalable INteroperability of multimodal Transport (Show >>)
Statistical Model Checking of Human-Robot Interaction Scenarios (Show >>)
Journal Articles
Model Checking MITL Formulae on Timed Automata: A Logic-based Approach (Show >>)
PuRSUE -from specification of robotic environments to synthesis of controllers (Show >>)
Using formal verification to evaluate the execution time of Spark applications (Show >>)


List of publications and reserach products for the year 2019 (Show all details | Hide all details)
Type Title of the Publicaiton/Product
Poster
Temporal pattern recognition in large scale graphs (Show >>)
Contributions on scientific books
Formal Methods in Designing Critical Cyber-Physical Systems (Show >>)
Conference proceedings
Automated Mapping for Semantic-based Conversion of Transportation Data Formats (Show >>)
Journal Articles
Formal model of human erroneous behavior for safety analysis in collaborative robotics (Show >>)
On the Initialization of Clocks in Timed Formalisms (Show >>)
Safety Assessment of Collaborative Robotics Through Automated Formal Verification (Show >>)


List of publications and reserach products for the year 2018 (Show all details | Hide all details)
Type Title of the Publicaiton/Product
Conference proceedings
On the timed analysis of big-data applications (Show >>)
ST4RT – Semantic Transformations for Rail Transportation (Show >>)
Trace checking of streaming applications through DICE-TraCT (Show >>)


List of publications and reserach products for the year 2017 (Show all details | Hide all details)
Type Title of the Publicaiton/Product
Contributions on scientific books
Architecture of the Green Move System (Show >>)
Green Move Dynamic Applications (Show >>)
Conference proceedings
Formal verification of data-intensive applications through model checking modulo theories (Show >>)
Formal verification of storm topologies through D-VerT (Show >>)
Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications (Show >>)
Editorship of scientific books
Electric Vehicle Sharing Services for Smarter Cities (Show >>)
Journal Articles
3cixty: Building comprehensive knowledge bases for city exploration (Show >>)
A Model-Driven Approach for the Formal Verification of Storm-Based Streaming Applications (Show >>)
A logic-based approach for the verification of UML timed models (Show >>)
A logical characterization of timed regular languages (Show >>)


List of publications and reserach products for the year 2016 (Show all details | Hide all details)
Type Title of the Publicaiton/Product
Conference proceedings
A tool for verification of big-data applications (Show >>)
How bit-vector logic can help improve the verification of LTL specifications over infinite domains (Show >>)
SAFER-HRC: Safety analysis through formal vERification in human-robot collaboration (Show >>)
Towards the formal verification of data-intensive applications through metric temporal logic (Show >>)
Journal Articles
A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications (Show >>)
A tool for deciding the satisfiability of continuous-time metric temporal logic (Show >>)
manifesti v. 3.4.7 / 3.4.7
Area Servizi ICT
28/11/2020