Luigi Di Guglielmo

default
E-mail
luigi|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: 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)

Per la comunità studentesca

Se sei già iscritta/o a un corso di studio, puoi consultare tutti gli avvisi relativi al tuo corso di studi nella tua area riservata MyUnivr.
In questo portale potrai visualizzare informazioni, risorse e servizi utili che riguardano la tua carriera universitaria (libretto online, gestione della carriera Esse3, corsi e-learning, email istituzionale, modulistica di segreteria, procedure amministrative, ecc.).
Entra in MyUnivr con le tue credenziali GIA.

MyUnivr
 
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 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