Per Sort


Per Sort

13 publications  /  2016  /  Mirko Viroli

articles in journal
Ferruccio Damiani, Mirko Viroli, Jacob Beal
A type-sound calculus of computational fields
Science of Computer Programming 117, 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
Knowledge Engineering Review 31(4), September 2016
(2 articles in journal / 2016)  [top]  [bottom]
papers in proceedings
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, 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
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
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, Antonio Bucchiarone, Danilo Pianini, Jacob Beal
Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE
SASO 2016, 2016
Danilo Pianini, Jacob Beal, Mirko Viroli
Improving Gossip Dynamics Through Overlapping Replicates
Coordination Models and Languages. Lecture Notes in Computer Science 9686, 2016
Danilo Pianini, Jacob Beal, Mirko Viroli
Improving Gossip Dynamics Through Overlapping Replicates
COORDINATION 2016, 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
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
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
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, September 2016
(11 papers in proceedings / 2016)  [top]  [bottom]

Tags:
Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY