logo-polimi
Loading...
Degree programme
Programme Structure
Show/Search Programme
Degree Programme
Quantitative data
International context
Customized Schedule
Your customized time schedule has been disabled
Enable
Search
Search a Lecturer
Lecturer'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 lecturer, are available on the personal web page and in the curriculum vitae indicated on this webpage.
Information
LecturerBersani Marcello Maria
QualificationAssociate professor full time
Belonging DepartmentDipartimento di Elettronica, Informazione e Bioingegneria
Scientific-Disciplinary SectorING-INF/05 - Information Processing Systems
Curriculum VitaeDownload CV (105.61Kb - 18/01/2022)
OrcIDhttps://orcid.org/0000-0001-5137-940X

Contacts
Office hoursOffice hours is not available yet
E-mailmarcellomaria.bersani@polimi.it
Personal website---

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

List of publications and reserach products for the year 2024
No product yet registered in the year 2024


List of publications and reserach products for the year 2023 (Show all details | Hide all details)
Type Title of the Publicaiton/Product
Conference proceedings
A Conceptual Framework for Explainability Requirements in Software-Intensive Systems (Show >>)
Architecting Explainable Service Robots (Show >>)
Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning (Show >>)
Towards Better Trust in Human-Machine Teaming through Explainable Dependability (Show >>)
Journal Articles
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification (Show >>)
Specification, stochastic modeling and analysis of interactive service robotic applications (Show >>)


List of publications and reserach products for the year 2022 (Show all details | Hide all details)
Type Title of the Publicaiton/Product
Contributions on scientific books
Towards Trust-preserving Continuous Co-evolution of Digital Twins (Show >>)
Conference proceedings
Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings (Show >>)
Journal Articles
Event-sourced, observable software architectures: An experience report (Show >>)
Model-Driven Development of Service Robot Applications Dealing with Uncertain Human Behavior (Show >>)


List of publications and reserach products for the year 2021 (Show all details | Hide all details)
Type Title of the Publicaiton/Product
Conference proceedings
Improved Bounded Model Checking of Timed Automata (Show >>)
RoboMAX: Robotic Mission Adaptation eXemplars (Show >>)
Journal Articles
A Deployment Framework for Formally Verified Human-Robot Interactions (Show >>)
Edge-based Runtime Verification for the Internet of Things (Show >>)


List of publications and reserach products for the year 2020 (Show all details | Hide all details)
Type Title of the Publicaiton/Product
Conference proceedings
A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios (Show >>)
Formal Verification of Human-Robot Interaction in Healthcare Scenarios (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 >>)
manifesti v. 3.7.0 / 3.7.0
Area Servizi ICT
22/06/2024