Per tipo
50
presentazioni
/
Mirko Viroli
- Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain (GOODTECHS 2018, 28/11/2018) — Giovanni Ciatto (Andrea Omicini, Danilo Pianini, Giovanni Ciatto, Mirko Viroli, Roberto Casadei, Stefano Mariani)
- Spatial Tuples: Augmenting Physical Reality with Tuple Spaces (IDC 2016, 11/10/2016) — Alessandro Ricci (Alessandro Ricci, Andrea Omicini, Angelo Croatti, Danilo Pianini, Mirko Viroli, Stefano Mariani)
- Towards a Foundational API for Resilient Distributed Systems Design (2nd eCAS Workshop on Engineering Collective Adaptive Systems, 18/09/2016) — Danilo Pianini (Matteo Francia, Danilo Pianini, Jacob Beal, Mirko Viroli)
- Simulating Large-scale Aggregate MASs with Alchemist and Scala (10th International Workshop on Multi-Agent Systems and Simulation (MAS&S'16), 14/09/2016) — Danilo Pianini (Roberto Casadei, Danilo Pianini, Mirko Viroli)
- Protelis: Practical Aggregate Programming (CM 2015@SAC 2015, 16/04/2015) — Danilo Pianini (Danilo Pianini, Mirko Viroli, Jacob Beal)
- Agent-based and Chemical-inspired Approaches for Multicellular Models (Meeting CINI Laboratorio InfoLife, 11/07/2014) — Sara Montagna (Andrea Omicini, Mirko Viroli, Sara Montagna)
- A core calculus of computational fields (11/09/2013) — Mirko Viroli (Mirko Viroli, Ferruccio Damiani, Jacob Beal)
- Engineering Self-organising Coordination: A Computational Field Approach (COORDINATION 2013, 03/06/2013) — Mirko Viroli (Mirko Viroli)
- Engineering Pervasive Multiagent Systems in SAPERE (EMAS 2013@AAMAS 2013, 07/05/2013) — Mirko Viroli (Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli)
- Engineering Confluent Computational Fields: from Functions to Rewrite Rules (SCW 2013@AAMAS 2013, 06/05/2013) — Mirko Viroli (Mirko Viroli)
- Composing gradients for a context-aware navigation of users in a smart-city (SCW 2013@AAMAS 2013, 06/05/2013) — Mirko Viroli (Mirko Viroli, Sara Montagna)
- Glocality: emergent behaviours (CINA kickoff meeting, 06/02/2013) — Mirko Viroli (Mirko Viroli)
- A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems (WOA 2012, 19/09/2012) — Danilo Pianini (Matteo Casadei, Mirko Viroli)
- Towards a comprehensive approach to spontaneous self-composition in pervasive ecosystems (WOA 2012, 19/09/2012) — Danilo Pianini (Sara Montagna, Mirko Viroli, Danilo Pianini, Jose Luis Fernandez Marquez)
- Gradient-based Self-organisation Patterns of Anticipative Adaptation (6th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2012), 11/09/2012) — Danilo Pianini (Danilo Pianini, Mirko Viroli, Sara Montagna)
- Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems (ASENSIS 2012@SASO 2012, 10/09/2012) — Mirko Viroli (Matteo Casadei, Mirko Viroli)
- WP1 @ M21. Progresses and Plan (General SAPERE Meeting, 11/06/2012) — Mirko Viroli (Mirko Viroli)
- Pervasive Ecosystems: a Coordination Model based on Semantic Chemistry (27th Annual ACM Symposium on Applied Computing (SAC 2012), 28/03/2012) — Mirko Viroli (Mirko Viroli)
- A Model for Drosophila Melanogaster Development from a Single Cell to Stripe Pattern Formation (SAC 2012, 28/03/2012) — Sara Montagna (Danilo Pianini, Mirko Viroli, Sara Montagna)
- A Chemical Inspired Simulation Framework for Pervasive Services Ecosystems (Federated Conference on Computer Science and Information Systems in Szczecin, Poland (FedCSIS 2011), 19/09/2011) — Danilo Pianini (Sara Montagna, Mirko Viroli, Danilo Pianini)
- A Simulation Framework for Pervasive Service Ecosystems (WOA 2011, 06/07/2011) — Danilo Pianini (Sara Montagna, Mirko Viroli, Danilo Pianini)
- A Coordination Approach to Spatially-Situated Pervasive Service Ecosystems (WOA 2011, 06/07/2011) — Danilo Pianini (Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli)
- Self Organization in Coordination Systems using a WordNet-based Ontology (30/09/2010) — Sascia Virruso, Danilo Pianini (Danilo Pianini, Sascia Virruso, Ronaldo Menezes, Andrea Omicini, Mirko Viroli)
- A Self-Organising Infrastructure for Chemical-Semantic Coordination (WOA 2010, 07/09/2010) — Elena Nardini (Elena Nardini, Andrea Omicini, Mirko Viroli, Matteo Casadei)
- Coordination in Open and Dynamic Environments with TuCSoN Semantic Tuple Centres (CM 2010@SAC 2010, 26/03/2010) — Elena Nardini (Elena Nardini, Mirko Viroli, Emanuele Panzavolta)
- Chemical-Inspired Self-Composition of Competing Services (SAC 2010, 26/03/2010) — Matteo Casadei (Mirko Viroli, Matteo Casadei)
- A Computational Framework for Multilevel Morphologies (Morphogenetic Engineering Workshop, 19/06/2009) — Sara Montagna (Sara Montagna, Mirko Viroli)
- A Computational Framework for Modelling (and Simulating) Multicellular Biochemistry (Congress on Evolutionary Computation (CEC 2009), 21/05/2009) — Mirko Viroli (Sara Montagna, Mirko Viroli)
- An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing (The 2009 IEEE Concress on Evolutionary Computation (CEC 2009), 20/05/2009) — Mirko Viroli (Mirko Viroli, Matteo Casadei)
- A Framework for Modelling and Implementing Self-Organising Coordination (2009 Symposium of Applied Computing (SAC'09), Waikiki beach, Honolulu, HI, USA., 10/03/2009) — Matteo Casadei (Andrea Omicini, Mirko Viroli, Matteo Casadei)
- From Objects based Middleware to Artifact based Work Environment in Multi-Agent Systems (Extensible Object Systems for Dynamic and Unpredictable Environments (EOS-DUE) Final Meeting, Torino , 09/01/2009) — Michele Piunti (Andrea Omicini, Michele Piunti, Mirko Viroli)
- Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks (2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO2008), 23/10/2008) — Matteo Casadei (Mirko Viroli, Matteo Casadei)
- Experiment with Stochastic Prolog as Simulation Language (23° Convegno Italiano di Logica Computazionale (CILC), 10/07/2008) — Enrico Oliva (Enrico Oliva, Luca Gardelli, Andrea Omicini, Mirko Viroli)
- Collective Sort and Emergent Patterns of Tuple Distribution in Grid-Like Networks (CoMA 2008@WET ICE 2008, 24/06/2008) — Matteo Casadei (Matteo Casadei, Mirko Viroli, Marco Santarelli)
- Argumentation and Artifact for Dialogue Support (5th International Workshop "Argumentation in Multi-Agent Systems" (ArgMAS 2008), 12/05/2008) — Enrico Oliva (Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney)
- A Self-Organizing Approach to Tuple Distribution in Large-scale Tuple-space Systems (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 (First International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2007), 11/07/2007) — Matteo Casadei (Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli)
- A Case of Self-Organising Environment for MAS: the Collective Sort Problem (EUMAS 2006, 15/12/2006) — Matteo Casadei (Matteo Casadei, Luca Gardelli, Mirko Viroli)
- Collective Sorting Tuple Spaces (WOA 2006, 27/09/2006) — Matteo Casadei (Matteo Casadei, Mirko Viroli, Luca Gardelli)
- Engineering the environment of self-organizing multi-agent systems exploiting formal analysis tools (AICA 2006, 22/09/2006) — Matteo Casadei (Luca Gardelli, Mirko Viroli, Matteo Casadei)
- Simulating Emergent Properties of Coordination in Maude: the Collective Sorting Case (FOCLASA 2006: satellite workshop of the 17th International Conference on Concurrency Theory (CONCUR 2006), 31/08/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 (WOA 2005, 15/11/2005) — Andrea Omicini (Luca Gardelli, Mirko Viroli, Andrea Omicini)
- A Framework for Engineering Interactions in Java-based Component Systems (4th International Workshop Foundation of Coordination Language and Software Architectures FOCLASA - San Francisco, USA, 28/08/2005) — Enrico Oliva (Antonio Natali, Enrico Oliva, Alessandro Ricci, Mirko Viroli)
- A Conceptual Framework for Self-Organising MAS (2nd European Workshop on Multiagent Systems (EUMAS 2004), Barcelona, Cataluña, Spain, 16/12/2004) — Andrea Omicini (Alessandro Ricci, Andrea Omicini, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini)
- Coordination Artifacts: Environment-based Coordination for Intelligent Agents (AAMAS 2004, 21/07/2004) — Andrea Omicini (Andrea Omicini, Alessandro Ricci, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini)
- Formal Specification and Enactment of Security Policies through Agent Coordination Contexts (EUMAS 2003, 19/12/2003) — Andrea Omicini (Alessandro Ricci, Andrea Omicini, Mirko Viroli)
- Integrating Objective & Subjective Coordination: A Roadmap to TuCSoN (EUMAS 2003, 19/12/2003) — Andrea Omicini (Andrea Omicini, Alessandro Ricci, Giovanni Rimassa, Mirko Viroli)
- Objective Coordination for FIPA Agents (WOA 2003, 10/09/2003) — Andrea Omicini (Andrea Omicini, Alessandro Ricci, Giovanni Rimassa, Mirko Viroli)
- Have ReSpecT for LogOp (WOA 2002, 19/09/2002) — Andrea Omicini (Ronaldo Menezes, Andrea Omicini, Mirko Viroli)
- On Observation as a Coordination Pattern: An Ontology and a Formal Framework (CM 2001@SAC 2001, 14/03/2001) — Mirko Viroli (Mirko Viroli, Gianluca Moro, Andrea Omicini)