Luigi Di Guglielmo

default
Qualifica
Incaricato alla ricerca
E-mail
luigi|diguglielmo*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.

Insegnamenti

Insegnamenti attivi nel periodo selezionato: 1.
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 Sistemi operativi (2011/2012)   12    [Laboratorio 1 e 2] (Laboratorio)

 

Gruppi di ricerca

Progettazione di sistemi elettronici (ESD - Electronic Systems Design)
Tecniche per la progettazione automatica di sistemi elettronici, basate su linguaggi formali e metodologie corrette per costruzioni o formalmente verificate
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 Sistemi ciberfisici
Hardware - Hardware validation
Progetti
Titolo Data inizio
Progettazione di sistemi digitali basati su strutture logiche regolari (PRIN 2009) 15/07/11
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
Sviluppo degli ambienti di progettazione per sistemi embedded HIFSuite e ZigBeeSuite 07/11/08
C4C - Control for Coordination of Distributed Systems 01/05/08
COCONUT - A correct-by Construction Workbench for Design and Verification of Embedded Systems 01/01/08





Organizzazione

Strutture del dipartimento