Per tipo

283 pubblicazioni / Mirko Viroli

long bib

in rivista • in atti • capitoli • curatele • speciale • editoriali

articoli in rivista

A Methodology and Simulation-Based Toolchain for Estimating Deployment Performance of Smart Collective Services at the Edge (IEEE Internet of Things Journal, 2022) — Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Andrea Placuzzi, Claudio Savaglio, Mirko Viroli
Optimal resilient distributed data collection in mobile edge environments (Computers & Electrical Engineering, 2021) — Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Danilo Pianini, Mirko Viroli
Partitioned integration and coordination via the self-organising coordination regions pattern (Future Generation Computer Systems, 2021) — Danilo Pianini, Roberto Casadei, Mirko Viroli, Antonio Natali
A Higher-Order Calculus of Computational Fields (2019) — Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal
Modelling and Simulation of Opportunistic IoT Services with Aggregate Computing (Future Generation Computer Systems, 2019) — Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Wilma Russo, Claudio Savaglio, Mirko Viroli
A development approach for collective opportunistic Edge-of-Things services (Information Sciences, 2019) — Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Wilma Russo, Claudio Savaglio, Mirko Viroli
From distributed coordination to field calculus and aggregate computing (Journal of Logical and Algebraic Methods in Programming, 2019) — Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini
Optimal single-path information propagation in gradient-based algorithms (Science of Computer Programming, 2018) — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
Towards attack-resistant Aggregate Computing using trust mechanisms (Science of Computer Programming, 2018) — Roberto Casadei, Alessandro Aldini, Mirko Viroli
Engineering Resilient Collective Adaptive Systems by Self-Stabilisation (ACM Transactions on Modeling and Computer Simulation, 2018) — Mirko Viroli, Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini
Spatial Tuples: Augmenting Reality with Tuples (Expert Systems, 2018) — Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo Pianini
Aggregate plans for multiagent systems (International Journal of Agent-Oriented Software Engineering, 2017) — Mirko Viroli, Danilo Pianini, Alessandro Ricci, Angelo Croatti
Self-Adaptation to Device Distribution in the Internet of Things (ACM Transactions on Autonomous and Adaptive Systems, 2017) — Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani
Towards a Mobile Augmented Reality System for Emergency Management: The Case of SAFE (International Journal of Distributed Systems and Technologies, 2017) — Angelo Croatti, Alessandro Ricci, Mirko Viroli
Spatial awareness in pervasive ecosystems (The Knowledge Engineering Review, 2016) — Simon Dobson, Mirko Viroli, Jose Luis Fernandez-Marquez, Franco Zambonelli, Graeme Stevenson, Giovanna Di Marzo Serugendo, Sara Montagna, Danilo Pianini, Juan Ye, Gabriella Castelli, Alberto Rosi
A type-sound calculus of computational fields (Science of Computer Programming, 2016) — Ferruccio Damiani, Mirko Viroli, Jacob Beal
A framework supporting multi-compartment stochastic simulation and parameter optimisation for investigating biological system development (SIMULATION: Transactions of the Society for Modeling and Simulation International, 2015) — Sara Montagna, Mirko Viroli, Andrea Roli
Type-based Self-stabilisation for Computational Fields (Logical Methods in Computer Science, 2015) — Ferruccio Damiani, Mirko Viroli
Space-Time Programming (2015) — Jacob Beal, Mirko Viroli
Aggregate Programming for the Internet of Things (Computer, 2015) — Jacob Beal, Danilo Pianini, Mirko Viroli
Developing Pervasive Multi-Agent Systems with Nature-Inspired Coordination (Pervasive and Mobile Computing, 2015) — Franco Zambonelli, Andrea Omicini, Bernhard Anzengruber, Gabriella Castelli, Francesco L. DeAngelis, Giovanna Di Marzo Serugendo, Simon Dobson, José Luis Fernandez-Marquez, Alois Ferscha, Marco Mamei, Stefano Mariani, Ambra Molesini, Sara Montagna, Jussi Nieminen, Danilo Pianini, Matteo Risoldi, Alberto Rosi, Graeme Stevenson, Mirko Viroli, Juan Ye
Formal Foundations of Sensor Network Applications (SIGSPATIAL Special, 2015) — Jacob Beal, Mirko Viroli
A coordination model of pervasive service ecosystems (Science of Computer Programming, 2015) — Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson, Franco Zambonelli
Injecting Self-organisation into Pervasive Service Ecosystems (Mobile Networks and Applications, 2013) — Sara Montagna, Mirko Viroli, Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Franco Zambonelli
Operational Semantics of Proto (Science of Computer Programming, 2013) — Mirko Viroli, Jacob Beal, Kyle Usbeck
Chemical-oriented Simulation of Computational Systems with ALCHEMIST (Journal of Simulation, 2013) — Danilo Pianini, Sara Montagna, Mirko Viroli
On competitive self-composition in pervasive services (Science of Computer Programming, 2013) — Mirko Viroli
Semantic Tuple Centres (Science of Computer Programming, 2013) — Elena Nardini, Andrea Omicini, Mirko Viroli
Description and composition of bio-inspired design patterns: a complete overview (Natural Computing, 2013) — Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Sara Montagna, Mirko Viroli, Josep Lluis Arcos
Simulation in Agent-Oriented Software Engineering: The SODA Case Study (Science of Computer Programming, 2013) — Ambra Molesini, Matteo Casadei, Andrea Omicini, Mirko Viroli
Standard Type Soundness for Agents and Artifacts (Scientific Annals of Computer Science, 2012) — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
Coordinating e-Health Systems with TuCSoN Semantic Tuple Centres (Applied Computing Review, 2011) — Elena Nardini, Andrea Omicini, Mirko Viroli, Michael I. Schumacher
Preface (Science of Computer Programming, 2011) — Carlos Canal, Mirko Viroli
Spatial Coordination of Pervasive Services through Chemical-inspired Tuple Spaces (ACM Transactions on Autonomous and Adaptive Systems, 2011) — Mirko Viroli, Matteo Casadei, Sara Montagna, Franco Zambonelli
A Quarter-century of The Knowledge Engineering Review: Introduction to the Special Issue (The Knowledge Engineering Review, 2011) — Peter McBurney, Simon Parsons, Mirko Viroli
Coordination Models and Languages: From Parallel Computing To Self-Organisation (The Knowledge Engineering Review, 2011) — Andrea Omicini, Mirko Viroli
simpA: An Agent-oriented Approach for Programming Concurrent Applications on top of Java (Science of Computer Programming, 2011) — Alessandro Ricci, Mirko Viroli, Giulio Piancastelli
A Survey on Nature-inspired Metaphors for Pervasive Service Ecosystems (International Journal of Pervasive Computing and Communications, 2011) — Franco Zambonelli, Mirko Viroli
A Calculus of Agents and Artifacts (2011) — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
Environment Programming in Multi-Agent Systems – An Artifact-Based Perspective (Autonomous Agents and Multi-Agent Systems, 2011) — Alessandro Ricci, Michele Piunti, Mirko Viroli
A Biochemical Approach to Adaptive Service Ecosystems (Information Sciences, 2010) — Mirko Viroli, Franco Zambonelli
Argumentation and Artifacts for Negotiation Support (International Journal of Artificial Intelligence, 2010) — Enrico Oliva, Peter McBurney, Andrea Omicini, Mirko Viroli
Environment in Agent-Oriented Software Engineering Methodologies (Multiagent and Grid Systems, 2009) — Ambra Molesini, Andrea Omicini, Mirko Viroli
On the Collective Sort Problem for Distributed Tuple Spaces (Science of Computer Programming, 2009) — Matteo Casadei, Mirko Viroli, Luca Gardelli
Artifacts in the A&A Meta-Model for Multi-Agent Systems (Autonomous Agents and Multi-Agent Systems, 2008) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
On the reification of Java wildcards (Science of Computer Programming, 2008) — Maurizio Cimadamore, Mirko Viroli
Designing Self-Organising Environments with Agents and Artefacts: A Simulation-Driven Approach (International Journal of Agent-Oriented Software Engineering, 2008) — Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini
Lightweight Family Polymorphism (Journal of Functional Programming, 2008) — Chieri Saito, Atsushi Igarashi, Mirko Viroli
An Adaptation Logic Framework for Java-based Component Systems (Journal of Universal Computer Science, 2008) — Enrico Oliva, Antonio Natali, Alessandro Ricci, Mirko Viroli
Timed Environment for Web Agents (Web Intelligence and Agent Systems, 2007) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Preface (Science of Computer Programming, 2007) — Carlos Canal, Mirko Viroli
Infrastructure for RBAC-MAS: An Approach Based on Agent Coordination Contexts (Applied Artificial Intelligence, 2007) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
Variant path types for scalable extensibility (ACM SIGPLAN Notices, 2007) — Atsushi Igarashi, Mirko Viroli
Guest Editorial (The Journal of Object Technology, 2007) — Davide Ancona, Mirko Viroli
Infrastructures for the Environment of Multiagent Systems (Autonomous Agents and Multi-Agent Systems, 2007) — Mirko Viroli, Tom Holvoet, Alessandro Ricci, Kurt Schelfthout, Franco Zambonelli
Engineering a BPEL Orchestration Engine as a Multi-agent System (Science of Computer Programming, 2007) — Mirko Viroli, Enrico Denti, Alessandro Ricci
A core calculus for correlation in orchestration languages (The Journal of Logic and Algebraic Programming, 2007) — Mirko Viroli
Coordination as a Service (Fundamenta Informaticae, 2006) — Mirko Viroli, Andrea Omicini
Variant Parametric Types: A Flexible Subtyping Scheme for Generics (ACM Transactions on Programming Languages and Systems, 2006) — Atsushi Igarashi, Mirko Viroli
Agent Coordination Contexts in a MAS Coordination Infrastructure (Applied Artificial Intelligence, 2006) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Operating Instructions for Intelligent Agent Coordination (The Knowledge Engineering Review, 2006) — Mirko Viroli, Alessandro Ricci, Andrea Omicini
Agent Coordination Contexts for the Formal Specification and Enactment of Coordination and Security Policies (Science of Computer Programming, 2006) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
On Access Restriction with Java Wildcards (The Journal of Object Technology, 2005) — Mirko Viroli, Giovanni Rimassa
An Algebraic Approach for Modelling Organisation, Roles and Contexts in MAS (Applicable Algebra in Engineering, Communication and Computing, 2005) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Environments in Multiagent Systems (The Knowledge Engineering Review, 2005) — Danny Weyns, Michael I. Schumacher, Alessandro Ricci, Mirko Viroli, Tom Holvoet
Coordination Artifacts: A Unifying Abstraction for Engineering Environment-Mediated Coordination in MAS (Informatica, 2005) — Alessandro Ricci, Mirko Viroli
Multi-agent Infrastructures for Objective and Subjective Coordination (Applied Artificial Intelligence, 2004) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Marco Cioffi, Giovanni Rimassa
Guest Editorial (The Journal of Object Technology, 2004) — Davide Ancona, Mirko Viroli
A Type-Passing Approach for the Implementation of Parametric Methods in Java (The Computer Journal, 2003) — Mirko Viroli
An Observation Approach to Semantics of Agents Communication Languages (Applied Artificial Intelligence, 2002) — Mirko Viroli, Andrea Omicini
Modelling Agents as Observable Sources (Journal of Universal Computer Science, 2002) — Mirko Viroli, Andrea Omicini
Multi-Agent Systems as Composition of Observable Systems (AI*IA Notizie, 2001) — Mirko Viroli, Andrea Omicini
Parametric Polymorphism in Java: An Approach to Translation based on Reflective Feature (ACM SIGPLAN Notices, 2000) — Mirko Viroli, Antonio Natali

