logo-polimi
Loading...
Manifesto
Struttura Corso di Studi
Cerca/Visualizza Manifesto
Regolamento didattico
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
DocenteBersani Marcello Maria
QualificaRicercatore legge 240/10 - t.det. a tempo pieno
Dipartimento d'afferenzaDipartimento di Elettronica, Informazione e Bioingegneria
Settore Scientifico DisciplinareING-INF/05 - Sistemi Di Elaborazione Delle Informazioni
Curriculum VitaeScarica il CV (102.85Kb - 21/05/2020)
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 2020 (Mostra tutto | Nascondi tutto)
Tipologia Titolo Pubblicazione/Prodotto
Contributo in Atti di convegno
Formal Verification of Human-Robot Interaction in Healthcare Scenarios (Mostra >>)
Statistical Model Checking of Human-Robot Interaction Scenarios (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
Articoli su riviste
On the Initialization of Clocks in Timed Formalisms (Mostra >>)
Verifying big data topologies by-design: a semi-automated approach (Mostra >>)


Elenco delle pubblicazioni e dei prodotti della ricerca per l'anno 2018 (Mostra tutto | Nascondi tutto)
Tipologia Titolo Pubblicazione/Prodotto
Contributo in Atti di convegno
DevOps Service Observability By-Design: Experimenting with Model-View-Controller (Mostra >>)
On the timed analysis of big-data applications (Mostra >>)
Trace checking of streaming applications through DICE-TraCT (Mostra >>)
Articoli su riviste
Online verification in cyber-physical systems: Practical bounds for meaningful temporal costs. (Mostra >>)


Elenco delle pubblicazioni e dei prodotti della ricerca per l'anno 2017 (Mostra tutto | Nascondi tutto)
Tipologia Titolo Pubblicazione/Prodotto
Contributo in Atti di convegno
Formal verification of data-intensive applications through model checking modulo theories (Mostra >>)
Formal verification of storm topologies through D-VerT (Mostra >>)
Towards DevOps for privacy-by-design in data-intensive applications: A research roadmap (Mostra >>)
Articoli su riviste
A Model-Driven Approach for the Formal Verification of Storm-Based Streaming Applications (Mostra >>)
A logical characterization of timed regular languages (Mostra >>)


Elenco delle pubblicazioni e dei prodotti della ricerca per l'anno 2016 (Mostra tutto | Nascondi tutto)
Tipologia Titolo Pubblicazione/Prodotto
Contributo in Atti di convegno
A tool for verification of big-data applications (Mostra >>)
Continuous architecting of stream-based systems (Mostra >>)
Efficient large-scale trace checking using mapreduce (Mostra >>)
The Cost of Formal Verification in Adaptive CPS. An Example of a Virtualized Server Node (Mostra >>)
Towards the formal verification of data-intensive applications through metric temporal logic (Mostra >>)
Articoli su riviste
A tool for deciding the satisfiability of continuous-time metric temporal logic (Mostra >>)
manifesti v. 3.4.2 / 3.4.2
Area Servizi ICT
26/09/2020