Università di Padova

Paolo Baldan's Home

Dipartimento di Mtematica Pura e Applicata







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)