Per Year
49
talks
/
2000–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)
- A Chemical Inspired Simulation Framework for Pervasive Services Ecosystems (talk, Federated Conference on Computer Science and Information Systems in Szczecin, Poland (FedCSIS 2011)) — Danilo Pianini (Sara Montagna, Mirko Viroli, Danilo Pianini)
- A Simulation Framework for Pervasive Service Ecosystems (talk, WOA 2011) — Danilo Pianini (Sara Montagna, Mirko Viroli, Danilo Pianini)
- A Coordination Approach to Spatially-Situated Pervasive Service Ecosystems (talk, WOA 2011) — Danilo Pianini (Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli)
- WP1 Activities: General state, details on the model, future plans (project, SAPERE M9 Meeting, University of St. Andrews, UK) — Mirko Viroli (Mirko Viroli)
- WP1-WP2 Boundary. Spatiality in the SAPERE model and in eco-laws (project, SAPERE M4 Meeting, Université de Genève, Suisse) — Mirko Viroli (Mirko Viroli)
- WP1 Activities. General state, details on the model, future plans (project, SAPERE M4 Meeting, Université de Genève, Suisse) — Mirko Viroli (Mirko Viroli)
- SAPERE: WP1 - Model & Methodology (project, SAPERE Kick-Off Meeting, Modena, Italy, 5-7 October 2010) — Mirko Viroli (Mirko Viroli)
- Self Organization in Coordination Systems using a WordNet-based Ontology (talk) — Sascia Virruso, Danilo Pianini (Danilo Pianini, Sascia Virruso, Ronaldo Menezes, Andrea Omicini, Mirko Viroli)
- A Self-Organising Infrastructure for Chemical-Semantic Coordination (talk, WOA 2010) — Elena Nardini (Elena Nardini, Andrea Omicini, Mirko Viroli, Matteo Casadei)
- Coordination in Open and Dynamic Environments with TuCSoN Semantic Tuple Centres (seminar, Course “Informatics System Design” (2009-2010)) — Elena Nardini (Elena Nardini, Mirko Viroli, Emanuele Panzavolta)
- Chemical-Inspired Self-Composition of Competing Services (talk, SAC 2010) — Matteo Casadei (Mirko Viroli, Matteo Casadei)
- Coordination in Open and Dynamic Environments with TuCSoN Semantic Tuple Centres (talk, CM 2010@SAC 2010) — Elena Nardini (Elena Nardini, Mirko Viroli, Emanuele Panzavolta)
- Towards Semantic Self-Organisation: A Perspective for the Coordination of Complex Systems (invited, Invited Lectures on Semantics Self-Organisation and Self-Aware Autonomous Systems, CETINIA, Universidad Rey Juan Carlos, Madrid, Spain) — Andrea Omicini (Elena Nardini, Andrea Omicini, Mirko Viroli, Matteo Casadei)
- A Computational Framework for Multilevel Morphologies (talk, Morphogenetic Engineering Workshop) — Sara Montagna (Sara Montagna, Mirko Viroli)
- A Computational Framework for Modelling (and Simulating) Multicellular Biochemistry (talk, Congress on Evolutionary Computation (CEC 2009)) — Mirko Viroli (Sara Montagna, Mirko Viroli)
- An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing (talk, The 2009 IEEE Concress on Evolutionary Computation (CEC 2009)) — Mirko Viroli (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.) — Matteo Casadei (Andrea Omicini, Mirko Viroli, Matteo Casadei)
- 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 ) — Michele Piunti (Andrea Omicini, Michele Piunti, Mirko Viroli)
- Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks (talk, 2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO2008)) — Matteo Casadei (Mirko Viroli, Matteo Casadei)
- Experiment with Stochastic Prolog as Simulation Language (talk, 23° Convegno Italiano di Logica Computazionale (CILC)) — Enrico Oliva (Enrico Oliva, Luca Gardelli, Andrea Omicini, Mirko Viroli)
- Collective Sort and Emergent Patterns of Tuple Distribution in Grid-Like Networks (talk, CoMA 2008@WET ICE 2008) — Matteo Casadei (Matteo Casadei, Mirko Viroli, Marco Santarelli)
- Argumentation and Artifact for Dialogue Support (talk, 5th International Workshop "Argumentation in Multi-Agent Systems" (ArgMAS 2008)) — Enrico Oliva (Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney)
- Self-Organising Approaches to Coordination (seminar, Informatics System Design LS - Second Faculty of Engineering at Università di Bologna (Cesena)) — Matteo Casadei (Mirko Viroli, Matteo Casadei)
- A Self-Organizing Approach to Tuple Distribution in Large-scale Tuple-space Systems (talk, Second International Workshop on Self-Organizing Systems (IWSOS 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)) — Matteo Casadei (Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli)
- A Case of Self-Organising Environment for MAS: the Collective Sort Problem (talk, EUMAS 2006) — Matteo Casadei (Matteo Casadei, Luca Gardelli, Mirko Viroli)
- Collective Sorting Tuple Spaces (talk, WOA 2006) — Matteo Casadei (Matteo Casadei, Mirko Viroli, Luca Gardelli)
- Engineering the environment of self-organizing multi-agent systems exploiting formal analysis tools (talk, AICA 2006) — Matteo Casadei (Luca Gardelli, Mirko Viroli, Matteo Casadei)
- 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)) — Matteo Casadei (Matteo Casadei, Luca Gardelli, Mirko Viroli)
- On the Role of Simulation in the Engineering of Self-Organising Systems: Detecting Abnormal Behaviour in MAS (talk, WOA 2005) — Andrea Omicini (Luca Gardelli, Mirko Viroli, Andrea Omicini)
- 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) — Enrico Oliva (Antonio Natali, Enrico Oliva, Alessandro Ricci, Mirko Viroli)
- A Conceptual Framework for Self-Organising MAS (talk, 2nd European Workshop on Multiagent Systems (EUMAS 2004), Barcelona, Cataluña, Spain) — Andrea Omicini (Alessandro Ricci, Andrea Omicini, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini)
- Coordination Artifacts: Environment-based Coordination for Intelligent Agents (talk, AAMAS 2004) — Andrea Omicini (Andrea Omicini, Alessandro Ricci, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini)
- Integrating Objective & Subjective Coordination: A Roadmap to TuCSoN (talk, EUMAS 2003) — Andrea Omicini (Andrea Omicini, Alessandro Ricci, Giovanni Rimassa, Mirko Viroli)
- Formal Specification and Enactment of Security Policies through Agent Coordination Contexts (talk, EUMAS 2003) — Andrea Omicini (Alessandro Ricci, Andrea Omicini, Mirko Viroli)
- Objective Coordination for FIPA Agents (talk, WOA 2003) — Andrea Omicini (Andrea Omicini, Alessandro Ricci, Giovanni Rimassa, Mirko Viroli)
- Have ReSpecT for LogOp (talk, WOA 2002) — Andrea Omicini (Ronaldo Menezes, Andrea Omicini, Mirko Viroli)
- On Observation as a Coordination Pattern: An Ontology and a Formal Framework (talk, CM 2001@SAC 2001) — Mirko Viroli (Mirko Viroli, Gianluca Moro, Andrea Omicini)
0000-0003-2702-5702