Per Sort

186 papers in proceedings / Mirko Viroli

long bib

papers in proceedings

Time-Fluid Field-Based Coordination (2020) — Danilo Pianini, Stefano Mariani, Mirko Viroli, Franco Zambonelli
Collective Adaptive Systems as Coordination Media: The Case of Tuples in Space-Time (2020) — Roberto Casadei, Mirko Viroli, Alessandro Ricci
Coordinating Computation at the Edge: a Decentralized, Self-Organizing, Spatial Approach (2019) — Roberto Casadei, Mirko Viroli
Aggregate Processes in Field Calculus (2019) — Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani
Self-organising Coordination Regions: a Pattern for Edge Computing (2019) — Roberto Casadei, Danilo Pianini, Mirko Viroli, Antonio Natali
The share Operator for Field-Based Coordination (2019) — Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli
On Context-Orientation in Aggregate Programming (2019) — Roberto Casadei, Danilo Pianini, Guido Salvaneschi, Mirko Viroli
On a Higher-Order Calculus of Computational Fields (2019) — Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal
Engineering Resilient Collaborative Edge-Enabled IoT (2019) — Roberto Casadei, Christos Tsigkanos, Mirko Viroli, Schahram Dustdar
Effective Collective Summarisation of Distributed Data in Mobile Multi-Agent Systems (2019) — Giorgio Audrito, Sergio Bergamini, Ferruccio Damiani, Mirko Viroli
Security in Collective Adaptive Systems: A Roadmap (2019) — Danilo Pianini, Roberto Casadei, Mirko Viroli
Towards Adaptive Flow Programming for the IoT: The Fluidware Approach (2019) — Franco Zambonelli, Mirko Viroli, Giancarlo Fortino, Barbara Re
Big Data from the Cloud to the Edge: The Aggregate Computing Solution (2019) — Shaukat Ali, Ferruccio Damiani, Schahram Dustdar, Marialuisa Sanseverino, Mirko Viroli, Danny Weyns
Case studies for a new IoT programming paradigm: Fluidware (2019) — Stefano Mariani, Roberto Casadei, Fabrizio Fornari, Giancarlo Fortino, Danilo Pianini, Barbara Re, Wilma Russo, Claudio Savaglio, Mirko Viroli, Franco Zambonelli
Combining Trust and Aggregate Computing (2018) — Roberto Casadei, Alessandro Aldini, Mirko Viroli
Collective Abstractions and Platforms for Large-Scale Self-Adaptive IoT (2018) — Roberto Casadei, Mirko Viroli
Aggregate Graph Statistics (2018) — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
Distributed Real-Time Shortest-Paths Computations with the Field Calculus (2018) — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Enrico Bini
From Field-Based Coordination to Aggregate Computing (2018) — Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini
Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain (2018) — Danilo Pianini, Giovanni Ciatto, Roberto Casadei, Stefano Mariani, Mirko Viroli, Andrea Omicini
Opportunistic cyberphysical services: A novel paradigm for the future Internet of Things (2018) — Giancarlo Fortino, Wilma Russo, Claudio Savaglio, Mirko Viroli, MengChu Zhou
Space-Time Universality of Field Calculus (2018) — Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Mirko Viroli
Compositional Blocks for Optimal Self-Healing Gradients (2017) — Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Mirko Viroli
Spatial Tuples: Augmenting Physical Reality with Tuple Spaces (2017) — Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo Pianini
Self-Stabilising Target Counting in Wireless Sensor Networks Using Euler Integration (2017) — Danilo Pianini, Simon Dobson, Mirko Viroli
Towards a Foundational API for Resilient Distributed Systems Design (2017) — Matteo Francia, Danilo Pianini, Jacob Beal, Mirko Viroli
Modeling Opportunistic IoT Services in Open IoT Ecosystems (2017) — Giancarlo Fortino, Wilma Russo, Claudio Savaglio, Mirko Viroli, MengChu Zhou
Practical Aggregate Programming with Protelis (2017) — Danilo Pianini, Jacob Beal, Mirko Viroli
Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed (2017) — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE (2016) — Mirko Viroli, Antonio Bucchiarone, Danilo Pianini, Jacob Beal
Self-adaptation to Device Distribution Changes in Situated Computing Systems (2016) — Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani
On Execution Platforms for Large-scale Aggregate Computing (2016) — Mirko Viroli, Roberto Casadei, Danilo Pianini
Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE (2016) — Mirko Viroli, Antonio Bucchiarone, Danilo Pianini, Jacob Beal
Resiliency with Aggregate Computing: State of the Art and Roadmap (2016) — Mirko Viroli, Jacob Beal
Improving Gossip Dynamics Through Overlapping Replicates (2016) — Danilo Pianini, Jacob Beal, Mirko Viroli
Run-Time Management of Computation Domains in Field Calculus (2016) — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Roberto Casadei
Aggregate Programming: From Foundations to Applications (2016) — Jacob Beal, Mirko Viroli
Simulating Large-scale Aggregate MASs with Alchemist and Scala (2016) — Mirko Viroli, Roberto Casadei, Danilo Pianini
Towards Aggregate Programming in Scala (2016) — Roberto Casadei, Mirko Viroli
Improving Gossip Dynamics Through Overlapping Replicates (2016) — Danilo Pianini, Jacob Beal, Mirko Viroli
Smart Augmented Fields for Emergency Operations (2015) — Pietro Brunetti, Angelo Croatti, Alessandro Ricci, Mirko Viroli
Multi-agent Systems Meet Aggregate Programming: Towards a Notion of Aggregate Plan (2015) — Mirko Viroli, Danilo Pianini, Alessandro Ricci, Pietro Brunetti, Angelo Croatti
Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields (2015) — Mirko Viroli, Jacob Beal, Ferruccio Damiani, Danilo Pianini
Computational Fields Meet Augmented Reality: Perspectives and Challenges (2015) — Danilo Pianini, Angelo Croatti, Alessandro Ricci, Mirko Viroli
Protelis: Practical Aggregate Programming (2015) — Danilo Pianini, Mirko Viroli, Jacob Beal
Programming Mirror-Worlds: An Agent-Oriented Programming Perspective (2015) — Alessandro Ricci, Angelo Croatti, Pietro Brunetti, Mirko Viroli
Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields (2015) — Ferruccio Damiani, Mirko Viroli, Danilo Pianini, Jacob Beal
Towards agent aggregates: perspectives and challenges (2015) — Mirko Viroli, Alessandro Ricci
HPC from a self-organisation perspective: The case of crowd steering at the urban scale (2014) — Danilo Pianini, Mirko Viroli, Franco Zambonelli, Alois Ferscha
A Calculus of Self-stabilising Computational Fields (2014) — Mirko Viroli, Ferruccio Damiani
Building Blocks for Aggregate Programming of Self-Organising Applications (2014) — Jacob Beal, Mirko Viroli
Towards a Unified Model of Spatial Computing (2014) — Mirko Viroli
Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems (2013) — Matteo Casadei, Mirko Viroli
Engineering Pervasive Multiagent Systems in SAPERE (2013) — Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli
Self-Organising Semantic Resource Discovery for Pervasive Systems (2013) — Graeme Stevenson, Juan Ye, Simon Dobson, Mirko Viroli, Sara Montagna
Engineering Pervasive Multiagent Systems in SAPERE (2013) — Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli
Engineering Confluent Computational Fields: from Functions to Rewrite Rules (2013) — Mirko Viroli
A calculus of computation fields (2013) — Mirko Viroli, Ferruccio Damiani, Jacob Beal
Combining self-organisation, context-awareness and semantic reasoning: the case of resource discovery in opportunistic networks (2013) — Graeme Stevenson, Juan Ye, Simon Dobson, Danilo Pianini, Sara Montagna, Mirko Viroli
Self-Organising Semantic Resource Discovery for Pervasive Systems (2013) — Graeme Stevenson, Jose Luis Fernandez-Marquez, Sara Montagna, Alberto Rosi, Juan Ye, Akla Tchao, Simon Dobson, Giovanna Di Marzo Serugendo, Mirko Viroli
Composing Gradients for a Context-Aware Navigation of Users in a Smart-City (2013) — Sara Montagna, Mirko Viroli
Pervasive Ecosystems: a Coordination Model based on Semantic Chemistry (2012) — Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson
Dynamic Composition of Coordination Abstractions for Pervasive Systems: The Case of LogOp (2012) — Ronaldo Menezes, Andrea Omicini, Mirko Viroli
Linda in space-time: an adaptive coordination model for mobile ad-hoc environments (2012) — Mirko Viroli, Danilo Pianini, Jacob Beal
Self-organising Semantic Resource Discovery for Pervasive Systems (2012) — Graeme Stevenson, Mirko Viroli, Juan Ye, Sara Montagna, Simon Dobson
On the Space-time Situation of Pervasive Service Ecosystems (2012) — Mirko Viroli, Graeme Stevenson
A Model for Drosophila Melanogaster Development from a Single Cell to Stripe Pattern Formation (2012) — Sara Montagna, Danilo Pianini, Mirko Viroli
Gradient-based Self-organisation Patterns of Anticipative Adaptation (2012) — Sara Montagna, Danilo Pianini, Mirko Viroli
Towards a comprehensive approach to spontaneous self-composition in pervasive ecosystems (2012) — Sara Montagna, Mirko Viroli, Danilo Pianini, Jose Luis Fernandez-Marquez
Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems (2012) — Matteo Casadei, Mirko Viroli
A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems (2012) — Matteo Casadei, Mirko Viroli
On the Space-time Situation of Pervasive Service Ecosystems (2012) — Mirko Viroli, Graeme Stevenson
Self-aware Pervasive Service Ecosystems (2011) — Franco Zambonelli, Gabriella Castelli, Laura Ferrari, Marco Mamei, Alberto Rosi, Giovanna Di Marzo Serugendo, Matteo Risoldi, Akla-Esso Tchao, Simon Dobson, Graeme Stevenson, Yuan Ye, Elena Nardini, Andrea Omicini, Sara Montagna, Mirko Viroli, Alois Ferscha, Sascha Maschek, Bernhard Wally
Towards a Coordination Approach to Adaptive Pervasive Service Ecosystems (2011) — Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli
Programming Coordination Laws of Artifacts in CArtAgO (2011) — Marco Sbaraglia, Mirko Viroli, Matteo Casadei
A Chemical Inspired Simulation Framework for Pervasive Services Ecosystems (2011) — Danilo Pianini, Sara Montagna, Mirko Viroli
A Coordination Approach to Adaptive Pervasive Service Ecosystems (2011) — Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli
Description and Composition of Bio-Inspired Design Patterns: the Gradient Case (2011) — Jose Luis Fernandez-Marquez, Josep Lluis Arcos, Giovanna Di Marzo Serugendo, Mirko Viroli, Sara Montagna
Description Spaces with Fuzziness (2011) — Elena Nardini, Andrea Omicini, Mirko Viroli
Self-organising Pervasive Ecosystems: A Crowd Evacuation Example (2011) — Sara Montagna, Mirko Viroli, Matteo Risoldi, Danilo Pianini, Giovanna Di Marzo Serugendo
A Simulation Framework for Pervasive Services Ecosystems (2011) — Danilo Pianini, Mirko Viroli, Sara Montagna
Core Operational Semantics of Proto (2011) — Mirko Viroli, Jacob Beal, Matteo Casadei
Coordinating Spatially-Situated Pervasive Service Ecosystems (2011) — Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli
A Framework for Modelling and Simulating Networks of Cells (2010) — Sara Montagna, Mirko Viroli
Formalising the Environment in MAS Programming: A Formal Model for Artifact-Based Environments (2010) — Alessandro Ricci, Mirko Viroli, Michele Piunti
Coordination in Open and Dynamic Environments with TuCSoN Semantic Tuple Centres (2010) — Elena Nardini, Mirko Viroli, Emanuele Panzavolta
Towards a Pervasive Infrastructure for Chemical-Inspired Self-organising Services (2010) — Mirko Viroli, Matteo Casadei, Elena Nardini, Andrea Omicini
Chemical-Inspired Self-Composition of Competing Services (2010) — Mirko Viroli, Matteo Casadei
Self Organization in Coordination Systems using a WordNet-based Ontology (2010) — Danilo Pianini, Sascia Virruso, Ronaldo Menezes, Andrea Omicini, Mirko Viroli
A Self-Organising Infrastructure for Chemical-Semantic Coordination: Experiments in TuCSoN (2010) — Elena Nardini, Mirko Viroli, Matteo Casadei, Andrea Omicini
General-Purpose Coordination Abstractions for Managing Interaction in MAS (2009) — Elena Nardini, Andrea Omicini, Mirko Viroli
A computational framework for modelling multicellular biochemistry (2009) — Sara Montagna, Mirko Viroli
Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems (2009) — Matteo Casadei, Mirko Viroli
Formalising the Environment in MAS Programming: a Formal Model (2009) — Alessandro Ricci, Mirko Viroli, Michele Piunti
Externalisation and Internalization: A New Perspective on Agent Modularisation in Multi-Agent Systems Programming (2009) — Alessandro Ricci, Michele Piunti, Mirko Viroli
An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing Systems (2009) — Matteo Casadei, Mirko Viroli
A Framework for Modelling and Implementing Self-Organising Coordination (2009) — Mirko Viroli, Matteo Casadei, Andrea Omicini
A Biochemical Metaphor for Developing Eternally Adaptive Service Ecosystems (2009) — Mirko Viroli, Franco Zambonelli, Matteo Casadei, Sara Montagna
Biochemical Tuple Spaces for Self-Organising Coordination (2009) — Mirko Viroli, Matteo Casadei
Argumentation and Artifact for Dialogue Support (2009) — Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney
FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts (2009) — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
Integrating Java and Prolog through Generic Methods and Type Inference (2008) — Maurizio Cimadamore, Mirko Viroli
Prototyping A&A ReSpecT in Maude (2008) — Matteo Casadei, Andrea Omicini, Mirko Viroli
Arguments and Artifacts for Dispute Resolution (2008) — Enrico Oliva, Mirko Viroli, Andrea Omicini
Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks (2008) — Matteo Casadei, Mirko Viroli
Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus (2008) — Alessandro Ricci, Mirko Viroli, Maurizio Cimadamore
Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems (2008) — Cynthia Villalba, Alberto Rosi, Mirko Viroli, Franco Zambonelli
simpA: A Simple Agent-Oriented Java Extension for Developing Concurrent Applications (2008) — Alessandro Ricci, Mirko Viroli, Giulio Piancastelli
Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems (2008) — Cynthia Villalba, Alberto Rosi, Mirko Viroli, Franco Zambonelli
Experimenting with Stochastic Prolog as a Simulation Language (2008) — Enrico Oliva, Luca Gardelli, Mirko Viroli, Andrea Omicini
Argumentation and Artifact for Dialogue Support (2008) — Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney
Collective Sort and Emergent Patterns of Tuple Distribution in Grid-Like Networks (2008) — Matteo Casadei, Mirko Viroli, Marco Santarelli
The A&A Programming Model and Technology for Developing Agent Environments in MAS (2008) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Architecture and Metaphors for Eternally Adaptive Service Ecosystems (2008) — Franco Zambonelli, Mirko Viroli
CArtAgO: A Framework for Prototyping Artifact-Based Environments in MAS (2007) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Self-Organized Over-Clustering Avoidance in Tuple-Space Systems (2007) — Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
Design Patterns for Self-Organizing Multiagent Systems (2007) — Luca Gardelli, Mirko Viroli, Andrea Omicini
Designing Self-organising MAS Environments: The Collective Sort Case (2007) — Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini
Design Patterns for Self-Organising Systems (2007) — Luca Gardelli, Mirko Viroli, Andrea Omicini
A General Purpose Programming Model & Technology for Developing Working Environments in MAS (2007) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Cognitive Stigmergy: Towards a Framework Based on Agents and Artifacts (2007) — Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
Prototyping A&A ReSpecT in Maude (2007) — Matteo Casadei, Andrea Omicini, Mirko Viroli
On the Problem of Over-clustering in Tuple-based Coordination Systems (2007) — Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli
A Self-organizing Approach to Tuple Distribution in Large-Scale Tuple-Space Systems (2007) — Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications (2007) — Mirko Viroli, Andrea Omicini
“Give Agents their Artifacts”: The A&A Approach for Engineering Working Environments in MAS (2007) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
A Prolog-oriented extension of Java programming based on generics and annotations (2007) — Maurizio Cimadamore, Mirko Viroli
simpA: An Agent-Oriented Approach for Prototyping Concurrent Applications on Top of Java (2007) — Alessandro Ricci, Mirko Viroli
A Self-Organising Solution to the Collective Sort Problem in Distributed Tuple Spaces (2007) — Mirko Viroli, Matteo Casadei, Luca Gardelli
Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case (2007) — Matteo Casadei, Luca Gardelli, Mirko Viroli
Using Ant's Brood Sorting to Increase Fault Tolerance in Linda's Tuple Distribution Mechanism (2007) — Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
Exploring the Dynamics of Self-Organising Systems with Stochastic π-Calculus: Detecting Abnormal Behaviour in MAS (2006) — Luca Gardelli, Mirko Viroli, Andrea Omicini
A Case of Self-Organising Environment for MAS: the Collective Sort Problem (2006) — Matteo Casadei, Luca Gardelli, Mirko Viroli
CArtAgO: An Infrastructure for Engineering Computational Environments in MAS (2006) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case (2006) — Matteo Casadei, Luca Gardelli, Mirko Viroli
Simulating Minority Game with TuCSoN (2006) — Enrico Oliva, Mirko Viroli, Andrea Omicini
Minority Game: A Logic-Based Approach in TuCSoN (2006) — Enrico Oliva, Mirko Viroli, Andrea Omicini
Collective Sorting Tuple Spaces (2006) — Matteo Casadei, Luca Gardelli, Mirko Viroli
On the Role of Simulations in Engineering Self-Organising MAS: The Case of an Intrusion Detection System in TuCSoN (2006) — Luca Gardelli, Mirko Viroli, Andrea Omicini
simpA-WS: An Agent-Oriented Computing Technology for WS-based SOA Applications (2006) — Alessandro Ricci, Claudio Buda, Nicola Zaghini, Antonio Natali, Mirko Viroli, Andrea Omicini
Cognitive Stigmergy: A Framework Based on Agents and Artifacts (2006) — Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
Agens Faber: Toward a Theory of Artefacts for MAS (2006) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation (2006) — Luca Gardelli, Mirko Viroli, Matteo Casadei
A Framework for Engineering Interactions in Java-based Component Systems (2006) — Antonio Natali, Enrico Oliva, Alessandro Ricci, Mirko Viroli
Programming MAS with Artifacts (2006) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Construenda est CArtAgO: Toward an Infrastructure for Artifacts in MAS (2006) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Simulation of Minority Game in TuCSoN (2006) — Enrico Oliva, Mirko Viroli, Andrea Omicini
Designing a BPEL Orchestration Engine based on ReSpecT Tuple Centres (2006) — Michele Cabano, Enrico Denti, Alessandro Ricci, Mirko Viroli
On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation (2006) — Luca Gardelli, Mirko Viroli, Matteo Casadei
Coordination Artifacts as First-class Abstractions for MAS Engineering: State of the Research (2006) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Programming MAS with Artifacts (2005) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Agent Interaction Semantics by Timed Operating Instructions (2005) — Mirko Viroli, Alessandro Ricci
RBAC for Organisation and Security in an Agent Coordination Infrastructure (2005) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Time-Aware Coordination in ReSpecT (2005) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
“Exhibitionists” and “Voyeurs” do it better: A Shared Environment Approach for Flexible Coordination with Tacit Messages (2005) — Luca Tummolini, Cristiano Castelfranchi, Alessandro Ricci, Mirko Viroli, Andrea Omicini
An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts (2005) — Mirko Viroli, Alessandro Ricci, Andrea Omicini
On the Role of Simulations in Engineering Self-Organizing MAS: the Case of an Intrusion Detection System in TuCSoN (2005) — Luca Gardelli, Mirko Viroli, Andrea Omicini
Engineering MAS Environment with Artifacts (2005) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts (2005) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
Cognitive Stigmergy: A Framework Based on Agents and Artifacts (2005) — Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
Environment-Based Coordination Through Coordination Artifacts (2005) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
On the Role of Simulation in the Engineering of Self-Organising Systems: Detecting Abnormal Behaviour in MAS (2005) — Luca Gardelli, Mirko Viroli, Andrea Omicini
ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications (2004) — Mirko Viroli, Andrea Omicini
A Semantics for the Interaction of Agents with Coordination Artifacts (2004) — Mirko Viroli, Alessandro Ricci, Andrea Omicini
Integrating Objective & Subjective Coordination in Multi-Agent Systems (2004) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Giovanni Rimassa
A Conceptual Framework for Self-Organising MAS (2004) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini
On the Semantics of Coordination Models for Distributed Systems: The LogOp Case Study (2004) — Ronaldo Menezes, Andrea Omicini, Mirko Viroli
An RBAC Approach for Securing Access Control in a MAS Coordination Infrastructure (2004) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
What I See is What You Say: Coordination in a Shared Environment with Behavioral Implicit Communication (2004) — Luca Tummolini, Cristiano Castelfranchi, Alessandro Ricci, Mirko Viroli, Andrea Omicini
Coordination Artifacts: Environment-based Coordination for Intelligent Agents (2004) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini
Agent Coordination Context: From Theory to Practice (2004) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Role-Based Access Control in MAS using Agent Coordination Contexts (2004) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Coordination as a Service: Ontological and Formal Foundation (2003) — Mirko Viroli, Andrea Omicini
Formal Specification and Enactment of Security Policies through Agent Coordination Contexts (2003) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Integrating Objective & Subjective Coordination in FIPA: A Roadmap to TuCSoN (2003) — Andrea Omicini, Alessandro Ricci, Giovanni Rimassa, Mirko Viroli
Tuple-based Models in the Observation Framework (2002) — Mirko Viroli, Andrea Omicini
Tuple-based Coordination Models in Event-based Scenarios (2002) — Mirko Viroli, Alessandro Ricci
Extending ReSpecT for Multiple Coordination Flows (2002) — Alessandro Ricci, Andrea Omicini, Mirko Viroli
A Specification Language for Agents Observable Behaviour (2002) — Mirko Viroli, Andrea Omicini
On the Expressiveness of Event-Based Coordination Media (2002) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
On the Grey-Box Modelling Approach for Autonomous Agents (2002) — Mirko Viroli, Andrea Omicini
Specifying Agent Observable Behaviour (2002) — Mirko Viroli, Andrea Omicini
Have ReSpecT for LogOp (2002) — Ronaldo Menezes, Andrea Omicini, Mirko Viroli
Towards an Alternative Semantics for FIPA ACL (2002) — Mirko Viroli, Andrea Omicini
On Observation as a Coordination Pattern: An Ontology and a Formal Framework (2001) — Mirko Viroli, Gianluca Moro, Andrea Omicini
Multi-Agent Systems as Composition of Observable Systems (2001) — Mirko Viroli, Andrea Omicini

186 papers in proceedings • top • index • bottom