Giuseppe Di Guglielmo

GDG,  September 28, 2012
E-mail
giuseppe|diguglielmo*univr|it <== Replace | with . and * with @ to have the right email address.
Not present since
December 31, 2017
Position
Research Assistants

Modules

Modules running in the period selected: 2.
Click on the module to see the timetable and course details.

Course Name Total credits Online Teacher credits Modules offered by this teacher
Bachelor's degree in Computer Science Operating Systems (2011/2012)   12    [Laboratorio 2] (Laboratorio)
Level 1 Masters in Network Planning and Management Sistemi Multimediali di Rete (2006/2007)   5     

News for students

There you will find information, resources and services useful during your time at the University (Student’s exam record, your study plan on ESSE3, Distance Learning courses, university email account, office forms, administrative procedures, etc.). You can log into MyUnivr with your GIA login details: only in this way will you be able to receive notification of all the notices from your teachers and your secretariat via email and also via the Univr app.

MyUnivr

Di seguito sono elencati gli eventi e gli insegnamenti di Terza Missione collegati al docente:

  • Eventi di Terza Missione: eventi di Public Engagement e Formazione Continua.
  • Insegnamenti di Terza Missione: insegnamenti che fanno parte di Corsi di Studio come Corsi di formazione continua, Corsi di perfezionamento e aggiornamento professionale, Corsi di perfezionamento, Master e Scuole di specializzazione.
Research interests
Topic Description Research area
Embedded system verification Verification techniques for embedded systems at different abstraction levels, with particular emphasis on: - Static verification - Dynamic verification - Semi-formal verification - Hybrid and real-time systems Hardware validation
Projects
Title Starting date
Verifica formale di Software modellato e generato automaticamente (Verilab - Azione I) 10/14/10
Verifica formale di Software modellato e generato automaticamente (Verilab - Azione III) 10/14/10
Verifica formale di Software modellato e generato automaticamente (Verilab - Azione V) 10/14/10
Modellazione e verifica di sistemi embedded 11/26/09
Centre of Reserach Excellence in Dependable Embedded Systems (CREDES) 10/1/09
Sviluppo degli ambienti di progettazione per sistemi embedded HIFSuite e ZigBeeSuite 11/7/08
COCONUT - A correct-by Construction Workbench for Design and Verification of Embedded Systems 1/1/08





Other positions held

Organization

Department facilities

Share