|
Generale
Teaching
Papers
Events
Projects
|
Research Projects
-
MUR Project RAP: Resource Awareness in Programming: Algebra, Rewriting, and Analysis, 2023-2025
-
MIUR Project ASPRA: Analysis of Program Analyses, 2019-2022
- static ANalysis of COncurrent and REactive software systems (ANCORE), funded by the University of Padova (2015-2016)
-
CINA: Compositionality, Interaction, Negotiation,
Autonomicity for the future ICT society, funded
by MIUR (2011-2014)
-
Behavioral Equivalences of COncurrent systems by abstract
interpretation and Modal logics (BECOM), funded by
the University of Padova (2011-2013)
-
Reduction Systems: Synthesis, Refinement and
Verification(SisteR - Sistemi di Riduzione: sintesi,
raffinamento e verifica di modelli comportamentali),
funded by MIUR (2010-2012)
-
Analysis, verification and abstract interpretation of models
of concurrency (AVIAMO - Analisi, Verifica e Interpretazione
Astratta di Modelli per la Concorrenza) - Project funded by
the University of Padova (2009-2011)
-
Analysis of Reduction Systems through Transition Systems
(ART - Analisi di sistemi di Riduzione mediante sistemi di
Transizione), funded by MIUR (2005-2006)
-
Models based on Graph Transformation Systems: Analysis and Verification, bilateral exchange program Vigoni, funded by
CRUI/
DAAD (2005-2006)
-
Syntactic and Semantic Integration of Visual Modelling
Techniques
(SeGraVis)
- EU Research Training Network (2003-2006)
-
Models and Types for Security in Mobile Distributed Systems
(MyThS) - IST Programme on FET-GC (2003-2006)
-
Architectures for Mobility (AGILE), IST Programme on FET-GC (2002-2005)
|
