Publications  /  2000–2021  /  Mirko Viroli

Articles in Journal
2019
Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal
A Higher-Order Calculus of Computational Fields
ACM Transactions on Computational Logic 20(1), January 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 91, 2019
Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini
From distributed coordination to field calculus and aggregate computing
Journal of Logical and Algebraic Methods in Programming 109, 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 498, 2019
(4 articles in journal in 2019)
2018
Mirko Viroli, Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini
Engineering Resilient Collective Adaptive Systems by Self-Stabilisation
ACM Transactions on Modeling and Computer Simulation 28(2), March 2018
Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo Pianini
Spatial Tuples: Augmenting Reality with Tuples
Expert Systems: The Journal of Knowledge Engineering 35(5), October 2018
Roberto Casadei, Alessandro Aldini, Mirko Viroli
Towards attack-resistant Aggregate Computing using trust mechanisms
Science of Computer Programming 167, 2018
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
Optimal single-path information propagation in gradient-based algorithms
Science of Computer Programming 166, 2018
(4 articles in journal in 2018)
2017
Mirko Viroli, Danilo Pianini, Alessandro Ricci, Angelo Croatti
Aggregate plans for multiagent systems
International Journal of Agent-Oriented Software Engineering 4(5), 2017
Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani
Self-Adaptation to Device Distribution in the Internet of Things
ACM Transactions on Autonomous and Adaptive Systems 12(3), September 2017
Angelo Croatti, Alessandro Ricci, Mirko Viroli
Towards a Mobile Augmented Reality System for Emergency Management: The Case of SAFE
International Journal of Distributed Systems and Technologies 8(1), 2017
(3 articles in journal in 2017)
2016
Ferruccio Damiani, Mirko Viroli, Jacob Beal
A type-sound calculus of computational fields
Science of Computer Programming 117, 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
Spatial awareness in pervasive ecosystems
The Knowledge Engineering Review 31(4), September 2016
(2 articles in journal in 2016)
2015
Jacob Beal, Danilo Pianini, Mirko Viroli
Aggregate Programming for the Internet of Things
Computer 48(9), Sept 2015
Sara Montagna, Mirko Viroli, Andrea Roli
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 91(7), June 2015
Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson, Franco Zambonelli
A coordination model of pervasive service ecosystems
Science of Computer Programming 110, 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
Developing Pervasive Multi-Agent Systems with Nature-Inspired Coordination
Pervasive and Mobile Computing 17-B, February 2015
Jacob Beal, Mirko Viroli
Formal Foundations of Sensor Network Applications
SIGSPATIAL Special 7(2), September 2015
Ferruccio Damiani, Mirko Viroli
Type-based Self-stabilisation for Computational Fields
Logical Methods in Computer Science 11(4), 2015
Jacob Beal, Mirko Viroli
Space-Time Programming
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 373(2046), 2015
(7 articles in journal in 2015)
2013
Danilo Pianini, Sara Montagna, Mirko Viroli
Chemical-oriented Simulation of Computational Systems with ALCHEMIST
Journal of Simulation, 2013
Mirko Viroli
On competitive self-composition in pervasive services
Science of Computer Programming 78(5), May 2013
Sara Montagna, Mirko Viroli, Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Franco Zambonelli
Injecting Self-organisation into Pervasive Service Ecosystems
Mobile Networks and Applications 18(3), 2013
Elena Nardini, Andrea Omicini, Mirko Viroli
Semantic Tuple Centres
Science of Computer Programming 78(5), May 2013
Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Sara Montagna, Mirko Viroli, Josep Lluis Arcos
Description and composition of bio-inspired design patterns: a complete overview
Natural Computing 12(1), 2013
Mirko Viroli, Jacob Beal, Kyle Usbeck
Operational Semantics of Proto
Science of Computer Programming 78(6), June 2013
Ambra Molesini, Matteo Casadei, Andrea Omicini, Mirko Viroli
Simulation in Agent-Oriented Software Engineering: The SODA Case Study
Science of Computer Programming 78(6), June 2013
(7 articles in journal in 2013)
2012
Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
Standard Type Soundness for Agents and Artifacts
Scientific Annals of Computer Science 22(2), 2012
(1 article in journal in 2012)
2011
Alessandro Ricci, Michele Piunti, Mirko Viroli
Environment Programming in Multi-Agent Systems – An Artifact-Based Perspective
Autonomous Agents and Multi-Agent Systems 23(2), September 2011
Elena Nardini, Andrea Omicini, Mirko Viroli, Michael I. Schumacher
Coordinating e-Health Systems with TuCSoN Semantic Tuple Centres
ACM SIGAPP Applied Computing Review 11(2), Spring 2011
Carlos Canal, Mirko Viroli
Preface
Science of Computer Programming 76(1), May 2011
Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
A Calculus of Agents and Artifacts
Communications in Computer and Information Science 50, 2011
Mirko Viroli, Matteo Casadei, Sara Montagna, Franco Zambonelli
Spatial Coordination of Pervasive Services through Chemical-inspired Tuple Spaces
ACM Transactions on Autonomous and Adaptive Systems 6(2), June 2011
Franco Zambonelli, Mirko Viroli
A Survey on Nature-inspired Metaphors for Pervasive Service Ecosystems
International Journal of Pervasive Computing and Communications 7(3), 2011
Andrea Omicini, Mirko Viroli
Coordination Models and Languages: From Parallel Computing To Self-Organisation
The Knowledge Engineering Review 26(1), March 2011
Alessandro Ricci, Mirko Viroli, Giulio Piancastelli
simpA: An Agent-oriented Approach for Programming Concurrent Applications on top of Java
Science of Computer Programming 76(1), January 2011
Peter McBurney, Simon Parsons, Mirko Viroli
A Quarter-century of The Knowledge Engineering Review: Introduction to the Special Issue
The Knowledge Engineering Review 26(1), March 2011
(9 articles in journal in 2011)
2010
Enrico Oliva, Peter McBurney, Andrea Omicini, Mirko Viroli
Argumentation and Artifacts for Negotiation Support
International Journal of Artificial Intelligence 4(S10), Spring 2010
Mirko Viroli, Franco Zambonelli
A Biochemical Approach to Adaptive Service Ecosystems
Information Sciences 180(10), 2010
(2 articles in journal in 2010)
2009
Matteo Casadei, Mirko Viroli, Luca Gardelli
On the Collective Sort Problem for Distributed Tuple Spaces
Science of Computer Programming 74(9), 2009
Ambra Molesini, Andrea Omicini, Mirko Viroli
Environment in Agent-Oriented Software Engineering Methodologies
Multiagent and Grid Systems 5(1), 2009
(2 articles in journal in 2009)
2008
Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini
Designing Self-Organising Environments with Agents and Artefacts: A Simulation-Driven Approach
International Journal of Agent-Oriented Software Engineering 2(2), 2008
Chieri Saito, Atsushi Igarashi, Mirko Viroli
Lightweight Family Polymorphism
Journal of Functional Programming 18(3), May 2008
Enrico Oliva, Antonio Natali, Alessandro Ricci, Mirko Viroli
An Adaptation Logic Framework for Java-based Component Systems
Journal of Universal Computer Science 14(13), 2008
Andrea Omicini, Alessandro Ricci, Mirko Viroli
Artifacts in the A&A Meta-Model for Multi-Agent Systems
Autonomous Agents and Multi-Agent Systems 17(3), December 2008
Maurizio Cimadamore, Mirko Viroli
On the reification of Java wildcards
Science of Computer Programming 73(2-3), October 2008
(5 articles in journal in 2008)
2007
Davide Ancona, Mirko Viroli
Guest Editorial
Journal of Object Technology 6(2), 2007
Mirko Viroli, Enrico Denti, Alessandro Ricci
Engineering a BPEL Orchestration Engine as a Multi-agent System
Science of Computer Programming 66(3), May 2007
Mirko Viroli, Tom Holvoet, Alessandro Ricci, Kurt Schelfthout, Franco Zambonelli
Infrastructures for the Environment of Multiagent Systems
Autonomous Agents and Multi-Agent Systems 14(1), July 2007
Mirko Viroli, Andrea Omicini, Alessandro Ricci
Infrastructure for RBAC-MAS: An Approach Based on Agent Coordination Contexts
Applied Artificial Intelligence 21(4-5), April 2007
Andrea Omicini, Alessandro Ricci, Mirko Viroli
Timed Environment for Web Agents
Web Intelligence and Agent Systems 5(2), August 2007
Carlos Canal, Mirko Viroli
Preface
Science of Computer Programming 66(3), May 2007
Mirko Viroli
A core calculus for correlation in orchestration languages
Journal of Logic and Algebraic Programming 70(1), January 2007
Atsushi Igarashi, Mirko Viroli
Variant path types for scalable extensibility
ACM SIGPLAN Notices 42(10), 2007
(8 articles in journal in 2007)
2006
Andrea Omicini, Alessandro Ricci, Mirko Viroli
Agent Coordination Contexts for the Formal Specification and Enactment of Coordination and Security Policies
Science of Computer Programming 63(1), November 2006
Mirko Viroli, Alessandro Ricci, Andrea Omicini
Operating Instructions for Intelligent Agent Coordination
The Knowledge Engineering Review 21(1), March 2006
Alessandro Ricci, Mirko Viroli, Andrea Omicini
Agent Coordination Contexts in a MAS Coordination Infrastructure
Applied Artificial Intelligence 20(2-4), February-April 2006
Atsushi Igarashi, Mirko Viroli
Variant Parametric Types: A Flexible Subtyping Scheme for Generics
ACM Transactions on Programming Languages and Systems 28(5), September 2006
Mirko Viroli, Andrea Omicini
Coordination as a Service
Fundamenta Informaticae 73(4), 2006
(5 articles in journal in 2006)
2005
Danny Weyns, Michael I. Schumacher, Alessandro Ricci, Mirko Viroli, Tom Holvoet
Environments in Multiagent Systems
The Knowledge Engineering Review 20(2), June 2005
Mirko Viroli, Giovanni Rimassa
On Access Restriction with Java Wildcards
Journal of Object Technology 4(10), 2005
Andrea Omicini, Alessandro Ricci, Mirko Viroli
An Algebraic Approach for Modelling Organisation, Roles and Contexts in MAS
Applicable Algebra in Engineering, Communication and Computing 16(2-3), August 2005
Alessandro Ricci, Mirko Viroli
Coordination Artifacts: A Unifying Abstraction for Engineering Environment-Mediated Coordination in MAS
Informatica 29(4), November 2005
Mirko Viroli, Andrea Omicini
Process-Algebraic Approaches for Multi-Agent Systems: An Overview
Applicable Algebra in Engineering, Communication and Computing 16(2-3), August 2005
(5 articles in journal in 2005)
2004
Andrea Omicini, Alessandro Ricci, Mirko Viroli, Marco Cioffi, Giovanni Rimassa
Multi-agent Infrastructures for Objective and Subjective Coordination
Applied Artificial Intelligence 18(9-10), October-December 2004
Davide Ancona, Mirko Viroli
Guest Editorial
Journal of Object Technology 3(11), 2004
(2 articles in journal in 2004)
2003
Mirko Viroli
A Type-Passing Approach for the Implementation of Parametric Methods in {Java}
The Computer Journal 46(3), 2003
(1 article in journal in 2003)
2002
Mirko Viroli, Andrea Omicini
An Observation Approach to Semantics of Agents Communication Languages
Applied Artificial Intelligence 16(9-10), October-December 2002
Mirko Viroli, Andrea Omicini, Alessandro Ricci
Modelling Agents as Observable Sources
Journal of Universal Computer Science 8(4), April 2002
(2 articles in journal in 2002)
2001
Mirko Viroli, Andrea Omicini
Multi-Agent Systems as Composition of Observable Systems
AI*IA Notizie XIV(4), December 2001
(1 article in journal in 2001)
2000
Mirko Viroli, Antonio Natali
Parametric Polymorphism in Java: An Approach to Translation based on Reflective Feature
ACM SIGPLAN Notices 35(10), 2000
(1 article in journal in 2000)
(71 articles in journal from 2000 to 2021)  [top]  [bottom]
Papers in Proceedings
2020
Roberto Casadei, Mirko Viroli, Alessandro Ricci
Collective Adaptive Systems as Coordination Media: The Case of Tuples in Space-Time
2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C), 2020
Danilo Pianini, Stefano Mariani, Mirko Viroli, Franco Zambonelli
Time-Fluid Field-Based Coordination
Coordination Models and Languages, 2020
(2 papers in proceedings in 2020)
2019
Franco Zambonelli, Mirko Viroli, Giancarlo Fortino, Barbara Re
Towards Adaptive Flow Programming for the IoT: The Fluidware Approach
IEEE International Conference on Pervasive Computing and Communications  Workshops, PerCom Workshops 2019, 11-15 March 2019
Roberto Casadei, Danilo Pianini, Guido Salvaneschi, Mirko Viroli
On Context-Orientation in Aggregate Programming
IEEE 4th International Workshops on Foundations and Applications of Self-Star Systems, FAS-StarW@SASO/ICCAC 2019, 16-20 June 2019
Stefano Mariani, Roberto Casadei, Fabrizio Fornari, Giancarlo Fortino, Danilo Pianini, Barbara Re, Wilma Russo, Claudio Savaglio, Mirko Viroli, Franco Zambonelli
Case studies for a new IoT programming paradigm: Fluidware
AI&IoT 2019. CEUR Workshop Proceedings 2502, 2019
Roberto Casadei, Mirko Viroli
Coordinating Computation at the Edge: a Decentralized, Self-Organizing, Spatial Approach
2019 Fourth International Conference on Fog and Mobile Edge Computing (FMEC), June 2019
Roberto Casadei, Danilo Pianini, Mirko Viroli, Antonio Natali
Self-organising Coordination Regions: a Pattern for Edge Computing
Coordination Models and Languages, Proceedings. Lecture Notes in Computer Science 11533, 2019
Roberto Casadei, Christos Tsigkanos, Mirko Viroli, Schahram Dustdar
Engineering Resilient Collaborative Edge-Enabled IoT
2019 IEEE International Conference on Services Computing (SCC), July 2019
Giorgio Audrito, Sergio Bergamini, Ferruccio Damiani, Mirko Viroli
Effective Collective Summarisation of Distributed Data in Mobile Multi-Agent Systems
18th International Conference on Autonomous Agents and MultiAgent Systems, 2019
Danilo Pianini, Roberto Casadei, Mirko Viroli
Security in Collective Adaptive Systems: A Roadmap
IEEE 4th International Workshops on Foundations and Applications of Self-Star Systems, FAS-StarW@SASO/ICCAC 2019, 16-20 June 2019
Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani
Aggregate Processes in Field Calculus
Coordination Models and Languages. Lecture Notes in Computer Science 11533, 2019
Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli
The share Operator for Field-Based Coordination
Coordination Models and Languages, Proceedings. Lecture Notes in Computer Science 11533, 2019
Shaukat Ali, Ferruccio Damiani, Schahram Dustdar, Marialuisa Sanseverino, Mirko Viroli, Danny Weyns
Big Data from the Cloud to the Edge: The Aggregate Computing Solution
Proceedings of the 13th European Conference on Software Architecture - Volume 2. ECSA '19, 2019
Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal
On a Higher-Order Calculus of Computational Fields
Formal Techniques for Distributed Objects, Components, and Systems. Lecture Notes in Computer Science 11535, 2019
(12 papers in proceedings in 2019)
2018
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
Aggregate Graph Statistics
ALP4IoT2017. Electronic Proceedings in Theoretical Computer Science 264, 2018
Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Mirko Viroli
Space-Time Universality of Field Calculus
ALP4IoT2017. Lecture Notes in Computer Science 10852, 2018
Danilo Pianini, Giovanni Ciatto, Roberto Casadei, Stefano Mariani, Mirko Viroli, Andrea Omicini
Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain
GOODTECHS 2018, November 2018
Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini
From Field-Based Coordination to Aggregate Computing
COORDINATION 2018. Lecture Notes in Computer Science 10852, 2018
Giancarlo Fortino, Wilma Russo, Claudio Savaglio, Mirko Viroli, MengChu Zhou
Opportunistic cyberphysical services: A novel paradigm for the future Internet of Things
4th IEEE World Forum on Internet of Things, WF-IoT 2018, Singapore, February 5-8, 2018, 2018
Roberto Casadei, Mirko Viroli
Collective Abstractions and Platforms for Large-Scale Self-Adaptive IoT
2018 IEEE 3rd International Workshops on Foundations and Applications of Self* Systems (FAS* W), 2018
Roberto Casadei, Alessandro Aldini, Mirko Viroli
Combining Trust and Aggregate Computing
Software Engineering and Formal Methods. Lecture Notes in Computer Science 10729, 2018
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Enrico Bini
Distributed Real-Time Shortest-Paths Computations with the Field Calculus
2018 IEEE Real-Time Systems Symposium (RTSS), December 2018
(8 papers in proceedings in 2018)
2017
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Mirko Viroli
Compositional Blocks for Optimal Self-Healing Gradients
11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2017, 2017
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed
Coordination Models and Languages. Lecture Notes in Computer Science 10319, 2017
Giancarlo Fortino, Wilma Russo, Claudio Savaglio, Mirko Viroli, MengChu Zhou
Modeling Opportunistic IoT Services in Open IoT Ecosystems
WOA 2017. CEUR Workshop Proceedings 1867, June 2017
Danilo Pianini, Simon Dobson, Mirko Viroli
Self-Stabilising Target Counting in Wireless Sensor Networks Using Euler Integration
11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2017
Danilo Pianini, Jacob Beal, Mirko Viroli
Practical Aggregate Programming with Protelis
2nd IEEE International Workshops on Foundations and Applications of Self* Systems, FAS*W@SASO/ICCAC 2017, Tucson, AZ, USA, September 18-22, 2017, 2017
Matteo Francia, Danilo Pianini, Jacob Beal, Mirko Viroli
Towards a Foundational API for Resilient Distributed Systems Design
2nd IEEE International Workshops on Foundations and Applications of Self* Systems, FAS*W@SASO/ICCAC 2017, Tucson, AZ, USA, September 18-22, 2017, 2017
Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo Pianini
Spatial Tuples: Augmenting Physical Reality with Tuple Spaces
Studies in Computational Intelligence 678, 2017
(7 papers in proceedings in 2017)
2016
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Roberto Casadei
Run-Time Management of Computation Domains in Field Calculus
2016 {IEEE} 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), Augsburg, Germany, September 12-16, 2016, Sept 2016
Mirko Viroli, Antonio Bucchiarone, Danilo Pianini, Jacob Beal
Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE
SASO 2016, 2016
Mirko Viroli, Jacob Beal
Resiliency with Aggregate Computing: State of the Art and Roadmap
Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems. Electronic Proceedings in Theoretical Computer Science 217, 2016
Jacob Beal, Mirko Viroli
Aggregate Programming: From Foundations to Applications
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems. Lecture Notes in Computer Science 9700, 2016
Danilo Pianini, Jacob Beal, Mirko Viroli
Improving Gossip Dynamics Through Overlapping Replicates
Coordination Models and Languages. Lecture Notes in Computer Science 9686, 2016
Mirko Viroli, Roberto Casadei, Danilo Pianini
On Execution Platforms for Large-scale Aggregate Computing
Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing: Adjunct. UbiComp '16, 2016
Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani
Self-adaptation to Device Distribution Changes in Situated Computing Systems
2016 IEEE 10th International Conference on Self-Adaptive and Self-Organizing Systems, Augsburg, Germany, September 18-22, 2016, 2016
Mirko Viroli, Antonio Bucchiarone, Danilo Pianini, Jacob Beal
Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE
2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), Augsburg, Germany, September 12-16, 2016, September 2016
Mirko Viroli, Roberto Casadei, Danilo Pianini
Simulating Large-scale Aggregate MASs with Alchemist and Scala
Proceedings of the 2016 Federated Conference on Computer Science Systems, FedCSIS 2016, Gdansk, Poland, September 11-14, 2016., 11-14 September 2016
Danilo Pianini, Jacob Beal, Mirko Viroli
Improving Gossip Dynamics Through Overlapping Replicates
COORDINATION 2016, 2016
Roberto Casadei, Mirko Viroli
Towards Aggregate Programming in Scala
1st Workshop on Programming Models and Languages for Distributed Computing (PMLDC '16), 17 July 2016
(11 papers in proceedings in 2016)
2015
Danilo Pianini, Mirko Viroli, Jacob Beal
Protelis: Practical Aggregate Programming
SAC 2015, 2015
Mirko Viroli, Danilo Pianini, Alessandro Ricci, Pietro Brunetti, Angelo Croatti
Multi-agent Systems Meet Aggregate Programming: Towards a Notion of Aggregate Plan
PRIMA 2015: Principles and Practice of Multi-Agent Systems. Lecture Notes in Computer Science 9387, 2015
Mirko Viroli, Alessandro Ricci
Towards agent aggregates: perspectives and challenges
EMAS 2015, 2015
Ferruccio Damiani, Mirko Viroli, Danilo Pianini, Jacob Beal
Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields
FORTE2015. Lecture Notes in Computer Science 9039, 2015
Pietro Brunetti, Angelo Croatti, Alessandro Ricci, Mirko Viroli
Smart Augmented Fields for Emergency Operations
Procedia Computer Science, September 2015
Mirko Viroli, Jacob Beal, Ferruccio Damiani, Danilo Pianini
Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields
Proceedings of the IEEE Conference on Self-Adaptive and Self-Organising Systems 2015 (SASO 2015), 2015
Alessandro Ricci, Angelo Croatti, Pietro Brunetti, Mirko Viroli
Programming Mirror-Worlds: An Agent-Oriented Programming Perspective
EMAS 2015, 2015
Danilo Pianini, Angelo Croatti, Alessandro Ricci, Mirko Viroli
Computational Fields Meet Augmented Reality: Perspectives and Challenges
2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, September 2015
(8 papers in proceedings in 2015)
2014
Mirko Viroli, Ferruccio Damiani
A Calculus of Self-stabilising Computational Fields
COORDINATION 2014. Lecture Notes in Computer Science 8459, 2014
Jacob Beal, Mirko Viroli
Building Blocks for Aggregate Programming of Self-Organising Applications
Eighth {IEEE} International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2014
Mirko Viroli
Towards a Unified Model of Spatial Computing
7th International Spatial Computing Workshop (SCW 2014), 6 May 2014
Danilo Pianini, Mirko Viroli, Franco Zambonelli, Alois Ferscha
HPC from a self-organisation perspective: The case of crowd steering at the urban scale
High Performance Computing Simulation (HPCS), 2014 International Conference on, July 2014
(4 papers in proceedings in 2014)
2013
Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli
Engineering Pervasive Multiagent Systems in SAPERE
EMAS 2013. Lecture Notes in Computer Science 8245, December 2013
Graeme Stevenson, Juan Ye, Simon Dobson, Danilo Pianini, Sara Montagna, Mirko Viroli
Combining self-organisation, context-awareness and semantic reasoning: the case of resource discovery in opportunistic networks
CM @ SAC 2013, March 2013
Graeme Stevenson, Juan Ye, Simon Dobson, Mirko Viroli, Sara Montagna
Self-Organising Semantic Resource Discovery for Pervasive Systems
Self-Adaptive and Self-Organizing Systems Workshops (SASOW), April 2013
Sara Montagna, Mirko Viroli
Composing Gradients for a Context-Aware Navigation of Users in a Smart-City
SCW 2013, 6 May 2013
Matteo Casadei, Mirko Viroli
Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems
Self-Adaptive and Self-Organizing Systems Workshops (SASOW), April 2013
Graeme Stevenson, Jose Luis Fernandez-Marquez, Sara Montagna, Alberto Rosi, Juan Ye, Akla Tchao, Simon Dobson, Giovanna Di Marzo Serugendo, Mirko Viroli
Self-Organising Semantic Resource Discovery for Pervasive Systems
ASENSIS 2012, April 2013
Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli
Engineering Pervasive Multiagent Systems in SAPERE
EMAS 2013, 6-7 May 2013
Mirko Viroli
Engineering Confluent Computational Fields: from Functions to Rewrite Rules
SCW 2013, 6 May 2013
Mirko Viroli, Ferruccio Damiani, Jacob Beal
A calculus of computation fields
Communications in Computer and Information Science 393, 2013
(9 papers in proceedings in 2013)
2012
Sara Montagna, Danilo Pianini, Mirko Viroli
A Model for Drosophila Melanogaster Development from a Single Cell to Stripe Pattern Formation
SAC 2012, 26-30 March 2012
Matteo Casadei, Mirko Viroli
A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems
WOA 2012, 12 September 2012
Mirko Viroli, Danilo Pianini, Jacob Beal
Linda in space-time: an adaptive coordination model for mobile ad-hoc environments
Coordination Models and Languages. LNCS 7274, June 2012
Graeme Stevenson, Mirko Viroli, Juan Ye, Sara Montagna, Simon Dobson
Self-organising Semantic Resource Discovery for Pervasive Systems
ASENSIS 2012, 10 September 2012
Ronaldo Menezes, Andrea Omicini, Mirko Viroli
Dynamic Composition of Coordination Abstractions for Pervasive Systems: The Case of LogOp
CM @ SAC 2012, 26-30 March 2012
Sara Montagna, Danilo Pianini, Mirko Viroli
Gradient-based Self-organisation Patterns of Anticipative Adaptation
Proceedings of 6th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2012), May 2012
Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson
Pervasive Ecosystems: a Coordination Model based on Semantic Chemistry
27th Annual ACM Symposium on Applied Computing (SAC 2012) , 26-30 March 2012
Mirko Viroli, Graeme Stevenson
On the Space-time Situation of Pervasive Service Ecosystems
Workshop on Spatial Computing, June 2012
Matteo Casadei, Mirko Viroli
Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems
ASENSIS 2012, 10 September 2012
Sara Montagna, Mirko Viroli, Danilo Pianini, Jose Luis Fernandez-Marquez
Towards a comprehensive approach to spontaneous self-composition in pervasive ecosystems
Proceedings of the 13th Workshop on Objects and Agents, 12 September 2012
(10 papers in proceedings in 2012)
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
Self-aware Pervasive Service Ecosystems
Proceedings of the 2nd European Future Technologies Conference and Exhibition 2011 (FET 11). Procedia Computer Science 7, 4-6 May 2011
Elena Nardini, Andrea Omicini, Mirko Viroli
Description Spaces with Fuzziness
CM @ SAC 2011, 21-25 March 2011
Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli
Towards a Coordination Approach to Adaptive Pervasive Service Ecosystems
The 5th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2011), 3-8 October 2011
Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli
Coordinating Spatially-Situated Pervasive Service Ecosystems
WOA 2011. CEUR Workshop Proceedings 741, 4-6 July 2011
Sara Montagna, Mirko Viroli, Matteo Risoldi, Danilo Pianini, Giovanna Di Marzo Serugendo
Self-organising Pervasive Ecosystems: A Crowd Evacuation Example
Proceedings of the 3rd International Workshop on Software Engineering for Resilient Systems. Lecture Notes in Computer Science 6968, 29-30 September 2011
Mirko Viroli, Jacob Beal, Matteo Casadei
Core Operational Semantics of Proto
26th Annual ACM Symposium on Applied Computing (SAC 2011), 21–25 March 2011
Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli
A Coordination Approach to Adaptive Pervasive Service Ecosystems
2011 5th IEEE Conference on Self-Adaptive and Self-Organizing Systems Workshops (SASOW 2011), 7 October 2011
Danilo Pianini, Mirko Viroli, Sara Montagna
A Simulation Framework for Pervasive Services Ecosystems
WOA 2011. CEUR Workshop Proceedings 741, 4-6 July 2011
Jose Luis Fernandez-Marquez, Josep Lluis Arcos, Giovanna Di Marzo Serugendo, Mirko Viroli, Sara Montagna
Description and Composition of Bio-Inspired Design Patterns: the Gradient Case
Proceedings of the 3rd Workshop on Bio-Inspired and Self-* Algorithms for Distributed Systems, 14 June 2011
Danilo Pianini, Sara Montagna, Mirko Viroli
A Chemical Inspired Simulation Framework for Pervasive Services Ecosystems
Proceedings of the Federated Conference on Computer Science and Information Systems (FedCSIS 2011), 18-21 September 2011
(10 papers in proceedings in 2011)
2010
Mirko Viroli, Matteo Casadei, Elena Nardini, Andrea Omicini
Towards a Pervasive Infrastructure for Chemical-Inspired Self-organising Services
Self-Organizing Architectures. Lecture Notes in Computer Science 6090, July 2010
Elena Nardini, Mirko Viroli, Matteo Casadei, Andrea Omicini
A Self-Organising Infrastructure for Chemical-Semantic Coordination: Experiments in TuCSoN
WOA 2010. CEUR Workshop Proceedings 621, 5-7 September 2010
Mirko Viroli, Matteo Casadei
Chemical-Inspired Self-Composition of Competing Services
25th Annual ACM Symposium on Applied Computing (SAC 2010), 22-26 March 2010
Alessandro Ricci, Mirko Viroli, Michele Piunti
Formalising the Environment in MAS Programming: A Formal Model for Artifact-Based Environments 
Programming Multi-Agent Systems. LNAI 5919, 2010
Sara Montagna, Mirko Viroli
A Framework for Modelling and Simulating Networks of Cells
Proceedings of the 1st International Workshop on Interactions between Computer Science and Biology (CS2Bio'10) . Electronic Notes in Theoretical Computer Science Volume 268, 21 December 2010
Danilo Pianini, Sascia Virruso, Ronaldo Menezes, Andrea Omicini, Mirko Viroli
Self Organization in Coordination Systems using a WordNet-based Ontology
4th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2010), 27 September - 1 October 2010
Elena Nardini, Mirko Viroli, Emanuele Panzavolta
Coordination in Open and Dynamic Environments with TuCSoN Semantic Tuple Centres
25th Annual ACM Symposium on Applied Computing (SAC 2010), 22-26 March 2010
(7 papers in proceedings in 2010)
2009
Mirko Viroli, Franco Zambonelli, Matteo Casadei, Sara Montagna
A Biochemical Metaphor for Developing Eternally Adaptive Service Ecosystems
24th Annual ACM Symposium on Applied Computing (SAC 2009), March, 8-12 2009
Elena Nardini, Andrea Omicini, Mirko Viroli
General-Purpose Coordination Abstractions for Managing Interaction in MAS
The WI-IAT 2009 Workshops Proceedings, 15-18 September 2009
Mirko Viroli, Matteo Casadei, Andrea Omicini
A Framework for Modelling and Implementing Self-Organising Coordination
24th Annual ACM Symposium on Applied Computing (SAC 2009), 8-12 March 2009
Mirko Viroli, Matteo Casadei
Biochemical Tuple Spaces for Self-Organising Coordination
Coordination Languages and Models. Lecture Notes in Computer Science 5521, June 2009
Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney
Argumentation and Artifact for Dialog Support
Argumentation in Multi-Agent Systems. Lecture Notes in Artificial Intelligence 5384, February 2009
Matteo Casadei, Mirko Viroli
An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing Systems
IEEE Congress on Evolutionary Computation, 2009 (CEC 2009)., May, 18-21 2009
Alessandro Ricci, Mirko Viroli, Michele Piunti
Formalising the Environment in MAS Programming: a Formal Model
Programming Multi-Agent Systems 7th International Workshop (ProMAS 2009) Revised Selected Papers. Lecture Notes Computer Science 5919, 2009
Alessandro Ricci, Michele Piunti, Mirko Viroli
Externalisation and Internalization: A New Perspective on Agent Modularisation in Multi-Agent Systems Programming
Proceedings of MALLOW 2009 federated workshops: LAnguages, methodologies and Development tools for multi-agent systemS (LADS 2009), September 2009
Matteo Casadei, Mirko Viroli
Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems
24th Annual ACM Symposium on Applied Computing (SAC 2009), March, 8-12 2009
Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts
ICSOFT 2009 - Proceedings of the 4th International Conference  on Software and Data Technologies, Volume 1, Sofia, Bulgaria,  July 26-29, 2009, July 2009
Sara Montagna, Mirko Viroli
A computational framework for modelling multicellular biochemistry
2009 IEEE Congress on Evolutionary Computation (CEC 2009), 18-21 May 2009
(11 papers in proceedings in 2009)
2008
Alessandro Ricci, Mirko Viroli, Maurizio Cimadamore
Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus
Proceedings of the 6th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2007). Electronic Notes in Theoretical Computer Science 194, April 2008
Alessandro Ricci, Mirko Viroli, Andrea Omicini
The A&A Programming Model and Technology for Developing Agent Environments in MAS
Programming Multi-Agent Systems. Lecture Notes in Computer Science 4908, April 2008
Matteo Casadei, Mirko Viroli
Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks
2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO'08), 20-24 October 2008
Matteo Casadei, Andrea Omicini, Mirko Viroli
Prototyping A&A ReSpecT in Maude
Proceedings of the 6th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2007). Electronic Notes in Theoretical Computer Science 194, April 2008
Matteo Casadei, Mirko Viroli, Marco Santarelli
Collective Sort and Emergent Patterns of Tuple Distribution in Grid-Like Networks
17th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises. Workshop on Coordination Models and Applications (CoMA 2008), 23-25 June 2008
Maurizio Cimadamore, Mirko Viroli
Integrating Java and Prolog through Generic Methods and Type Inference
23th ACM Symposium on Applied Computing (SAC 2008), 16-20 March 2008
Franco Zambonelli, Mirko Viroli
Architecture and Metaphors for Eternally Adaptive Service Ecosystems
Intelligent Distributed Computing, Systems and Applications. Studies in Computational Intelligence 162/2008, September 2008
Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney
Argumentation and Artifact for Dialogue Support
5th International Workshop "Argumentation in Multi-Agent Systems" (ArgMAS 2008), 12 May 2008
Alessandro Ricci, Mirko Viroli, Giulio Piancastelli
simpA: A Simple Agent-Oriented Java Extension for Developing Concurrent Applications
Languages, Methodologies and Development Tools for Multi-Agent Systems. Lecture Notes in Computer Science 5118, July 2008
Cynthia Villalba, Alberto Rosi, Mirko Viroli, Franco Zambonelli
Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems
9th Workshop "From Objects to Agents" (WOA 2008) — Evolution of Agent  Development: Methodologies, Tools, Platforms and Languages, November 2008
Enrico Oliva, Luca Gardelli, Mirko Viroli, Andrea Omicini
Experimenting with Stochastic Prolog as a Simulation Language
23º Convegno Italiano di Logica Computazionale (CILC'08), 10-12 July 2008
Enrico Oliva, Mirko Viroli, Andrea Omicini
Arguments and Artifacts for Dispute Resolution
9th Workshop "From Objects to Agents" (WOA 2008) — Evolution of Agent Development: Methodologies, Tools, Platforms and Languages, November 2008
Cynthia Villalba, Alberto Rosi, Mirko Viroli, Franco Zambonelli
Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems
Workshop on Spatial Computing, October 2008
(13 papers in proceedings in 2008)
2007
Luca Gardelli, Mirko Viroli, Andrea Omicini
Design Patterns for Self-Organising Systems
Multi-Agent Systems and Applications V. Lecture Notes in Computer Science 4696, September 2007
Mirko Viroli, Andrea Omicini
ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications
Proceedings of the Third International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA 2004). Electronic Notes in Theoretical Computer Science 180, June 2007
Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
Using Ant's Brood Sorting to Increase Fault Tolerance in Linda's Tuple Distribution Mechanism
Cooperative Information Agents XI. Lecture Notes in Computer Science 4676, September 2007
Mirko Viroli, Matteo Casadei, Luca Gardelli
A Self-Organising Solution to the Collective Sort Problem in Distributed Tuple Spaces
SAC '07: Proceedings of the 2007 ACM Symposium on Applied Computing, 2007
Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli
On the Problem of Over-clustering in Tuple-based Coordination Systems
1st IEEE Conference on Self-Adaptive and Self-Organizing Systems (SASO 2007), 9-11 July 2007
Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
A Self-organizing Approach to Tuple Distribution in Large-Scale Tuple-Space Systems
Self-Organizing Systems. Lecture Notes in Computer Science 4725, August 2007
Matteo Casadei, Andrea Omicini, Mirko Viroli
Prototyping A&A ReSpecT in Maude
6th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'07), 8 September 2007
Alessandro Ricci, Mirko Viroli
simpA: An Agent-Oriented Approach for Prototyping Concurrent Applications on Top of Java
5th International Symposium on Principles and Practice of Programming in Java (PPPJ 2007). ACM International Conference Proceeding 272, 5-7 September 2007
Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini
Designing Self-organising MAS Environments: The Collective Sort Case
E4MAS 2006. Lecture Notes in Computer Science 4389, May 2007
Matteo Casadei, Luca Gardelli, Mirko Viroli
Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case
Proceedings of the Fifth International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2006). Electronic Notes in Theoretical Computer Science  175, June 2007
Alessandro Ricci, Mirko Viroli, Andrea Omicini
CArtAgO: A Framework for Prototyping Artifact-Based Environments in MAS
E4MAS 2006. Lecture Notes in Computer Science 4389, May-June 2007
Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
Self-Organized Over-Clustering Avoidance in Tuple-Space Systems
IEEE Congress on Evolutionary Computation, 2007 (CEC 2007). , 25-28 September 2007
Alessandro Ricci, Mirko Viroli, Andrea Omicini
“Give Agents their Artifacts”: The A&A Approach for Engineering Working Environments in MAS
6th International Joint Conference “Autonomous Agents & Multi-Agent Systems” (AAMAS 2007), 14-18 May 2007
Maurizio Cimadamore, Mirko Viroli
A Prolog-oriented extension of Java programming based on generics and annotations
5th international symposium on Principles and practice of programming in Java (PPPJ '07), 2007
Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
Cognitive Stigmergy: Towards a Framework Based on Agents and Artifacts
E4MAS 2006. Lecture Notes in Computer Science 4389, May 2007
(15 papers in proceedings in 2007)
2006
Andrea Omicini, Alessandro Ricci, Mirko Viroli
Coordination Artifacts as First-class Abstractions for MAS Engineering: State of the Research
Software Engineering for Multi-Agent Systems IV: Research Issues and Practical Applications. Lecture Notes in Computer Science 3914, April 2006
Alessandro Ricci, Mirko Viroli, Andrea Omicini
Construenda est CArtAgO: Toward an Infrastructure for Artifacts in MAS
EMCSR 2006, 18-21 April 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
Engineering Self-Organising Systems. Lecture Notes in Computer Science 3910, 2006
Antonio Natali, Enrico Oliva, Alessandro Ricci, Mirko Viroli
A Framework for Engineering Interactions in Java-based Component Systems
Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2005). Electronic Notes in Theoretical Computer Science 154, 2006
Enrico Oliva, Mirko Viroli, Andrea Omicini
Simulating Minority Game with TuCSoN
Industrial Simulation Conference 2006 (ISC 2006), 5-7 June 2006
Andrea Omicini, Alessandro Ricci, Mirko Viroli
Agens Faber: Toward a Theory of Artefacts for MAS
Proceedings of the First International Workshop on Coordination and Organisation (CoOrg 2005). Electronic Notes in Theoretical Computer Science 150, 29 May 2006
Enrico Oliva, Mirko Viroli, Andrea Omicini
Simulation of Minority Game in TuCSoN
WOA 2006. CEUR Workshop Proceedings 204, October 2006
Luca Gardelli, Mirko Viroli, Andrea Omicini
Exploring the Dynamics of Self-Organising Systems with Stochastic π-Calculus: Detecting Abnormal Behaviour in MAS
EMCSR 2006, 18-21 April 2006
Michele Cabano, Enrico Denti, Alessandro Ricci, Mirko Viroli
Designing a BPEL Orchestration Engine based on ReSpecT Tuple Centres
Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2005). Electronic Notes in Theoretical Computer Science 154, 2006
Alessandro Ricci, Mirko Viroli, Andrea Omicini
CArtAgO: An Infrastructure for Engineering Computational Environments in MAS
E4MAS 2006, 8 May 2006
Luca Gardelli, Mirko Viroli, Matteo Casadei
On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation
E4MAS 2006, May 8 2006
Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
Cognitive Stigmergy: A Framework Based on Agents and Artifacts
E4MAS 2006, 8 May 2006
Alessandro Ricci, Mirko Viroli, Andrea Omicini
Programming MAS with Artifacts
Programming Multi-Agent Systems. Lecture Notes in Computer Science 3862, March 2006
Luca Gardelli, Mirko Viroli, Matteo Casadei
On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation
Atti Congresso Annuale AICA 2006, 21-22 September 2006
Enrico Oliva, Mirko Viroli, Andrea Omicini
Minority Game: A Logic-Based Approach in TuCSoN
WOA 2006. CEUR Workshop Proceedings 204, October 2006
Matteo Casadei, Luca Gardelli, Mirko Viroli
A Case of Self-Organising Environment for MAS: the Collective Sort Problem
4th European Workshop on Multi-Agent Systems (EUMAS 2006). CEUR Workshop Proceedings, 14-15 December 2006
Alessandro Ricci, Claudio Buda, Nicola Zaghini, Antonio Natali, Mirko Viroli, Andrea Omicini
simpA-WS: An Agent-Oriented Computing Technology for WS-based SOA Applications
WOA 2006. CEUR Workshop Proceedings 204, October 2006
Matteo Casadei, Luca Gardelli, Mirko Viroli
Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case
5th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'06), 31 August 2006
Matteo Casadei, Luca Gardelli, Mirko Viroli
Collective Sorting Tuple Spaces
WOA 2006. CEUR Workshop Proceedings, 26-27 September 2006
(19 papers in proceedings in 2006)
2005
Alessandro Ricci, Mirko Viroli, Andrea Omicini
Environment-Based Coordination Through Coordination Artifacts
Environments for Multi-Agent Systems. Lecture Notes in Artificial Intelligence 3374, February 2005
Mirko Viroli, Andrea Omicini, Alessandro Ricci
Engineering MAS Environment with Artifacts
2nd International Workshop "Environments for Multi-Agent Systems" (E4MAS 2005), 26 July 2005
Andrea Omicini, Alessandro Ricci, Mirko Viroli
RBAC for Organisation and Security in an Agent Coordination Infrastructure
Proceedings of the 2nd International Workshop on Security Issues in Coordination Models, Languages, and Systems (SecCo 2004). Electronic Notes in Theoretical Computer Science 128, 3 May 2005
Andrea Omicini, Alessandro Ricci, Mirko Viroli
Time-Aware Coordination in ReSpecT
Coordination Models and Languages. Lecture Notes in Computer Science 3454, April 2005
Luca Gardelli, Mirko Viroli, Andrea Omicini
On the Role of Simulation in the Engineering of Self-Organising Systems: Detecting Abnormal Behaviour in MAS
AI*IA/TABOO Joint Workshop "Dagli oggetti agli agenti: simulazione e analisi formale di sistemi complessi" (WOA 2005), 14-16 November 2005
Mirko Viroli, Alessandro Ricci, Andrea Omicini
An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts
4th International Joint Conference "Autonomous Agents & Multi-Agent Systems" (AAMAS 2005), 25-29 July 2005
Luca Tummolini, Cristiano Castelfranchi, Alessandro Ricci, Mirko Viroli, Andrea Omicini
“Exhibitionists” and “Voyeurs” do it better: A Shared Environment Approach for Flexible Coordination with Tacit Messages
Environments for Multi-Agent Systems. Lecture Notes in Artificial Intelligence 3374, February 2005
Luca Gardelli, Mirko Viroli, Andrea Omicini
On the Role of Simulations in Engineering Self-Organizing MAS: the Case of an Intrusion Detection System in TuCSoN
3rd International Workshop "Engineering Self-Organising Applications" (ESOA 2005), 26 July 2005
Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
Cognitive Stigmergy: A Framework Based on Agents and Artifacts
3rd European Workshop on Multi-Agent Systems (EUMAS 2005), 7-8 December 2005
Mirko Viroli, Andrea Omicini, Alessandro Ricci
An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts
AI*IA 2005: Advances in Artificial Intelligence. Lecture Notes in Computer Science 3673, 21-23 September 2005
Alessandro Ricci, Mirko Viroli, Andrea Omicini
Programming MAS with Artifacts
3rd International Workshop “Programming Multi-Agent Systems” (PROMAS 2005), 26 July 2005
Mirko Viroli, Alessandro Ricci
Agent Interaction Semantics by Timed Operating Instructions
Agent Communication. Lecture Notes in Artificial Intelligence 3396, January 2005
(12 papers in proceedings in 2005)
2004
Andrea Omicini, Alessandro Ricci, Mirko Viroli, Giovanni Rimassa
Integrating Objective & Subjective Coordination in Multi-Agent Systems
19th ACM Symposium on Applied Computing (SAC 2004), 14-17 March 2004
Ronaldo Menezes, Andrea Omicini, Mirko Viroli
On the Semantics of Coordination Models for Distributed Systems: The LogOp Case Study
Proceedings of FOCLASA 2003, the Foundations of Coordination Languages and Software Architectures, a satellite event of CONCUR 2003. Electronic Notes in Theoretical Computer Science 97, 22 July 2004
Alessandro Ricci, Mirko Viroli, Andrea Omicini
Agent Coordination Context: From Theory to Practice
Cybernetics and Systems 2004, 13-16 April 2004
Luca Tummolini, Cristiano Castelfranchi, Alessandro Ricci, Mirko Viroli, Andrea Omicini
What I See is What You Say: Coordination in a Shared Environment with Behavioral Implicit Communication
International Workshop on Coordination in Emergent Agent Societies  (CEAS'04), 23-24 August 2004
Andrea Omicini, Alessandro Ricci, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini
Coordination Artifacts: Environment-based Coordination for Intelligent Agents
3rd international Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 19-23 July 2004
Mirko Viroli, Alessandro Ricci, Andrea Omicini
A Semantics for the Interaction of Agents with Coordination Artifacts
Cybernetics and Systems 2004, 13-16 April 2004
Alessandro Ricci, Mirko Viroli, Andrea Omicini
An RBAC Approach for Securing Access Control in a MAS Coordination Infrastructure
1st International Workshop "Safety and Security in MultiAgent Systems" (SASEMAS 2004), 20 July 2004
Mirko Viroli, Andrea Omicini
ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications
3rd International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'04), 30 August 2004
Andrea Omicini, Alessandro Ricci, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini
A Conceptual Framework for Self-Organising MAS
AI*IA/TABOO Joint Workshop "Dagli oggetti agli agenti: sistemi complessi e agenti razionali" (WOA 2004), 30 November - 1 December 2004
Alessandro Ricci, Mirko Viroli, Andrea Omicini
Role-Based Access Control in MAS using Agent Coordination Contexts
1st International Workshop "Agent Organizations: Theory and Practice" (AOTP'04), 25 July 2004
(10 papers in proceedings in 2004)
2003
Andrea Omicini, Alessandro Ricci, Giovanni Rimassa, Mirko Viroli
Integrating Objective & Subjective Coordination in FIPA: A Roadmap to TuCSoN
AI*IA/TABOO Joint Workshop "Dagli oggetti agli agenti: sistemi intelligenti e computazione pervasiva'' (WOA 2003), 10-11 September 2003
Andrea Omicini, Alessandro Ricci, Mirko Viroli
Formal Specification and Enactment of Security Policies through Agent Coordination Contexts
SecCo'03, First International Workshop on Security Issues in Coordination Models, Languages, and Systems (Satellite Event for ICALP 2003). Electronic Notes in Theoretical Computer Science 85, August 2003
Mirko Viroli, Andrea Omicini
Coordination as a Service: Ontological and Formal Foundation
Foclasa 2002, Foundations of Coordination Languages and Software Architectures (Satellite Workshop of CONCUR 2002). Electronic Notes in Theoretical Computer Science 68, March 2003
(3 papers in proceedings in 2003)
2002
Mirko Viroli, Alessandro Ricci
Tuple-based Coordination Models in Event-based Scenarios
22nd International Conference on Distributed Computing Systems, 2002
Mirko Viroli, Andrea Omicini
On the Grey-Box Modelling Approach for Autonomous Agents
8th AIxIA Convention (AIxIA 2002), Workshop "Agenti per la rappresentazione della conoscenza e il ragionamento", 11 September 2002
Ronaldo Menezes, Andrea Omicini, Mirko Viroli
Have ReSpecT for LogOp
AI*IA/TABOO Joint Workshop "Dagli oggetti agli agenti: dall'informazione alla conoscenza" (WOA 2002), 18-19 November 2002
Alessandro Ricci, Andrea Omicini, Mirko Viroli
Extending ReSpecT for Multiple Coordination Flows
International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'02), 24-27 July 2002
Mirko Viroli, Andrea Omicini
Towards an Alternative Semantics for FIPA ACL
Cybernetics and Systems 2002, 2-5 April 2002
Mirko Viroli, Andrea Omicini
Specifying Agent Observable Behaviour
1st International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002), 15-19 July 2002
Mirko Viroli, Andrea Omicini
Tuple-based Models in the Observation Framework
Coordination Models and Languages. Lecture Notes in Computer Science 2315, 2002
Mirko Viroli, Andrea Omicini
A Specification Language for Agents Observable Behaviour
International Conference on Artificial Intelligence (IC-AI'02), 24-27 July 2002
Mirko Viroli, Andrea Omicini, Alessandro Ricci
On the Expressiveness of Event-Based Coordination Media
International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'02), 24-27 July 2002
(9 papers in proceedings in 2002)
2001
Mirko Viroli, Andrea Omicini
Multi-Agent Systems as Composition of Observable Systems
AI*IA/TABOO Joint Workshop "Dagli oggetti agli agenti: tendenze evolutive dei sistemi software" (WOA 2001), 4-5 September 2001
Mirko Viroli, Gianluca Moro, Andrea Omicini
On Observation as a Coordination Pattern: An Ontology and a Formal Framework
SAC 2001, 11-14 March 2001
(2 papers in proceedings in 2001)
(182 papers in proceedings from 2000 to 2021)  [top]  [bottom]
Book Chapters
2019
Giancarlo Fortino, Barbara Re, Mirko Viroli, Franco Zambonelli
Fluidware: An Approach Towards Adaptive and Scalable Programming of the IoT
Models, Languages, and Tools for Concurrent and Distributed Programming, 2019
(1 book chapter in 2019)
2018
Roberto Casadei, Mirko Viroli
Programming Actor-Based Collective Adaptive Systems
Programming with Actors: State-of-the-Art and Research Perspectives. Lecture Notes in Computer Science 10789, 2018
(1 book chapter in 2018)
2014
Enrico Oliva, Peter McBurney, Andrea Omicini, Mirko Viroli
Argumentation and Artifacts for Negotiation Support
Negotiation and Argumentation in Multi-Agent Systems. Fundamentals, Theories, Systems and Applications, 2014
(1 book chapter in 2014)
2013
Jacob Beal, Stefan Dulman, Kyle Usbeck, Mirko Viroli, Nikolaus Correll
Organizing the Aggregate: Languages for Spatial Computing
Formal and Practical Aspects of Domain-Specific Languages: Recent Developments, 2013
(1 book chapter in 2013)
2012
Sara Montagna, Mirko Viroli
A Computational Framework for Multilevel Morphologies
Morphogenetic Engineering. Understanding Complex Systems, 2012
Mirko Viroli, Franco Zambonelli, Graeme Stevenson, Simon Dobson
From SOA to Pervasive Service Ecosystems: an approach based on Semantic Web technologies
Adaptive Web Services for Modular and Reusable Software Development: Tactics and Solution, 2012
(2 book chapters in 2012)
2011
Matteo Casadei, Marco Mamei, Cynthia Villalba, Mirko Viroli, Franco Zambonelli
Middleware Infrastructures for Self-organising Pervasive Computing Systems
Self-organising Software. Natural Computing Series, 2011
(1 book chapter in 2011)
2009
Andrea Omicini, Michele Piunti, Alessandro Ricci, Mirko Viroli
Agents, Intelligence, and Tools
Artificial Intelligence: An International Perspective. Lecture Notes in Computer Science 5640, 2009
Alessandro Ricci, Michele Piunti, Mirko Viroli, Andrea Omicini
Environment Programming in CArtAgO
Multi-Agent Programming II: Languages, Platforms and Applications. Multiagent Systems, Artificial Societies, and Simulated Organizations, June 2009
Luca Gardelli, Mirko Viroli, Andrea Omicini
Combining Simulation and Formal Tools for Developing Self-Organizing MAS
Multi-Agent Systems: Simulation and Applications. Computational Analysis, Synthesis, and Design of Dynamic Systems, June 2009
(3 book chapters in 2009)
2006
Andrea Omicini, Alessandro Ricci, Mirko Viroli
The Multidisciplinary Patterns of Interaction from Sciences to Computer Science
Interactive Computation: The New Paradigm, September 2006
(1 book chapter in 2006)
(11 book chapters from 2000 to 2021)  [top]  [bottom]
Edited Volumes
2013
Jean-Louis Giavitto, Stefan Dulman, Antoine Spicher, Mirko Viroli (eds.)
6th International Spatial Computing Workshop (SCW 2013)
SCW 2013, 6 May 2013
(1 edited volume in 2013)
2010
Andrea Omicini, Mirko Viroli (eds.)
WOA 2010 – Dagli oggetti agli agenti. Modelli e tecnologie per sistemi complessi: context-dependent, knowledge-intensive, nature-inspired e self-*
WOA 2010. CEUR Workshop Proceedings 621, 2010
(1 edited volume in 2010)
2001
Andrea Omicini, Mirko Viroli (eds.)
WOA 2001 — Dagli oggetti agli agenti: tendenze evolutive dei sistemi software
(1 edited volume in 2001)
(3 edited volumes from 2000 to 2021)  [top]  [bottom]
Editorials / Introductions / Prefaces
2014
Jose Luis Fernandez-Marquez, Mirko Viroli, Gabriella Castelli
Best ACM SAC Articles on Coordination and Self-Adaptation
ACM Transactions on Autonomous and Adaptive Systems 9(2), July 2014
(1 editorial / introduction / preface in 2014)
2008
Canal Carlos, Pascal Poizat, Mirko Viroli
Preface
Proceedings of the 6th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2007). Electronic Notes in Theoretical Computer Science 194, 2008
(1 editorial / introduction / preface in 2008)
2007
Canal Carlos, Mirko Viroli
Preface
Proceedings of the 5th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2006). Electronic Notes in Theoretical Computer Science 175, 2007
(1 editorial / introduction / preface in 2007)
2006
Canal Carlos, Mirko Viroli
Preface
Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2005). Electronic Notes in Theoretical Computer Science 154, 2006
(1 editorial / introduction / preface in 2006)
(4 editorials / introductions / prefaces from 2000 to 2021)  [top]  [bottom]
(271 publications from 2000 to 2021)

Tags:
    
Avatar

Publications / Viroli

Home
clouds
tags  |  co-authors  |  co-editors  |  journals
per sort & year
in journal  |  in proc  |  chapters  |  edited  |  editorials
2021  |  2020  |  2019  |  2018  |  2017  |  2016  |  2015  |  2014  |  2013  |  2012  |  2011  |  2010–2000
per status
online  |  in press  |  proof  |  camera-ready  |  revised  |  accepted  |  revision  |  submitted  |  draft  |  note
services
ACM Digital Library  |  DBLP  |  IEEE Xplore  |  IRIS  |  PubMed  |  Publons  |  Google Scholar  |  Scopus  |  Semantic Scholar  |  Web of Science  |  DOI

Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY