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
DocenteBersani Marcello Maria
QualificaProfessore associato a tempo pieno
Dipartimento d'afferenzaDipartimento di Elettronica, Informazione e Bioingegneria
Settore Scientifico DisciplinareIINF-05/A - Sistemi Di Elaborazione Delle Informazioni
Curriculum VitaeScarica il CV (105.61Kb - 18/01/2022)
OrcIDhttps://orcid.org/0000-0001-5137-940X

Contatti
Orario di ricevimentoOrario di ricevimento non ancora disponibile
E-mailmarcellomaria.bersani@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 2025
Nessun prodotto attualmente registrato nell'anno 2025


Elenco delle pubblicazioni e dei prodotti della ricerca per l'anno 2024 (Mostra tutto | Nascondi tutto)
Tipologia Titolo Pubblicazione/Prodotto
Articoli su riviste
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification (Mostra >>)
Data-Driven Energy Modeling of Machining Centers Through Automata Learning (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 >>)
Architecting Explainable Service Robots (Mostra >>)
Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning (Mostra >>)
Towards Better Trust in Human-Machine Teaming through Explainable Dependability (Mostra >>)
Articoli su riviste
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
Contributi su volumi (Capitolo o Saggio)
Towards Trust-preserving Continuous Co-evolution of Digital Twins (Mostra >>)
Contributo in Atti di convegno
Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings (Mostra >>)
Articoli su riviste
Edge-based Runtime Verification for the Internet of Things (Mostra >>)
Event-sourced, observable software architectures: An experience report (Mostra >>)
Model-Driven Development of Service Robot Applications Dealing with Uncertain Human Behavior (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
Improved Bounded Model Checking of Timed Automata (Mostra >>)
RoboMAX: Robotic Mission Adaptation eXemplars (Mostra >>)
Articoli su riviste
A Deployment Framework for Formally Verified Human-Robot Interactions (Mostra >>)
manifesti v. 3.7.7 / 3.7.7
Area Servizi ICT
11/02/2025