Main Recent Research Projects

Current

  • ASCENS - Autonomic Service Component ENSemble -
IST project funded by the EU FP7 Proactive initiative: Self-awareness in Autonomic Systems.
  • QUANTICOL - A Quantitative Approach to Management and Design of Collective and Adaptive Behaviours
IST project funded by the EU FP7 Proactive initiative: Fundamentals of Collective Adaptive Systems.
  • CINA - Compositionality, Interaction, Negotiation, Autonomicity
MIUR PRIN project.
  • WILIFE - Tecnologie WireLess e ICT per un efFiciente e integrato sistema per la prevenzione e gestione delle situazioni di crisi e delle Emergenze
Project funded by Regione Toscana.

http://

Past

  • Models, Calculi and Languages for Network Aware Programming (NAPOLI)
MURST programma di ricerca di interesse nazionale
  • Network Aware Programming and Interoperability (NAPI)
Funded by Microsoft Research supported project
  • Mobile Calculi based on Domains (MIKADO)
Funded by EU proactive initiative FET-Global Computing
  • Architectures for Mobility (AGILE)
Funded by EU proactive initiative FET-Global Computing
  • Software Engineering for Service-Oriented Overlay Computers - SENSORIA
IST project funded by the EU as Integrated Project (IP)
6th Framework Programme (FP6) - Global Computing
  • Performability-Aware Computing: Logics, Models, and Languages - PaCo
MIUR - COFIN

Current