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
DocenteRossi Matteo Giovanni
QualificaRicercatore universitario 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 (363.44Kb - 31/10/2019)
OrcIDhttps://orcid.org/0000-0002-9193-9560

Contatti
Orario di ricevimento
DipartimentoPianoUfficioGiornoOrarioTelefonoFaxNote
Dipartimento di Elettronica ed Informazione--------(02.2339).3561--Su appuntamento (contattare via telefono o email)
E-mailmatteo.rossi@polimi.it
Pagina web redatta a cura del docentehttp://home.dei.polimi.it/rossi

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
Contributo in Atti di convegno
ST4RT – Semantic Transformations for Rail Transportation (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 logic-based approach for the verification of UML timed models (Mostra >>)
3cixty: Building comprehensive knowledge bases for city exploration (Mostra >>)
A Model-Driven Approach for the Formal Verification of Storm-Based Streaming Applications (Mostra >>)
Contributi su volumi (Capitolo o Saggio)
Architecture of the Green Move System (Mostra >>)
Green Move Dynamic Applications (Mostra >>)
Contributo in Atti di convegno
Formal verification of storm topologies through D-VerT (Mostra >>)
Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications (Mostra >>)
Formal verification of data-intensive applications through model checking modulo theories (Mostra >>)
Curatela di volumi scientifici
Electric Vehicle Sharing Services for Smarter Cities (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 temporal logic for micro- and macro-step-based real-time systems: Foundations and applications (Mostra >>)
A logical characterization of timed regular languages (Mostra >>)
Contributo in Atti di convegno
SAFER-HRC: Safety analysis through formal vERification in human-robot collaboration (Mostra >>)
Towards the formal verification of data-intensive applications through metric temporal logic (Mostra >>)
How bit-vector logic can help improve the verification of LTL specifications over infinite domains (Mostra >>)
A tool for verification of big-data applications (Mostra >>)


Elenco delle pubblicazioni e dei prodotti della ricerca per l'anno 2015 (Mostra tutto | Nascondi tutto)
Tipologia Titolo Pubblicazione/Prodotto
Articoli su riviste
Formal verification and validation of embedded systems: the UML-based MADES approach (Mostra >>)
An SMT-based approach to satisfiability checking of MITL (Mostra >>)
Contributo in Atti di convegno
Efficient Scalable Verification of LTL Specifications (Mostra >>)
DICE: Quality-Driven Development of Data-Intensive Cloud Applications (Mostra >>)
manifesti v. 3.1.9 / 3.1.9
Area Servizi ICT
21/11/2019