 |
1.1 |
14 |
* Antonio Coronato, Vincenzo De Florio, Mohamed Bakhouya and Giovanna Di Marzo Serugendo |
|
|
15 |
Formal Modeling of Socio-technical Collective Adaptive Systems |
|
|
16 |
* Marco Alberti and Andrea Omicini |
|
|
17 |
Towards the Analysis & Prediction of Complex System Behaviour in SAPERE |
|
|
18 |
* Matteo Casadei and Mirko Viroli |
|
|
19 |
Approximate Stochastic Model-Checking of Computational Fields for Pervasive Computing Systems |
|
|
20 |
* Gabriella Castelli, Marco Mamei, Alberto Rosi and Franco Zambonelli |
|
|
21 |
Behaviour Predictability Despite Non-Determinism in the SAPERE Ecosystem |
|
|
22 |
|
|
|
23 |
**14.15-15.30** SESSION 3 (chair: //Franco Zambonelli//) |
 |
1.1 |
25 |
* Bernhard Anzengruber, Andreas Riener, Alois Ferscha and Thomas Schmittner |
|
|
26 |
Self-adaptive Response in Spatial Information Ecosystems |
|
|
27 |
* Jose Luis Fernandez-Marquez, Graeme Stevenson, Akla-Esso Tchao, Juan Ye, Giovanna Di Marzo Serugendo and Simon Dobson |
|
|
28 |
Analysis of new gradient based aggregation algorithms for data-propagation in distributed networks |
|
|
29 |
* Graeme Stevenson, Jose Luis Fernandez-Marquez, Sara Montagna, Alberto Rosi, Juan Ye, Giovanna Di Marzo Serugendo, Mirko Viroli, Simon Dobson and Akla-Esso Tchao |
|
|
30 |
Towards Situated Awareness in Urban Networks: A Bio-inspired Approach |
|
|
31 |
|
|
|
32 |
**16-16.50** SESSION 4 (chair: //Sara Montagna//) |