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