Research Interests

 Software Engineering, Model-driven Engineering, Formal Methods, Formal Verification, Abstract State Machines
 

Incoming Conferences

ABZ 2012  3rd International Conference on Abstract State Machines (ASM), Alloy, B, Z and VDM. This year in conjunction with iFM 2012, 18 - 22 June 2012, Pisa, Italy

ICSEA 2011 The Sixth International Conference on Software Engineering Advances. October 23-28, 2011 - Barcelona, Spain

ETFA 2011 16th IEEE International Conference on Emerging Technologies and Factory Automation, Sep. 5-9, 2011, Toulouse (France)

Research Projects

• National Projects (Progetti Cofinanziati MURST)

  PRIN: D-ASAP: Architetture Software Adattabili e Affidabili per Sistemi Pervasivi (2007-2010)

  COFIN: CoMeta - METAmodelli COmputazionali  (2001-2003), TOSCA (1999-2001), LOGIC (1997-1999)

• Industrial Projects

  • Project with the AST: Model-driven methodologies and techniques for embedded system design through UML, ASMs and SystemC (Years 2004-2006)
  • Project with the AST (Dott. R.Poluzzi - Agrate (MI)): Tecniche e metodologie di PROGETTO, DOCUMENTAZIONE, VERIFICA e VALIDAZIONE per i sistemi di IP (Years 2003-2004)
  • Project with the ST-Microelectronics (Dott. M.Sardo - Catania): Specifica e validazione del software mediante Abstract State Machines ed UML (Year 2000)

My Ph.D Students

Publication List