Research Projects
- ASMETA (ASm METAmodelling) … always alive
- a set of tools for editing, exchanging, simulating, and analyzing Abstract State Machine formal models
-
NANOXCOMP H2020-MSCA-RISE-2015 on Emerging Computing Models, duration 48 months, (Unit Coordinator: Valentina Ciriani)
- ESCUDO-CLOUD (Enforceable Security in the Cloud to Uphold Data Ownership) H2020-ICT-2014, duration 36 months, (Principal Coordinator: Pierangela Samarati)
National Projects
I am/was involved in:
- BISMD (Biometric identity and secure data management in emerging scenarios), 2016, 2017 (Coordinator: Vincenzo Piuri);
- GenData 2020 (Data-Driven Genomic Computing) (PRIN 2012), 2012-2015, Unit of Milan (Unit Coordinator: Pierangela Samarati);
- SMARTA (Sistema di Monitoraggio Ambientale con Rete di sensori e Telemonitoraggio indossabile a supporto di servizi di salute, prevenzione e sicurezza per l’Active Aging), Bando Smart Cities della Regione Lombardia (Coordinator Roberto Sassi);
- D-ASAP (Dependable Adaptable Software Architectures for Pervasive Computing) (PRIN 2007), 2007-2009, Unit of Pisa (Unit Coordinator: Egon Boerger);
- CoMeta (METAmodelli COmputazionali) (PRIN 2001), 2001-2003, Unit of Insubria (Unit Coordinator: Nicoletta Sabadini);
- TOSCA (Teoria della Concorrenza, Linguaggi di Ordine Superiore e Strutture di Tipi) (PRIN 1999), 1999-2001, Unit of Catania (Unit Coordinator: Vladimiro Sassone);
- Tecniche formali per la specifica, l’analisi, la verifica, la sintesi e la trasformazione di sistemi software (PRIN 1997), 1997-1999, Unit of Catania (Unit Coordinator: Domenico Cantone).
Industrial Projects
I coordinated:
-
Metodologie e tecniche model-driven per la progettazione e l’ analisi di sistemi embedded tramite UML, ASM e SystemC, progetto con STMicroelectronics di Agrate Brianza, 2006-2008;
-
Tecniche e metodologie di PROGETTO, DOCUMENTAZIONE, VERIFICA e VALIDAZIONE per i sistemi di IP, progetto con STMicroelectronics di Agrate Brianza (MI), 2003-2006;
-
Specifica e validazione del software mediante Abstract State Machines ed UML, progetto con STMicroelectronics di Catania, 2001.