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