Meetings

7th meeting (Brunico, January 27th, January 28th 2020)

• Agenda (Download)

6th meeting (Benevento, September 9th, September 10th 2019)

• Agenda (Download)

5th meeting (L’Aquila, February 7th, February 8th 2019)

• Agenda (Download)

4th meeting (Napoli, September 13rd, September 14th 2018)

• Agenda (Download)

3rd meeting (Trento, February 12nd, February 13rd 2018)

• Agenda (Download)

2nd meeting (Pisa, September 21st, September 22nd 2017)

• Collaborations
• case studies
• Notes
  • Raw files from session chairs (download)

Kickoff meeting (Milano, February 22nd, February 23rd 2017)

• Models
  • UniSa – Governing Adaptive and Unplanned Systems of Systems
  • UniNa – Automatic generation of (dynamic) formal models
  • UniBz – Re-constructing System Behaviour from Log Mining
• Runtime Analysis
  • PoliMi – A Fined-Grained Autonomic Management Solution for Multi-Layered Systems
  • PoliMi – Complex Event Processing
  • UniBo – Semantic Run-time Models for Self-adaptive Systems
  • UniAq – Automatic Synthesis of Adaptable and Evolving Choreographies
  • UniMiB – Failure Prediction and Fault Localization in Cloud Environment
• Case Studies
  • UniAq – Possible Use Cases in the Smart Mobility and Tourism Domain
  • UniNa – Vessel Traffic management Systems
  • CNR – Security-by-Design in Vehicular SoS
• Governance
  • PoliMi – Evolution in Dynamic Software Product Lines
• Testing
  • UniMiB – Testing In The Field
  • CNR,UniNa – AdaptiveTesting
  • FBK – Model Based Test Generation for Web Apps
  • FBK – Test Generation as a Many-objective Optimization Problem