0 | -- | 0 | Michele Loreti. Replicated Computations Results (RCR) Report for "Mesoscopic Modelling of Pedestrian Movement using Carma and its Tools" |
0 | -- | 0 | Alessandro Aldini. Design and Verification of Trusted Collective Adaptive Systems |
0 | -- | 0 | Andrea Marin, Sabina Rossi, Dario Burato, Andrea Sina, Matteo Sottana. A Product-Form Model for the Performance Evaluation of a Bandwidth Allocation Strategy in WSNs |
0 | -- | 0 | Vashti Galpin, Natalia Zon, Pia Wilsdorf, Stephen Gilmore. Mesoscopic Modelling of Pedestrian Movement Using Carma and Its Tools |
0 | -- | 0 | Stefano Sebastio, Michele Amoretti, Alberto Lluch-Lafuente, Antonio Scala. A Holistic Approach for Collaborative Workload Execution in Volunteer Clouds |
0 | -- | 0 | Mirko Viroli, Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini. Engineering Resilient Collective Adaptive Systems by Self-Stabilisation |
0 | -- | 0 | Andrea Vandin. Replicated Computations Results (RCR) Report for "A Holistic Approach for Collaborative Workload Execution in Volunteer Clouds" |
0 | -- | 0 | Maurice H. ter Beek. Replicated Computations Results (RCR) Report for "Design and Verification of Trusted Collective Adaptive Systems" |
0 | -- | 0 | Maurice H. ter Beek, Michele Loreti. Guest Editorial for the Special Issue on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST) |