(Some) older news
- 2016/09/14
- Our paper Self-Adaptation to Device Distribution Changes got the SASO 2016 Best Paper Award.
- 2016/03
- We have a new project: EC-COST Action CA15123 (2016/02/21 - 2020/03/20) EUTypes: The European research network on types for programming and verification (see also the page at the COST site).
- 2015/07
- We have a new project: I am responsible for the Ateneo/CSP "Bando 2014" Project RunVar: Evolving Distributed Software Systems at Runtime by Scalable Hybrid Variability (2015/07/01 - 2017/12/31).
- 2015/07
- HyVar is now part of the Software Engineering for Services and Applications Cluster of European Projects on Cloud.
- 2015/02
- We have a new project: I am local responsible for the EC H2020 RIA project HyVar: Scalable Hybrid Variability for Distributed Evolving Software Systems (2015/02/01 - 2018/01/31). See also the page at the CORDIS site.
- 2015/02
- We have a new project: I am MC Member of EC-COST Action IC1402 (2014/12/17 - 2018/12/16) ARVI: Runtime Verification beyond Monitoring (see also the page at the COST site).
- 2014/06/04
- Our COORDINATION 2014 paper got the IFIP sponsored DisCoTec 2014 Best Paper Award.
- 2013/01
- We have a new project: I am local responsible for the POR FESR 2007/2013 project PIE_VERDE: Piattaforma Ibridi Elettrici. Veicoli E Reti di Distribuzione Ecosostenibili on platforms for green supply chains (2013 - 2015).
- 2013/01
- We have a new project: Ateneo/CSP Project SALT: Self-adaptive, Autonomic, Light Types.
- 2012/10
- We have a new project: MIUR PRIN 2010-2011 CINA: Compositionality, Interaction, Negotiation, Autonomicity for the future ICT society (2013 - 2016).
- 2012/09/26
- Our GPCE 2012 paper got the EAPLS GPCE/SLE 2012 Best Paper Award.
- 2012/06
- We have a new project: EC-COST Action IC1201 (2012 - 2016) BETTY: Behavioural Types for Reliable Large-Scale Software Systems (see also the page at the COST site).
- 2009/01
- We have a new project: I am responsible for the Italian site of the Language constructs and type systems for object oriented program components project (2009-01/01 - 2011/05/31) funded by the German-Italian University Centre (Vigoni program 2008-2009).
- 2008/06
- We have a new project: I am MC Member of EC-COST Action IC0701 (2008/03 - 2012/03) FoVeOOS: Formal Verification of Object-Oriented Software (see also the page at the COST site).