Diego Latella Research projects   (detailed  information can be found in  the FM&&T web site)

• ASCENS Autonomic service-component ensembles FP 7 IST PROGRAMME IST,  2010-2014
  
• XXL Advanced Tools and Techniques for the Specification and Verification of Systems with Elevated Granularity CNR-RSTL project,  2008-2010 
• SENSORIA Software Engineering for Service-Oriented Overlay Computers IST PROGRAMME IP contr. 016004,  2005-2010
• AGILE Architectures for Mobility Information Societies Technology IST PROGRAMME IST-2001-32747,  2002-2004
• PRIDE Ambiente di PRogettazione Integrato per sistemi DEpendable  Italian Space Agency, 2002.
  
• MIUR02/SP4 High-Quality Service Software Architectures for Global Computing on Co-operative Wide Area Networks Italian Ministry for Education, University and Research (MIUR)
  
• DIMMIBENE Supporti alla auto-illustrazione interattiva e multimediale per apparecchiature elettroniche di largo consumo C.N.R. - Agenzia 2000
  
•  GMD-CNR Formal test cases derivation for UML Statechart  Diagram specification CNR Bilateral cooperation, 1999 - 2001
  
•  HIDE High-level Integrated  Design Environment for Dependability"  EU ESPRIT Project 27439, 1998
  
• QESDSPM Quantitative Event Structures, Discrete Simulation and Performance Modeling. CNR Trilateral Project (CNUCE, IT; Univ. Twente,  NL; Univ. Erlangen-Nurnberg, D), 1997-1999

Back to Diego Latella page