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
ProfessorBersani Marcello Maria
QualificationUntenured researcher legge 240/10 full time
Belonging DepartmentDipartimento di Elettronica, Informazione e Bioingegneria
Scientific-Disciplinary SectorING-INF/05 - Information Processing Systems
Curriculum VitaeDownload CV (102.85Kb - 21/05/2020)
OrcIDhttps://orcid.org/0000-0001-5137-940X

Contacts
Professor's office hoursProfessor's office hours is not available yet
E-mailmarcellomaria.bersani@polimi.it
Professor's personal website--

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 >>)
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
Journal Articles
On the Initialization of Clocks in Timed Formalisms (Show >>)
Verifying big data topologies by-design: a semi-automated approach (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
DevOps Service Observability By-Design: Experimenting with Model-View-Controller (Show >>)
On the timed analysis of big-data applications (Show >>)
Trace checking of streaming applications through DICE-TraCT (Show >>)
Journal Articles
Online verification in cyber-physical systems: Practical bounds for meaningful temporal costs. (Show >>)


List of publications and reserach products for the year 2017 (Show all details | Hide all details)
Type Title of the Publicaiton/Product
Conference proceedings
Formal verification of data-intensive applications through model checking modulo theories (Show >>)
Formal verification of storm topologies through D-VerT (Show >>)
Towards DevOps for privacy-by-design in data-intensive applications: A research roadmap (Show >>)
Journal Articles
A Model-Driven Approach for the Formal Verification of Storm-Based Streaming Applications (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 >>)
Continuous architecting of stream-based systems (Show >>)
Efficient large-scale trace checking using mapreduce (Show >>)
The Cost of Formal Verification in Adaptive CPS. An Example of a Virtualized Server Node (Show >>)
Towards the formal verification of data-intensive applications through metric temporal logic (Show >>)
Journal Articles
A tool for deciding the satisfiability of continuous-time metric temporal logic (Show >>)
manifesti v. 3.4.7 / 3.4.7
Area Servizi ICT
05/12/2020