Projects
- Formal Parallel
Computing Environments (PARFORCE)
Progetto EU: BRA-Esprit II Project n. 6707, (1992-96).
- Tecniche formali per la specifica,
l'analisi, la verifica, la sintesi e la trasformazione di sistemi software
(1997-99).
Progetto MURST coordinato.
- Security analysis by abstract interpretation (jointly with ENS - Paris), Franco-italian action Galileo 1999-2000.
- Certificazione automatica di programmi
mediante interpretazione astratta (1999-2001).
Progetto MURST coordinato tra le università di Parma, Pisa, Udine, Venezia, Verona (coordinatore nazionale) (Tot: 411MIL).
- Abstract Interpretation, type systems
and control-flow analysis (2000-2002)
Progetto MURST coordinato tra le università di Pisa (coordinatore nazionale), Torino, Venezia, Verona.
- Abstraction for
verification (jointly with Max Plank Institute -
Saarbrucken), German-italian action VIGONI, CRUI,
2002-2003.
- CoVer: Constraint-based
Verification of Reactive systems (2002-2004)
Progetto MURST coordinato tra le università di Bologna (coordinatore nazionale), Genova, Padova,
Parma, Udine, Verona, CNR-IEI-CNUCE Pisa.
- (SPY-Mod)
Abstract interpretation and model checking for the verification of embedded systems
(2003-2005)
Progetto FIRB (Basic Research) coordinato tra le università di Padova (coordinatore), Venezia, Verona. (Tot:
200KEuro)
- AIDA
Abstract Interpretation Design and Applications
(2005-2007)
Progetto MIUR COFIN coordinato tra le università di Bologna,
Padova,
Parma,
Pisa,
Udine,
Venezia,
Verona (coordinatore).
(Tot: 244KEuro)
- SHADOWCODE -- Progetto sulla Protezione del Software
(2006-2007)
Progetto della Regione Veneto in coordinamento con il Consorzio VITA. (Tot: 40KEuro)
Il Gruppo di sviluppo.
- AIDA2
Abstract Interpretation Design and Applications
(2008-2010)
Progetto MIUR COFIN coordinato tra le università di Padova (coordinatore),
Parma,
Verona.
(Tot: 60KEuro)
