Giuseppe Di Guglielmo

  1. Home
  2. Dipartimento
  3. Persone
  4. Giuseppe Di Guglielmo
GDG, 28 settembre 2012
E-mail
giuseppe|diguglielmo*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.
Non presente dal
31 dicembre 2017
Qualifica
Incaricato alla ricerca

Insegnamenti

Insegnamenti attivi nel periodo selezionato: 2.
Clicca sull'insegnamento per vedere orari e dettagli del corso.

Corso Nome Crediti totali Online Crediti del docente Moduli svolti da questo docente
Laurea in Informatica [L-31] Sistemi operativi (2011/2012)   12    4  [Laboratorio 2] (Laboratorio)
Master Universitario in Progettazione e gestione di sistemi di rete (I livello - IV edizione) Sistemi Multimediali di Rete (2006/2007)   5     

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.
Competenze
Argomento Descrizione Area di ricerca
Verifica di sistemi embedded Tecniche per la verifica di sistemi embedded a diversi livelli di astrazione, con particolare attenzione a: - tecniche di verifica statica - tecniche di verifica dinamica - tecniche di verifica semi formale - verifica di sistemi ibridi e real-time Hardware validation
Progetti
Titolo Data inizio
Verifica formale di Software modellato e generato automaticamente (Verilab - Azione I) 14/10/10
Verifica formale di Software modellato e generato automaticamente (Verilab - Azione III) 14/10/10
Verifica formale di Software modellato e generato automaticamente (Verilab - Azione V) 14/10/10
Modellazione e verifica di sistemi embedded 26/11/09
Centre of Reserach Excellence in Dependable Embedded Systems (CREDES) 01/10/09
Sviluppo degli ambienti di progettazione per sistemi embedded HIFSuite e ZigBeeSuite 07/11/08
COCONUT - A correct-by Construction Workbench for Design and Verification of Embedded Systems 01/01/08




Organizzazione

Strutture del dipartimento

Condividi