Per tipo

278 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
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 development approach for collective opportunistic Edge-of-Things services (2019) — Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Wilma Russo, Claudio Savaglio, Mirko Viroli
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 Higher-Order Calculus of Computational Fields (2019) — Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal
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
Engineering Resilient Collective Adaptive Systems by Self-Stabilisation (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
Towards attack-resistant Aggregate Computing using trust mechanisms (Science of Computer Programming, 2018) — Roberto Casadei, Alessandro Aldini, Mirko Viroli
Optimal single-path information propagation in gradient-based algorithms (Science of Computer Programming, 2018) — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
Aggregate plans for multiagent systems (International Journal of Agent-Oriented Software Engineering, 2017) — Mirko Viroli, Danilo Pianini, Alessandro Ricci, Angelo Croatti
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
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
A type-sound calculus of computational fields (Science of Computer Programming, 2016) — Ferruccio Damiani, Mirko Viroli, Jacob Beal
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
Space-Time Programming (2015) — Jacob Beal, Mirko Viroli
Aggregate Programming for the Internet of Things (2015) — Jacob Beal, Danilo Pianini, Mirko Viroli
A coordination model of pervasive service ecosystems (Science of Computer Programming, 2015) — Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson, Franco Zambonelli
Formal Foundations of Sensor Network Applications (2015) — Jacob Beal, Mirko Viroli
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 (2015) — Ferruccio Damiani, 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
Operational Semantics of Proto (Science of Computer Programming, 2013) — Mirko Viroli, Jacob Beal, Kyle Usbeck
Simulation in Agent-Oriented Software Engineering: The SODA Case Study (Science of Computer Programming, 2013) — Ambra Molesini, Matteo Casadei, Andrea Omicini, Mirko Viroli
Semantic Tuple Centres (Science of Computer Programming, 2013) — Elena Nardini, Andrea Omicini, Mirko Viroli
On competitive self-composition in pervasive services (Science of Computer Programming, 2013) — Mirko Viroli
Description and composition of bio-inspired design patterns: a complete overview (2013) — Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Sara Montagna, Mirko Viroli, Josep Lluis Arcos
Chemical-oriented Simulation of Computational Systems with ALCHEMIST (Journal of Simulation, 2013) — Danilo Pianini, Sara Montagna, Mirko Viroli
Injecting Self-organisation into Pervasive Service Ecosystems (2013) — Sara Montagna, Mirko Viroli, Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Franco Zambonelli
Standard Type Soundness for Agents and Artifacts (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
Environment Programming in Multi-Agent Systems – An Artifact-Based Perspective (Autonomous Agents and Multi-Agent Systems, 2011) — Alessandro Ricci, Michele Piunti, Mirko Viroli
Coordination Models and Languages: From Parallel Computing To Self-Organisation (The Knowledge Engineering Review, 2011) — Andrea Omicini, Mirko Viroli
A Survey on Nature-inspired Metaphors for Pervasive Service Ecosystems (2011) — Franco Zambonelli, 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 Quarter-century of The Knowledge Engineering Review: Introduction to the Special Issue (The Knowledge Engineering Review, 2011) — Peter McBurney, Simon Parsons, Mirko Viroli
A Calculus of Agents and Artifacts (2011) — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, 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 Biochemical Approach to Adaptive Service Ecosystems (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
On the Collective Sort Problem for Distributed Tuple Spaces (Science of Computer Programming, 2009) — Matteo Casadei, Mirko Viroli, Luca Gardelli
Environment in Agent-Oriented Software Engineering Methodologies (Multiagent and Grid Systems, 2009) — Ambra Molesini, Andrea Omicini, 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
Artifacts in the A&A Meta-Model for Multi-Agent Systems (Autonomous Agents and Multi-Agent Systems, 2008) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Lightweight Family Polymorphism (2008) — Chieri Saito, Atsushi Igarashi, Mirko Viroli
On the reification of Java wildcards (Science of Computer Programming, 2008) — Maurizio Cimadamore, 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
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 (2007) — Mirko Viroli
Infrastructure for RBAC-MAS: An Approach Based on Agent Coordination Contexts (Applied Artificial Intelligence, 2007) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
Preface (Science of Computer Programming, 2007) — Carlos Canal, Mirko Viroli
Variant path types for scalable extensibility (2007) — Atsushi Igarashi, Mirko Viroli
Guest Editorial (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
Timed Environment for Web Agents (Web Intelligence and Agent Systems, 2007) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Agent Coordination Contexts in a MAS Coordination Infrastructure (Applied Artificial Intelligence, 2006) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
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 for the Formal Specification and Enactment of Coordination and Security Policies (Science of Computer Programming, 2006) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Operating Instructions for Intelligent Agent Coordination (The Knowledge Engineering Review, 2006) — Mirko Viroli, Alessandro Ricci, Andrea Omicini
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
On Access Restriction with Java Wildcards (2005) — Mirko Viroli, Giovanni Rimassa
Coordination Artifacts: A Unifying Abstraction for Engineering Environment-Mediated Coordination in MAS (Informatica, 2005) — Alessandro Ricci, Mirko Viroli
Environments in Multiagent Systems (The Knowledge Engineering Review, 2005) — Danny Weyns, Michael I. Schumacher, Alessandro Ricci, Mirko Viroli, Tom Holvoet
Guest Editorial (2004) — Davide Ancona, Mirko Viroli
Multi-agent Infrastructures for Objective and Subjective Coordination (Applied Artificial Intelligence, 2004) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Marco Cioffi, Giovanni Rimassa
A Type-Passing Approach for the Implementation of Parametric Methods in {Java} (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 (2000) — Mirko Viroli, Antonio Natali

72 articoli in rivista • in cima • indice • in fondo

articoli in atti

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
Towards Adaptive Flow Programming for the IoT: The Fluidware Approach () — Franco Zambonelli, Mirko Viroli, Giancarlo Fortino, Barbara Re
Big Data from the Cloud to the Edge: The Aggregate Computing Solution () — Shaukat Ali, Ferruccio Damiani, Schahram Dustdar, Marialuisa Sanseverino, Mirko Viroli, Danny Weyns
Aggregate Processes in Field Calculus () — Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani
Case studies for a new IoT programming paradigm: Fluidware (AI&IoT 2019@AIIA 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 () — Roberto Casadei, Danilo Pianini, Mirko Viroli, Antonio Natali
The share Operator for Field-Based Coordination () — Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli
On Context-Orientation in Aggregate Programming () — Roberto Casadei, Danilo Pianini, Guido Salvaneschi, Mirko Viroli
On a Higher-Order Calculus of Computational Fields () — Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal
Engineering Resilient Collaborative Edge-Enabled IoT () — Roberto Casadei, Christos Tsigkanos, Mirko Viroli, Schahram Dustdar
Effective Collective Summarisation of Distributed Data in Mobile Multi-Agent Systems () — Giorgio Audrito, Sergio Bergamini, Ferruccio Damiani, Mirko Viroli
Coordinating Computation at the Edge: a Decentralized, Self-Organizing, Spatial Approach () — Roberto Casadei, Mirko Viroli
Security in Collective Adaptive Systems: A Roadmap () — Danilo Pianini, Roberto Casadei, Mirko Viroli
Combining Trust and Aggregate Computing () — Roberto Casadei, Alessandro Aldini, Mirko Viroli
Aggregate Graph Statistics (ALP4IoT2017) — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
From Field-Based Coordination to Aggregate Computing (COORDINATION 2018) — Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini
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 () — Giancarlo Fortino, Wilma Russo, Claudio Savaglio, Mirko Viroli, MengChu Zhou
Collective Abstractions and Platforms for Large-Scale Self-Adaptive IoT () — Roberto Casadei, Mirko Viroli
Distributed Real-Time Shortest-Paths Computations with the Field Calculus () — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Enrico Bini
Space-Time Universality of Field Calculus (ALP4IoT2017) — Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Mirko Viroli
Compositional Blocks for Optimal Self-Healing Gradients () — Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Mirko Viroli
Self-Stabilising Target Counting in Wireless Sensor Networks Using Euler Integration () — Danilo Pianini, Simon Dobson, Mirko Viroli
Spatial Tuples: Augmenting Physical Reality with Tuple Spaces (IDC 2016) — Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo Pianini
Practical Aggregate Programming with Protelis () — Danilo Pianini, Jacob Beal, 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 (WOA 2017) — Giancarlo Fortino, Wilma Russo, Claudio Savaglio, Mirko Viroli, MengChu Zhou
Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed () — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
Self-adaptation to Device Distribution Changes in Situated Computing Systems () — Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani
Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE (ECAS 2016) — Mirko Viroli, Antonio Bucchiarone, Danilo Pianini, Jacob Beal
On Execution Platforms for Large-scale Aggregate Computing () — Mirko Viroli, Roberto Casadei, Danilo Pianini
Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE () — Mirko Viroli, Antonio Bucchiarone, Danilo Pianini, Jacob Beal
Resiliency with Aggregate Computing: State of the Art and Roadmap () — Mirko Viroli, Jacob Beal
Run-Time Management of Computation Domains in Field Calculus () — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Roberto Casadei
Improving Gossip Dynamics Through Overlapping Replicates (COORDINATION 2016) — Danilo Pianini, Jacob Beal, Mirko Viroli
Simulating Large-scale Aggregate MASs with Alchemist and Scala () — Mirko Viroli, Roberto Casadei, Danilo Pianini
Aggregate Programming: From Foundations to Applications () — Jacob Beal, Mirko Viroli
Towards Aggregate Programming in Scala () — Roberto Casadei, Mirko Viroli
Improving Gossip Dynamics Through Overlapping Replicates () — Danilo Pianini, Jacob Beal, Mirko Viroli
Towards agent aggregates: perspectives and challenges (EMAS 2015@AAMAS 2015) — Mirko Viroli, Alessandro Ricci
Multi-agent Systems Meet Aggregate Programming: Towards a Notion of Aggregate Plan (PRIMA 2015) — Mirko Viroli, Danilo Pianini, Alessandro Ricci, Pietro Brunetti, Angelo Croatti
Smart Augmented Fields for Emergency Operations (2015) — Pietro Brunetti, Angelo Croatti, Alessandro Ricci, Mirko Viroli
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 () — Danilo Pianini, Angelo Croatti, Alessandro Ricci, Mirko Viroli
Protelis: Practical Aggregate Programming (SAC 2015) — Danilo Pianini, Mirko Viroli, Jacob Beal
Programming Mirror-Worlds: An Agent-Oriented Programming Perspective (EMAS 2015@AAMAS 2015) — Alessandro Ricci, Angelo Croatti, Pietro Brunetti, Mirko Viroli
Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields (FORTE 2015@DisCoTec 2015) — Ferruccio Damiani, Mirko Viroli, Danilo Pianini, Jacob Beal
HPC from a self-organisation perspective: The case of crowd steering at the urban scale () — Danilo Pianini, Mirko Viroli, Franco Zambonelli, Alois Ferscha
Building Blocks for Aggregate Programming of Self-Organising Applications () — Jacob Beal, Mirko Viroli
A Calculus of Self-stabilising Computational Fields (COORDINATION 2014) — Mirko Viroli, Ferruccio Damiani
Towards a Unified Model of Spatial Computing () — Mirko Viroli
Engineering Confluent Computational Fields: from Functions to Rewrite Rules (SCW 2013@AAMAS 2013) — Mirko Viroli
Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems (ASENSIS 2012@SASO 2012) — Matteo Casadei, Mirko Viroli
Engineering Pervasive Multiagent Systems in SAPERE (EMAS 2013@AAMAS 2013) — Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli
Self-Organising Semantic Resource Discovery for Pervasive Systems (ASENSIS 2012@SASO 2012) — Graeme Stevenson, Juan Ye, Simon Dobson, Mirko Viroli, Sara Montagna
Engineering Pervasive Multiagent Systems in SAPERE (EMAS 2013@AAMAS 2013) — Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli
A calculus of computation fields () — Mirko Viroli, Ferruccio Damiani, Jacob Beal
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
Self-Organising Semantic Resource Discovery for Pervasive Systems (ASENSIS 2012@SASO 2012) — 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
Pervasive Ecosystems: a Coordination Model based on Semantic Chemistry (2012) — Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson
Linda in space-time: an adaptive coordination model for mobile ad-hoc environments () — Mirko Viroli, Danilo Pianini, Jacob Beal
Self-organising Semantic Resource Discovery for Pervasive Systems (ASENSIS 2012@SASO 2012) — Graeme Stevenson, Mirko Viroli, Juan Ye, Sara Montagna, Simon Dobson
A Model for Drosophila Melanogaster Development from a Single Cell to Stripe Pattern Formation (SAC 2012) — Sara Montagna, Danilo Pianini, Mirko Viroli
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 (2012) — Mirko Viroli, Graeme Stevenson
Gradient-based Self-organisation Patterns of Anticipative Adaptation (2012) — Sara Montagna, Danilo Pianini, Mirko Viroli
A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems (WOA 2012) — Matteo Casadei, Mirko Viroli
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 (ASENSIS 2012@SASO 2012) — Matteo Casadei, Mirko Viroli
On the Space-time Situation of Pervasive Service Ecosystems () — Mirko Viroli, Graeme Stevenson
Core Operational Semantics of Proto (SAC 2011) — Mirko Viroli, Jacob Beal, Matteo Casadei
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 () — Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli
Programming Coordination Laws of Artifacts in CArtAgO (CM 2011@SAC 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 () — 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 (CM 2011@SAC 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 (WOA 2011) — Danilo Pianini, Mirko Viroli, Sara Montagna
Coordinating Spatially-Situated Pervasive Service Ecosystems (WOA 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 () — Alessandro Ricci, Mirko Viroli, Michele Piunti
Coordination in Open and Dynamic Environments with TuCSoN Semantic Tuple Centres (CM 2010@SAC 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 (SAC 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 (WOA 2010) — Elena Nardini, Mirko Viroli, Matteo Casadei, Andrea Omicini
FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts () — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems () — Matteo Casadei, Mirko Viroli
Formalising the Environment in MAS Programming: a Formal Model () — Alessandro Ricci, Mirko Viroli, Michele Piunti
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
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 (2009) — Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney
An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing Systems () — 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 () — Mirko Viroli, Matteo Casadei
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 (WOA 2008) — Enrico Oliva, Mirko Viroli, Andrea Omicini
Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus () — Alessandro Ricci, Mirko Viroli, Maurizio Cimadamore
Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks () — Matteo Casadei, Mirko Viroli
Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems () — Cynthia Villalba, Alberto Rosi, Mirko Viroli, Franco Zambonelli
simpA: A Simple Agent-Oriented Java Extension for Developing Concurrent Applications () — Alessandro Ricci, Mirko Viroli, Giulio Piancastelli
Experimenting with Stochastic Prolog as a Simulation Language (2008) — Enrico Oliva, Luca Gardelli, Mirko Viroli, Andrea Omicini
Architecture and Metaphors for Eternally Adaptive Service Ecosystems (IDC 2008) — Franco Zambonelli, Mirko Viroli
Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems () — Cynthia Villalba, Alberto Rosi, Mirko Viroli, Franco Zambonelli
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 (CoMA 2008@WET ICE 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
Self-Organized Over-Clustering Avoidance in Tuple-Space Systems () — 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 (E4MAS 2006@AAMAS 2006) — Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini
Design Patterns for Self-Organising Systems (CEEMAS 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
A Self-organizing Approach to Tuple Distribution in Large-Scale Tuple-Space Systems () — Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
Cognitive Stigmergy: Towards a Framework Based on Agents and Artifacts (E4MAS 2006@AAMAS 2006) — 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 () — Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli
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
Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case () — Matteo Casadei, Luca Gardelli, Mirko Viroli
simpA: An Agent-Oriented Approach for Prototyping Concurrent Applications on Top of Java () — Alessandro Ricci, Mirko Viroli
A Self-Organising Solution to the Collective Sort Problem in Distributed Tuple Spaces () — Mirko Viroli, Matteo Casadei, Luca Gardelli
CArtAgO: A Framework for Prototyping Artifact-Based Environments in MAS (E4MAS 2006@AAMAS 2006) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Using Ant's Brood Sorting to Increase Fault Tolerance in Linda's Tuple Distribution Mechanism () — Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case (2006) — Matteo Casadei, Luca Gardelli, Mirko Viroli
On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation (E4MAS 2006@AAMAS 2006) — Luca Gardelli, Mirko Viroli, Matteo Casadei
Exploring the Dynamics of Self-Organising Systems with Stochastic π-Calculus: Detecting Abnormal Behaviour in MAS (EMCSR 2006) — Luca Gardelli, Mirko Viroli, Andrea Omicini
CArtAgO: An Infrastructure for Engineering Computational Environments in MAS (E4MAS 2006@AAMAS 2006) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Simulating Minority Game with TuCSoN (2006) — Enrico Oliva, Mirko Viroli, Andrea Omicini
Minority Game: A Logic-Based Approach in TuCSoN (WOA 2006) — Enrico Oliva, Mirko Viroli, Andrea Omicini
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
Collective Sorting Tuple Spaces (WOA 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
On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation (AICA 2006) — Luca Gardelli, Mirko Viroli, Matteo Casadei
Cognitive Stigmergy: A Framework Based on Agents and Artifacts (E4MAS 2006@AAMAS 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
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 (EMCSR 2006) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Coordination Artifacts as First-class Abstractions for MAS Engineering: State of the Research (2006) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Simulation of Minority Game in TuCSoN (WOA 2006) — Enrico Oliva, Mirko Viroli, Andrea Omicini
A Case of Self-Organising Environment for MAS: the Collective Sort Problem (EUMAS 2006) — Matteo Casadei, Luca Gardelli, Mirko Viroli
Designing a BPEL Orchestration Engine based on ReSpecT Tuple Centres (2006) — Michele Cabano, Enrico Denti, Alessandro Ricci, Mirko Viroli
Programming MAS with Artifacts (2005) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
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
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
“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
An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts (2005) — Mirko Viroli, Alessandro Ricci, 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
Environment-Based Coordination Through Coordination Artifacts (E4MAS 2004) — 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
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
Agent Interaction Semantics by Timed Operating Instructions () — Mirko Viroli, Alessandro Ricci
Role-Based Access Control in MAS using Agent Coordination Contexts (2004) — Alessandro Ricci, 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
On the Semantics of Coordination Models for Distributed Systems: The LogOp Case Study (2004) — Ronaldo Menezes, Andrea Omicini, Mirko Viroli
Integrating Objective & Subjective Coordination in Multi-Agent Systems (2004) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Giovanni Rimassa
A Conceptual Framework for Self-Organising MAS (WOA 2004) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini
Coordination Artifacts: Environment-based Coordination for Intelligent Agents (AAMAS 2004) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini
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
Agent Coordination Context: From Theory to Practice (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 (WOA 2003) — Andrea Omicini, Alessandro Ricci, Giovanni Rimassa, Mirko Viroli
Towards an Alternative Semantics for FIPA ACL () — Mirko Viroli, Andrea Omicini
Extending ReSpecT for Multiple Coordination Flows (2002) — Alessandro Ricci, Andrea Omicini, Mirko Viroli
Tuple-based Coordination Models in Event-based Scenarios () — Mirko Viroli, Alessandro Ricci
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 (AAMAS 2002) — Mirko Viroli, Andrea Omicini
Have ReSpecT for LogOp (WOA 2002) — Ronaldo Menezes, Andrea Omicini, Mirko Viroli
Tuple-based Models in the Observation Framework (2002) — Mirko Viroli, Andrea Omicini
On Observation as a Coordination Pattern: An Ontology and a Formal Framework (CM 2001@SAC 2001) — Mirko Viroli, Gianluca Moro, Andrea Omicini
Multi-Agent Systems as Composition of Observable Systems (WOA 2001) — Mirko Viroli, Andrea Omicini

186 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
Agents, Intelligence, and Tools (2009) — Andrea Omicini, Michele Piunti, Alessandro Ricci, Mirko Viroli
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
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