Per Year
Per Year
47 talks / 2000–2012 / Mirko Viroli
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 @ WOA 2012, 19/09/2012 |
Danilo Pianini (Matteo Casadei, Mirko Viroli) A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems Talk @ WOA 2012, 19/09/2012 |
Danilo Pianini (Danilo Pianini, Mirko Viroli, Sara Montagna) Gradient-based Self-organisation Patterns of Anticipative Adaptation Talk @ 6th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2012), 11/09/2012 |
Mirko Viroli (Matteo Casadei, Mirko Viroli) Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems Talk @ “Event.Asensis2012” is not an APICe document, 10/09/2012 |
Mirko Viroli (Mirko Viroli) WP1 @ M24 Progresses and Review Project Presentation @ SAPERE Meeting, SASO 2012, 10/09/2012 |
Mirko Viroli (Mirko Viroli) WP1 @ M21. Progresses and Plan Talk @ General SAPERE Meeting, 11/06/2012 |
Mirko Viroli (Andrea Omicini) Dynamic Composition of Coordination Abstractions for Pervasive Systems: The Case of LogOp Poster Presentation @ CM 2012 @ SAC 2012, 29/03/2012 |
Sara Montagna (Danilo Pianini, Mirko Viroli, Sara Montagna) A Model for Drosophila Melanogaster Development from a Single Cell to Stripe Pattern Formation Talk @ SAC 2012, 28/03/2012 |
Mirko Viroli (Mirko Viroli) Pervasive Ecosystems: a Coordination Model based on Semantic Chemistry Talk @ 27th Annual ACM Symposium on Applied Computing (SAC 2012), 28/03/2012 |
Mirko Viroli (Mirko Viroli) Self-adaptive Service Ecosystems for Pervasive Computing Seminar @ DISI seminars, 15/03/2012 |
Mirko Viroli (Mirko Viroli) WP1 @ M17. Progresses and Plan Project Presentation @ General SAPERE Meeting, 27/02/2012 |
(11 talks in 2012) [top] [bottom] |
2011 |
Danilo Pianini (Sara Montagna, Mirko Viroli, Danilo Pianini) A Chemical Inspired Simulation Framework for Pervasive Services Ecosystems Talk @ Federated Conference on Computer Science and Information Systems in Szczecin, Poland (FedCSIS 2011), 19/09/2011 |
Danilo Pianini (Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli) A Coordination Approach to Spatially-Situated Pervasive Service Ecosystems Talk @ WOA 2011, 06/07/2011 |
Danilo Pianini (Sara Montagna, Mirko Viroli, Danilo Pianini) A Simulation Framework for Pervasive Service Ecosystems Talk @ WOA 2011, 06/07/2011 |
Mirko Viroli (Mirko Viroli) WP1 Activities: General state, details on the model, future plans Project Presentation @ SAPERE M9 Meeting, University of St. Andrews, UK, 24/06/2011 |
Mirko Viroli (Mirko Viroli) WP1-WP2 Boundary. Spatiality in the SAPERE model and in eco-laws Project Presentation @ SAPERE M4 Meeting, Université de Genève, Suisse, 20/01/2011 |
Mirko Viroli (Mirko Viroli) WP1 Activities. General state, details on the model, future plans Project Presentation @ SAPERE M4 Meeting, Université de Genève, Suisse, 19/01/2011 |
(6 talks in 2011) [top] [bottom] |
2010 |
Mirko Viroli (Mirko Viroli) SAPERE: WP1 - Model & Methodology Project Presentation @ SAPERE Kick-Off Meeting, Modena, Italy, 5-7 October 2010, 05/10/2010 |
Sascia Virruso, Danilo Pianini (Danilo Pianini, Sascia Virruso, Ronaldo Menezes, Andrea Omicini, Mirko Viroli) Self Organization in Coordination Systems using a WordNet-based Ontology Talk, 30/09/2010 |
Elena Nardini (Elena Nardini, Andrea Omicini, Mirko Viroli, Matteo Casadei) A Self-Organising Infrastructure for Chemical-Semantic Coordination Talk @ WOA 2010, 07/09/2010 |
Elena Nardini (Elena Nardini, Mirko Viroli, Emanuele Panzavolta) Coordination in Open and Dynamic Environments with TuCSoN Semantic Tuple Centres Seminar @ Course “Informatics System Design” (2009-2010), 25/05/2010 |
Elena Nardini (Elena Nardini, Mirko Viroli, Emanuele Panzavolta) Coordination in Open and Dynamic Environments with TuCSoN Semantic Tuple Centres Talk @ CM 2010 @ SAC 2010, 26/03/2010 |
Matteo Casadei (Mirko Viroli, Matteo Casadei) Chemical-Inspired Self-Composition of Competing Services Talk @ SAC 2010, 26/03/2010 |
(6 talks in 2010) [top] [bottom] |
2009 |
Andrea Omicini (Elena Nardini, Andrea Omicini, Mirko Viroli, Matteo Casadei) Towards Semantic Self-Organisation: A Perspective for the Coordination of Complex Systems Invited Talk @ Invited Lectures on Semantics Self-Organisation and Self-Aware Autonomous Systems, CETINIA, Universidad Rey Juan Carlos, Madrid, Spain, 02/12/2009 |
Sara Montagna (Sara Montagna, Mirko Viroli) A Computational Framework for Multilevel Morphologies Talk @ Morphogenetic Engineering Workshop, 19/06/2009 |
Mirko Viroli (Sara Montagna, Mirko Viroli) A Computational Framework for Modelling (and Simulating) Multicellular Biochemistry Talk @ Congress on Evolutionary Computation (CEC 2009), 21/05/2009 |
Mirko Viroli (Mirko Viroli, Matteo Casadei) An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing Talk @ The 2009 IEEE Concress on Evolutionary Computation (CEC 2009), 20/05/2009 |
Matteo Casadei (Andrea Omicini, Mirko Viroli, Matteo Casadei) A Framework for Modelling and Implementing Self-Organising Coordination Talk @ 2009 Symposium of Applied Computing (SAC'09), Waikiki beach, Honolulu, HI, USA., 10/03/2009 |
Michele Piunti (Andrea Omicini, Michele Piunti, Mirko Viroli) From Objects based Middleware to Artifact based Work Environment in Multi-Agent Systems Talk @ Extensible Object Systems for Dynamic and Unpredictable Environments (EOS-DUE) Final Meeting, Torino , 09/01/2009 |
(6 talks in 2009) [top] [bottom] |
2008 |
Matteo Casadei (Mirko Viroli, Matteo Casadei) Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks Talk @ 2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO2008), 23/10/2008 |
Enrico Oliva (Enrico Oliva, Luca Gardelli, Andrea Omicini, Mirko Viroli) Experiment with Stochastic Prolog as Simulation Language Talk @ 23° Convegno Italiano di Logica Computazionale (CILC), 10/07/2008 |
Matteo Casadei (Matteo Casadei, Mirko Viroli, Marco Santarelli) Collective Sort and Emergent Patterns of Tuple Distribution in Grid-Like Networks Talk @ CoMA 2008 @ WET ICE 2008, 24/06/2008 |
Enrico Oliva (Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney) Argumentation and Artifact for Dialogue Support Talk @ 5th International Workshop "Argumentation in Multi-Agent Systems" (ArgMAS 2008), 12/05/2008 |
Matteo Casadei (Mirko Viroli, Matteo Casadei) Self-Organising Approaches to Coordination Seminar @ Informatics System Design LS - Second Faculty of Engineering at Università di Bologna (Cesena), 06/03/2008 |
(5 talks in 2008) [top] [bottom] |
2007 |
Matteo Casadei (Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli) A Self-Organizing Approach to Tuple Distribution in Large-scale Tuple-space Systems Talk @ Second International Workshop on Self-Organizing Systems (IWSOS 2007), 12/09/2007 |
Matteo Casadei (Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli) On the Problem of Over-clustering in Tuple-based Coordination Systems Talk @ First International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2007), 11/07/2007 |
(2 talks in 2007) [top] [bottom] |
2006 |
Matteo Casadei (Matteo Casadei, Luca Gardelli, Mirko Viroli) A Case of Self-Organising Environment for MAS: the Collective Sort Problem Talk @ EUMAS 2006, 15/12/2006 |
Matteo Casadei (Matteo Casadei, Mirko Viroli, Luca Gardelli) Collective Sorting Tuple Spaces Talk @ WOA 2006, 27/09/2006 |
Matteo Casadei (Luca Gardelli, Mirko Viroli, Matteo Casadei) Engineering the environment of self-organizing multi-agent systems exploiting formal analysis tools Talk @ AICA 2006, 22/09/2006 |
Matteo Casadei (Matteo Casadei, Luca Gardelli, Mirko Viroli) Simulating Emergent Properties of Coordination in Maude: the Collective Sorting Case Talk @ FOCLASA 2006: satellite workshop of the 17th International Conference on Concurrency Theory (CONCUR 2006), 31/08/2006 |
(4 talks in 2006) [top] [bottom] |
2005 |
Enrico Oliva (Antonio Natali, Enrico Oliva, Alessandro Ricci, Mirko Viroli) A Framework for Engineering Interactions in Java-based Component Systems Talk @ 4th International Workshop Foundation of Coordination Language and Software Architectures FOCLASA - San Francisco, USA, 28/08/2005 |
(1 talk in 2005) [top] [bottom] |
2004 |
Andrea Omicini (Alessandro Ricci, Andrea Omicini, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini) A Conceptual Framework for Self-Organising MAS Talk @ 2nd European Workshop on Multiagent Systems (EUMAS 2004), Barcelona, Cataluña, Spain, 16/12/2004 |
Andrea Omicini (Andrea Omicini, Alessandro Ricci, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini) Coordination Artifacts: Environment-based Coordination for Intelligent Agents Talk @ AAMAS 2004, 21/07/2004 |
(2 talks in 2004) [top] [bottom] |
2003 |
Andrea Omicini (Andrea Omicini, Alessandro Ricci, Giovanni Rimassa, Mirko Viroli) Integrating Objective & Subjective Coordination: A Roadmap to TuCSoN Talk @ EUMAS 2003, 19/12/2003 |
Andrea Omicini (Alessandro Ricci, Andrea Omicini, Mirko Viroli) Formal Specification and Enactment of Security Policies through Agent Coordination Contexts Talk @ EUMAS 2003, 19/12/2003 |
Andrea Omicini (Andrea Omicini, Alessandro Ricci, Giovanni Rimassa, Mirko Viroli) Objective Coordination for FIPA Agents Talk @ WOA 2003, 10/09/2003 |
(3 talks in 2003) [top] [bottom] |
2001 |
Mirko Viroli (Mirko Viroli, Gianluca Moro, Andrea Omicini) On Observation as a Coordination Pattern: An Ontology and a Formal Framework Talk @ CM 2001 @ SAC 2001, 14/03/2001 |
(1 talk in 2001) [top] [bottom] |