73 articoli in rivista • in cima • indice • in fondo

articoli in atti

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

190 articoli in atti • in cima • indice • in fondo

capitoli di libro

Fluidware: An Approach Towards Adaptive and Scalable Programming of the IoT (2019) — Giancarlo Fortino, Barbara Re, Mirko Viroli, Franco Zambonelli
Programming Actor-Based Collective Adaptive Systems (2018) — Roberto Casadei, Mirko Viroli
Argumentation and Artifacts for Negotiation Support (2014) — Enrico Oliva, Peter McBurney, Andrea Omicini, Mirko Viroli
Organizing the Aggregate: Languages for Spatial Computing (2013) — Jacob Beal, Stefan Dulman, Kyle Usbeck, Mirko Viroli, Nikolaus Correll
From SOA to Pervasive Service Ecosystems: an approach based on Semantic Web technologies (2012) — Mirko Viroli, Franco Zambonelli, Graeme Stevenson, Simon Dobson
A Computational Framework for Multilevel Morphologies (2012) — Sara Montagna, Mirko Viroli
Middleware Infrastructures for Self-organising Pervasive Computing Systems (2011) — Matteo Casadei, Marco Mamei, Cynthia Villalba, Mirko Viroli, Franco Zambonelli
Combining Simulation and Formal Tools for Developing Self-Organizing MAS (2009) — Luca Gardelli, Mirko Viroli, Andrea Omicini
Environment Programming in CArtAgO (2009) — Alessandro Ricci, Michele Piunti, Mirko Viroli, Andrea Omicini
Agents, Intelligence, and Tools (2009) — Andrea Omicini, Michele Piunti, Alessandro Ricci, Mirko Viroli
The Multidisciplinary Patterns of Interaction from Sciences to Computer Science (Interactive Computation: The New Paradigm, 2006) — Andrea Omicini, Alessandro Ricci, Mirko Viroli

