Authors
86
talks
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) Aggregate Computing (“Spatial Multiagent Systems and Aggregate Computing: New Directions for Spatial Computing”, DISI Doctorate School, 17/02/2017) — Mirko Viroli (Mirko Viroli) 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 (eCAS 2017 @ SASO 2017, 18/09/2016) — Danilo Pianini (Matteo Francia, Danilo Pianini, Jacob Beal, Mirko Viroli) Simulating Large-scale Aggregate MASs with Alchemist and Scala (MAS&S'16 @ FedCSIS 2016, 14/09/2016) — Danilo Pianini (Roberto Casadei, Danilo Pianini, Mirko Viroli) Spatial Multi-Agent Systems (EASSS 2016, 28/07/2016) — Andrea Omicini (Andrea Omicini, Mirko Viroli, Stefano Mariani) 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 (CINI InfoLife 2014, 11/07/2014) — Sara Montagna (Andrea Omicini, Mirko Viroli, Sara Montagna) Engineering Adaptive Service Ecosystems (DISI PhD School in Computer Science and Engineering, 12/02/2014) — Mirko Viroli (Mirko Viroli) A core calculus of computational fields (FOCLASA 2013 @ ESOCC 2013, 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) 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) Engineering Confluent Computational Fields: from Functions to Rewrite Rules (SCW 2013 @ AAMAS 2013, 06/05/2013) — Mirko Viroli (Mirko Viroli) Spatial Computing with Chemistry (Bioinformatics LabMeeting, 26/03/2013) — Mirko Viroli (Mirko Viroli, Sara Montagna) SAPERE project (and relevance for CINA) (CINA kickoff meeting, 06/02/2013) — Mirko Viroli (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) A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems (WOA 2012, 19/09/2012) — Danilo Pianini (Matteo Casadei, Mirko Viroli) Gradient-based Self-organisation Patterns of Anticipative Adaptation (SASO 2012, 11/09/2012) — Danilo Pianini (Danilo Pianini, Mirko Viroli, Sara Montagna) WP1 @ M24 Progresses and Review (SAPERE Meeting, SASO 2012, 10/09/2012) — Mirko Viroli (Mirko Viroli) 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) 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) Pervasive Ecosystems: a Coordination Model based on Semantic Chemistry (SAC 2012, 28/03/2012) — Mirko Viroli (Mirko Viroli) Self-adaptive Service Ecosystems for Pervasive Computing (DISI seminars, 15/03/2012) — Mirko Viroli (Mirko Viroli) A Chemical Inspired Simulation Framework for Pervasive Services Ecosystems (MAS&S'11 @ 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) WP1 Activities: General state, details on the model, future plans (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 (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 (SAPERE M4 Meeting, Université de Genève, Suisse, 19/01/2011) — Mirko Viroli (Mirko Viroli) SAPERE: WP1 - Model & Methodology (SAPERE Kick-Off Meeting, Modena, Italy, 5-7 October 2010, 05/10/2010) — Mirko Viroli (Mirko Viroli) Self Organization in Coordination Systems using a WordNet-based Ontology (SASO 2010, 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 (Course “Informatics System Design” (2009-2010), 25/05/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) 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) Towards Semantic Self-Organisation: A Perspective for the Coordination of Complex Systems (CETINIA 2009, 02/12/2009) — Andrea Omicini (Elena Nardini, Andrea Omicini, Mirko Viroli, Matteo Casadei) A Computational Framework for Multilevel Morphologies (MEW 2009, 19/06/2009) — Sara Montagna (Sara Montagna, Mirko Viroli) A Computational Framework for Modelling (and Simulating) Multicellular Biochemistry (CEC 2009, 21/05/2009) — Mirko Viroli (Sara Montagna, Mirko Viroli) An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing (CEC 2009, 20/05/2009) — Mirko Viroli (Mirko Viroli, Matteo Casadei) A Framework for Modelling and Implementing Self-Organising Coordination (SAC 2009, 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 (SASO 2008, 23/10/2008) — Matteo Casadei (Mirko Viroli, Matteo Casadei) Experiment with Stochastic Prolog as Simulation Language (CILC 2008, 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 (ArgMAS 2008 @ AAMAS 2008, 12/05/2008) — Enrico Oliva (Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney) Self-Organising Approaches to Coordination (Informatics System Design LS - Second Faculty of Engineering at Università di Bologna (Cesena), 06/03/2008) — Matteo Casadei (Mirko Viroli, Matteo Casadei) A Self-Organizing Approach to Tuple Distribution in Large-scale Tuple-space Systems (IWSOS 2007, 12/09/2007) — Matteo Casadei (Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli) Prototyping A&A ReSpecT in Maude (FOCLASA 2007 @ CONCUR'07, 08/09/2007) — Andrea Omicini (Matteo Casadei, Andrea Omicini, Mirko Viroli) On the Problem of Over-clustering in Tuple-based Coordination 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) Minority Game: A Logic-Based Approach in TuCSoN (WOA 2006, 27/09/2006) — Andrea Omicini (Enrico Oliva, Mirko Viroli, Andrea Omicini) Simulation of Minority Game in TuCSoN (WOA 2006, 27/09/2006) — Andrea Omicini (Enrico Oliva, Mirko Viroli, Andrea Omicini) Collective Sorting Tuple Spaces (WOA 2006, 27/09/2006) — Matteo Casadei (Matteo Casadei, Mirko Viroli, Luca Gardelli) simpA-WS: una tecnologia ad agenti per lo sviluppo di applicazioni SOA basate su Web Services (WOA 2006, 26/09/2006) — Alessandro Ricci (Alessandro Ricci, Claudio Buda, Nicola Zaghini, Antonio Natali, Mirko Viroli, Andrea Omicini) 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 @ CONCUR'06, 31/08/2006) — Matteo Casadei (Matteo Casadei, Luca Gardelli, Mirko Viroli) Simulating Minority Game with TuCSoN (MAS&S'06 @ ISC'06, 05/06/2006) — Andrea Omicini (Enrico Oliva, Mirko Viroli, Andrea Omicini) Cognitive Stigmergy: A Framework Based on Agents and Artifacts (E4MAS 2006 @ AAMAS 2006, 08/05/2006) — Alessandro Ricci (Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva) 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) An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts (AI*IA 2005, 23/09/2005) — Andrea Omicini (Mirko Viroli, Andrea Omicini, Alessandro Ricci) A Framework for Engineering Interactions in Java-based Component Systems (FOCLASA 2005 @ CONCUR'05, 27/08/2005) — Enrico Oliva (Antonio Natali, Enrico Oliva, Alessandro Ricci, Mirko Viroli) An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts (AAMAS 2005, 27/05/2005) — Andrea Omicini (Mirko Viroli, Alessandro Ricci, Andrea Omicini) Time-Aware Coordination in ReSpecT (COORDINATION 2005, 20/04/2005) — Andrea Omicini (Andrea Omicini, Alessandro Ricci, Mirko Viroli) A Conceptual Framework for Self-Organising MAS (EUMAS 2004, 16/12/2004) — Andrea Omicini (Alessandro Ricci, Andrea Omicini, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini) A Conceptual Framework for Self-Organising MAS (WOA 2004, 01/12/2004) — Andrea Omicini (Alessandro Ricci, Andrea Omicini, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini) Coordination Artifacts: Environment-based Coordination for Autonomous Agents (AAMAS 2004, 21/07/2004) — Andrea Omicini (Andrea Omicini, Alessandro Ricci, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini) An RBAC Approach for Securing Access Control in a MAS Coordination Infrastructure (SASEMAS'04 @ AAMAS 2004, 20/07/2004) — Alessandro Ricci (Alessandro Ricci, Mirko Viroli, Andrea Omicini) “Exhibitionists” and “Voyeurs” do it better: A Shared Environment Approach for Flexible Coordination with Tacit Messages (E4MAS 2004, 19/07/2004) — Luca Tummolini (Luca Tummolini, Cristiano Castelfranchi, Alessandro Ricci, Mirko Viroli, Andrea Omicini) Agent Coordination Context: From Theory to Practice (AT2AI-4 @ EMCSR 2004, 13/04/2004) — Alessandro Ricci (Alessandro Ricci, Mirko Viroli, Andrea Omicini) Integrating Objective & Subjective Coordination in Multi-Agent Systems (CM 2004 @ SAC 2004, 17/03/2004) — Andrea Omicini (Andrea Omicini, Alessandro Ricci, Mirko Viroli, Giovanni Rimassa) Integrating Objective & Subjective Coordination: A Roadmap to TuCSoN (EUMAS 2003, 19/12/2003) — Andrea Omicini (Andrea Omicini, Alessandro Ricci, Giovanni Rimassa, Mirko Viroli) Formal Specification and Enactment of Security Policies through Agent Coordination Contexts (EUMAS 2003, 19/12/2003) — Andrea Omicini (Alessandro Ricci, Andrea Omicini, Mirko Viroli) Objective Coordination for FIPA Agents (WOA 2003, 10/09/2003) — Andrea Omicini (Andrea Omicini, Alessandro Ricci, Giovanni Rimassa, Mirko Viroli) On the Semantics of Coordination Models for Distributed Systems: The LogOp Case Study (FOCLASA 2003 @ CONCUR'03, 02/09/2003) — Mirko Viroli (Ronaldo Menezes, Andrea Omicini, Mirko Viroli) Formal Specification and Enactment of Security Policies through Agent Coordination Contexts (SecCo'03, 28/06/2003) — Mirko Viroli (Andrea Omicini, Alessandro Ricci, Mirko Viroli) Have ReSpecT for LogOp (WOA 2002, 19/09/2002) — Andrea Omicini (Ronaldo Menezes, Andrea Omicini, Mirko Viroli) Coordination as a Service: Ontological and Formal Foundation (FOCLASA 2002 @ CONCUR'02, 24/08/2002) — Mirko Viroli (Mirko Viroli, Andrea Omicini) On the Expressiveness of Event-Based Coordination Media (PDPTA'02, 27/06/2002) — Mirko Viroli (Mirko Viroli, Andrea Omicini, Alessandro Ricci) Extending ReSpecT for Multiple Coordination Flows (PDPTA'02, 27/06/2002) — Mirko Viroli (Alessandro Ricci, Andrea Omicini, Mirko Viroli) A Specification Language for Agents Observable Behaviour (IC-AI'02, 26/06/2002) — Mirko Viroli (Mirko Viroli, Andrea Omicini) 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)