FORECAST@STAF

Publications

2016

Mirko Viroli, Jacob Beal
Resiliency with Aggregate Computing: State of the Art and Roadmap. FORECAST@STAF (2016)
Stephen Gilmore
Data as processes: introducing measurement data into CARMA models. FORECAST@STAF (2016)
Alessandro Aldini
A Formal Framework for Modeling Trust and Reputation in Collective Adaptive Systems. FORECAST@STAF (2016)
Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink
From Collective Adaptive Systems to Human Centric Computation and Back: Spatial Model Checking for Medical Imaging. FORECAST@STAF (2016)
Mirco Tribastone
Challenges in Quantitative Abstractions for Collective Adaptive Systems. FORECAST@STAF (2016)
Diego Latella
On Formal Methods for Collective Adaptive System Engineering. {Scalable Approximated, Spatial} Analysis Techniques. Extended Abstract. FORECAST@STAF (2016)
Natalia Zon, Vashti Galpin, Stephen Gilmore
Modelling movement for collective adaptive systems with CARMA. FORECAST@STAF (2016)
Paul Piho, Jane Hillston
Stochastic and Spatial Equivalences for PALOMA. FORECAST@STAF (2016)

volume 217, 2016

Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems, FORECAST@STAF 2016, Vienna, Austria, 8 July 2016. FORECAST@STAF 217 (2016)