Mirko Viroli » Publications » Papers per Year

Publications by Mirko Viroli (2016)

Mirko Viroli, Roberto Casadei, Danilo Pianini
Simulating Large-scale Aggregate MASs with Alchemist and Scala
Proceedings of the 2016 Federated Conference on Computer Science Systems, FedCSIS 2016, Gdansk, Poland, September 11-14, 2016., 11-14 September 2016

Ferruccio Damiani, Mirko Viroli, Jacob Beal
A type-sound calculus of computational fields
Science of Computer Programming 117, 2016

Roberto Casadei, Mirko Viroli
Towards Aggregate Programming in Scala
1st Workshop on Programming Models and Languages for Distributed Computing (PMLDC '16), 17 July 2016

Mirko Viroli, Roberto Casadei, Danilo Pianini
On Execution Platforms for Large-scale Aggregate Computing
Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing: Adjunct, UbiComp '16, 2016

Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani
Self-adaptation to Device Distribution Changes in Situated Computing Systems
2016 IEEE 10th International Conference on Self-Adaptive and Self-Organizing Systems, Augsburg, Germany, September 18-22, 2016, 2016

Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Roberto Casadei
Run-Time Management of Computation Domains in Field Calculus
2016 {IEEE} 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), Augsburg, Germany, September 12-16, 2016, Sept 2016

Mirko Viroli, Jacob Beal
Resiliency with Aggregate Computing: State of the Art and Roadmap
Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems, Electronic Proceedings in Theoretical Computer Science 217, 2016

Danilo Pianini, Jacob Beal, Mirko Viroli
Improving Gossip Dynamics Through Overlapping Replicates
Coordination Models and Languages, Lecture Notes in Computer Science 9686, 2016

Mirko Viroli, Antonio Bucchiarone, Danilo Pianini, Jacob Beal
Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE
2016 {IEEE} 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), Augsburg, Germany, September 12-16, 2016, Sept 2016

Simon Dobson, Mirko Viroli, Jose Luis Fernandez-Marquez, Franco Zambonelli, Graeme Stevenson, Giovanna Di Marzo Serugendo, Sara Montagna, Danilo Pianini, Juan Ye, Gabriella Castelli, Alberto Rosi
Spatial awareness in pervasive ecosystems
The Knowledge Engineering Review 31(4), September 2016

Jacob Beal, Mirko Viroli
Aggregate Programming: From Foundations to Applications
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems, Lecture Notes in Computer Science 9700, 2016

[top]