Deliverables

Third period

• D1.4: A mean field framework for evaluating and controlling CAS.
  • Author(s): Nicolas Gast (INRIA), Luca Bortolussi (CNR), Mirco Tribastone (IMT), Anastasis Georgoulas (UEDIN)
• D2.2: From spatial data to spatial models.
  • Author(s): Vashti Galpin (UEDIN), Cheng Feng (UEDIN), Daniël Reijsbergen (UEDIN)
• D2.3: Transformation and limit results between spatial representations.
  • Author(s): Luca Bortolussi (CNR), Vashti Galpin (UEDIN), Jane Hillston (UEDIN), Nicolas Gast (INRIA), Max Tschaikowski (IMT).
• D3.3: Combining spatial verification with model reduction and relating local and global views.
  • Author(s): Mieke Massink (Ed.) (CNR), Maurice ter Beek (CNR), Luca Bortolussi (CNR), Vincenzo Ciancia (CNR), Stefania Gnesi (CNR), Jane Hillston (UEDIN), Diego Latella (CNR), Michele Loreti (IMT), Mirco Tribastone (IMT), Andrea Vandin (IMT)
• D4.3: CaSL at work.
  • Author(s): Vashti Galpin (UEDIN), Anastasis Georgoulas (UEDIN), Stephen Gilmore (UEDIN), Jane Hillston (UEDIN), Diego Latella (CNR), Michele Loreti (IMT), Mieke Massink (CNR), Natalia Zoń (UEDIN)
• D5.3: The QUANTICOL software tool suite for modelling smart cities.
  • Author(s): Vincenzo Ciancia (ISTI-CNR), Diego Latella (ISTI-CNR), Mieke Massink (ISTI-CNR), Laura Nenzi (IMT), Mirco Tribastone (IMT), and Andrea Vandin (IMT)
• D6.3 QUANTICOL 2016 Summer School
  • Author(s): Jane Hillston (UEDIN) and Rocco De Nicola (IMT)
• D7.3 Periodic project report for months 31–48
  • Author(s): Jane Hillston (UEDIN).
• D7.4: Final project report
  • Author(s): Jane Hillston (UEDIN).

Second Period

• D1.2: A framework for hybrid limits under uncertainty.
  • Author(s): Luca Bortolussi (CNR), Nicolas Gast (INRIA), Jane Hillston (UEDIN), Mirco Tribastone (IMT)
•  D1.3: Distributed control for Collective Adaptive Systems
  • Author(s): Nicolas Gast (Ed.) (INRIA) Josu Doncel (INRIA), Farshad Shams (IMT)
• D3.2: Scalability beyond population size and quantitative product family engineering
  • Author(s): Mieke Massink (ed.) (CNR), Maurice ter Beek (CNR), Cheng Feng (UEDIN), Jane Hillston (UEDIN), Mirco Tribastone (SOTON, IMT).
•  D4.2: CAS-SCEL semantics and implementation
  • Author(s): Vincenzo Ciancia (ISTI), Rocco De Nicola (IMT), Jane Hillston (UEDIN), Diego Latella (ISTI), Michele Loreti (IMT), Mieke Massink (ISTI)
• D5.2: A CAS-SCEL implementation for smart-city modelling
  • Author(s): Cheng Feng, Diego Latella, Michele Loreti, Mieke Massink, Daniel Reijsbergen, Farshad Shams, Mirco Tribastone, Andrea Vandin, and Chris Williams
• D7.2: Periodic project report for months 13–30
  • Author(s):  Jane Hillston (UEDIN)

First Period

• D1.1: Multiscale modelling informed by smart grids.
  • Authors: Nicolas Gast (EPFL/INRIA), Luca Bortolussi (CNR), Jane Hillston (UEDIN), Rytis Paškauskas (CNR), Mirco Tribastone (SOTON), March 2014.
• D2.1: A preliminary investigation of capturing spatial information for CAS
  • Authors: Vashti Galpin (UEDIN), Luca Bortolussi (CNR), Vincenzo Ciancia (CNR), Allan Clark (UEDIN), Rocco De Nicola (IMT), Cheng Feng (UEDIN), Stephen Gilmore (UEDIN), Nicolas Gast (EPFL/Inria), Jane Hillston (UEDIN), Alberto Lluch-Lafuente (IMT), Michele Loreti (IMT), Mieke Massink (CNR), Laura Nenzi (IMT), Daniël Reijsbergen (UEDIN), Valerio Senni (IMT), Francesco Tiezzi (IMT), Mirco Tribastone (SOTON), Max Tschaikowski (SOTON), March 2014.
• D3.1: Foundations of scalable verification for stochastic logics
  • Author(s): Mieke Massink (CNR), Luca Bortolussi (CNR), Vincenzo Ciancia (CNR), Jane Hillston (UEDIN), Alberto Lluch-Lafuente (IMT), Diego Latella (CNR), Michele Loreti (IMT), Daniël Reijsbergen (UEDIN), Andrea Vandin (SOTON), March 2014.
• D4.1: CAS-SCEL language design
  • Authors: Luca Bortolussi (CNR), Rocco De Nicola (IMT), Cheng Feng (UEDIN), Vashti Galpin (UEDIN), Jane Hillston (UEDIN), Diego Latella (CNR), Michele Loreti (IMT), Mieke Massink (CNR), Valerio Senni (IMT), March 2014.
• D5.1: Data validation and requirements for case studies
  • Authors: Mirco Tribastone (SOTON), Allan Clark (UEDIN), Nicolas Gast (EPFL), Stephen Gilmore (UEDIN), and Daniël Reijsbergen (UEDIN), March 2014.
• D6.1: Dissemination plan for the project
  • Authors: Stephen Gilmore (UEDIN), Maurice ter Beek (CNR), Luca Bortolussi (CNR), Vincenzo Ciancia (CNR), Vashti Galpin (UEDIN), Jane Hillston, (UEDIN), Mieke Massink (CNR), Mirco Tribastone (SOTON), March 2014.
• D7.1: Periodic report for months 1-12
  • Jane Hillston (UEDIN).  May 2014.