logo-polimi
Loading...
Degree programme
Programme Structure
Show/Search Programme
Degree Programme
International context
Customized Schedule
Your customized time schedule has been disabled
Enable
Search
Search a Professor
Professor's activities
Search a Course
Search a Course (system prior D.M. n. 509)
Search Lessons taught in English
Information on didactic, research and institutional assignments on this page are certified by the University; more information, prepared by the professor, are available on the personal web page and in the curriculum vitae indicated on this webpage.
Information on professor
ProfessorGhezzi Carlo
Honorary Academic TitleProfessore Emerito
QualificationAdjunct professor
Belonging DepartmentDipartimento di Elettronica, Informazione e Bioingegneria
Curriculum VitaeDownload CV (311.73Kb - 27/09/2013)
OrcIDhttps://orcid.org/0000-0002-7234-5011

Contacts
Professor's office hours
DepartmentFloorOfficeDayTimetableTelephoneFaxNotes
DEI--------3529--su appuntam.
E-mailcarlo.ghezzi@polimi.it
Professor's personal websitehttp://www.elet.polimi.it/upload/ghezzi/indice.html

Data source: RE.PUBLIC@POLIMI - Research Publications at Politecnico di Milano

List of publications and reserach products for the year 2019 (Show all details | Hide all details)
Type Title of the Publicaiton/Product
Contributions on scientific books
Formal Methods in Designing Critical Cyber-Physical Systems (Show >>)


List of publications and reserach products for the year 2018 (Show all details | Hide all details)
Type Title of the Publicaiton/Product
Journal Articles
Software adaptation in wireless sensor networks (Show >>)


List of publications and reserach products for the year 2017 (Show all details | Hide all details)
Type Title of the Publicaiton/Product
Journal Articles
Efficient Dynamic Updates of Distributed Components Through Version Consistency (Show >>)
Contributions on scientific books
Software engineering for self-adaptive systems: research challenges in the provision of assurances (Show >>)
Perpetual assurances for self-adaptive systems (Show >>)
Conference proceedings
From model checking to a temporal proof for partial models (Show >>)


List of publications and reserach products for the year 2016 (Show all details | Hide all details)
Type Title of the Publicaiton/Product
Conference proceedings
Efficient large-scale trace checking using mapreduce (Show >>)


List of publications and reserach products for the year 2015 (Show all details | Hide all details)
Type Title of the Publicaiton/Product
Journal Articles
Syntactic-semantic incrementality for agile verification (Show >>)
ContextErlang: A language for distributed context-aware self-adaptive applications (Show >>)
Contributions on scientific books
A control-theoretic approach to self-adaptive systems and an application to cloud-based software (Show >>)
Conference proceedings
Ariadne: topology aware adaptive security for cyber-physical systems (Show >>)
Syntax-Driven Program Verification of Matching Logic Properties (Show >>)
manifesti v. 3.1.9 / 3.1.9
Area Servizi ICT
13/12/2019