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
DocenteGhezzi Carlo
Titolo Onorifico AccademicoProfessore Emerito
QualificaDocente a contratto
Dipartimento di riferimentoDipartimento di Elettronica, Informazione e Bioingegneria
Curriculum VitaeScarica il CV (311.73Kb - 27/09/2013)
OrcIDhttps://orcid.org/0000-0002-7234-5011

Contatti
Orario di ricevimento
DipartimentoPianoUfficioGiornoOrarioTelefonoFaxNote
DEI--------3529--su appuntam.
E-mailcarlo.ghezzi@polimi.it
Pagina web redatta a cura del docentehttp://www.elet.polimi.it/upload/ghezzi/indice.html

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
Software adaptation in wireless sensor networks (Mostra >>)


Elenco delle pubblicazioni e dei prodotti della ricerca per l'anno 2017 (Mostra tutto | Nascondi tutto)
Tipologia Titolo Pubblicazione/Prodotto
Articoli su riviste
Efficient Dynamic Updates of Distributed Components Through Version Consistency (Mostra >>)
Contributi su volumi (Capitolo o Saggio)
Software engineering for self-adaptive systems: research challenges in the provision of assurances (Mostra >>)
Perpetual assurances for self-adaptive systems (Mostra >>)
Contributo in Atti di convegno
From model checking to a temporal proof for partial models (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
Efficient large-scale trace checking using mapreduce (Mostra >>)


Elenco delle pubblicazioni e dei prodotti della ricerca per l'anno 2015 (Mostra tutto | Nascondi tutto)
Tipologia Titolo Pubblicazione/Prodotto
Articoli su riviste
Syntactic-semantic incrementality for agile verification (Mostra >>)
Contributi su volumi (Capitolo o Saggio)
A control-theoretic approach to self-adaptive systems and an application to cloud-based software (Mostra >>)
Contributo in Atti di convegno
Ariadne: topology aware adaptive security for cyber-physical systems (Mostra >>)
Syntax-Driven Program Verification of Matching Logic Properties (Mostra >>)
17/06/2019 Area Servizi ICT v. 2.13.4 / 2.13.4