11 capitoli di libro • in cima • indice • in fondo

curatele

6th International Spatial Computing Workshop (SCW 2013) (SCW 2013 @ AAMAS 2013) — Jean-Louis Giavitto, Stefan Dulman, Antoine Spicher, Mirko Viroli
WOA 2010 – Dagli oggetti agli agenti. Modelli e tecnologie per sistemi complessi: context-dependent, knowledge-intensive, nature-inspired e self-* (WOA 2010) — Andrea Omicini, Mirko Viroli
WOA 2001 — Dagli oggetti agli agenti: tendenze evolutive dei sistemi software (WOA 2001) — Andrea Omicini, Mirko Viroli

3 curatele • in cima • indice • in fondo

numeri speciali

Special Issue “Process Algebras and Multi-Agent Systems” (Applicable Algebra in Engineering, Communication and Computing, 2005) — Mirko Viroli, Andrea Omicini

1 numero speciale • in cima • indice • in fondo

editoriali/introduzioni/prefazioni

Best ACM SAC Articles on Coordination and Self-Adaptation (ACM Transactions on Autonomous and Adaptive Systems, 2014) — Jose Luis Fernandez-Marquez, Mirko Viroli, Gabriella Castelli
Preface (2008) — Canal Carlos, Pascal Poizat, Mirko Viroli
Preface (2007) — Canal Carlos, Mirko Viroli
Preface (2006) — Canal Carlos, Mirko Viroli
Process-Algebraic Approaches for Multi-Agent Systems: An Overview (Applicable Algebra in Engineering, Communication and Computing, 2005) — Mirko Viroli, Andrea Omicini

5 editoriali/introduzioni/prefazioni • in cima • indice • in fondo