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 2024 (Mostra tutto | Nascondi tutto)
Tipologia Titolo Pubblicazione/Prodotto
Articoli su riviste
Ride2Rail: integrating ridesharing to increase the attractiveness of rail travel (Mostra >>)


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
A Conceptual Framework for Explainability Requirements in Software-Intensive Systems (Mostra >>)
A Formal Approach to the Verification of Protection Systems in Low-Voltage Distribution Grids (Mostra >>)
Architecting Explainable Service Robots (Mostra >>)
Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning (Mostra >>)
Interoperability of Heterogeneous Systems of Systems: Review of Challenges, Emerging Requirements and Options (Mostra >>)
Rigorous Automated Verification of Protection Systems in LV Distribution Grids (Mostra >>)
Towards Better Trust in Human-Machine Teaming through Explainable Dependability (Mostra >>)
Articoli su riviste
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification (Mostra >>)
Automated Creation of Mappings between Data Specifications through Linguistic and Structural Techniques (Mostra >>)
Interoperability of heterogeneous Systems of Systems: from requirements to a reference architecture (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 >>)
manifesti v. 3.5.13 / 3.5.13
Area Servizi ICT
03/03/2024