Per Year


Per Year

11 talks  /  2012  /  Mirko Viroli

2012
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)
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)
Pervasive Ecosystems: a Coordination Model based on Semantic Chemistry
(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:
Created by Andrea Omicini on 08/10/2020 01:35

Avatar

Talks / Viroli

Home
— clouds

per year
2023  |  2022  |  2021  |  2020  |  2019  |  2018  |  2017  |  2016  |  2015  |  2014  |  2013  |  2012–2000
per sort
talks  |  invited talks  |  seminars  |  lectures  |  tutorials  |  project presentations  |  informal talks  |  internal talks  |  panel presentations  |  PhD presentations  |  poster presentations  |  other talks

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