Research Interests

My research activity is focussed on developing and applying a range of formally based techniques for design and analysis of complex systems. The systems under study come from a very broad variety of application domains, including object oriented software development, embedded systems, service-oriented applications, distributed and self-adaptive systems, mobile/cloud and social collaborative systems, and autonomic systems for Smart City ICT infrastructure.

Languages and techniques employed include lightweight modeling languages (such as UML and UML profiles), Architecture Description Languages, state-based formal specification methods such as Abstract State Machines, validation and verification techniques such as basic simulation, scenario-based validation and model checking of the toolset ASMETA. The emphasis is on practical techniques and tools, with some work on fundamental theory.

My complete CV can be found here (in Italian).

Latest Research Projects

• European project Escudo-Cloud (H2020, 1st Call).
  
• European project PoSecCo (IP, FP7, ICT 5th Call).
  
• Collaborative Industrial/Lombardy Region project Smart Break (Smart Bialetti REstoration Adaptive Kit) 2013-2014
  
• PRIN project GenData 2020 2010RTFWBH Scientific director: Prof. Stefano Ceri, Politecnico di Milano.
• European Project BRICS "Best practice in RobotICS", FP7 ICT-2007.2.2: Cognitive Systems, Interaction, Robotics (2009-2013).
• PRIN project D-ASAP "Dependable Adaptable Software Architectures for Pervasive Computing" (2009-2011) 2007XKEHFA_003 Scientific director: Prof. Carlo Ghezzi, Politecnico di Milano.
• Industrial project "Metodologie e tecniche model-driven per la progettazione e l'analisi di sistemi embedded  tramite UML, ASM e SystemC" (2006-2008): a joint industry/university collaboration between STMicroelectronics AST R&I of Agrate Brianza (MI) and University of Milan.
• Industrial project “Tecniche e metodologie di PROGETTO, DOCUMENTAZIONE, VERIFICA e VALIDAZIONE per i sistemi di IP”, in collaboration with STMicroelectronics, Agrate Brianza (MI), 2003-2006 (Scientific director: Prof.ssa Elvinia Riccobene DTI - University of Milan).
  

Latest professional services

2017


• 1st Workshop on Formal Approaches for Advanced Computing Systems (FAACS 2017) Trento, Italy, on September 4th, 2017 -- co-located with SEFM 2017 (workshop co-chair)
• SAC 2017, Track on Software Architecture: Theory, Technology, and Applications (SA-TTA 2017) April 3-7, 2017 Marrakech Morocco (Track co-chair)
• CLOSER 2017 (in PC), 7th Int. Conference on Cloud Computing and Services Science,Porto, Portugal, 24 - 26 April, 2017. 
• EnWoT (International Workshop on Engineering the Web of Things) 2017 -- colocated with ICWT 2017 (in PC)
• 43rd EUROMICRO SEAA (EUROMICRO Conf. on Software Engineering and Advanced Applications), track Model-Based Development, Components and Services (MOCS) 2017, Vienna, Austria, from August 30 to September 1 (in PC)
  
  

2016


• J. IET Software special issue on: Software Architectures for Decentralized Adaptive Systems.   (guest editor)
• ABZ 2016 (in PC), 5th Int. Conference of Alloy, ASM, B, VDM, and Z Users 23 - 27 May 2016 / Austria, Linz
• SAC 2016, Track on Software Architecture: Theory, Technology, and Applications (SA-TTA 2016) Pisa, Italy April 04 - 08, 2016 (Track co- chair)
  
• CLOSER 2016 (in PC), 6th Int. Conference on Cloud Computing and Services Science, Rome, Italy, 23-25 April 2016.
  
  

2015


• CLOSER 2015 (in PC), 5th International Conference on Cloud Computing and Services Science, Lisbon, Portugal, 20-22 May 2015.
• SAC 2015, Track on Software Architecture: Theory, Technology, and Applications (SA-TTA 2015) April 13 - 17, 2015 Salamanca, Spain (Track co-chair)
  
• ECSA 2015 9th European Conference on Software Architecture September 8 - 11, 2015 Dubrovnik/Cavtat, Croatia (Publicity chair)
• 41st EUROMICRO SEAA (EUROMICRO Conf. on Software Engineering and Advanced Applications), track Model-Based Development, Components and Services (MOCS) 2017, Funchal, Madeira, Portugal, in August 26-28, 2015 (in PC)



2014

• ABZ 2014 (in PC), 4th International Conference of Alloy, ASM, B, VDM, and Z Users 02 - 06 June 2014 / France, Toulouse
• MEDI 2014 (in PC) 4th International Conference on Model & Data Engineering, September 24 - 26, 2014 Larnaca, Cyprus.
• SAC 2014, Track on Software Architecture: Theory, Technology, and Applications (SA-TTA 2014) Gyeongju, Korea March 24 - 28, 2014 (Track co-chair)
  
• CLOSER 2014 (in PC), 4th International Conference on Cloud Computing and Services Science, Barcelona, Spain, 3-5 April 2014.
• EUROMICRO SEAA 2014 (in PC) The 40th EUROMICRO Conference on Software Engineering and Advanced Applications, Verona, Italy – August 27-29, 2014. 
• Eclipse-IT 2014 (in PC) The IX Workshop of the Italian Eclipse Community, University of Genoa, October 9-10, 2014 Italy. This year's topic is smart-*
  
  

2013

• SAC 2013, Track on Software Architecture: Theory, Technology, and Applications (SA-TTA 2013) March 18 - 22, 2013, Coimbra, Portugal (Track co-chair)
  
• CLOSER 2013 (in PC), 3rd International Conference on Cloud Computing and Services Science, Aachen Germany, 8-10 May 2013.
• EUROMICRO SEAA 2013 (in PC) The 39th EUROMICRO Conference on Software Engineering and Advanced Applications, Santander, Spain   September 4-6, 2013
• Eclipse-IT 2013 (in PC) The VIII Workshop of the Italian Eclipse Community, University of Milan, Sept. 19-20 2013, Italy

 

2012

• iFM&ABZ 2012 (in PC), 9th International Conference on Integrated Formal Methods and 3rd International Conference of Alloy, ASM, B, VDM, and Z Users 18 - 22, June 2012, CNR Research Area of Pisa, Italy -- Joint conference in honour of Egon Borger’s 65th birthday
• EUROMICRO SEAA 2012 (in PC) The 38th EUROMICRO Conference on Software Engineering and Advanced Applications, September 5-8, 2012 Cesme, Izmir, Turkey
• ICSEA 2012 (in PC) The Seventh International Conference on Software Engineering Advances, November 18-23, 2012 - Lisbon, Portugal.
• Eclipse-IT 2012 (in PC) The 7th Workshop of the Italian Eclipse Community, September 20-21 2012, Accademia Aeronautica, Pozzuoli (NA) – Italy
  
  

  2011

• FACS 2011 8th International Symposium on Formal Aspects of Component Software, Oslo, Norway, September 14-16, 2011
• EUROMICRO SEAA 2011 (chair of the session 4 of the track MOC4) The 37th EUROMICRO Conference on Software Engineering and Advanced Applications, August 30 to September 2, 2011
  Oulu, Finland
• ICSEA 2011 (in PC) The Sixth International Conference on Software Engineering Advances, October 23-28, 2011 - Barcelona, Spain
• Eclipse-IT 2011 (in PC) The Sixth Workshop of the Italian Eclipse Community, September 22-23, 201, University of Milano Bicocca, Italy

Publications