logo-polimi
Loading...
Manifesto
Struttura Corso di Studi
Cerca/Visualizza Manifesto
Regolamento didattico
Indicatori corsi di studio
Internazionalizzazione
Orario Personalizzato
Il tuo orario personalizzato è disabilitato
Abilita
Ricerche
Cerca Docenti
Attività docente
Cerca Insegnamenti
Cerca insegnamenti degli Ordinamenti precedenti al D.M.509
Erogati in lingua Inglese
Le informazioni sulla didattica, sulla ricerca e sui compiti istituzionali riportate in questa pagina sono certificate dall'Ateneo; ulteriori informazioni, redatte a cura del docente, sono disponibili sulla pagina web personale e nel curriculum vitae indicati nella scheda.
Informazioni sul docente
DocenteRossi Matteo Giovanni
QualificaProfessore associato a tempo pieno
Dipartimento d'afferenzaDipartimento di Meccanica
Settore Scientifico DisciplinareING-INF/05 - Sistemi Di Elaborazione Delle Informazioni
Curriculum VitaeScarica il CV (407.14Kb - 22/03/2023)
OrcIDhttps://orcid.org/0000-0002-9193-9560

Contatti
Orario di ricevimento
DipartimentoPianoUfficioGiornoOrarioTelefonoFaxNote
Dipartimento di Meccanica------Dalle :
Alle :
(02.2339).3561--Su appuntamento (contattare via telefono o email)
E-mailmatteo.rossi@polimi.it
Pagina web redatta a cura del docente--

Fonte dati: RE.PUBLIC@POLIMI - Research Publications at Politecnico di Milano

Elenco delle pubblicazioni e dei prodotti della ricerca per l'anno 2023 (Mostra tutto | Nascondi tutto)
Tipologia Titolo Pubblicazione/Prodotto
Contributo in Atti di convegno
Towards Better Trust in Human-Machine Teaming through Explainable Dependability (Mostra >>)
Articoli su riviste
Automated Creation of Mappings between Data Specifications through Linguistic and Structural Techniques (Mostra >>)
Specification, stochastic modeling and analysis of interactive service robotic applications (Mostra >>)


Elenco delle pubblicazioni e dei prodotti della ricerca per l'anno 2022 (Mostra tutto | Nascondi tutto)
Tipologia Titolo Pubblicazione/Prodotto
Contributo in Atti di convegno
Delay Estimation for Shared Rides From GPS Data (Mostra >>)
Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings (Mostra >>)
Personalized Context-Aware Recommender System for Travelers (Mostra >>)
Articoli su riviste
Model-Driven Development of Service Robot Applications Dealing with Uncertain Human Behavior (Mostra >>)
On How Bit-Vector Logic Can Help Verify LTL-based Specifications (Mostra >>)
THOR: A Hybrid Recommender System for the Personalized Travel Experience (Mostra >>)


Elenco delle pubblicazioni e dei prodotti della ricerca per l'anno 2021 (Mostra tutto | Nascondi tutto)
Tipologia Titolo Pubblicazione/Prodotto
Contributo in Atti di convegno
A semantic-based access control mechanism for distributed systems (Mostra >>)
Improved Bounded Model Checking of Timed Automata (Mostra >>)
On the Visualization of Semantic-based Mappings (Mostra >>)
Preference Mining in the Travel Domain (Mostra >>)
RoboMAX: Robotic Mission Adaptation eXemplars (Mostra >>)
SMART: Towards automated mapping between data specifications (Mostra >>)
Temporal Pattern Recognition in Graph Data Structures (Mostra >>)
Articoli su riviste
A Deployment Framework for Formally Verified Human-Robot Interactions (Mostra >>)
A semantic-based access control approach for systems of systems (Mostra >>)
Formally-based Model-Driven Development of Collaborative Robotic Applications (Mostra >>)


Elenco delle pubblicazioni e dei prodotti della ricerca per l'anno 2020 (Mostra tutto | Nascondi tutto)
Tipologia Titolo Pubblicazione/Prodotto
Contributo in Atti di convegno
A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios (Mostra >>)
Co-simulation of human-robot collaboration: From temporal logic to 3d simulation (Mostra >>)
Context Awareness in the Travel Companion of the Shift2Rail Initiative (Mostra >>)
Formal Verification of Human-Robot Interaction in Healthcare Scenarios (Mostra >>)
Model-driven Risk Analysis for the Design of Safe Collaborative Robotic Applications (Mostra >>)
SPRINT: Semantics for PerfoRmant and scalable INteroperability of multimodal Transport (Mostra >>)
Statistical Model Checking of Human-Robot Interaction Scenarios (Mostra >>)
Towards learning travelers’ preferences in a context-aware fashion (Mostra >>)
Articoli su riviste
Model Checking MITL Formulae on Timed Automata: A Logic-based Approach (Mostra >>)
PuRSUE -from specification of robotic environments to synthesis of controllers (Mostra >>)
Using formal verification to evaluate the execution time of Spark applications (Mostra >>)


Elenco delle pubblicazioni e dei prodotti della ricerca per l'anno 2019 (Mostra tutto | Nascondi tutto)
Tipologia Titolo Pubblicazione/Prodotto
Contributi su volumi (Capitolo o Saggio)
Formal Methods in Designing Critical Cyber-Physical Systems (Mostra >>)
Contributo in Atti di convegno
Automated Mapping for Semantic-based Conversion of Transportation Data Formats (Mostra >>)
Temporal pattern recognition in large scale graphs (Mostra >>)
Articoli su riviste
Formal model of human erroneous behavior for safety analysis in collaborative robotics (Mostra >>)
On the Initialization of Clocks in Timed Formalisms (Mostra >>)
Safety Assessment of Collaborative Robotics Through Automated Formal Verification (Mostra >>)
manifesti v. 3.5.7 / 3.5.7
Area Servizi ICT
02/06/2023