Generale
Teaching
Papers
Events
Projects
|
Research Projects
Current Projects
- static ANalysis of COncurrent and REactive software systems (ANCORE), funded by the University of Padova (2015-2016)
Former Projects
-
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)
|