Per Year

Talks  /  2012  /  Mirko Viroli

Danilo Pianini (Matteo Casadei, Mirko Viroli)
A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems
(talk, 19/09/2012) 13th Workshop on Objects and Agents (WOA 2012)
Danilo Pianini (Sara Montagna, Mirko Viroli, Danilo Pianini, Jose Luis Fernandez Marquez)
Towards a comprehensive approach to spontaneous self-composition in pervasive ecosystems
(talk, 19/09/2012) 13th Workshop on Objects and Agents (WOA 2012)
Danilo Pianini (Danilo Pianini, Mirko Viroli, Sara Montagna)
Gradient-based Self-organisation Patterns of Anticipative Adaptation
(talk, 11/09/2012) 6th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2012)
Mirko Viroli (Matteo Casadei, Mirko Viroli)
Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems
(talk, 10/09/2012) ASENSIS @ SASO 2012
Mirko Viroli (Mirko Viroli)
WP1 @ M24 Progresses and Review
(project presentation, 10/09/2012) SAPERE Meeting, SASO 2012
Mirko Viroli (Mirko Viroli)
WP1 @ M21. Progresses and Plan
(talk, 11/06/2012) General SAPERE Meeting
Mirko Viroli (Andrea Omicini)
Dynamic Composition of Coordination Abstractions for Pervasive Systems: The Case of LogOp
(poster presentation, 29/03/2012) 27th Annual ACM Symposium on Applied Computing (SAC 2012)
Mirko Viroli (Mirko Viroli)
Pervasive Ecosystems: a Coordination Model based on Semantic Chemistry
(talk, 28/03/2012) 27th Annual ACM Symposium on Applied Computing (SAC 2012)
Sara Montagna (Danilo Pianini, Mirko Viroli, Sara Montagna)
A Model for Drosophila Melanogaster Development from a Single Cell to Stripe Pattern Formation
(talk, 28/03/2012) 27th Annual ACM Symposium on Applied Computing (SAC 2012)
Mirko Viroli (Mirko Viroli)
Self-adaptive Service Ecosystems for Pervasive Computing
(seminar, 15/03/2012) DISI seminars
Mirko Viroli (Mirko Viroli)
WP1 @ M17. Progresses and Plan 
(project presentation, 27/02/2012) General SAPERE Meeting
(11 talks in 2012) [top]  [bottom]

Tags:

Avatar

Talks / Viroli

Home
per year
2022  |  2021  |  2020  |  2019  |  2018  |  2017  |  2016  |  2015  |  2014  |  2013  |  2012  |  2011–2000
per sort
talks  |  invited talks  |  seminars  |  lectures  |  tutorials  |  project presentations  |  internal talks  |  poster presentations

Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY