Politecnico di Milano
Manifesti degli Studi
 
Menu
Manifesto
Struttura Corso di Studi
Cerca/Visualizza Manifesto
Regolamento didattico
Internazionalizzazione
Orario Personalizzato
Il tuo orario personalizzato è disabilitato
Abilita
Il tuo orario personalizzato contiene 0/15 insegnamenti
Elimina orario
Ricerche
Cerca Docenti
Attività docente
Cerca Insegnamenti
Cerca insegnamenti degli Ordinamenti precedenti al D.M.509
Erogati in lingua Inglese
Uscita

Attività docenteChange LanguageChange Language
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.
Aggiungi la pagina che stai visualizzando ai preferiti

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 Vitae--
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 2019
Nessun prodotto attualmente registrato nell'anno 2019


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


Elenco delle pubblicazioni e dei prodotti della ricerca per l'anno 2016 (Mostra tutto | Nascondi tutto)
Tipologia Titolo Pubblicazione/Prodotto
Articoli su riviste
A tool for deciding the satisfiability of continuous-time metric temporal logic (Mostra >>)
A logical characterization of timed regular languages (Mostra >>)
Contributo in Atti di convegno
Towards the formal verification of data-intensive applications through metric temporal logic (Mostra >>)
A tool for verification of big-data applications (Mostra >>)
Continuous architecting of stream-based systems (Mostra >>)


Elenco delle pubblicazioni e dei prodotti della ricerca per l'anno 2015 (Mostra tutto | Nascondi tutto)
Tipologia Titolo Pubblicazione/Prodotto
Articoli su riviste
An SMT-based approach to satisfiability checking of MITL (Mostra >>)
23/03/2019 Area Servizi ICT v. 2.11.5 / 2.11.5