Mirko Viroli » Publications » Papers per Year

Publications by Mirko Viroli (2016)

Mirko Viroli, Roberto Casadei, Danilo Pianini
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
Science of Computer Programming 117, 2016

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

Mirko Viroli, Roberto Casadei, Danilo Pianini
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
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
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
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
Coordination Models and Languages, Lecture Notes in Computer Science 9686, 2016

Mirko Viroli, Antonio Bucchiarone, Danilo Pianini, Jacob Beal
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
The Knowledge Engineering Review 31(4), September 2016

Jacob Beal, Mirko Viroli
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems, Lecture Notes in Computer Science 9700, 2016

[top]