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
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 >>)
manifesti v. 3.1.9 / 3.1.9
Area Servizi ICT
17/11/2019