Per Sort

186 papers in proceedings  /  Mirko Viroli
 @inproceedings{spatiotemporaltuples-ecas2020,
    author = {Casadei, Roberto and Viroli, Mirko and Ricci, Alessandro},
    booktitle = {2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C)},
    doi = {10.1109/ACSOS-C51401.2020.00045},
    eisbn = {978-1-7281-8414-2},
    ieee = {9196218},
    isbn = {978-1-7281-8415-9},
    location = {Washington, DC, USA},
    month = sep,
    pages = {139--144},
    status = {Accepted with revision},
    title = {Collective Adaptive Systems as Coordination Media: The Case of Tuples in Space-Time},
    url = {https://ieeexplore.ieee.org/document/9196218},
    urlpdf = {https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=9196218},
    year = 2020
} 
 @inproceedings{10.1007/978-3-030-50029-0_13,
    address = {Cham},
    author = {Pianini, Danilo and Mariani, Stefano and Viroli, Mirko and Zambonelli, Franco},
    booktitle = {Coordination Models and Languages},
    doi = {10.1007/978-3-030-50029-0_13},
    editor = {Bliudze, Simon and Bocchi, Laura},
    isbn = {978-3-030-50029-0},
    pages = {193--210},
    publisher = {Springer International Publishing},
    status = {Published},
    title = {Time-Fluid Field-Based Coordination},
    url = {https://link.springer.com/chapter/10.1007/978-3-030-50029-0_13},
    year = 2020
} 
 @inproceedings{DBLP:conf/saso/PianiniCV19,
  author    = {Danilo Pianini and
               Roberto Casadei and
               Mirko Viroli},
  title     = {Security in Collective Adaptive Systems: {A} Roadmap},
  booktitle = {{IEEE} 4th International Workshops on Foundations and Applications
               of Self* Systems, FAS*W@SASO/ICCAC 2019, Umea, Sweden, June 16-20,
               2019},
  pages     = {86--91},
  year      = {2019},
  crossref  = {DBLP:conf/saso/2019fasw},
  url       = {https://doi.org/10.1109/FAS-W.2019.00034},
  doi       = {10.1109/FAS-W.2019.00034},
  timestamp = {Fri, 27 Dec 2019 21:28:14 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/saso/PianiniCV19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
} 
 @inproceedings{ZVFR-PERFOT2019,
  author    = {Zambonelli, Franco  and Viroli, Mirko and Fortino, Giancarlo and Re, Barbara},
  title     = {Towards Adaptive Flow Programming for the IoT: The Fluidware Approach},
  booktitle = {{IEEE} International Conference on Pervasive Computing and Communications
               Workshops, PerCom Workshops 2019, Kyoto, Japan, March 11-15, 2019},
  pages     = {549--554},
  year      = {2019},
  url       = {https://doi.org/10.1109/PERCOMW.2019.8730736},
  doi       = {10.1109/PERCOMW.2019.8730736},
  isbn      = {978-1-5386-9151-9}
} 
 @proceedings{,
	year = 2019,
	keywords = {Fluidware; IoT programming; coordination},
	status = {Published},
	venue_list = {--},
	series = {CEUR Workshop Proceedings},
	author = {Mariani, Stefano and Casadei, Roberto and Fornari, Fabrizio and Fortino, Giancarlo and Pianini, Danilo and Re, Barbara and Russo, Wilma and Savaglio, Claudio and Viroli, Mirko and Zambonelli, Franco},
	title = {Case studies for a new IoT programming paradigm: Fluidware},
	abstract = {A number of scientific and technological advancements enabled turning the Internet of Things vision into reality. However, there is still a bottleneck in designing and developing IoT applications and services: each device has to be programmed individually, and services are deployed to specific devices. The Fluidware approach advocates that to
truly scale and raise the level of abstraction a novel perspective is needed, focussing on device ensembles and dynamic allocation of resources. In this paper, we motivate the need for such a paradigm shift through three
case studies emphasising a mismatch between state of art solutions and desired properties to achieve},
	volume = 2502} 
 @inproceedings{ADDSVW-BDSVA2019,
 author = {Ali, Shaukat and Damiani, Ferruccio and Dustdar, Schahram and Sanseverino, Marialuisa and Viroli, Mirko and Weyns, Danny},
 title = {Big Data from the Cloud to the Edge: The Aggregate Computing Solution},
 booktitle = {Proceedings of the 13th European Conference on Software Architecture - Volume 2},
 series = {ECSA '19},
 year = {2019},
 isbn = {978-1-4503-7142-1},
 location = {Paris, France},
 pages = {177--180},
 numpages = {4},
 url = {http://doi.acm.org/10.1145/3344948.3344988},
 doi = {10.1145/3344948.3344988},
 acm = {3344988},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {adaptation, dependability, formal methods},
} 
 
 @inproceedings{CPVN-COORD2019,
  author    = {Casadei, Roberto and Pianini, Danilo and Viroli, Mirko  and Natali, Antonio },
  title     = {Self-organising Coordination Regions: {A} Pattern for Edge Computing},
  booktitle = {Coordination Models and Languages, Proceedings},
  pages     = {182--199},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-22397-7\_11},
  doi       = {10.1007/978-3-030-22397-7\_11},
  editor    = {Riis Nielson, Hanne and Tuosto, Emilio},
  series    = {Lecture Notes in Computer Science},
  volume    = {11533},
  publisher = {Springer}
}
 
 @inproceedings{ABDPV-COORD2019,
  author    = {Audrito, Giorgio  and Beal, Jacob and Damiani, Ferruccio  and Pianini, Danilo and Viroli, Mirko},
  title     = {The share Operator for Field-Based Coordination},
  booktitle = {Coordination Models and Languages, Proceedings},
  pages     = {54--71},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-22397-7\_4},
  doi       = {10.1007/978-3-030-22397-7\_4},
  editor    = {Riis Nielson, Hanne and Tuosto, Emilio},
  volume    = {11533},
  series    = {Lecture Notes in Computer Science},
  volume    = {11533},
  publisher = {Springer}
}
 
 @inproceedings{DBLP:conf/saso/CasadeiPSV19,
  author    = {Roberto Casadei and
               Danilo Pianini and
               Guido Salvaneschi and
               Mirko Viroli},
  title     = {On Context-Orientation in Aggregate Programming},
  booktitle = {{IEEE} 4th International Workshops on Foundations and Applications
               of Self* Systems, FAS*W@SASO/ICCAC 2019, Umea, Sweden, June 16-20,
               2019},
  pages     = {92--97},
  year      = {2019},
  crossref  = {DBLP:conf/saso/2019fasw},
  url       = {https://doi.org/10.1109/FAS-W.2019.00035},
  doi       = {10.1109/FAS-W.2019.00035},
  timestamp = {Fri, 27 Dec 2019 21:28:14 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/saso/CasadeiPSV19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
} 
 @inproceedings{AVDPB-FORTE2019,
  author    = {Audrito, Giorgio and Viroli, Mirko and Damiani, Ferruccio and Pianini, Danilo and Beal, Jacob},
  title     = {On a Higher-Order Calculus of Computational Fields},
  booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
               - 39th {IFIP} {WG} 6.1 International Conference, {FORTE} 2019, Held
               as Part of the 14th International Federated Conference on Distributed
               Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June
               17-21, 2019, Proceedings},
  pages     = {289--292},
  year      = {2019},
  publisher = {Springer},
  url       = {https://doi.org/10.1007/978-3-030-21759-4\_17},
  doi       = {10.1007/978-3-030-21759-4\_17},
  editor    = {P{\'{e}}rez, Jorge A. and
               Yoshida, Nobuko},
  series    = {Lecture Notes in Computer Science},
  volume    = {11535},
  isbn      = {978-3-030-21758-7},
} 
 @inproceedings{CV-FMEC2019, 
author={Casadei, Roberto AND Viroli, Mirko}, 
booktitle={2019 Fourth International Conference on Fog and Mobile Edge Computing (FMEC)}, 
title={Coordinating Computation at the Edge: a Decentralized, Self-Organizing, Spatial Approach}, 
year={2019}, 
volume={}, 
number={}, 
pages={60-67}, 
keywords={edge computing;self-organization;decentralized computing;spatial computing;distributed coordination}, 
doi={10.1109/FMEC.2019.8795355}, 
ISSN={}, 
month={June}}
 
 @inproceedings{CVAPD-COORD2019,
	Author = {Casadei, Roberto and Viroli, Mirko and Audrito, Giorgio and Pianini, Danilo and Damiani, Ferruccio},
	Booktitle = {Coordination Models and Languages},
	Doi = {10.1007/978-3-030-22397-7_12},
	Editor = {Riis Nielson, Hanne and Tuosto, Emilio},
	Note = {21st {IFIP} {WG} 6.1 International Conference, {COORDINATION} 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings},
	Pages = {200--217},
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {Aggregate Processes in Field Calculus},
	Url = {http://link.springer.com/10.1007978-3-030-22397-7_12},
	Volume = 11533,
	Year = 2019} 
 @inproceedings{CTVD-SCC2019,
author={Casadei, Roberto and Tsigkanos, Christos and Viroli, Mirko and Dustdar, Schahram},
booktitle={2019 IEEE International Conference on Services Computing (SCC)},
title={Engineering Resilient Collaborative Edge-Enabled IoT},
year={2019},
volume={},
number={},
pages={36-45},
keywords={self organization;situated problem solving;decentralized coordination;collective intelligence;edge computing},
doi={10.1109/SCC.2019.00019},
ISSN={2474-2473},
month={July}}  
 @inproceedings{ABDV-AAMAS2019,
 author = {Audrito, Giorgio and Bergamini, Sergio and Damiani, Ferruccio and Viroli, Mirko},
 title = {Effective Collective Summarisation of Distributed Data in Mobile Multi-Agent Systems},
 booktitle = {Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems},
 series = {AAMAS '19},
 year = {2019},
 isbn = {978-1-4503-6309-9},
 location = {Montreal QC, Canada},
 pages = {1618--1626},
 numpages = {9},
 url = {http://dl.acm.org/citation.cfm?id=3306127.3331882},
 acm = {3331882},
 publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
 address = {Richland, SC},
 keywords = {adaptive algorithm, aggregate programming, computational field, data aggregation, gradient},
}  
 @inproceedings{ADV-ALP4IOT2018,
  author    = {Audrito, Giorgio and Damiani, Ferruccio and Viroli, Mirko},
  title     = {Aggregate Graph Statistics},
  booktitle = {Proceedings First Workshop on Architectures, Languages and Paradigms for IoT, ALP4IoT at iFM 2017, Turin, Italy, September 18, 2017.},
  pages     = {18--22},
  year      = {2017},
  url       = {https://doi.org/10.4204/EPTCS.264.2},
  doi       = {10.4204/EPTCS.264.2},
  editor    = {Pianini, Danilo and Salvaneschi, Guido},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {264},
  year      = {2018}
} 
 @inproceedings{blockchain-goodtechs2018,
    acm = {10.1145/3284869.3284870},
    address = {New Work, NY, USA},
    author = {Pianini, Danilo and Ciatto, Giovanni and Casadei, Roberto and Mariani, Stefano and Viroli, Mirko and Omicini, Andrea},
    booktitle = {GOODTECHS'18 -- Proceedings of the 4th EAI International Conference on Smart Objects and Technologies for Social Good},
    dblp = {conf/goodtechs/PianiniCC0VO18},
    doi = {10.1145/3284869.3284870},
    iris = {11585/655097},
    keywords = {Aggregate Programming, blockchain, security, Byzantine fault tolerance},
    location = {Bologna, Italy},
    month = nov,
    pages = {271--276},
    publisher = {ACM},
    scholar = {3798219571928546753},
    scopus = {2-s2.0-85061088949},
    title = {Transparent Protection of Aggregate Computations from {B}yzantine Behaviours via Blockchain},
    url = {http://dl.acm.org/citation.cfm?doid=3284870},
    wos = {000470918900046},
    year = 2018
} 
 @inproceedings{VBDACP-COORDNATION2018,
  author    = {Viroli, Mirko  and
               Beal, Jacob  and
                Damiani, Ferruccio and
               Audrito, Giorgio  and
               Casadei, Roberto  and
               Pianini, Danilo },
  title     = {From Field-Based Coordination to Aggregate Computing},
  booktitle = {Coordination Models and Languages - 20th {IFIP} {WG} 6.1 International
               Conference, {COORDINATION} 2018, Held as Part of the 13th International
               Federated Conference on Distributed Computing Techniques, DisCoTec
               2018, Madrid, Spain, June 18-21, 2018. Proceedings},
  editor    = {Di Marzo Serugendo, Giovanna  and
                Loreti, Michele},
  series    = {Lecture Notes in Computer Science},
  volume    = {10852},
  publisher = {Springer},
  pages     = {252--279},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-92408-3_12},
  doi       = {10.1007/978-3-319-92408-3_12},
} 
 @inproceedings{FRSVZ-WFIOT2018,
  author    = {Fortino, Giancarlo and Russo, Wilma and Savaglio, Claudio and Viroli, Mirko and Zhou, MengChu},
  title     = {Opportunistic cyberphysical services: {A} novel paradigm for the future
               Internet of Things},
  booktitle = {4th {IEEE} World Forum on Internet of Things, WF-IoT 2018, Singapore,
               February 5-8, 2018},
  pages     = {488--492},
  year      = {2018},
  url       = {https://doi.org/10.1109/WF-IoT.2018.8355174},
  doi       = {10.1109/WF-IoT.2018.8355174}
} 
 @InProceedings{CAV-FOCLASA2017-LNCS10729,
author={Casadei, Roberto and Aldini, Alessandro and Viroli, Mirko},
editor={Cerone, Antonio and Roveri, Marco},
title={Combining Trust and Aggregate Computing},
booktitle={Software Engineering and Formal Methods},
year={2018},
publisher={Springer International Publishing},
  series    = {Lecture Notes in Computer Science},
  volume    = {10729},
pages={507--522},
abstract={Recent trends such as the Internet of Things and pervasive computing demand for novel engineering approaches able to support the specification and scalable runtime execution of adaptive behaviour of large collections of interacting devices. Aggregate computing is one such approach, formally founded in the field calculus, which enables programming of device aggregates by a global stance, through a functional composition of self-organisation patterns that is turned automatically into repetitive local computations and gossip-like interactions. However, the logically decentralised and open nature of such algorithms and systems presumes a fundamental cooperation of the devices involved: an error in a device or a focused attack may significantly compromise the computation outcome and hence the algorithms built on top of it. We propose trust as a framework to detect, ponder or isolate voluntary/involuntary misbehaviours, with the goal of mitigating the influence on the overall computation. To better understand the fragility of aggregate systems in face of attacks and investigate possible countermeasures, in this paper we consider the paradigmatic case of the gradient algorithm, analysing the impact of offences and the mitigation afforded by the adoption of trust mechanisms.},
isbn={978-3-319-74781-1}
} 
 @inproceedings{casadei2018ecas,
	booktitle = {2018 IEEE 3rd International Workshops on Foundations and Applications of Self* Systems (FAS* W)},
	year = 2018,
	status = {Published},
	author = {Casadei, Roberto and Viroli, Mirko},
	title = {Collective Abstractions and Platforms for Large-Scale Self-Adaptive IoT},
	pages = {106--111},
	doi = {10.1109/FAS-W.2018.00033}} 
 @INPROCEEDINGS{ADVB-RTSS2018, 
author={Audrito, Giorgio and Damiani, Ferruccio and Viroli, Mirko and Bini, Enrico}, 
booktitle={2018 IEEE Real-Time Systems Symposium (RTSS)}, 
title={Distributed Real-Time Shortest-Paths Computations with the Field Calculus}, 
year={2018}, 
volume={}, 
number={}, 
pages={23-34}, 
keywords={Calculus;Aggregates;Programming;Computational modeling;Real-time systems;Sensors;Wireless sensor networks;aggregate computing;field calculus;shortest path;IoT;distributed systems}, 
doi={10.1109/RTSS.2018.00013}, 
ISSN={2576-3172}, 
month={Dec}} 
 @inproceedings{ABDV-COORDINATION2018,
  author    = {Audrito, Giorgio  and
               Beal, Jacob  and
                Damiani, Ferruccio and
               Viroli, Mirko },
  title     = {Space-Time Universality of Field Calculus},
  booktitle = {Coordination Models and Languages - 20th {IFIP} {WG} 6.1 International
               Conference, {COORDINATION} 2018, Held as Part of the 13th International
               Federated Conference on Distributed Computing Techniques, DisCoTec
               2018, Madrid, Spain, June 18-21, 2018. Proceedings},
  pages     = {1--20},
  year      = {2018},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {10852},
  url       = {https://doi.org/10.1007/978-3-319-92408-3_1},
  doi       = {10.1007/978-3-319-92408-3_1},
  editor    = {Di Marzo Serugendo, Giovanna  and
               Loreti, Michele }
} 
 @inproceedings{DobsonSASO2017,
  author    = {Pianini, Danilo and
               Dobson, Simon  and
               Viroli, Mirko},
  title     = {Self-Stabilising Target Counting in Wireless Sensor Networks Using
               Euler Integration},
  booktitle = {11th {IEEE} International Conference on Self-Adaptive and Self-Organizing
               Systems, {SASO} 2017, Tucson, AZ, USA, September 18-22, 2017},
  pages     = {11--20},
  year      = {2017},
  url       = {http://doi.ieeecomputersociety.org/10.1109/SASO.2017.10},
  doi       = {10.1109/SASO.2017.10},
  publisher = {{IEEE} Computer Society},
  isbn      = {978-1-5090-6555-4}
}
 
 @inproceedings{PianiniSASOTutorial2017,
  author    = {Pianini, Danilo and
               Beal, Jacob and
               Viroli, Mirko},
  title     = {Practical Aggregate Programming with Protelis},
  booktitle = {2nd IEEE International Workshops on Foundations and Applications
               of Self* Systems, FAS*W@SASO/ICCAC 2017, Tucson, AZ, USA, September
               18-22, 2017},
  pages     = {391--392},
  year      = {2017},
  url       = {http://doi.ieeecomputersociety.org/10.1109/FAS-W.2017.186},
  doi       = {10.1109/FAS-W.2017.186},
  timestamp = {Mon, 23 Oct 2017 12:54:11 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/saso/PianiniBV17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
} 
 @inproceedings{ACDV-SASO2017,
  author    = {Audrito, Giorgio and Casadei, Roberto and Damiani, Ferruccio and Viroli, Mirko},
  title     = {Compositional Blocks for Optimal Self-Healing Gradients},
  booktitle = {11th {IEEE} International Conference on Self-Adaptive and Self-Organizing
               Systems, {SASO} 2017, Tucson, AZ, USA, September 18-22, 2017},
  pages     = {91--100},
  year      = {2017},
  url       = {http://doi.ieeecomputersociety.org/10.1109/SASO.2017.18},
  doi       = {10.1109/SASO.2017.18},
  publisher = {{IEEE} Computer Society},
  isbn      = {978-1-5090-6555-4}
} 
 @inproceedings{spatialtuples-idc2016,
    author = {Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea and Mariani, Stefano and Croatti, Angelo and Pianini, Danilo},
    booktitle = {Intelligent Distributed Computing X. Proceedings of the 10th International Symposium on Intelligent Distributed Computing -- IDC 2016, Paris, France, October 10-12 2016},
    chapter = 12,
    dblp = {conf/idc/RicciVOMCP16},
    doi = {10.1007/978-3-319-48829-5_12},
    editor = {Badica, Costin and El Fallah Seghrouchni, Amal and Beynier, Aur{\'e}lie and Camacho, David and Herpson, C{\'e}dric and Hindriks, Koen and Novais, Paulo},
    eisbn = {978-3-319-48829-5},
    iris = {11585/586449},
    isbn = {978-3-319-48828-8},
    issn = {1860-949X},
    keywords = {Multi-Agent Systems, Space-based Coordination, Spatial Computing, Augmented/Mixed Reality},
    location = {Paris, France},
    pages = {121--130},
    publisher = {Springer},
    scopus = {2-s2.0-84992336025},
    series = {Studies in Computational Intelligence},
    title = {{S}patial {T}uples: Augmenting Physical Reality with Tuple Spaces},
    url = {http://link.springer.com/10.1007/978-3-319-48829-5_12},
    volume = 678,
    wos = {000398722900012},
    year = 2017
} 
 @inproceedings{FranciaECAS17,
    author = {Francia, Matteo and Pianini, Danilo and Beal, Jacob and Viroli, Mirko},
    booktitle = {2nd {IEEE} International Workshops on Foundations and Applications},
    dblp = {conf/saso/FranciaPBV17},
    doi = {10.1109/FAS-W.2017.116},
    pages = {27--32},
    timestamp = {Mon, 23 Oct 2017 12:54:11 +0200},
    title = {Towards a Foundational {API} for Resilient Distributed Systems Design},
    url = {http://doi.ieeecomputersociety.org/10.1109/FAS-W.2017.116},
    year = 2017
} 
 @inproceedings{iot-woa2017,
    author = {Fortino, Giancarlo and Russo, Wilma and Savaglio, Claudio and Viroli, Mirko and Zhou, MengChu},
    booktitle = {WOA 2017 -- 18th Workshop ``From Objects to Agents''},
    chapter = 16,
    editor = {De Meo, Pasquale and Postorino, Maria Nadia and Rosaci, Domenico and Sarnè, Giuseppe M.L.},
    issn = {1613-0073},
    keywords = {Internet of Things; Cyberphysical Services; Modelling},
    month = jun,
    numpages = 4,
    pages = {90--95},
    publisher = {Sun SITE Central Europe, RWTH Aachen University},
    series = {CEUR Workshop Proceedings},
    subseries = {AI*IA Series},
    title = {Modeling Opportunistic IoT Services in Open IoT Ecosystems},
    url = {http://ceur-ws.org/Vol-1867/w16.pdf},
    urlopenaccess = {http://ceur-ws.org/Vol-1867/w16.pdf},
    urlpdf = {http://ceur-ws.org/Vol-1867/w16.pdf},
    volume = 1867,
    year = 2017
} 
 @inproceedings{ADV-COORD2017-LNCS10319,
  author    = {Audrito, Giorgio and
               Damiani, Ferruccio  and
               Viroli, Mirko },
  title     = {Optimally-Self-Healing Distributed Gradient Structures Through Bounded
               Information Speed},
  booktitle = {Coordination Models and Languages - 19th {IFIP} {WG} 6.1 International
               Conference, {COORDINATION} 2017, Held as Part of the 12th International
               Federated Conference on Distributed Computing Techniques, DisCoTec
               2017, Neuch{\^{a}}tel, Switzerland, June 19-22, 2017, Proceedings},
  pages     = {59--77},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-59746-1_4},
  editor    = {Jacquet, Jean{-}Marie  and
               Massink, Mieke },
  series    = {Lecture Notes in Computer Science},
  volume    = {10319},
  publisher = {Springer},
  isbn      = {978-3-319-59745-4},
  note      = {Best paper at Coordination 2017}
}
 
 @inproceedings{aggregatescala-pmldc2016,
	acm = {2957372},
	Address = {New York, NY, USA},
	Articleno = {5},
	Author = {Casadei, Roberto and Viroli, Mirko},
	Booktitle = {1st Workshop on Programming Models and Languages for Distributed Computing (PMLDC '16)},
	Doi = {10.1145/2957319.2957372},
	Isbn = {978-1-4503-4775-4},
	Keywords = {DSL, Scala, aggregate programming, complex adaptive systems, distributed platform},
	Location = {Rome, Italy},
	Month = {17}}},
	Publisher = {ACM},
	Title = {Towards Aggregate Programming in {S}cala},
	Url = {http://doi.acm.org/10.1145/2957319.2957372},
	Year = 2016} 
 @inproceedings{GossipingCoordination2016,
  author    = {Pianini, Danilo and
               Beal, Jacob and
               Viroli, Mirko},
  title     = {Improving Gossip Dynamics Through Overlapping Replicates},
  booktitle = {Coordination Models and Languages - 18th {IFIP} {WG} 6.1 International
               Conference, {COORDINATION} 2016, Held as Part of the 11th International
               Federated Conference on Distributed Computing Techniques, DisCoTec
               2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings},
  pages     = {192--207},
  year      = {2016},
  url       = {http://dx.doi.org/10.1007/978-3-319-39519-7_12},
  doi       = {10.1007/978-3-319-39519-7_12},
  editor    = {Alberto Lluch Lafuente and
               Jos{\'{e}} Proen{\c{c}}a},
  series    = {Lecture Notes in Computer Science},
  volume    = {9686},
  publisher = {Springer},
  year      = {2016},
  url       = {http://dx.doi.org/10.1007/978-3-319-39519-7},
  doi       = {10.1007/978-3-319-39519-7},
  isbn      = {978-3-319-39518-0}
}
 
 @INPROCEEDINGS{AFVC-ECAS2016,
  author    = {Audrito, Giorgio and Damiani, Ferruccio and Viroli, Mirko and Casadei, Roberto},
  title     = {Run-Time Management of Computation Domains in Field Calculus},
  booktitle = {2016 {IEEE} 1st International Workshops on Foundations and Applications
               of Self* Systems (FAS*W), Augsburg, Germany, September 12--16, 2016},
  pages     = {192--197},
  year      = 2016,
  url       = {https://doi.org/10.1109/FAS-W.2016.50},
  doi       = {10.1109/FAS-W.2016.50},
  editor    = {Elnikety, Sameh and Lewis, Peter R.  and M{\"{u}}ller{-}Schloer, Christian},
  isbn      = {978-1-5090-3651-6}
}
 
 @inproceedings{viroli-ecas2016,
    author = {Viroli, Mirko and Antonio Bucchiarone and Pianini, Danilo and Jacob Beal},
    booktitle = {2016 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASO Workshops 2016, Augsburg, Germany, September 18-22, 2016},
    doi = {10.1109/FAS-W.2016.49},
    ieee = {7789466},
    title = {Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE},
    url = {https://ieeexplore.ieee.org/document/7789466},
    year = 2016
} 
 @inproceedings{AggregatecomputingVlsubicomp16,
 author = {Viroli, Mirko and Casadei, Roberto and Pianini, Danilo},
 title = {On Execution Platforms for Large-scale Aggregate Computing},
 booktitle = {Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing: Adjunct},
 series = {UbiComp '16},
 year = {2016},
 isbn = {978-1-4503-4462-3},
 location = {Heidelberg, Germany},
 pages = {1321--1326},
 numpages = {6},
 url = {http://doi.acm.org/10.1145/2968219.2979129},
 doi = {10.1145/2968219.2979129},
 acm = {2979129},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {aggregate computing, cloud computing, execution platforms, internet of things, large-scale systems},
} 
 @inproceedings{casadei-mass2016,
  author    = {Viroli, Mirko and Casadei, Roberto and Pianini, Danilo},
  title     = {Simulating Large-scale Aggregate MASs with Alchemist and Scala},
  booktitle = {Proceedings of the 2016 Federated Conference on Computer Science Systems, FedCSIS 2016, Gda{\'{n}}sk, Poland, September 11-14, 2016.},
  pages     = {1495--1504},
  editor = {Ganzha, Maria and Maciaszek, Leszek and Paprzycki, Marcin},
  month = {11-14 September},
  publisher = {IEEE Computer Society Press},
  address = {Gdansk, Poland},
  year      = {2016},
  status = {Published},
  url       = {http://dx.doi.org/10.15439/2016F407},
  doi       = {10.15439/2016F407},
  timestamp = {Tue, 18 Oct 2016 14:39:01 +0200},
  abstract = {Recent works in the context of large-scale adaptive systems, such as those based on opportunistic IoT-based applications, promote aggregate programming, a development approach for distributed systems in which the collectivity of devices is directly targeted, instead of individual ones. This makes the resulting behaviour highly insensitive to network size, density, and topology, and as such, intrinsically robust to failures and changes to working conditions (e.g., location of computational load, communication technology, and computational infrastructure). Most specifically, we argue that aggregate programming is particularly suitable for building models and simulations of complex large-scale reactive MASs. Accordingly, in this paper we describe SCAFI (Scala Fields), a Scala-based API and DSL for aggregate programming, and its integration with the ALCHEMIST simulator, and usage scenarios in the context of smart mobility.}
} 
 @INPROCEEDINGS{VBPB-ECAS2016,
  author    = {Viroli, Mirko and
               Bucchiarone, Antonio and
               Pianini, Danilo and
               Beal, Jacob},
  title     = {Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE},
  booktitle = {2016 {IEEE} 1st International Workshops on Foundations and Applications
               of Self* Systems (FAS*W), Augsburg, Germany, September 12-16, 2016},
  pages     = {186--191},
  year      = {2016},
  url       = {https://doi.org/10.1109/FAS-W.2016.49},
  doi       = {10.1109/FAS-W.2016.49},
  editor    = {Elnikety, Sameh and
               Lewis, Peter R. and
               M{\"{u}}ller{-}Schloer}, Christian}
  publisher = {{IEEE}},
  isbn      = {978-1-5090-3651-6}
  } 
 @Inproceedings{VB-FORECAST2016,
  author    = "Viroli, Mirko and Beal, Jacob",
  year      = "2016",
  title     = "Resiliency with Aggregate Computing: State of the Art and Roadmap",
  editor    = "ter Beek, Maurice H. and Loreti, Michele",
  booktitle = "{\rm Proceedings of the Workshop on}
               FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems,
               {\rm Vienna, Austria, 8 July 2016}",
  series    = "Electronic Proceedings in Theoretical Computer Science",
  volume    = "217",
  publisher = "Open Publishing Association",
  pages     = "5-18",
  doi       = "10.4204/EPTCS.217.3",
}
 
 @inproceedings{DBLP:conf/coordination/PianiniBV16,
  author    = {Pianini, Danilo and
               Beal, Jacob and
               Viroli, Mirko},
  title     = {Improving Gossip Dynamics Through Overlapping Replicates},
  booktitle = {Coordination Models and Languages - 18th {IFIP} {WG} 6.1 International
               Conference, {COORDINATION} 2016, Held as Part of the 11th International
               Federated Conference on Distributed Computing Techniques, DisCoTec
               2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings},
  pages     = {192--207},
  year      = {2016},
  url       = {http://dx.doi.org/10.1007/978-3-319-39519-7_12},
  doi       = {10.1007/978-3-319-39519-7_12},
  timestamp = {Wed, 25 May 2016 12:44:08 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/coordination/PianiniBV16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
} 
 @inproceedings{AggregateComputingSFM2016,
  author    = {Jacob Beal and
               Mirko Viroli},
  title     = {Aggregate Programming: From Foundations to Applications},
  booktitle = {Formal Methods for the Quantitative Evaluation of Collective Adaptive
               Systems - 16th International School on Formal Methods for the Design
               of Computer, Communication, and Software Systems, {SFM} 2016, Bertinoro,
               Italy, June 20-24, 2016, Advanced Lectures},
  pages     = {233--260},
  year      = {2016},
  url       = {http://dx.doi.org/10.1007/978-3-319-34096-8_8},
  doi       = {10.1007/978-3-319-34096-8\_8},
  editor    = {Marco Bernardo and
               Rocco De Nicola and
               Jane Hillston},
  series    = {Lecture Notes in Computer Science},
  volume    = {9700},
  publisher = {Springer},
  year      = {2016},
  isbn      = {978-3-319-34095-1}
}
 
 @article{SASO2016,
author    = {Jacob Beal and
               Mirko Viroli and
               Danilo Pianini and
               Ferruccio Damiani},
  title     = {Self-Adaptation to Device Distribution Changes},
  booktitle = {10th {IEEE} International Conference on Self-Adaptive and Self-Organizing
               Systems, {SASO} 2016, Augsburg, Germany, September 12-16, 2016},
  pages     = {60--69},
  year      = {2016},
  url       = {http://dx.doi.org/10.1109/SASO.2016.12},
  doi       = {10.1109/SASO.2016.12},
  editor    = {Giacomo Cabri and
               Gauthier Picard and
               Niranjan Suri},
  note = {Best paper of IEEE SASO 2016.},
	abstract = {A key problem when coordinating the behaviour of devices in situated networks (e.g., pervasive computing, smart cities, Internet of Things, wireless sensor networks) is adaptation to changes impacting network topology, density, and heterogeneity. Computational goals for such systems are often expressed in terms of geometric properties of the continuous environment in which the devices are situated, and the results of resilient computations should depend primarily on that continuous environment, rather than the particulars of how devices happen to be distributed through it. In this paper, we identify a new property of distributed algorithms, eventual consistency, which guarantees that computation selfstabilizes to a final state that approximates a predictable limit as the density and speed of devices increases. We then identify a large class of programs that are eventually consistent, building on prior results on the field calculus computational model to identify a class of self-stabilizing programs. Finally, we confirm through simulation of pervasive network scenarios that eventually consistent programs from this class can provide resilient behavior where programs that are only self-stabilizing fail badly.}} 
 @incollection{computationalfields-forte2015,
	Author = {Damiani, Ferruccio and Viroli, Mirko and Pianini, Danilo and Beal, Jacob},
	Booktitle = {Formal Techniques for Distributed Objects, Components, and Systems},
	Doi = {10.1007/978-3-319-19195-9_8},
	Editor = {Graf, Susanne and Viswanathan, Mahesh},
	Isbn = {978-3-319-19194-2},
	Pages = {113--128},
	Publisher = {Springer International Publishing},
	Series = {Lecture Notes in Computer Science},
	Title = {Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields},
	Url = {http://link.springer.com/10.1007/978-3-319-19195-9_8},
	Volume = 9039,
	Year = 2015} 
 @inproceedings{VR-EMAS2015,
    author = {Viroli, Mirko and Ricci, Alessandro},
    booktitle = {Engineering Multi-Agent Systems (EMAS 2015)},
    location = {Istanbul, Turkey},
    numpages = 13,
    title = {Towards agent aggregates: perspectives and challenges},
    year = 2015
} 
 @inproceedings{augmentedfields-icth2015,
    author = {Brunetti, Pietro and Croatti, Angelo and Ricci, Alessandro and Viroli, Mirko},
    booktitle = {Procedia Computer Science},
    dblp = {conf/euspn/BrunettiCRV15},
    doi = {10.1016/j.procs.2015.08.358},
    iris = {11585/538763},
    issn = {1877-0509},
    keywords = {Healthcare},
    location = {Berlin, Germany},
    month = sep,
    note = {The 6th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2015)/ The 5th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH-2015) / Affiliated Workshops},
    numpages = 8,
    pages = {392--399},
    publisher = {Elsevier Science B.V.},
    scopus = {2-s2.0-84954144309},
    series = {Procedia Computer Science},
    title = {Smart Augmented Fields for Emergency Operations},
    url = {http://www.sciencedirect.com/science/article/pii/S187705091502493X},
    urlpdf = {http://ac.els-cdn.com/S187705091502493X/1-s2.0-S187705091502493X-main.pdf?_tid=684d780e-20f7-11e6-ba1e-00000aacb361&acdnat=1464015946_6d656e32785b1aabe27fa5997b5dbbcb},
    volume = 63,
    wos = {000373842900051},
    year = 2015
} 
 @incollection{VPRBC-PRIMA2015,
    author = {Viroli, Mirko and Pianini, Danilo and Ricci, Alessandro and Brunetti, Pietro and Croatti, Angelo},
    booktitle = {PRIMA 2015: Principles and Practice of Multi-Agent Systems},
    dblp = {conf/prima/ViroliPRBC15},
    doi = {10.1007/978-3-319-25524-8_4},
    editor = {Chen, Qingliang and Torroni, Paolo and Villata, Serena and Hsu, Jane and Omicini, Andrea},
    iris = {11585/521212},
    isbn = {978-3-319-25523-1},
    keywords = {Spatial Computing; Aggregate Programming; Computational Fields},
    language = {English},
    pages = {49--64},
    publisher = {Springer International Publishing},
    scopus = {2-s2.0-84950323451},
    series = {Lecture Notes in Computer Science},
    title = {Multi-agent Systems Meet Aggregate Programming: Towards a Notion of Aggregate Plan},
    url = {http://dx.doi.org/10.1007/978-3-319-25524-8_4},
    volume = 9387,
    wos = {000367782600004},
    year = 2015
} 
 @article{aggregatecomputing-saso2015,
    abstract = {{Self-organising systems are notoriously difficult to engineer},
    author = {Viroli, Mirko and Beal, Jacob and Damiani, Ferruccio and Pianini, Danilo},
    booktitle = {Proceedings of the IEEE Conference on Self-Adaptive and Self-Organising Systems 2015 (SASO 2015)},
    doi = {10.1109/SASO.2015.16},
    ieee = {7306598},
    keywords = {Aggregate computing, computational fields, self-stabilisation},
    pages = {81--90},
    title = {Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields},
    url = {https://ieeexplore.ieee.org/document/7306598},
    year = 2015
} 
 @inproceedings{7306561,
  author={Pianini, Danilo and Croatti, Angelo and Ricci, Alessandro and Viroli, Mirko},
  booktitle={2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops}, 
  title={Computational Fields Meet Augmented Reality: Perspectives and Challenges}, 
  year=2015,
  pages={80--85},
  doi={10.1109/SASOW.2015.18},
  month=sep} 
 @proceedings{ProtelisSAC14,
	address = {Salamanca, Spain},
	author = {Pianini, Danilo and Viroli, Mirko and Beal, Jacob},
	booktitle = {Proceedings of the 30th Annual {ACM} Symposium on Applied Computing, Salamanca, Spain, April 13-17, 2015},
	doi = {10.1145/2695664.2695913},
	editor = {Wainwright, Roger L. and Corchado, Juan Manuel and Bechini, Alessio and Hong, Jiman},
	isbn = {978-1-4503-3196-8},
	pages = {1846--1853},
	publisher = {ACM},
	title = {Protelis: Practical Aggregate Programming},
	url = {http://doi.acm.org/10.1145/2695664.2695913},
	year = 2015} 
 @inproceedings{mirrorworlds-emas2015,
    acm = {10.1007/978-3-319-26184-3_11},
    author = {Ricci, Alessandro and Croatti, Angelo and Brunetti, Pietro and Viroli, Mirko},
    booktitle = {Engineering Multi-Agent Systems (EMAS 2015)},
    dblp = {conf/atal/RicciCBV15},
    doi = {10.1007/978-3-319-26184-3_11},
    iris = {11585/520878},
    location = {Istanbul, Turkey},
    numpages = 21,
    scopus = {2-s2.0-84951273866},
    title = {Programming Mirror-Worlds: An Agent-Oriented Programming Perspective},
    wos = {000367684000011},
    year = 2015
} 
 @inproceedings{fields-scw2014,
	Address = {AAMAS 2014, Paris, France},
	Author = {Beal, Jacob AND Viroli, Mirko AND Damiani, Ferruccio},
	Booktitle = {7th International Spatial Computing Workshop (SCW 2014)},
	Editor = {Giavitto, Jean-Louis and Dulman, Stefan and Spicher, Antoine and Viroli, Mirko},
	Keywords = {Computational Fields, Confluence, Functional Programming, Chemical rules}},
	Month = {6}}},
	Title = {Engineering Confluent Computational Fields: from Functions to Rewrite Rules},
	Year = 2014} 
 @INPROCEEDINGS{PianiniHPCS2014, 
author={Pianini, Danilo and Viroli, Mirko and Zambonelli, Franco and Ferscha, Alois}, 
booktitle={High Performance Computing Simulation (HPCS), 2014 International Conference on}, 
title={HPC from a self-organisation perspective: The case of crowd steering at the urban scale}, 
year={2014}, 
month={July}, 
pages={460-467}, 
keywords={Cities and towns;Computational modeling;Context;Global Positioning System;Legged locomotion;XML;Distribution;Self-Organisation;Situatedness}, 
doi={10.1109/HPCSim.2014.6903721},} 
 @inproceedings{BV-FOCAS2014,
  author    = {Jacob Beal and
               Mirko Viroli},
  title     = {Building Blocks for Aggregate Programming of Self-Organising Applications},
  booktitle = {Eighth {IEEE} International Conference on Self-Adaptive and Self-Organizing
               Systems Workshops, {SASOW} 2014, London, United Kingdom, September
               8-12, 2014},
  pages     = {8--13},
  year      = {2014},
  url       = {http://dx.doi.org/10.1109/SASOW.2014.6},
  doi       = {10.1109/SASOW.2014.6},
}
 
 @incollection{spatial-coordination2014,
    author = {Viroli, Mirko and Ferruccio Damiani},
    booktitle = {Coordination Languages and Models},
    doi = {10.1007/978-3-662-43376-8_11},
    editor = {Kühn, eva and Pugliese, Rosario},
    issn = {0302-9743},
    month = jun,
    note = {Proceedings of the 16th Conference on Coordination Models and Languages (Coordination 2014), Berlin (Germany), 3-5 June},
    pages = {163--178},
    publisher = {Springer-Verlag},
    series = {Lecture Notes in Computer Science},
    title = {A Calculus of Self-stabilising Computational Fields},
    url = {http://link.springer.com/10.1007/978-3-662-43376-8_11},
    volume = 8459,
    year = 2014
} 
 @inproceedings{sitrecognition-asensis2012,
	author={Stevenson, Graeme and Fernandez-Marquez, Jose Luis and Montagna, Sara and Rosi, Alberto and Ye, Juan and Tchao, Akla and Dobson, Simon and Serugendo, Giovanna Di Marzo and Viroli, Mirko}, 
	Booktitle = {Self-Adaptive and Self-Organizing Systems Workshops (SASOW)},
	Doi = {10.1109/SASOW.2012.46},
	Editor = {Pitt, Jeremy},
	Keywords = {bio-inspired, resource discovery, semantic matching},
	Isbn = {978-1-4673-5153-9},
        pdf-local = {PID2504559.pdf},
	Month = apr,
	Note = {2012 IEEE Sixth International Conference (SASOW 2012), Lyon, France, 10-14~} # sep # {~2012. Proceedings},
	Pages = {223--228},
	Publisher = {IEEE CS},
	Title = {Self-Organising Semantic Resource Discovery for Pervasive Systems},
	Year = 2013,
	} 
 @inproceedings{selfcomposition-scw2013,
    address = {AAMAS 2013, Saint Paul, Minnesota, USA},
    author = {Montagna, Sara and Viroli, Mirko},
    booktitle = {6th International Spatial Computing Workshop (SCW 2013)},
    editor = {Giavitto, Jean-Louis and Dulman, Stefan and Spicher, Antoine and Viroli, Mirko},
    month = {6}}},
    title = {Composing Gradients for a Context-Aware Navigation of Users in a Smart-City},
    year = 2013
} 
 @inproceedings{VC-ASENSIS2012,
	Author = {Casadei, Matteo and Viroli, Mirko},
	Booktitle = {Self-Adaptive and Self-Organizing Systems Workshops (SASOW)},
	Doi = {10.1109/SASOW.2012.42},
	Editor = {Pitt, Jeremy},
	Keywords = {Self-organisation patterns, computational fields, formal verification, pervasive service ecosystems},
	Isbn = {978-1-4673-5153-9},
	Month = apr,
	Note = {2012 IEEE Sixth International Conference (SASOW 2012), Lyon, France, 10-14~} # sep # {~2012. Proceedings},
	Pages = {199-204},
	Publisher = {IEEE CS},
	Title = {Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems},
	Year = 2013,
	abstract={Pervasive context-aware computing networks call for designing algorithms for information propagation and reconfiguration that promote self-adaptation, namely, which can guarantee - at least to a probabilistic extent - certain reliability and robustness properties in spite of unpredicted changes and conditions. The possibility of formally analysing their properties is obviously an essential engineering requirement, calling for general-purpose models and tools. As proposed in recent works, several such algorithms can be modelled by the notion of "computational field": a dynamically evolving spatial data structure mapping every node of the network to a data value. Based on this idea, as a contribution toward formally verifying properties of pervasive computing systems, in this article we propose a specification language to model computational fields, and a framework based on PRISM stochastic model checker explicitly targeted at supporting temporal property verification, exploited for quantitative analysis of systems running on networks composed of hundreds of nodes.}
}
 
 @incollection{sapereaose-emasI,
    acm = {10.5555/3100666.3100677},
    author = {Molesini, Ambra and Omicini, Andrea and Viroli, Mirko and Zambonelli, Franco},
    booktitle = {Engineering Multi-Agent Systems},
    chapter = 11,
    doi = {10.1007/978-3-642-45343-4_11},
    editor = {Cossentino, Massimo and El Fallah Seghrouchni, Amal and Winikoff, Michael},
    eisbn = {978-3-642-45343-4},
    iris = {11585/256515},
    isbn = {978-3-642-45342-7},
    issn = {0302-9743},
    month = dec,
    note = {1st International Workshop (EMAS 2013), Saint Paul, Minnesota, USA, 6--7~} # may # {~2013, Revised Selected Papers},
    pages = {196--214},
    publisher = {Springer Berlin Heidelberg},
    scopus = {2-s2.0-84893042546},
    series = {Lecture Notes in Computer Science},
    title = {Engineering Pervasive Multiagent Systems in {SAPERE}},
    url = {http://link.springer.com/10.1007/978-3-642-45343-4_11},
    volume = 8245,
    year = 2013
} 
 @inproceedings{SYDVM-ASENSIS2012,
	Author = {Stevenson, Graeme and Ye, Juan and Dobson, Simon and Viroli, Mirko and Montagna, Sara},
	Booktitle = {Self-Adaptive and Self-Organizing Systems Workshops (SASOW)},
	Doi = {10.1109/SASOW.2012.39},
	Editor = {Pitt, Jeremy},
	Keywords = {bio-inspired, resource discovery, semantic matching},
	Isbn = {978-1-4673-5153-9},
	Month = apr,
	Note = {2012 IEEE Sixth International Conference (SASOW 2012), Lyon, France, 10-14~} # sep # {~2012. Proceedings},
	Pages = {181-186},
	Publisher = {IEEE CS},
	Title = {Self-Organising Semantic Resource Discovery for Pervasive Systems},
	Year = 2013,
	abstract={Pervasive context-aware computing networks call for designing algorithms for information propagation and reconfiguration that promote self-adaptation, namely, which can guarantee - at least to a probabilistic extent - certain reliability and robustness properties in spite of unpredicted changes and conditions. The possibility of formally analysing their properties is obviously an essential engineering requirement, calling for general-purpose models and tools. As proposed in recent works, several such algorithms can be modelled by the notion of "computational field": a dynamically evolving spatial data structure mapping every node of the network to a data value. Based on this idea, as a contribution toward formally verifying properties of pervasive computing systems, in this article we propose a specification language to model computational fields, and a framework based on PRISM stochastic model checker explicitly targeted at supporting temporal property verification, exploited for quantitative analysis of systems running on networks composed of hundreds of nodes.}
}
 
 @inproceedings{sapereaose-emas2013,
    address = {AAMAS 2013, Saint Paul, Minnesota, USA},
    author = {Molesini, Ambra and Omicini, Andrea and Viroli, Mirko and Zambonelli, Franco},
    booktitle = {1st International Workshop ``Engineering Multi-Agent Systems'' (EMAS 2013)},
    editor = {Cossentino, Massimo and El Fallah Seghrouchni, Amal and Winikoff, Michael},
    iris = {11585/134364},
    month = {6--7}}},
    title = {Engineering Pervasive Multiagent Systems in {SAPERE}},
    year = 2013
} 
 @incollection{FieldCalculusFOCLASA2013,
	location = {Malaga, Spain},
	booktitle = {Advances in Service-Oriented and Cloud Computing},
	year = 2013,
	keywords = {Spatial Computing, Self-Organising Coordination, Core Calculus},
	pdf-local = {CR.pdf},
	status = {Published},
	venue_list = {--},
	url = {http://link.springer.com/book/10.1007/978-3-642-45364-9},
	editor = {Canal, Carlos and Villari, Massimo},
	series = {Communications in Computer and Information Science},
	eisbn = {978-3-642-45363-2},
	urlpdf = {http://link.springer.com/content/pdf/10.1007%2F978-3-642-45364-9_11.pdf},
	publisher = {Springer Berlin Heidelberg},
	author = {Viroli, Mirko AND Damiani, Ferruccio AND Beal, Jacob},
	chapter = 10,
	title = {A calculus of computation fields},
	note = {Pre-proceedings available at: {http://foclasa.lcc.uma.es/documents/foclasa2013-preproceedings.pdf}},
	abstract = {A number of recent works have investigated the notion of “computational fields” as a means of coordinating systems in distributed, dense and mobile environments such as pervasive computing, sensor networks, and robot swarms. We introduce a minimal core calculus meant to capture the key ingredients of languages that make use of computational fields: functional composition of fields, functions over fields, evolution of fields over time, construction of fields of values from neighbours, and restriction of a field computation to a sub-region of the network. This calculus can act as a core for actual implementation of coordination languages and models, as well as pave the way towards formal analysis of properties concerning expressiveness, self-stabilisation, topology independence, and relationships with the continuous space-time semantics of spatial computations.},
	pages = {114-128},
	address = {Berlin, Germany},
	volume = 393,
	doi = {10.1007/978-3-642-45364-9_11}} 
 @inproceedings{SemMatchingSAC2013,
  added-at = {2013-05-03T00:00:00.000+0200},
   Address = {Coimbra, Portugal},
  author = {Stevenson, Graeme and Ye, Juan and Dobson, Simon and Pianini, Danilo and Montagna, Sara and Viroli, Mirko},
  biburl = {http://www.bibsonomy.org/bibtex/2613dab41c555c320e56d33a2e3d4bbed/dblp},
  booktitle = {SAC},
  crossref = {conf/sac/2013},
  editor = {Shin, Sung Y. and Maldonado, José Carlos},
  ee = {http://doi.acm.org/10.1145/2480362.2480619},
  interhash = {5a2917f1b1aa679519d2ed462bbcdb27},
  intrahash = {613dab41c555c320e56d33a2e3d4bbed},
  isbn = {978-1-4503-1656-9},
  keywords = {dblp},
  Month = {18--22}}},
  timestamp = {2013-05-03T00:00:00.000+0200},
  title = {Combining self-organisation, context-awareness and semantic reasoning: the case of resource discovery in opportunistic networks.},
  url = {http://dblp.uni-trier.de/db/conf/sac/sac2013.html#StevensonYDPMV13},
  year = 2013
}

 
 @inproceedings{fields-scw2013,
    address = {AAMAS 2013, Saint Paul, Minnesota, USA},
    author = {Viroli, Mirko},
    booktitle = {6th International Spatial Computing Workshop (SCW 2013)},
    editor = {Giavitto, Jean-Louis and Dulman, Stefan and Spicher, Antoine and Viroli, Mirko},
    keywords = {Computational Fields, Confluence, Functional Programming, Chemical rules},
    month = {6}}},
    title = {Engineering Confluent Computational Fields: from Functions to Rewrite Rules},
    year = 2013
} 
 @inproceedings{SapereSCW2012,
	Address = {Valencia, Spain},
	Author = {Viroli, Mirko and Stevenson, Graeme},
	Booktitle = {Workshop on Spatial Computing},
	Month = jun,
	Title = {On the Space-time Situation of Pervasive Service Ecosystems},
	Url = {http://www.spatial-computing.org/_media/scw12:scw12-virolistevenson.pdf},
        Note = {Informal Proceedings},
	Year = 2012}
 
 @inproceedings{montagna-sac12,
	booktitle = {Proceedings of the 27th Annual ACM Symposium on Applied Computing (SAC 2012) },
	publisher = {ACM},
	author = {Montagna, Sara and Pianini, Danilo and Viroli, Mirko},
	title = {A Model for Drosophila Melanogaster Development from a Single Cell to Stripe Pattern Formation},
	isbn = {978-1-4503-0857-1},
	year = 2012,
	status = {Published},
	pages = {1406--1412},
	venue = {SAC},
	editor = {Shin, Dongwan  and Hung, Chih-Cheng and Hong, Jiman},
	address = {Riva del Garda (Trento), Italy},
	month = {26-30 March}} 
 @inproceedings{modelchecking-woa2012,
	urlpdf = {http://ceur-ws.org/Vol-892/paper2.pdf},
	issn = {1613-0073},
	booktitle = {Proceedings of the 13th Workshop on Objects and Agents},
	publisher = {CEUR-WS},
	author = {Casadei, Matteo and Viroli, Mirko},
	title = {A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems},
	year = 2012,
	status = {Published},
	venue = {WOA},
	editor = {De Paoli, Flavio and Vizzari, Giuseppe},
	month = {12 September}} 
 @inproceedings{logop-sac2012,
    acm = {2232025},
    address = {Riva del Garda, TN, Italy},
    author = {Menezes, Ronaldo and Omicini, Andrea and Viroli, Mirko},
    booktitle = {27th ACM Symposium on Applied Computing (SAC 2012)},
    doi = {10.1145/2245276.2232025},
    editor = {Ossowski, Sascha and Lecca, Paola and Hung, Chih-Cheng and Hong, Jiman},
    iris = {11585/115125},
    isbn = {978-1-4503-0857-1},
    keywords = {Coordination models, Pervasive systems, LogOp, Linear logic},
    month = {26--30}}},
    scopus = {2-s2.0-84863558967},
    title = {Dynamic Composition of Coordination Abstractions for Pervasive Systems: The Case of {{\it\sffamily LogOp}}{}},
    url = {http://dl.acm.org/citation.cfm?id=2232025},
    volume = 2,
    year = 2012
} 
 @inproceedings{spatial-scw2012,
    author = {Viroli, Mirko and Stevenson, Graeme},
    booktitle = {Workshop on Spatial Computing},
    editor = {Beal, Jacob and Dulman, Stefan and Giavitto, Jean-Louis and Spicher, Antoine},
    iris = {11585/151873},
    keywords = {Pervasive Computing, Service Ecosystems, Spatial Computing},
    location = {Valencia, Spain},
    title = {On the Space-time Situation of Pervasive Service Ecosystems},
    year = 2012
} 
 @inproceedings{anticipativegradient-SASO12,
	location = {Lyon, France},
	booktitle = {Proceedings of 6th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2012)},
	author = {Montagna, Sara and Pianini, Danilo and Viroli, Mirko},
	title = {Gradient-based Self-organisation Patterns of Anticipative Adaptation},
	year = 2012,
	keywords = {Anticipative adaptation, Pervasive service ecosystem, Gradient pattern},
	venue = {SASO},
	month = {September},
        isbn = {978-0-7695-4851-7},
        doi = {10.1109/SASO.2012.25},
        ee = {http://doi.ieeecomputersociety.org/10.1109/SASO.2012.25},
        pages = {169--174}
} 
 @inproceedings{selfcomp-woa2012,
	urlpdf = {http://ceur-ws.org/Vol-892/paper1.pdf},
	issn = {1613-0073},
	booktitle = {Proceedings of the 13th Workshop on Objects and Agents},
	publisher = {CEUR-WS},
	author = {Montagna, Sara and Viroli, Mirko and Pianini, Danilo and Fernandez-Marquez, Jose Luis},
	title = {Towards a comprehensive approach to spontaneous self-composition in pervasive ecosystems},
	year = 2012,
	status = {Published},
	venue = {WOA},
	editor = {De Paoli, Flavio and Vizzari, Giuseppe},
	month = {12 September}} 
 @inproceedings{modelchecking-asensis2012,
	booktitle = {1st International Workshop on Adaptive Service Ecosystems: Natural and Socially Inspired Solutions (ASENSIS 2012)},
	publisher = {IEEE},
	author = {Casadei, Matteo and Viroli, Mirko},
	title = {Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems},
	year = 2012,
	note = {Pre-proceedings},
	abstract = {Pervasive context-aware computing networks call for designing algorithms for information propagation and reconfiguration that promote self-adaptation, namely, which can guarantee – at least to a probabilistic extent – certain reliability and robustness properties in spite of unpredicted changes and conditions. The possibility of formally analysing their properties is obviously an essential engineering requirement, calling for general-purpose models and tools.
As proposed in recent works, several such algorithms can be modelled by the notion of computational field: a dynamically evolving spatial data structure mapping every node of the network to a data value. Based on this idea, as a contribution toward formally verifying properties of pervasive computing systems, in this article we propose a specification language to model computational fields, and a framework based on PRISM stochastic model checker explicitly targeted at supporting temporal property verification, exploited for quantitative analysis of systems running on networks composed of hundreds of nodes.},
	pdf-local = {PID2504561.pdf},
	status = {Published},
	pages = {59-64},
	venue = {ASENSIS|SASOW},
	editor = {Fernandez-Marquez, José Luis and Montagna, Sara and Omicini, Andrea and Zambonelli, Franco},
	address = {SASO 2012, Lyon, France},
	month = {10 September},
	venue_e = {Events.Asensis2012}} 
 @inproceedings{sapereecolaws-sac2012,
	Address = {Riva del Garda, TN, Italy},
	Author = {Viroli, Mirko and Pianini, Danilo and Montagna, Sara and Stevenson, Graeme},
	Booktitle = {27th Annual ACM Symposium on Applied Computing (SAC 2012)},
	Doi = {10.1145/2245276.2245336},
	Editor = {Ossowski, Sascha and Lecca, Paola and Hung, Chih-Cheng and Hong, Jiman},
	Isbn = {978-1-4503-0857-1},
	Month = {26--30}}},
	Url = {http://dl.acm.org/citation.cfm?doid=2245276.2245336},
	Year = 2012} 
 @inCollection{SpatialCoordination2012,
	author = {Viroli, Mirko and Pianini, Danilo and Beal, Jacob},
	title = {Linda in space-time: an adaptive coordination model for mobile ad-hoc environments},
   booktitle = {Coordination Languages and Models},
   editor = {Sirjani, Marjan},
	volume =    7274,
   series =    {LNCS},
   year =      2012,
   month =     jun,
   publisher = {Springer-Verlag},
   pages =     {212--229},
	note = {Proceedings of the 14th Conference of Coordination Models and Languages (Coordination 2012),Stockholm (Sweden), 14-15 June},
   issn =      {0302-9743}
}
 
 @inproceedings{semmatch-asensis2012,
	Author = {Stevenson, Graeme and Viroli, Mirko and Ye, Juan and Montagna, Sara and Dobson, Simon},
	Address = {SASO 2012, Lyon, France},
	Booktitle = {1st International Workshop on Adaptive Service Ecosystems: Natural and Socially Inspired Solutions (ASENSIS 2012)},
	Editor = {Fernandez-Marquez, Jos\'e Luis and Montagna, Sara and Omicini, Andrea and Zambonelli, Franco},
	Month = {10}}},
	Title = {Self-organising Semantic Resource Discovery for Pervasive Systems},
	Year = 2012} 
 @inproceedings{spatialcomputing-sac11,
	Address = {Tunghai University, TaiChung, Taiwan},
	Author = {Viroli, Mirko and Beal, Jacob and Casadei, Matteo},
        Booktitle = {26th Annual ACM Symposium on Applied Computing (SAC 2011)},
        Editor = {Palakal, Mathew J. and Hung, Chih-Cheng and Chu, William and Wong, W. Eric},
        Isbn = {978-1-4503-0113-8},
        Month = {21--25}}},
	Title = {Core Operational Semantics of {P}roto},
	Volume = {II: Artificial Intelligence & Agents, Information Systems, and Software Development},
	Year = 2011} 
 @inproceedings{sapere-procedia7,
    address = {Budapest, Hungary},
    author = {Zambonelli, Franco and Castelli, Gabriella and Ferrari, Laura and Mamei, Marco and Rosi, Alberto and Di Marzo Serugendo, Giovanna and Risoldi, Matteo and Tchao, Akla-Esso and Dobson, Simon and Stevenson, Graeme and Ye, Yuan and Nardini, Elena and Omicini, Andrea and Montagna, Sara and Viroli, Mirko and Ferscha, Alois and Maschek, Sascha and Wally, Bernhard},
    booktitle = {Proceedings of the 2nd European Future Technologies Conference and Exhibition 2011 (FET 11)},
    doi = {10.1016/j.procs.2011.09.006},
    editor = {Giacobino, Elisabeth and Pfeifer, Rolf},
    iris = {11585/114963},
    issn = {1877-0509},
    keywords = {Self-awareness in Autonomic Systems; Pervasive Computing Service; Nature-inspired Computing},
    month = {4--6}}},
    scopus = {2-s2.0-84856490082},
    series = {Procedia Computer Science},
    title = {Self-aware Pervasive Service Ecosystems},
    url = {http://www.sciencedirect.com/science/article/pii/S1877050911005667},
    volume = 7,
    wos = {000299100900065},
    year = 2011
} 
 @inproceedings{sapere-saso11,
        Address = {Ann Arbor, Michigan, USA},
	Author = {Viroli, Mirko and Nardini, Elena and Castelli, Gabriella and Mamei, Marco and Zambonelli, Franco},
	Booktitle = {The 5th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2011)},
        Month = {3--8}}},
	Title = {Towards a Coordination Approach to Adaptive Pervasive Service Ecosystems},
	Year = 2011} 
 @inproceedings{logicartifacts-sac2011,
    acm = {1982378},
    address = {Taichun, Taiwan},
    author = {Sbaraglia, Marco and Casadei, Matteo and Viroli, Mirko},
    booktitle = {26th Annual ACM Symposium on Applied Computing (SAC 2011)},
    doi = {10.1145/1982185.1982378},
    keywords = {CArtAgO, coordination artifact, declarative coordination language},
    month = {21--25}}},
    title = {Programming Coordination Laws of Artifacts in CArtAgO},
    url = {http://apice.unibo.it/xwiki/bin/download/Publications/LogicArtifactSac2011},
    year = 2011
} 
 @inproceedings{pianini-mass2011,
	booktitle = {Proceedings of the Federated Conference on Computer Science and Information Systems (FedCSIS 2011)},
	publisher = {IEEE Computer Society Press},
	author = {Pianini, Danilo and  Montagna, Sara and Viroli, Mirko },
	title = {A Chemical Inspired Simulation Framework for Pervasive Services Ecosystems},
	isbn = {978-83-60810-22-4},
	year = 2011,
	status = {Published},
	pages = {667--674},
	venue = {MASS},
	editor = {Ganzha, Maria and Maciaszek, Leszek and Paprzycki, Marcin},
	address = {Szczecin, Poland},
	month = {18-21 September}} 
 @inproceedings{sapere-awaresaso11,
	Address = {SASO 2011, Ann Arbor, MI, USA},
	Author = {Viroli, Mirko and Nardini, Elena and Castelli, Gabriella and Mamei, Marco and Zambonelli, Franco},
	Booktitle = {2011 5th IEEE Conference on Self-Adaptive and Self-Organizing Systems Workshops (SASOW 2011)},
	Month = {7}}},
	Publisher = {IEEE CS},
	Title = {A Coordination Approach to Adaptive Pervasive Service Ecosystems},
	Url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?tp=&arnumber=6114584},
	Year = 2011} 
 @inproceedings{selforg-bads11,
	Address = {Karlsruhe, Germany},
	Author = {Fernandez-Marquez, Jose Luis and Arcos, Josep Lluis and Di Marzo Serugendo, Giovanna and Viroli, Mirko and Montagna, Sara},
	Booktitle = {3rd Workshop on Bio-Inspired and Self-* Algorithms for Distributed Systems},
	Month = {14}}},
	Year = 2011} 
 @inproceedings{sapere-woa2011,
	Address = {Rende, Italy},
	Author = {Viroli, Mirko and Nardini, Elena and Castelli, Gabriella and Mamei, Marco and Zambonelli, Franco},
	Booktitle = {WOA 2011 -- XII Workshop Nazionale "Dagli Oggetti agli Agenti"},
	Editor = {Fortino, Giancarlo and Garro, Alfredo and Palopoli, Luigi and Russo, Wilma and Spezzano, Giandomenico},
	Issn = {1613-0073},
	Month = {4-6}}},
	Series = {CEUR Workshop Proceedings},
	Title = {Coordinating Spatially-Situated Pervasive Service Ecosystems},
	Url = {http://ceur-ws.org/Vol-741/ID13_ViroliNardiniCastelliMameiZambonelli.pdf},
	Volume = 741,
	Year = 2011} 
 @inproceedings{fuzzycoord-sac11,
    acm = {10.1145/1982185.1982375},
    address = {Tunghai University, TaiChung, Taiwan},
    author = {Nardini, Elena and Omicini, Andrea and Viroli, Mirko},
    booktitle = {26th Annual ACM Symposium on Applied Computing (SAC 2011)},
    doi = {10.1145/1982185.1982375},
    editor = {Palakal, Mathew J. and Hung, Chih-Cheng and Chu, William and Wong, W. Eric},
    iris = {11585/102110},
    isbn = {978-1-4503-0113-8},
    month = {21--25}}},
    scopus = {2-s2.0-79959300590},
    title = {Description Spaces with Fuzziness},
    url = {http://dl.acm.org/citation.cfm?id=1982375},
    urlpdf = {http://delivery.acm.org/10.1145/1990000/1982375/p869-nardini.pdf},
    volume = {II: Artificial Intelligence \& Agents, Information Systems, and Software Development},
    year = 2011
} 
 @incollection{montagna-serene2011,
	Address = {Geneva, Switzerland},
	Author = {Montagna, Sara and Viroli, Mirko and Risoldi, Matteo and Pianini, Danilo and Di Marzo Serugendo, Giovanna},
	Booktitle = {3rd International Workshop on Software Engineering for Resilient Systems},
	Doi = {10.1007/978-3-642-24124-6_12},
	Keywords = {pervasive computing, software ecosystems, self-adaptation, self-organisation},
	Month = {29--30}}},
	Series = {Lecture Notes in Computer Science},
	Title = {Self-organising Pervasive Ecosystems: A Crowd Evacuation Example},
	Url = {http://www.springerlink.com/content/096hh324410xj820},
	Volume = 6968,
	Year = 2011}
 
 @inproceedings{pianini-woa2011,
	Address = {Rende, Italy},
	Author = {Pianini, Danilo and Viroli, Mirko and Montagna, Sara},
	Booktitle = {WOA 2011 -- XII Workshop Nazionale "Dagli Oggetti agli Agenti"},
	Editor = {Fortino, Giancarlo and Garro, Alfredo and Palopoli, Luigi and Russo, Wilma and Spezzano, Giandomenico},
	Issn = {1613-0073},
	Month = {4-6}}},
	Series = {CEUR Workshop Proceedings},
	Title = {A Simulation Framework for Pervasive Services Ecosystems},
	Url = {http://ceur-ws.org/Vol-741/ID15_PianiniViroliMontagna.pdf},
	Volume = 741,
	Year = 2011} 
 @article{Montagna2010115,
       Author = {Montagna, Sara and Viroli, Mirko},
       Title = {A Framework for Modelling and Simulating Networks of Cells},
       Journal = {Electronic Notes in Theoretical Computer Science},
       Volume = {268},
       Pages = {115--129},
       Month = dec,
       Note = {Proceedings of the 1st International Workshop on Interactions between Computer Science and Biology (CS2Bio'10)},
       Issn = {1571-0661},
       Doi = {10.1016/j.entcs.2010.12.009},
       Publisher = {Elsevier Science B.V.},
       Keyword = {Formal methods, Multi-level model, Developmental biology},
       Year = 2010} 
 @incollection{FormalAAPROMAS09,
	Author = {Ricci, Alessandro and Viroli, Mirko and Piunti, Michele},
	Booktitle = {Programming Multi-Agent Systems},
	Doi = {10.1007/978-3-642-14843-9_9},
	Editor = {Braubach, Lars and Briot, Jean-Pierre and Thangarajah, John},
	Isbn = {978-3-540-79042-6},
	Issn = {0302-9743},
	eissn = {1611-3349},
	Note = {7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009. Revised Selected Papers},
	Pages = {133--150},
	Publisher = {Springer},
	Series = {LNAI},
	Title = {Formalising the Environment in {MAS} Programming: A Formal Model for Artifact-Based Environments },
	Url = {http://www.springerlink.com/content/112756w186286622},
	Volume = 5919,
	Year = 2010} 
 @inproceedings{semcoord-sac10,
    address = {Sierre, Switzerland},
    author = {Nardini, Elena and Viroli, Mirko and Panzavolta, Emanuele},
    booktitle = {25th Annual ACM Symposium on Applied Computing (SAC 2010)},
    doi = {10.1145/1774088.1774515},
    editor = {Shin, Sung Y. and Ossowski, Sascha and Schumacher, Michael and Palakal, Mathew and Hung, Chih-Cheng and Shin, Dongwan},
    isbn = {978-1-60558-638-0},
    keywords = {Pervasive Computing, SemanticWeb, Description Logic, Semantic Tuple Space Computing, Semantic Tuple Centre, Co- ordination Infrastructure, TuCSoN, ReSpecT},
    month = {22--26}}},
    publisher = {ACM},
    title = {Coordination in Open and Dynamic Environments with TuCSoN Semantic Tuple Centres},
    url = {http://portal.acm.org/citation.cfm?id=1774515},
    volume = {III},
    year = 2010
} 
 @incollection{chemcoord-soarbook,
    author = {Viroli, Mirko and Casadei, Matteo and Nardini, Elena and Omicini, Andrea},
    booktitle = {Self-Organizing Architectures},
    chapter = 8,
    doi = {10.1007/978-3-642-14412-7_8},
    editor = {Weyns, Danny and Malek, Sam and de Lemos, Rogério and Andersson, Jesper},
    eissn = {1611-3349},
    iris = {11585/90749},
    isbn = {978-3-642-14411-0},
    issn = {0302-9743},
    month = jul,
    note = {1st International Workshop on Self-Organizing Architectures (SOAR 2009), Cambridge, UK, 14-17~} # sep # {~2009, Revised Selected and Invited Papers},
    pages = {152--176},
    publisher = {Springer Berlin Heidelberg},
    scopus = {2-s2.0-77955454179},
    series = {Lecture Notes in Computer Science},
    title = {Towards a Pervasive Infrastructure for Chemical-Inspired Self-organising Services},
    url = {http://link.springer.com/chapter/10.1007/978-3-642-14412-7_8},
    volume = 6090,
    wos = {000281987900008},
    year = 2010
} 
 @inproceedings{biochemicaltuplespace-sac10,
	Address = {Sierre, Switzerland},
	Author = {Viroli, Mirko and Casadei, Matteo},
	Booktitle = {25th Annual ACM Symposium on Applied Computing (SAC 2010)},
	Month = {22--26}}},
	Publisher = {ACM},
        url = {http://apice.unibo.it/xwiki/bin/download/Publications/BiochemicaltuplespaceSac10/VCZ%2DSAC%2D2010.pdf},
	Title = {Chemical-Inspired Self-Composition of Competing Services},
        Volume = {III},
        Isbn = {978-1-60558-638-0},
	Year = 2010} 
 @inproceedings{selforgwordnet-saso2010,
    acm = {10.1109/SASO.2010.35},
    address = {Budapest, Hungary},
    author = {Pianini, Danilo and Virruso, Sascia and Menezes, Ronaldo and Omicini, Andrea and Viroli, Mirko},
    booktitle = {4th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2010)},
    doi = {10.1109/SASO.2010.35},
    editor = {Gupta, Indranil and Hassas, Salima and Jerome, Rolia},
    eisbn = {978-0-7695-4232-4},
    ieee = {5630506},
    iris = {11585/93506},
    isbn = {978-1-4244-8537-6},
    month = {27}}},
    publisher = {IEEE CS},
    scopus = {2-s2.0-79952067343},
    title = {Self Organization in Coordination Systems using a {WordNet}-based Ontology},
    url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=5630506},
    urlpdf = {http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=5630506},
    year = 2010
} 
@inproceedings{sosc-woa2010, author = {Nardini, Elena and Viroli, Mirko and Casadei, Matteo and Omicini, Andrea}, booktitle = {WOA 2010 -- Dagli oggetti agli agenti. Modelli e tecnologie per sistemi complessi: context-dependent, knowledge-intensive, nature-inspired e self-*}, editor = {Omicini, Andrea and Viroli, Mirko}, iris = {11585/93511}, issn = {1613-0073}, location = {Rimini, Italy}, month = {5-7}}}, scopus = {2-s2.0-84868706553}, series = {CEUR Workshop Proceedings}, title = {A Self-Organising Infrastructure for Chemical-Semantic Coordination: Experiments in {{\sf TuCSoN, urlpdf = {http://CEUR-WS.org/Vol-621/paper17.pdf}, volume = 621, year = 2010 } }}}
 @inproceedings{modelchecking-sac09,
	Address = {Honolulu, Hawai'i, USA},
	Author = {Casadei, Matteo and Viroli, Mirko},
	Booktitle = {24th Annual ACM Symposium on Applied Computing (SAC 2009)},
	Editor = {Shin, Sung Y. and Ossowski, Sascha and Menezes, Ronaldo and Viroli, Mirko},
	Isbn = {978-1-60558-166-8},
	Month = {8--12}}},
	Title = {Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems},
	Volume = {III},
	Year = 2009}

 
 @incollection{biochemicaltuplespaces-coordination09,
	Address = {Lisbon, Portugal},
	Author = {Viroli, Mirko and Casadei, Matteo},
	Booktitle = {Coordination Languages and Models},
	Doi = {10.1007/978-3-642-02053-7_8},
	Editor = {Field, John and Vasconcelos, Vasco T.},
	Isbn = {978-3-642-02052-0},
	Issn = {0302-9743},
	Month = jun,
	Note = {11th International Conference (COORDINATION 2009), Lisbon, Portugal, } # jun # { 2009. Proceedings},
	Pages = {143--162},
	Publisher = {Springer},
	Series = {LNCS},
	Title = {Biochemical Tuple Spaces for Self-Organising Coordination},
	Url = {http://www.springerlink.com/content/jx783250031742uu/},
	Volume = 5521,
	Year = 2009} 
 @article{RVP-PROMAS09,
	series = {Lecture Notes Computer Science},
	booktitle = {Programming Multi-Agent Systems 7th International Workshop (ProMAS 2009) Revised Selected Papers},
	publisher = {Springer},
	author = {Ricci, Alessandro and Viroli, Mirko and Piunti, Michele},
	title = {Formalising the Environment in MAS Programming: a Formal Model},
	isbn = {978-3-642-14842-2},
	year = 2009,
	status = {Published},
	pages = {133--150},
	venue = {LNCS},
	volume = 5919,
	doi = {10.1007/978-3-642-14843-9}} 
 @inproceedings{DGRV-ICSOFT2009,
  editor    = {Shishkov, Boris and Cordeiro, Jos{\'e} and  Ranchordas, Alpesh},
  booktitle    = {ICSOFT 2009 - Proceedings of the 4th International Conference on Software and Data Technologies, Volume 1, Sofia, Bulgaria, July 26-29, 2009},
  publisher = {INSTICC Press},
  year      = {2009},
  isbn      = {978-989-674-009-2},
  author    = {Damiani, Ferruccio  and Giannini, Paola and Ricci, Alessandro and Viroli, Mirko},
  title     = {FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts},
  pages     = {218-225}} 
 @inproceedings{RPV-LADS09,
    author = {Ricci, Alessandro and Piunti, Michele and Viroli, Mirko},
    booktitle = {Proceedings of MALLOW 2009 federated workshops: LAnguages, methodologies and Development tools for multi-agent systemS (LADS 2009)},
    editor = {Dastani, Mehdi and Seghrouchni, Amal El Fallah and Leite, João and Torroni, Paolo},
    keywords = {Agents, Artifacts, Cognitive, Capabilities, Modularisation, Externalisation},
    month = {September},
    status = {Published},
    title = {Externalisation and Internalization: A New Perspective on Agent Modularisation in Multi-Agent Systems Programming},
    venue = {--},
    year = 2009
} 
 @inproceedings{acc-iat2009,
    acm = {1632219},
    author = {Nardini, Elena and Omicini, Andrea and Viroli, Mirko},
    booktitle = {The WI-IAT 2009 Workshops Proceedings},
    doi = {10.1109/WI-IAT.2009.335},
    eisbn = {978-1-4244-5331-3},
    ieee = {5285035},
    iris = {11585/82473},
    isbn = {978-0-7695-3801-3},
    keywords = {Agent Coordination Context; MAS Infrastructure; Coordination; TuCSoN; ReSpecT},
    location = {Milano, Italy},
    month = {15--18}}},
    publisher = {IEEE Computer Society},
    scholar = {4632009932343186181},
    scopus = {2-s2.0-84856824070},
    title = {General-Purpose Coordination Abstractions for Managing Interaction in {MAS}},
    url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=5285035},
    wos = {000279801400123},
    year = 2009
} 
 @inproceedings{bioframework-cec09,
	booktitle = {2009 IEEE Congress on Evolutionary Computation (CEC 2009)},
	publisher = {IEEE Computer Society Press},
	author = {Montagna, Sara and Viroli, Mirko},
	title = {A computational framework for modelling multicellular biochemistry},
	isbn = {978-1-4244-2959-2},
	year = 2009,
	status = {Published},
	pages = {2233--2240},
	venue = {--},
	address = {Trondheim, Norway },
	month = {18-21 May}} 
 @incollection{artifacts-argmasV,
    acm = {10.1007/978-3-642-00207-6_7},
    author = {Oliva, Enrico and Viroli, Mirko and Omicini, Andrea and McBurney, Peter},
    booktitle = {Argumentation in Multi-Agent Systems},
    chapter = 7,
    doi = {10.1007/978-3-642-00207-6_7},
    editor = {Rahwan, Iyad and Moraitis, Pavlos},
    eissn = {1611-3349},
    iris = {11585/82472},
    isbn = {978-3-642-00206-9},
    issn = {0302-9743},
    keywords = {Argumentation; Artifact; Dialogue; Multi-Agent Systems},
    month = feb,
    note = {4th International Workshop (ArgMAS 2008), Estoril, Portugal, 12~} # may # {~2008. Revised Selected and Invited Papers},
    pages = {107--121},
    part = {II},
    publisher = {Springer},
    scopus = {2-s2.0-61649095715},
    series = {Lecture Notes in Computer Science},
    subseries = {Lecture Notes in Artificial Intelligence},
    subtitle = {Fifth International Workshop, ArgMAS 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers},
    title = {Argumentation and Artifact for Dialog Support},
    url = {http://link.springer.com/10.1007/978-3-642-00207-6_7},
    volume = 5384,
    wos = {000266106900007},
    year = 2009
} 
 @inproceedings{probmodelchecking-cec09,
	booktitle = {IEEE Congress on Evolutionary Computation, 2009 (CEC 2009).},
	publisher = {IEEE Computer Society Press},
	author = {Casadei, Matteo and Viroli, Mirko},
	title = {An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing Systems},
	isbn = { 978-1-4244-2959-2},
	year = 2009,
	abstract = {The attention to self-organization as a feasible metaphor for dealing with the growing complexity of today's software systems is constantly growing. In particular, by adopting self-organization, systems can adapt to highly dynamic environments by local interaction among system's components. As a consequence, the global behavior of the system can be regarded as an emergent property since it appears by a process emerging from local interactions among components. The corresponding system dynamics is usually non-linear and complex so that the adoption of simulation and verification techniques in the early design stage becomes essential to carry out an effective design. Accordingly, in this paper we discuss a hybrid approach relying on stochastic simulation and probabilistic model checking and show a possible application on a problem called collective sort taken as a case study. To this end, the PRISM probabilistic model checker is adopted as a concrete tool for analyzing emergent properties of collective sort. Finally, a discussion of the corresponding results is provided.},
	status = {Published},
	pages = {1538-1545},
	venue = {--},
	month = {May, 18-21}} 
 @inproceedings{ecosystem-sac09,
	Address = {Honolulu, Hawai'i, USA},
	Author = {Viroli, Mirko and Zambonelli, Franco and Casadei, Matteo and Montagna, Sara},
	Booktitle = {24th Annual ACM Symposium on Applied Computing (SAC 2009)},
	Doi = {10.1145/1529282.1529556},
	Editor = {Shin, Sung Y. and Ossowski, Sascha and Menezes, Ronaldo and Viroli, Mirko},
	Isbn = {978-1-60558-166-8},
	Month = {8--12}}},
	Title = {A Biochemical Metaphor for Developing Eternally Adaptive Service Ecosystems},
	Url = {http://dl.acm.org/citation.cfm?id=1529556},
	Volume = {II},
	Year = 2009}
 
 @inproceedings{selforgcoord-sac09,
    acm = {1529585},
    author = {Viroli, Mirko and Casadei, Matteo and Omicini, Andrea},
    booktitle = {24th Annual ACM Symposium on Applied Computing (SAC 2009)},
    doi = {10.1145/1529282.1529585},
    editor = {Shin, Sung Y. and Ossowski, Sascha and Menezes, Ronaldo and Viroli, Mirko},
    iris = {11585/71835},
    isbn = {978-1-60558-166-8},
    location = {Honolulu, Hawai'i, USA},
    month = {8--12}}},
    scopus = {2-s2.0-68749114381},
    title = {A Framework for Modelling and Implementing Self-Organising Coordination},
    url = {http://dl.acm.org/citation.cfm?id=1529585},
    volume = {III},
    year = 2009
} 
 @inproceedings{collectivesort-coma08,
	venue = {Rome, Italy},
	title = {Collective Sort and Emergent Patterns of Tuple Distribution in Grid-Like Networks},
	booktitle = {17th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises. Workshop on Coordination Models and Applications (CoMA 2008)},
       Editor = {Nixon, Lyndon J. B. and Bortenschlager, Manfred and Simperl, Elena and Tolksdorf, Robert},
	Isbn={978-0-7695-3315-5},
	Month = {23--25}}},
	year = 2008,
	author = {Casadei, Matteo and Viroli, Mirko and Santarelli, Marco}}


 
 @inproceedings{artifacts-argmas08,
    address = {AAMAS 2008, Estoril, Portugal},
    author = {Oliva, Enrico and Viroli, Mirko and Omicini, Andrea and McBurney, Peter},
    booktitle = {5th International Workshop ``Argumentation in Multi-Agent Systems'' (ArgMAS 2008)},
    editor = {Rahwan, Iyad and Moraitis, Pavlos},
    iris = {11585/62593},
    month = {12}}},
    year = 2008
} 
 @incollection{aea-promasV,
    acm = {1793542},
    author = {Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea},
    booktitle = {Programming Multi-Agent Systems},
    doi = {10.1007/978-3-540-79043-3_6},
    editor = {Dastani, Mehdi and El Fallah Seghrouchni, Amal and Ricci, Alessandro and Winikoff, Michael},
    eissn = {1611-3349},
    iris = {11585/62539},
    isbn = {978-3-540-79042-6},
    issn = {0302-9743},
    month = apr,
    note = {5th International Workshop (ProMAS 2007), Honolulu, HI, USA, 15~} # may # {~2007. Revised and Invited Papers},
    numpages = 4908,
    pages = {89--106},
    publisher = {Springer},
    scopus = {2-s2.0-43949095159},
    series = {Lecture Notes in Computer Science},
    subseries = {Lecture Notes in Artificial Intelligence},
    title = {The {A\&A} Programming Model and Technology for Developing Agent Environments in {MAS}},
    url = {http://link.springer.com/10.1007/978-3-540-79043-3_6},
    volume = 4908,
    wos = {000255942800006},
    year = 2008
} 
 @article{RVC-FOCLASA2007-ENTCS2008,
	Author = {Ricci, Alessandro and Viroli, Mirko and Cimadamore, Maurizio},
	Doi = {10.1016/j.entcs.2008.03.102},
	Editor = {Canal, Carlos and Poizat, Pascal and Viroli, Mirko},
	Issn = {1571-0661},
	Journal = {Electronic Notes in Theoretical Computer Science},
	Keyword = {multiprogramming, agents and artifacts, Multiagent systems, concurrent programming, core calculi},
	Month = apr,
	Note = {6th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'07), CONCUR'07, Lisbon, Portugal, 8~} # sep # {~2007. Proceedings},
	Number = 4,
	Pages = {111--132},
	Publisher = {Elsevier Science B.V.},
	Title = {Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus},
	Volume = 194,
	Year = 2008} 
 @inproceedings{patj-sac08,
	Address = {Fortaleza, Cear{\'a}, Brazil},
	Author = {Cimadamore, Maurizio and Viroli, Mirko},
	Booktitle = {23th ACM Symposium on Applied Computing (SAC 2008)},
	Doi = {10.1145/1363686.1363740},
	Editor = {Wainwright, Roger L. and Haddad, Hisham M. and Menezes, Ronaldo and Viroli, Mirko},
	Isbn = {978-1-59593-753-7},
	Keywords = {Generics, Java, Multiparadigm, Prolog, Wildcards},
	Month = {16--20}}},
	Publisher = {ACM},
	Title = {Integrating {J}ava and {P}rolog through Generic Methods and Type Inference},
	Volume = 1,
	Year = 2008}
 
 @inproceedings{adr-woa2008,
    address = {Palermo, Italy},
    author = {Oliva, Enrico and Viroli, Mirko and Omicini, Andrea},
    booktitle = {9th Workshop "From Objects to Agents" (WOA 2008) -- Evolution of Agent Development: Methodologies, Tools, Platforms and Languages},
    editor = {Baldoni, Matteo and Cossentino, Massimo and De Paoli, Flavio and Seidita, Valeria},
    iris = {11585/70464},
    isbn = {978-88-6122-122-2},
    month = nov,
    pages = {46--53},
    publisher = {Seneca Edizioni},
    scopus = {2-s2.0-84868689882},
    title = {Arguments and Artifacts for Dispute Resolution},
    url = {http://www.pa.icar.cnr.it/woa08/materiali/Proceedings.pdf},
    year = 2008
} 
 @article{respect-entcs194,
    acm = {10.1016/j.entcs.2008.03.101},
    author = {Casadei, Matteo and Omicini, Andrea and Viroli, Mirko},
    booktitle = {Proceedings of the 6th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2007)},
    doi = {10.1016/j.entcs.2008.03.101},
    editor = {Canal, Carlos and Poizat, Pascal and Viroli, Mirko},
    iris = {11585/62571},
    issn = {1571-0661},
    journal = {Electronic Notes in Theoretical Computer Science},
    keyword = {Rewriting logic, Maude, coordination languages, ReSpecT, agents and artifacts},
    keywords = {Rewriting logic, Maude, coordination languages, ReSpecT, agents and artifacts},
    month = apr,
    note = {6th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'07), CONCUR'07, Lisbon, Portugal, 8~} # sep # {~2007. Proceedings},
    number = 4,
    pages = {93--109},
    publisher = {Elsevier Science B.V.},
    scopus = {2-s2.0-41949136030},
    series = {Electronic Notes in Theoretical Computer Science},
    title = {Prototyping {A\&A} {{\sf ReSpecT}} in {M}aude},
    url = {http://www.sciencedirect.com/science/article/pii/S1571066108002065},
    volume = 194,
    wos = {WOS:000214264700007},
    year = 2008
} 
 @inproceedings{stochasticprolog-cilc08,
    address = {Perugia, Italy},
    author = {Oliva, Enrico and Gardelli, Luca and Viroli, Mirko and Omicini, Andrea},
    booktitle = {23\textsuperscript{\underline{o}} Convegno Italiano di Logica Computazionale (CILC'08)},
    iris = {11585/899637},
    month = {10--12}}},
    year = 2008
} 
 @inproceedings{selforgcoord-saso08,
        Address = {Venice, Italy},
	Author = {Casadei, Matteo and Viroli, Mirko},
	Booktitle = {2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO'08)},
	Doi = {10.1109/SASO.2008.18},
        Editor = {Brueckner, Sven and Roberson, Paul and Bellur, Umesh},
        Isbn={978-0-7695-3404-6},
	Month = {20--24}}},
	Title = {Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks},
	Url ={http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnumber=4663425},
	Year = 2008} 
 @incollection{EcoservicesIdc08,
	Author = {Zambonelli, Franco and Viroli, Mirko},
	Booktitle = {Intelligent Distributed Computing, Systems and Applications},
	Doi = {10.1007/978-3-540-85257-5_3},
	Isbn = {978-3-540-85256-8},
	Issn = {1860-949X},
	eissn = {1860-9503},
	Keywords = {Self-organising systems, Ecoservices, Bio-inspired models, Adaptive systems, Infrastructures},
	Month = sep,
	Note = {2nd International Symposium on Intelligent Distributed Computing (IDC 2008), Catania, Italy, 18--19~} # sep # {~2008. Proceedings},
	Pages = {23--32},
	Publisher = {Springer},
	Series = {Studies in Computational Intelligence},
	Title = {Architecture and Metaphors for Eternally Adaptive Service Ecosystems},
	Volume = {162/2008},
	Year = 2008}
 
 @inproceedings{ecosystems-woa2008,
	Address = {Palermo, Italy},
	Author = {Villalba, Cynthia and Rosi, Alberto and Viroli, Mirko and Zambonelli, Franco},
	Booktitle = {9th Workshop "From Objects to Agents" (WOA 2008) -- Evolution of Agent  Development: Methodologies, Tools, Platforms and Languages},
	Editor = {Baldoni, Matteo and Cossentino, Massimo and De Paoli, Flavio and Seidita, Valeria},
	Isbn = {978-88-6122-122-2},
	Month = nov,
	Pages = {61--67},
	Publisher = {Seneca Edizioni},
	Title = {Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems},
	Url = {http://www.pa.icar.cnr.it/woa08/materiali/Proceedings.pdf},
	Year = 2008}
 
 @incollection{simpa-lads07,
 	Author = {Ricci, Alessandro and Viroli, Mirko and Piancastelli, Giulio},
	issn = {0302-9743},
	venue = {LNCS},
	volume = {5118},
	title = {{simpA}: A Simple Agent-Oriented {J}ava Extension for Developing Concurrent Applications},
	booktitle = {Languages, Methodologies and Development Tools for Multi-Agent Systems},
	publisher = {Springer Berlin / Heidelberg},
	doi-springer = {10.1007/978-3-540-85058-8_16},
	url = {http://www.springerlink.com/content/ew0v841266521414/},
	series = {LNCS},
	month = {July},
	doi = {10.1007/978-3-540-85058-8_16},
	isbn-13 = {978-3-540-85057-1},
	isbn = {978-3-540-85057-1},
	status = {Published},
	eissn = {1611-3349},
	year = 2008,
	pages = {261--278},
	note = {First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007. Revised Selected Papers}
} 
 @inproceedings{ecosystems-scw2008,
	Address = {Venice Italy},
	Author = {Villalba, Cynthia and Rosi, Alberto and Viroli, Mirko and Zambonelli, Franco},
	Booktitle = {Workshop on Spatial Computing},
	Month = oct,
	Title = {Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems},
	Url = {http://projects.csail.mit.edu/scw08/papers/villalba.pdf},
        Note = {Informal Proceedings},
	Year = 2008}
 
 @inproceedings{swarmlinda-lncs4676,
	Author = {Casadei, Matteo and Menezes, Ronaldo and Viroli, Mirko and Tolksdorf, Robert},
	Booktitle = {Cooperative Information Agents XI},
	Doi = {10.1007/978-3-540-75119-9\_18},
	Editor = {Klusch, Matthias and Hindriks, Koen and Papazoglou, Mike and Sterling, Mike},
	Elsevier-Ref = {LNCS4676},
	Isbn = {978-3-540-75118-2},
	Issn = {0302-9743},
	eissn = {1611-3349},
	Month = sep,
	Note = {11th International Workshop on Cooperative Information Agents (CIA 2007), Delf, The Netherland, 19--21~} # sep # {~2007. Proceedings},
	Pages = {255--269},
	Publisher = {Springer},
	Series = {LNCS},
	Title = {Using Ant's Brood Sorting to Increase Fault Tolerance in {L}inda's Tuple Distribution Mechanism},
	Url = {http://www.springerlink.com/content/t04756206478j775/},
	Volume = 4676,
	Year = 2007} 
 @incollection{swarmlinda-lncs4725,
	Author = {Casadei, Matteo and Menezes, Ronaldo and Viroli, Mirko and Tolksdorf, Robert},
	Booktitle = {Self-Organizing Systems},
	Doi = {10.1007/978-3-540-74917-2},
	Editor = {Hutchison, Davis and Katz, Randy},
	Elsevier-Ref = {LNCS4725},
	Isbn = {978-3-540-74916-5},
	Issn = {0302-9743},
	eissn = {1611-3349},
	Month = aug,
	Note = {2nd International Workshop on Self-Organizing Systems (IWSOS 2007), The Lake District, UK, 11--13~} # sep # {~2007. Proceedings},
	Pages = {146--160},
	Publisher = {Springer},
	Series = {LNCS},
	Title = {A Self-organizing Approach to Tuple Distribution in Large-Scale Tuple-Space Systems},
	Url = {http://www.springerlink.com/content/f602r041350x5u8v/},
	Volume = 4725,
	Year = 2007} 
 @inproceedings{selforg-eedas07,
    address = {ICAC 2007, Jacksonville, FL, USA},
    author = {Gardelli, Luca and Viroli, Mirko and Omicini, Andrea},
    booktitle = {2nd International Workshop on Engineering Emergence in Decentralised Autonomic Systems (EEDAS 2007)},
    editor = {De Wolf, Tom and Saffre, Fabrice and Anthony, Richard},
    isbn = {978-1-904521-43-3},
    month = {11}}},
    publisher = {CMS Press, University of Greenwich, London, UK},
    title = {Design Patterns for Self-Organizing Multiagent Systems},
    url = {https://distrinet.cs.kuleuven.be/events/eedas/2007/papers/DesignPatterns_GardelliViroliOmicini_EEDAS2007.pdf},
    urlpdf = {https://distrinet.cs.kuleuven.be/events/eedas/2007/papers/DesignPatterns_GardelliViroliOmicini_EEDAS2007.pdf},
    year = 2007
} 
 @inproceedings{swarmlinda-cec07,
	title = {Self-Organized Over-Clustering Avoidance in Tuple-Space Systems},
	booktitle = {IEEE Congress on Evolutionary Computation, 2007 (CEC 2007). },
	publisher = {IEEE Computer Society},
	month = {25--28}}},
	author = {Casadei, Matteo and Menezes, Ronaldo and Viroli, Mirko and Tolksdorf, Robert}} 
 @incollection{selforg-e4masIII,
    acm = {1759362},
    author = {Gardelli, Luca and Viroli, Mirko and Casadei, Matteo and Omicini, Andrea},
    booktitle = {Environments for MultiAgent Systems III},
    chapter = 15,
    doi = {10.1007/978-3-540-71103-2_15},
    editor = {Weyns, Danny and Parunak, H. Van Dyke and Michel, Fabien},
    eisbn = {978-3-540-71103-2},
    isbn = {978-3-540-71102-5},
    issn = {0302-9743},
    month = may,
    note = {3rd International Workshop (E4MAS 2006), Hakodate, Japan, 8~} # may # {~2006. Selected Revised and Invited Papers},
    numpages = 18,
    pages = {254--271},
    part = {Applications},
    publisher = {Springer Berlin Heidelberg},
    scopus = {2-s2.0-38049129687},
    series = {Lecture Notes in Computer Science},
    subseries = {Lecture Notes in Artificial Intelligence},
    title = {Designing Self-organising {MAS} Environments: The Collective Sort Case},
    url = {http://link.springer.com/10.1007/978-3-540-71103-2_15},
    volume = 4389,
    wos = {000245775800015},
    year = 2007
} 
 @article{collectivesort-entcs175,
	Author = {Casadei, Matteo and Gardelli, Luca and Viroli, Mirko},
	Doi = {10.1016/j.entcs.2007.03.006},
	Editor = {Canal, Carlos and Viroli, Mirko},
	Elsevier-Ref = {ENTCS1735},
	Issn = {1571-0661},
	Journal = {Electronic Notes in Theoretical Computer Science},
	Keywords = {Stochastic Transition System, Self-Organization, Simulation, Coordination, Collective Sort},
	Month = jun,
	Note = {5th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'06), CONCUR'06, Bonn, Germany, 31~} # aug # {~2006. Post-proceedings},
	Number = 2,
	Pages = {59--80},
	Publisher = {Elsevier Science B.V.},
	Title = {Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case},
	Volume = 175,
	Year = 2007} 
 @inproceedings{artifacts-promas07,
    address = {AAMAS 2007, Honolulu, Hawaii, USA},
    author = {Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea},
    booktitle = {5th International Workshop ``Programming Multi-Agent Systems'' (PROMAS 2007)},
    editor = {Dastani, Mehdi and El Fallah Seghrouchni, Amal and Ricci, Alessandro and Winikoff, Michael},
    keywords = {CArtAgO, A&A, artifacts, multi-agent systems, agent-oriented computing},
    month = {15}}}},
    year = 2007
} 
 @incollection{selforg-ceemas07,
    acm = {10.1007/978-3-540-75254-7_13},
    author = {Gardelli, Luca and Viroli, Mirko and Omicini, Andrea},
    booktitle = {Multi-Agent Systems and Applications {V}},
    doi = {10.1007/978-3-540-75254-7_13},
    editor = {Burkhard, Hans-Dieter and Verbrugge, Rineke and Varga, László Zsolt},
    eisbn = {978-3-540-75254-7},
    isbn = {978-3-540-75253-0},
    issn = {0302-9743},
    month = sep,
    note = {5th International Central and Eastern European Conference on Multi-Agent Systems (CEEMAS'07), Leipzig, Germany, 25--27~} # sep # {~2007, Proceedings},
    pages = {123--132},
    publisher = {Springer Berlin Heidelberg},
    scopus = {2-s2.0-38049127353},
    series = {Lecture Notes in Computer Science},
    subseries = {Lecture Notes in Artificial Intelligence},
    title = {Design Patterns for Self-Organising Systems},
    url = {http://link.springer.com/10.1007/978-3-540-75254-7_13},
    volume = 4696,
    wos = {000250900900013},
    year = 2007
} 
 @incollection{cogstig-e4masIII,
    acm = {1759352},
    author = {Ricci, Alessandro and Omicini, Andrea and Viroli, Mirko and Gardelli, Luca and Oliva, Enrico},
    booktitle = {Environments for MultiAgent Systems III},
    chapter = 7,
    doi = {10.1007/978-3-540-71103-2_7},
    editor = {Weyns, Danny and Parunak, H. Van Dyke and Michel, Fabien},
    eisbn = {978-3-540-71103-2},
    iris = {11585/45690},
    isbn = {978-3-540-71102-5},
    issn = {0302-9743},
    month = may,
    note = {3rd International Workshop (E4MAS 2006), Hakodate, Japan, 8~} # may # {~2006. Selected Revised and Invited Papers},
    numpages = 4389,
    pages = {124--140},
    part = {Mediated Interaction and Stigmery},
    publisher = {Springer Berlin Heidelberg},
    publonsid = {13197240},
    scholar = {8497596473192410111},
    scopus = {2-s2.0-38049179113},
    series = {Lecture Notes in Computer Science},
    subseries = {Lecture Notes in Artificial Intelligence},
    title = {Cognitive Stigmergy: Towards a Framework Based on Agents and Artifacts},
    url = {http://link.springer.com/10.1007/978-3-540-71103-2_7},
    volume = 4389,
    wos = {000245775800007},
    year = 2007
} 
 @incollection{cartago-e4masIII,
    acm = {1759348},
    author = {Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea},
    booktitle = {Environments for MultiAgent Systems III},
    chapter = 4,
    doi = {10.1007/978-3-540-71103-2_4},
    editor = {Weyns, Danny and Parunak, H. Van Dyke and Michel, Fabien},
    eisbn = {978-3-540-71103-2},
    isbn = {978-3-540-71102-5},
    issn = {0302-9743},
    keywords = {cartago, A&A, artifacts, multi-agent systems, agent-oriented computing},
    month = may,
    note = {3rd International Workshop (E4MAS 2006), Hakodate, Japan, 8~} # may # {~2006. Selected Revised and Invited Papers},
    pages = {67--86},
    part = {Models, Architecture, and Design},
    publisher = {Springer Berlin Heidelberg},
    scopus = {2-s2.0-38049162300},
    series = {Lecture Notes in Computer Science},
    subseries = {Lecture Notes in Artificial Intelligence},
    title = {{{\sf CArtAgO}}: A Framework for Prototyping Artifact-Based Environments in {MAS}},
    url = {http://link.springer.com/10.1007/978-3-540-71103-2_4},
    volume = 4389,
    wos = {000245775800004},
    year = 2007
} }}})))
((({{{ @inproceedings{respect-foclasa07,
    address = {CONCUR 2007, Lisbon, Portugal},
    author = {Casadei, Matteo and Omicini, Andrea and Viroli, Mirko},
    booktitle = {6th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'07)},
    editor = {Canal, Carlos and Poizat, Pascal and Viroli, Mirko},
    keywords = {Rewriting Logic, Maude, Coordination Language, {{\sf ReSpecT}}, Agents \& Artifacts},
    month = {8}}},
    title = {Prototyping {A\&A} {{\sf ReSpecT}} in {M}aude},
    url = {http://foclasa07.lcc.uma.es/},
    year = 2007
} }}})))
((({{{  @inproceedings{swarmlinda-saso07,
	Address = {Boston, Massachusetts, USA},
	Author = {Casadei, Matteo and Menezes, Ronaldo and Tolksdorf, Robert and Viroli, Mirko},
	Booktitle = {1st IEEE Conference on Self-Adaptive and Self-Organizing Systems (SASO 2007)},
	Editor = {Babaoglu, Ozalp and Shrobe, Howard},
	Month = {9--11}}},
	Title = {On the Problem of Over-clustering in Tuple-based Coordination Systems},
        Doi = {10.1109/SASO.2007.42},
	Year = 2007} }}})))
((({{{ @article{respect-entcs180,
    acm = {10.1016/j.entcs.2006.10.049},
    author = {Viroli, Mirko and Omicini, Andrea},
    booktitle = {Proceedings of the Third International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA 2004)},
    doi = {10.1016/j.entcs.2006.10.049},
    editor = {Brogi, Antonio and Jacquet, Jean-Marie and Pimentel, Ernesto},
    issn = {1571-0661},
    journal = {Electronic Notes in Theoretical Computer Science},
    keyword = {Tuple spaces, {\sf {ReSpecT}}, Tuple centres, {P}etri nets, Formal analysis},
    keywords = {Tuple spaces, ReSpecT, Tuple centres, Petri nets, Formal analysis},
    month = jun,
    note = {3rd International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'04), CONCUR'04, London, UK, 30~} # aug # {~2004. Post-proceedings},
    number = 2,
    numpages = 180,
    pages = {123--144},
    publisher = {Elsevier Science B.V.},
    scopus = {2-s2.0-34250167192},
    series = {Electronic Notes in Theoretical Computer Science},
    title = {{{\sf ReSpecT}} Nets: Towards an Analysis Methodology for {{\sf ReSpecT}} Specifications},
    url = {http://www.sciencedirect.com/science/article/pii/S1571066107003258},
    volume = 180,
    wos = {WOS:000214244100009},
    year = 2007
} }}})))
((({{{ @inproceedings{artifacts-aamas07,
    acm = {1329308},
    address = {Honolulu, Hawai'i, USA},
    articleno = 150,
    author = {Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea},
    booktitle = {6th International Joint Conference ``Autonomous Agents \& Multi-Agent Systems'' (AAMAS 2007)},
    doi = {10.1145/1329125.1329308},
    editor = {Durfee, Edmund and Yokoo, Makoto and Huhns, Michael and Shehory, Onn},
    iris = {11585/45688},
    isbn = {978-81-904262-7-5},
    keywords = {A&A, artifacts, cartago, multi-agent systems, agent-oriented computing},
    month = {14--18}}},
    scopus = {2-s2.0-60349099652},
    title = {``{G}ive Agents their Artifacts'': The {A\&A} Approach for Engineering Working Environments in {MAS}},
    url = {http://dl.acm.org/citation.cfm?id=1329308},
    year = 2007
} }}})))
((({{{ @inproceedings{patj-pppj07,
	Address = {New York, NY, USA},
	Author = {Cimadamore, Maurizio and Viroli, Mirko},
	Booktitle = {5th International Symposium on Principles and Practice of Programming in {J}ava (PPPJ '07)},
	Doi = {10.1145/1294325.1294352},
	Isbn = {978-1-59593-672-1},
	Location = {Lisboa, Portugal},
	Pages = {197--202},
	Publisher = {ACM},
	Title = {A {P}rolog-oriented extension of {J}ava programming based on generics and annotations},
	Year = 2007}
 }}})))
((({{{ @inproceedings{simpa-pppj07,
	Address = {Lisboa, Portugal},
	Author = {Ricci, Alessandro and Viroli, Mirko},
	Booktitle = {5th International Symposium on Principles and Practice of Programming in Java (PPPJ 2007)},
	Doi = {10.1145/1294325.1294350},
	Editor = {Amaral, Vasco},
	Isbn = {978-1-59593-672-1},
	Month = {5--7}}},
	Series = {ACM International Conference Proceeding},
	Title = {{{\sf simpA}}: An Agent-Oriented Approach for Prototyping Concurrent Applications on Top of {J}ava},
	Volume = {272},
	Year = 2007}
 }}})))
((({{{ @inproceedings{collectivesort-coord-sac07,
	title = {A Self-Organising Solution to the Collective Sort Problem in Distributed Tuple Spaces},
	address = {New York, NY, USA},
	booktitle = {SAC '07: Proceedings of the 2007 ACM Symposium on Applied Computing},
	publisher = {ACM },
	doi = {10.1145/1244002.1244086},
	isbn = {1-59593-480-4},
	editor = {Ricci, Alessandro and Schumacher, Michael and Angerer, Bernard },
	year = 2007,
	pages = {354--359},
	author = {Viroli, Mirko and Casadei, Matteo and Gardelli, Luca}} }}})))
((({{{ @inproceedings{mgdemo-woa2006,
    author = {Oliva, Enrico and Viroli, Mirko and Omicini, Andrea},
    booktitle = {From Objects to Agents},
    editor = {De Paoli, Flavio and Di Stefano, Antonella and Omicini, Andrea and Santoro, Corrado},
    iris = {11585/30148},
    issn = {1613-0073},
    month = oct,
    note = {7th Workshop ``From Objects to Agents'' (WOA 2006), Catania, Italy, 26--27~} # sep # {~2006. Proceedings},
    pages = {6--9},
    publisher = {Sun SITE Central Europe, RWTH Aachen University},
    scopus = {2-s2.0-79956063434},
    series = {CEUR Workshop Proceedings},
    title = {Simulation of {M}inority {G}ame in \textsf{TuCSoN}},
    url = {http://ceur-ws.org/Vol-204/D03.pdf},
    volume = 204,
    year = 2006
} }}})))
((({{{ @article{Cabano2006139,
title = "Designing a BPEL Orchestration Engine Based on ReSpecT Tuple Centres",
journal = "Electronic Notes in Theoretical Computer Science",
volume = "154",
number = "1",
pages = "139 - 158",
year = "2006",
issn = "1571-0661",
doi = "10.1016/j.entcs.2005.12.037",
url = "http://www.sciencedirect.com/science/article/pii/S1571066106001836",
author = "Michele Cabano and Enrico Denti and Alessandro Ricci and Mirko Viroli",
} }}})))
((({{{ @inproceedings{simpademo-woa2006,
    author = {Ricci, Alessandro and Buda, Claudio and Zaghini, Nicola and Natali, Antonio and Viroli, Mirko and Omicini, Andrea},
    booktitle = {From Objects to Agents},
    editor = {De Paoli, Flavio and Di Stefano, Antonella and Omicini, Andrea and Santoro, Corrado},
    iris = {11585/30151},
    issn = {1613-0073},
    keywords = {simpa, web services, SOA, A&A, SOA/WS, agent-oriented computing},
    month = oct,
    note = {7th Workshop ``From Objects to Agents'' (WOA 2006), Catania, Italy, 26--27~} # sep # {~2006. Proceedings},
    numpages = 3,
    pages = {1--3},
    publisher = {Sun SITE Central Europe, RWTH Aachen University},
    scopus = {2-s2.0-84868642666},
    series = {CEUR Workshop Proceedings},
    title = {{simpA-WS}: An Agent-Oriented Computing Technology for {WS}-based {SOA} Applications},
    url = {http://ceur-ws.org/Vol-204/D01.pdf},
    volume = 204,
    year = 2006
} }}})))
((({{{ @inproceedings{collectivesort-e4mas06,
	Address = {AAMAS 2006, Hakodate, Japan},
	Author = {Gardelli, Luca and Viroli, Mirko and Casadei, Matteo},
	Booktitle = {3rd International Workshop ``Environments for Multi-Agent Systems'' (E4MAS 2006)},
	Editor = {Weyns, Danny and Parunak, H. Van Dyke and Michel, Fabien},
	Month = {8}}},
	Url = {http://distrinet.cs.kuleuven.be/events/e4mas/2006/contents/papers/gardelli.pdf},
	Year = 2006} }}})))
((({{{ @inproceedings{selforg-atai06,
    address = {Vienna, Austria},
    author = {Gardelli, Luca and Viroli, Mirko and Omicini, Andrea},
    booktitle = {Cybernetics and Systems 2006},
    editor = {Trappl, Robert},
    isbn = {3-85206-172-5},
    month = {18--21}}},
    publisher = {Austrian Society for Cybernetic Studies},
    title = {Exploring the Dynamics of Self-Organising Systems with Stochastic $\pi$-Calculus: Detecting Abnormal Behaviour in {MAS}},
    volume = 2,
    year = 2006
} }}})))
((({{{ @inproceedings{selforg-aica06,
	Address = {Cesena, Italy},
	Author = {Gardelli, Luca and Viroli, Mirko and Casadei, Matteo},
	Booktitle = {Atti Congresso Annuale AICA 2006},
	Isbn = {88-6055-075-0},
	Month = {21--22}}},
	Publisher = {Alinea Editrice, Firenze, Italy},
	Title = {On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation},
	Volume = 1,
	Year = 2006} }}})))
((({{{ @inproceedings{cartago-e4mas06,
    address = {AAMAS 2006, Hakodate, Japan},
    author = {Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea},
    booktitle = {3rd International Workshop ``Environments for Multi-Agent Systems'' (E4MAS 2006)},
    editor = {Weyns, Danny and Parunak, H. Van Dyke and Michel, Fabien},
    keywords = {CArtAgO, A&A, artifacts, multi-agent systems, agent-oriented computing},
    month = {8}}}}: An Infrastructure for Engineering Computational Environments in {MAS}},
    url = {http://distrinet.cs.kuleuven.be/events/e4mas/2006/contents/papers/ricci2.pdf},
    urlpdf = {http://distrinet.cs.kuleuven.be/events/e4mas/2006/contents/papers/ricci2.pdf},
    year = 2006
} }}})))
((({{{ @inproceedings{mg-woa2006,
    author = {Oliva, Enrico and Viroli, Mirko and Omicini, Andrea},
    booktitle = {From Objects to Agents},
    editor = {De Paoli, Flavio and Di Stefano, Antonella and Omicini, Andrea and Santoro, Corrado},
    iris = {11585/30143},
    issn = {1613-0073},
    month = oct,
    note = {7th Workshop ``From Objects to Agents'' (WOA 2006), Catania, Italy, 26--27~} # sep # {~2006. Proceedings},
    pages = {181--186},
    publisher = {Sun SITE Central Europe, RWTH Aachen University},
    scopus = {2-s2.0-78650290825},
    series = {CEUR Workshop Proceedings},
    title = {{M}inority {G}ame: A Logic-Based Approach in {{\sf TuCSoN}} },
    url = {http://ceur-ws.org/Vol-204/P02.pdf},
    volume = 204,
    year = 2006
} }}})))
((({{{ @inproceedings{mgsim-isc06,
    address = {Palermo, Italy},
    author = {Oliva, Enrico and Viroli, Mirko and Omicini, Andrea},
    booktitle = {Industrial Simulation Conference 2006 (ISC 2006)},
    editor = {Genco, Alessandro and Gentile, Antonio and Sorce, Salvatore},
    iris = {11585/27873},
    isbn = {90-77381-26-0},
    month = {5--7}}},
    scopus = {2-s2.0-84898422825},
    title = {Simulating {M}inority {G}ame with {\textsf{TuCSoN}} },
    wos = {000245531000005},
    year = 2006
} }}})))
((({{{ @inproceedings{collectivesort-woa06,
	Address = {Catania, Italy},
	Author = {Casadei, Matteo and Gardelli, Luca and Viroli, Mirko},
	Booktitle = {WOA 2006 -- Dagli oggetti agli agenti: sistemi grid, p2p e self-*},
	Editor = {De Paoli, Flavio and Di Stefano, Antonella and Omicini, Andrea and Santoro, Corrado},
	Issn = {1613-0073},
	Journal = {CEUR Workshop Proceedings},
	Month = {26--27}}},
	Series = {CEUR Workshop Proceedings},
	Title = {Collective Sorting Tuple Spaces},
	Url = {http://ceur-ws.org/Vol-204/D01.pdf},
	Year = 2006}} }}})))
((({{{ @incollection{selforg-esoaIII,
    acm = {10.1007/11734697_12},
    author = {Gardelli, Luca and Viroli, Mirko and Omicini, Andrea},
    booktitle = {Engineering Self-Organising Systems},
    chapter = 12,
    doi = {10.1007/11734697_12},
    editor = {Brueckner, Sven A. and Di Marzo Serugendo, Giovanna and Hales, David and Zambonelli, Franco},
    eisbn = {978-3-540-33352-4},
    iris = {11585/27763},
    isbn = {978-3-540-33342-5},
    isbn-10 = {3-540-33342-8},
    isbn10 = {3-540-33342-8},
    issn = {0302-9743},
    note = {3rd International Workshop (ESOA 2005), Utrecht, The Netherlands, 26~} # jul # {~2005. Revised Selected Papers},
    pages = {153--168},
    part = {II},
    publisher = {Springer Berlin Heidelberg},
    scopus = {2-s2.0-33745800439},
    series = {Lecture Notes in Computer Science},
    subseries = {Lecture Notes in Artificial Intelligence},
    title = {On the Role of Simulations in Engineering Self-Organising {MAS}: The Case of an Intrusion Detection System in \textsf{TuCSoN}},
    url = {http://link.springer.com/10.1007/11734697_12},
    urlpdf = {https://link.springer.com/content/pdf/10.1007/11734697_12.pdf},
    volume = 3910,
    wos = {000238109300012},
    year = 2006
} }}})))
((({{{ @inproceedings{cogstig-e4mas06,
    address = {AAMAS 2006, Hakodate, Japan},
    author = {Ricci, Alessandro and Omicini, Andrea and Viroli, Mirko and Gardelli, Luca and Oliva, Enrico},
    booktitle = {3rd International Workshop ``Environments for Multi-Agent Systems'' (E4MAS 2006)},
    editor = {Weyns, Danny and Parunak, H. Van Dyke and Michel, Fabien},
    iris = {11585/27782},
    month = {8}}},
    url = {http://distrinet.cs.kuleuven.be/events/e4mas/2006/contents/papers/ricci.pdf},
    year = 2006
} }}})))
((({{{ @article{agensfaber-entcs150,
    acm = {10.1016/j.entcs.2006.03.003},
    author = {Omicini, Andrea and Ricci, Alessandro and Viroli, Mirko},
    booktitle = {Proceedings of the First International Workshop on Coordination and Organisation (CoOrg 2005)},
    doi = {10.1016/j.entcs.2006.03.003},
    editor = {Boella, Guido and van der Torre, Leendert},
    issn = {1571-0661},
    journal = {Electronic Notes in Theoretical Computer Science},
    month = {29~} # may,
    note = {1st International Workshop ``Coordination and Organization'' (CoOrg 2005), COORDINATION 2005, Namur, Belgium, 22~} # apr # {~2005. Proceedings},
    number = 3,
    pages = {21--36},
    publisher = {Elsevier Science B.V.},
    scopus = {2-s2.0-33646702626},
    series = {Electronic Notes in Theoretical Computer Science},
    title = {{\sl {A}gens {F}aber}: Toward a Theory of Artefacts for {MAS}},
    url = {http://www.sciencedirect.com/science/article/pii/S1571066106003276},
    volume = 150,
    year = 2006
} }}})))
((({{{ @incollection{artifacts-selmasIV,
    acm = {2168364},
    author = {Omicini, Andrea and Ricci, Alessandro and Viroli, Mirko},
    booktitle = {Software Engineering for Multi-Agent Systems IV: Research Issues and Practical Applications},
    doi = {10.1007/11738817_5},
    editor = {Garcia, Alessandro F. and Choren, Ricardo and Lucena, Carlos and Giorgini, Paolo and Holvoet, Tom and Romanovsky, Alexander},
    eisbn = {978-3-540-33583-2},
    isbn = {978-3-540-33580-1},
    isbn10 = {3-540-33580-3},
    issn = {0302-9743},
    month = apr,
    note = {Invited Paper},
    pages = {71--90},
    publisher = {Springer Berlin Heidelberg},
    scopus = {2-s2.0-34250005140},
    series = {Lecture Notes in Computer Science},
    title = {Coordination Artifacts as First-class Abstractions for {MAS} Engineering: State of the Research},
    url = {http://link.springer.com/10.1007/11738817_5},
    volume = 3914,
    wos = {000238283600005},
    year = 2006
} }}})))
((({{{ @inproceedings{collectivesort-eumas06,
	Address = {Lisbon, Portugal},
	Author = {Casadei, Matteo and Gardelli, Luca and Viroli, Mirko},
	Booktitle = {4th European Workshop on Multi-Agent Systems (EUMAS 2006)},
	Editor = {Omicini, Andrea and Dunin-Keplicz, Barbara and Padget, Julian},
	Issn = {1613-0073},
	Month = {14--15}}},
	Title = {A Case of Self-Organising Environment for MAS: the Collective Sort Problem},
	Url = {http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-223/24.pdf},
	Year = 2006} }}})))
((({{{ @inproceedings{collectivesort-foclasa06,
    address = {CONCUR 2006, Bonn, Germany},
    author = {Casadei, Matteo and Gardelli, Luca and Viroli, Mirko},
    booktitle = {5th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'06)},
    editor = {Canal, Carlos and Viroli, Mirko},
    keywords = {Stochastic Transition System, Self-Organization, Simulation, Coordination, Collective Sort},
    month = {31}}},
    title = {Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case},
    url = {http://foclasa06.lcc.uma.es/},
    year = 2006
} }}})))
((({{{ @article{framework-foclasa06,
    author = {Natali, Antonio and Oliva, Enrico and Ricci, Alessandro and Viroli, Mirko},
    booktitle = {Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2005)},
    doi = {10.1016/j.entcs.2005.12.032},
    journal = {Electronic Notes in Theoretical Computer Science},
    number = 1,
    pages = {43--61},
    series = {Electronic Notes in Theoretical Computer Science},
    title = {A Framework for Engineering Interactions in {J}ava-based Component Systems},
    url = {http://www.sciencedirect.com/science/article/pii/S1571066106001782},
    volume = 154,
    year = 2006
} }}})))
((({{{ @incollection{artifacts-promasIII,
    acm = {2180118},
    author = {Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea},
    booktitle = {Programming Multi-Agent Systems},
    doi = {10.1007/11678823_13},
    editor = {Bordini, Rafael P. and Dastani, Mehdi and Dix, Jürgen and El Fallah Seghrouchni, Amal},
    eisbn = {978-3-540-32617-5},
    isbn = {978-3-540-32616-8},
    isbn10 = {3-540-66281-2},
    issn = {0302-9743},
    keywords = {A&A, artifacts, cartago, multi-agent systems, agent-oriented computing, programming MAS},
    month = mar,
    note = {3rd International Workshop (PROMAS 2005), AAMAS 2005, Utrecht, The Netherlands, 26~} # jul # {~2005. Revised and Invited Papers},
    numpages = 16,
    pages = {206--221},
    publisher = {Springer Berlin Heidelberg},
    scopus = {2-s2.0-33745661012},
    series = {Lecture Notes in Computer Science},
    subseries = {Lecture Notes in Artificial Intelligence},
    title = {Programming {MAS} with Artifacts},
    url = {http://link.springer.com/10.1007/11678823_13},
    volume = 3862,
    wos = {000236893200013},
    year = 2006
} }}})))
((({{{ @inproceedings{cartago-at2ai06,
    address = {Vienna, Austria},
    author = {Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea},
    booktitle = {Cybernetics and Systems 2006},
    editor = {Trappl, Robert},
    isbn = {3-85206-172-5},
    keywords = {cartago, A&A, artifacts, multi-agent systems, agent-oriented computing},
    month = {18--21}}},
    publisher = {Austrian Society for Cybernetic Studies},
    title = {{\it Construenda est} {{\sf CArtAgO}}: Toward an Infrastructure for Artifacts in {MAS}},
    volume = 2,
    year = 2006
} }}})))
((({{{ @inproceedings{selforg-esoa05,
    address = {AAMAS 2005, Utrecht, The Netherlands},
    author = {Gardelli, Luca and Viroli, Mirko and Omicini, Andrea},
    booktitle = {3rd International Workshop ``Engineering Self-Organising Applications'' (ESOA 2005)},
    editor = {Brueckner, Sven and Di Marzo Serugendo, Giovanna and Hales, David and Zambonelli, Franco},
    month = {26}}}: the Case of an Intrusion Detection System in {{\sf TuCSoN}}},
    year = 2005
} }}})))
((({{{ @inproceedings{artifacts-promas05,
    address = {AAMAS 2005, Utrecht, The Netherlands},
    author = {Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea},
    booktitle = {3rd International Workshop ``Programming Multi-Agent Systems'' (PROMAS 2005)},
    editor = {Bordini, Rafael P. and Dastani, Mehdi and Dix, Jürgen and El Fallah Seghrouchni, Amal},
    iris = {11585/4700},
    month = {26}}} with Artifacts},
    year = 2005
} }}})))
((({{{ @article{rbac-entcs128,
    acm = {10.1016/j.entcs.2004.11.045},
    author = {Omicini, Andrea and Ricci, Alessandro and Viroli, Mirko},
    booktitle = {Proceedings of the 2nd International Workshop on Security Issues in Coordination Models, Languages, and Systems (SecCo 2004)},
    doi = {10.1016/j.entcs.2004.11.045},
    editor = {Focardi, Riccardo and Zavattaro, Gianluigi},
    issn = {1571-0661},
    journal = {Electronic Notes in Theoretical Computer Science},
    keywords = {Role-based access control, multi-agent systems, coordination infrastructure},
    month = {3~} # may,
    note = {2nd International Workshop on Security Issues in Coordination Models, Languages and Systems (SecCo'04), 30~} # aug # {~2004. Proceedings},
    number = 5,
    pages = {65--85},
    publisher = {Elsevier Science B.V.},
    scopus = {2-s2.0-18444388612},
    series = {Electronic Notes in Theoretical Computer Science},
    title = {{RBAC} for Organisation and Security in an Agent Coordination Infrastructure},
    url = {http://www.sciencedirect.com/science/article/pii/S1571066105001994},
    volume = 128,
    wos = {WOS:000214054000007},
    year = 2005
} }}})))
((({{{ @incollection{timed-coord05,
    acm = {10.1007/11417019_18},
    author = {Omicini, Andrea and Ricci, Alessandro and Viroli, Mirko},
    booktitle = {Coordination Models and Languages},
    doi = {10.1007/11417019_18},
    editor = {Jacquet, Jean-Marie and Picco, Gian Pietro},
    eisbn = {978-3-540-32006-7},
    isbn = {978-3-540-25630-4},
    isbn10 = {3-540-25630-X},
    issn = {0302-9743},
    month = apr,
    note = {7th International Conference (COORDINATION 2005), Namur, Belgium, 20--23~} # apr # {~2005. Proceedings},
    pages = {268--282},
    publisher = {Springer Berlin Heidelberg},
    scopus = {2-s2.0-24644471622},
    series = {LNCS},
    title = {Time-Aware Coordination in {{\sf ReSpecT}}},
    url = {http://link.springer.com/10.1007/11417019_18},
    volume = 3454,
    wos = {000229104200018},
    year = 2005
} }}})))
((({{{ @incollection{coord-e4masI,
    acm = {10.1007/978-3-540-32259-7_10},
    author = {Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea},
    booktitle = {Environments for Multi-Agent Systems},
    doi = {10.1007/b106134},
    editor = {Weyns, Danny and Parunak, H. Van Dyke and Michel, Fabien},
    eissn = {1611-3349},
    isbn = {978-3-540-24575-9},
    isbn10 = {3-540-24575-8},
    issn = {0302-9743},
    month = feb,
    note = {1st International Workshop (E4MAS 2004), New York, NY, USA, 19~July~2004. Revised Selected Papers},
    pages = {190--214},
    publisher = {Springer},
    scopus = {2-s2.0-24144449939},
    series = {LNAI},
    title = {Environment-Based Coordination Through Coordination Artifacts},
    url = {http://link.springer.com/10.1007/978-3-540-32259-7_10},
    volume = 3374,
    wos = {000228360200010},
    year = 2005
} }}})))
((({{{ @incollection{bic-e4masI,
    acm = {10.1007/978-3-540-32259-7_11},
    author = {Tummolini, Luca and Castelfranchi, Cristiano and Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea},
    booktitle = {Environments for Multi-Agent Systems},
    doi = {10.1007/978-3-540-32259-7_11},
    editor = {Weyns, Danny and Parunak, H. Van Dyke and Michel, Fabien},
    eissn = {1611-3349},
    isbn = {978-3-540-24575-9},
    isbn10 = {3-540-24575-8},
    issn = {0302-9743},
    month = feb,
    note = {1st International Workshop (E4MAS 2004), New York, NY, USA, 19~July~2004. Revised Selected Papers},
    pages = {215--231},
    publisher = {Springer Berlin Heidelberg},
    scopus = {2-s2.0-24144485892},
    series = {LNAI},
    title = {``{E}xhibitionists'' and ``Voyeurs'' do it better: A Shared Environment Approach for Flexible Coordination with Tacit Messages},
    url = {http://link.springer.com/10.1007/978-3-540-32259-7_11},
    volume = 3374,
    wos = {000228360200011},
    year = 2005
} }}})))
((({{{ @inproceedings{acc-aamas05,
    acm = {1082687},
    address = {Utrecht, The Netherlands},
    author = {Viroli, Mirko and Ricci, Alessandro and Omicini, Andrea},
    booktitle = {4th International Joint Conference ``Autonomous Agents \& Multi-Agent Systems'' (AAMAS 2005)},
    doi = {10.1145/1082473.1082687},
    editor = {Dignum, Frank and Dignum, Virginia and Koenig, Sven and Kraus, Sarit and Singh, Munindar P. and Wooldridge, Michael},
    iris = {11585/4698},
    isbn = {1-59593-094-9},
    month = {25--29}}},
    publisher = {ACM},
    scopus = {2-s2.0-33644791018},
    title = {An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts},
    url = {http://dl.acm.org/citation.cfm?doid=1082687},
    volume = 3,
    year = 2005
} }}})))
((({{{ @inproceedings{artifacts-e4mas05,
    address = {AAMAS 2005, Utrecht, The Netherlands},
    author = {Viroli, Mirko and Omicini, Andrea and Ricci, Alessandro},
    booktitle = {2nd International Workshop ``Environments for Multi-Agent Systems'' (E4MAS 2005)},
    editor = {Weyns, Danny and Parunak, H. Van Dyke and Michel, Fabien},
    month = {26}}} Environment with Artifacts},
    year = 2005
} }}})))
((({{{ @inproceedings{acc-aiia05,
    acm = {10.1007/11558590_21},
    author = {Viroli, Mirko and Omicini, Andrea and Ricci, Alessandro},
    booktitle = {AI*IA 2005: Advances in Artificial Intelligence},
    doi = {10.1007/11558590_21},
    editor = {Bandini, Stefania and Manzoni, Sara},
    eisbn = {978-3-540-31733-3},
    iris = {11585/4114},
    isbn = {978-3-540-29041-4},
    isbn-10 = {3-540-29041-9},
    isbn10 = {3-540-29041-9},
    issn = {0302-9743},
    month = {21-23~} # sep,
    note = {9th Congress of the Italian Association for Artificial Intelligence (AI*IA 2005), Milano, Italy, 21--23~} # sep # {~2005. Proceedings},
    pages = {198--211},
    publisher = {Springer},
    scopus = {2-s2.0-33646123774},
    series = {Lecture Notes in Computer Science},
    subseries = {Lecture Notes in Artificial Intelligence},
    title = {An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts},
    url = {http://link.springer.com/10.1007/11558590_21},
    urlpdf = {https://link.springer.com/content/pdf/10.1007/11558590_21.pdf},
    volume = 3673,
    wos = {WOS:000233291300021},
    year = 2005
} }}})))
((({{{ @incollection{oi-acIII,
	Author = {Viroli, Mirko and Ricci, Alessandro},
	Booktitle = {Agent Communication},
	Doi = {10.1007/b106468},
	Editor = {van Eijk, Rogier M. and Huget, Marc-Philippe and Dignum, Frank},
	Isbn = {978-3-540-25015-9},
	Isbn-10 = {3-540-25015-8},
	Issn = {0302-9743},
	eissn = {1611-3349},
	Keywords = {artifacts, operating instructions, timing},
	Month = jan,
	Note = {AAMAS 2004 International Workshop (AC 2004), New York, NY, USA, 19~} # jul # {~2004. Revised Selected and Invited Papers},
	Pages = {173--192},
	Publisher = {Springer},
	Series = {LNAI},
	Title = {Agent Interaction Semantics by Timed Operating Instructions},
	Url = {http://www.springerlink.com/content/76j4c80xvvjqpwkc/},
	Volume = 3396,
	Year = 2005}
 }}})))
((({{{ @inproceedings{cogstig-eumas05,
    address = {Brussels, Belgium},
    author = {Ricci, Alessandro and Omicini, Andrea and Viroli, Mirko and Gardelli, Luca and Oliva, Enrico},
    booktitle = {3rd European Workshop on Multi-Agent Systems (EUMAS 2005)},
    editor = {Gleizes, Marie-Pierre and Kaminka, Gal A. and Nowè, Ann and Ossowski, Sascha and Tuyls, Karl and Verbeeck, Katja},
    iris = {11585/22712},
    month = {7--8}}},
    title = {Cognitive Stigmergy: A Framework Based on Agents and Artifacts},
    year = 2005
} }}})))
((({{{ @inproceedings{selforg-woa2005,
    address = {Camerino, MC, Italy},
    author = {Gardelli, Luca and Viroli, Mirko and Omicini, Andrea},
    booktitle = {AI*IA/TABOO Joint Workshop ``Dagli oggetti agli agenti: simulazione e analisi formale di sistemi complessi'' (WOA 2005)},
    editor = {Corradini, Flavio and De Paoli, Flavio and Merelli, Emanuela and Omicini, Andrea},
    iris = {11585/22713},
    isbn = {88-371-1590-3},
    month = {14--16}}},
    scopus = {2-s2.0-70349450492},
    title = {On the Role of Simulation in the Engineering of Self-Organising Systems: Detecting Abnormal Behaviour in {MAS}},
    year = 2005
} }}})))
((({{{ @inproceedings{acc-atai04,
    author = {Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea},
    booktitle = {Cybernetics and Systems 2004},
    editor = {Trappl, Robert},
    isbn = {3-85206-169-5},
    location = {Vienna, Austria},
    month = {13--16}}},
    publisher = {Austrian Society for Cybernetic Studies},
    title = {Agent Coordination Context: From Theory to Practice},
    volume = 2,
    year = 2004
} }}})))
((({{{ @inproceedings{rbac-aotp2004,
    author = {Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea},
    booktitle = {1st International Workshop ``{A}gent {O}rganizations: {T}heory and {P}ractice'' (AOTP'04)},
    editor = {Dignum, Virginia and Corkill, Daniel and Jonker, Catholijn and Dignum, Frank},
    iris = {11585/6335},
    isbn = {1-57735-203-3},
    location = {AAAI-04, San Jos\'{e}, CA, USA},
    month = {25}}},
    publisher = {AAAI Press},
    scopus = {2-s2.0-32144460865},
    techrep = {WS-04-02},
    title = {{R}ole-{B}ased {A}ccess {C}ontrol in {MAS} using {A}gent {C}oordination {C}ontexts},
    year = 2004
} }}})))
((({{{ @article{logop-entcs97,
    author = {Menezes, Ronaldo and Omicini, Andrea and Viroli, Mirko},
    booktitle = {Proceedings of FOCLASA 2003, the Foundations of Coordination Languages and Software Architectures, a satellite event of CONCUR 2003},
    doi = {10.1016/j.entcs.2004.04.033},
    editor = {Brogi, Antonio and Jacquet, Jean-Marie and Pimentel, Ernesto},
    iris = {11585/1799},
    issn = {1571-0661},
    journal = {Electronic Notes in Theoretical Computer Science},
    month = {22~} # jul,
    note = {2nd International Workshop ``Foundations of Coordination Languages and Software Architecture'' (FOCLASA 2003), Marseille, France, 2~} # sep # {~2003. Proceedings},
    pages = {97--124},
    publisher = {Elsevier Science B.V.},
    scopus = {2-s2.0-18944385606},
    series = {Electronic Notes in Theoretical Computer Science},
    title = {On the Semantics of Coordination Models for Distributed Systems: The {{\sc LogOp}} Case Study},
    url = {http://www.sciencedirect.com/science/article/pii/S157106610405042X},
    volume = 97,
    year = 2004
} }}})))
((({{{ @inproceedings{acl-atai04,
    author = {Viroli, Mirko and Ricci, Alessandro and Omicini, Andrea},
    booktitle = {Cybernetics and Systems 2004},
    editor = {Trappl, Robert},
    isbn = {3-85206-169-5},
    location = {Vienna, Austria},
    month = {13--16}}},
    publisher = {Austrian Society for Cybernetic Studies},
    title = {A Semantics for the Interaction of Agents with Coordination Artifacts},
    volume = 2,
    year = 2004
} }}})))
((({{{ @inproceedings{coord-aamas04,
    acm = {1018752},
    author = {Omicini, Andrea and Ricci, Alessandro and Viroli, Mirko and Castelfranchi, Cristiano and Tummolini, Luca},
    booktitle = {3rd international Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004)},
    doi = {10.1109/AAMAS.2004.10070},
    editor = {Jennings, Nicholas R. and Sierra, Carles and Sonenberg, Liz and Tambe, Milind},
    iris = {11585/3962},
    isbn = {1-58113-864-4},
    location = {New York, NY, USA},
    month = {19--23}}},
    scopus = {2-s2.0-4544292991},
    title = {Coordination Artifacts: Environment-based Coordination for Intelligent Agents},
    url = {http://dl.acm.org/citation.cfm?id=1018752},
    volume = 1,
    year = 2004
} }}})))
((({{{ @inproceedings{respect-foclasa04,
    author = {Viroli, Mirko and Omicini, Andrea},
    booktitle = {3rd International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'04)},
    editor = {Brogi, Antonio and Jacquet, Jean-Marie and Pimentel, Ernesto},
    location = {CONCUR 2004, London, UK},
    month = {30}}},
    title = {{\sf ReSpecT} Nets: Towards an Analysis Methodology for {{\sf ReSpecT}} Specifications},
    year = 2004
} }}})))
((({{{ @inproceedings{fipa-sac2004,
    acm = {967995},
    author = {Omicini, Andrea and Ricci, Alessandro and Viroli, Mirko and Rimassa, Giovanni},
    booktitle = {19th ACM Symposium on Applied Computing (SAC 2004)},
    doi = {10.1145/967900.967995},
    iris = {11585/6327},
    isbn = {1-58113-812-1},
    location = {Nicosia, Cyprus},
    month = {14--17}}},
    publisher = {ACM},
    scopus = {2-s2.0-2442453665},
    title = {Integrating Objective \& Subjective Coordination in Multi-Agent Systems},
    url = {http://portal.acm.org/citation.cfm?doid=967900.967995},
    year = 2004
} }}})))
((({{{ @inproceedings{bic-woa2004,
    author = {Omicini, Andrea and Ricci, Alessandro and Viroli, Mirko and Castelfranchi, Cristiano and Tummolini, Luca},
    booktitle = {AI*IA/TABOO Joint Workshop ``Dagli oggetti agli agenti: sistemi complessi e agenti razionali'' (WOA 2004)},
    editor = {Baldoni, Matteo and De Paoli, Flavio and Martelli, Alberto and Omicini, Andrea},
    isbn = {88-371-1533-4},
    location = {Torino, Italy},
    month = {30}}},
    publisher = {Pitagora Editrice Bologna},
    title = {A Conceptual Framework for Self-Organising {MAS}},
    year = 2004
} }}})))
((({{{ @inproceedings{rbac-sasemas04,
    author = {Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea},
    booktitle = {1st International Workshop ``Safety and Security in MultiAgent Systems'' (SASEMAS 2004)},
    editor = {Barley, Mike and Massacci, Fabio and Mouratidis, Haris and Scerri, Paul},
    location = {AAMAS 2004, New York, USA},
    month = {20}}},
    title = {An {RBAC} Approach for Securing Access Control in a {MAS} Coordination Infrastructure},
    year = 2004
} }}})))
((({{{ @inproceedings{bic-ceas04,
    author = {Tummolini, Luca and Castelfranchi, Cristiano and Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea},
    booktitle = {International Workshop on Coordination in Emergent Agent Societies (CEAS'04)},
    editor = {Vouros, George A.},
    location = {ECAI 2004, Valencia, Spain},
    month = {23--24}}},
    title = {What {I} See is What You Say: Coordination in a Shared Environment with Behavioral Implicit Communication},
    year = 2004
} }}})))
((({{{ @inproceedings{fipa-woa2003,
    address = {Villasimius, CA, Italy},
    author = {Omicini, Andrea and Ricci, Alessandro and Rimassa, Giovanni and Viroli, Mirko},
    booktitle = {AI*IA/TABOO Joint Workshop ``Dagli oggetti agli agenti: sistemi intelligenti e computazione pervasiva'' (WOA 2003)},
    editor = {Armano, Giuliano and De Paoli, Flavio and Omicini, Andrea and Vargiu, Eloisa},
    isbn = {88-371-1413-3},
    month = {10--11}}}: A Roadmap to {{\sf TuCSoN}}},
    url = {http://lia.deis.unibo.it/books/woa2003/pdf/07.pdf},
    urlpdf = {http://lia.deis.unibo.it/books/woa2003/pdf/07.pdf},
    year = 2003
} }}})))
((({{{ @article{coord-entcs68,
    author = {Viroli, Mirko and Omicini, Andrea},
    booktitle = {Foclasa 2002, Foundations of Coordination Languages and Software Architectures (Satellite Workshop of CONCUR 2002)},
    doi = {10.1016/S1571-0661(05)80383-4},
    editor = {Brogi, Antonio and Jacquet, Jean-Marie},
    isbn = {0-444-51416-3},
    issn = {1571-0661},
    journal = {Electronic Notes in Theoretical Computer Science},
    month = mar,
    note = {1st International Workshop ``Foundations of Coordination Languages and Software Architecture'' (FOCLASA 2002), Brno, Czech Republic, 24~} # aug # {~2002. Proceedings},
    number = 3,
    pages = {457--482},
    publisher = {Elsevier Science B.V.},
    scopus = {2-s2.0-2442495814},
    series = {Electronic Notes in Theoretical Computer Science},
    title = {Coordination as a Service: Ontological and Formal Foundation},
    url = {http://www.sciencedirect.com/science/article/pii/S1571066105803834},
    volume = 68,
    year = 2003
} }}})))
((({{{ @article{acc-entcs85,
    author = {Omicini, Andrea and Ricci, Alessandro and Viroli, Mirko},
    booktitle = {SecCo'03, First International Workshop on Security Issues in Coordination Models, Languages, and Systems (Satellite Event for ICALP 2003)},
    doi = {10.1016/S1571-0661(04)80682-0},
    editor = {Focardi, Riccardo and Zavattaro, Gianluigi},
    isbn = {0-444-50916-X},
    issn = {1571-0661},
    journal = {Electronic Notes in Theoretical Computer Science},
    month = aug,
    note = {1st International Workshop ``Security Issues in Coordination Models, Languages and Systems'' (SecCo 2003), Eindhoven, The Netherlands, 28--29~} # jun # {~2003. Proceedings},
    number = 3,
    pages = {17--36},
    publisher = {Elsevier Science B.V.},
    scopus = {2-s2.0-2442460553},
    series = {Electronic Notes in Theoretical Computer Science},
    title = {Formal Specification and Enactment of Security Policies through {A}gent {C}oordination {C}ontexts},
    volume = 85,
    year = 2003
} }}})))
((({{{ @inproceedings{acl-atai02,
    address = {Vienna, Austria},
    author = {Viroli, Mirko and Omicini, Andrea},
    booktitle = {Cybernetics and Systems 2002},
    editor = {Trappl, Robert},
    isbn = {3-85206-160-1},
    month = {2--5}}},
    publisher = {Austrian Society for Cybernetic Studies},
    title = {Towards an Alternative Semantics for {FIPA ACL}},
    volume = 2,
    year = 2002
} }}})))
((({{{ @inproceedings{coordevents-dcsw2002,
	Author = {Viroli, Mirko and Ricci, Alessandro},
	Booktitle = {22nd International Conference on Distributed Computing Systems},
	Doi = {10.1109/ICDCSW.2002.1030835},
	Isbn = {0-7695-1588-6},
	Keywords = {JavaSpaces, multiagent systems, TSpaces, coordination infrastructures,coordination level, event notification,event-based systems, tuple-based coordination models},
	Note = {Proceedings of the Workshops},
	Pages = {595--601},
	Publisher = {IEEE CS},
	Title = {Tuple-based Coordination Models in Event-based Scenarios},
	Url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=1030835},
	Year = 2002} }}})))
((({{{ @inproceedings{respect-pdpta02,
    acm = {691538},
    address = {Las Vegas, NV, USA},
    author = {Ricci, Alessandro and Omicini, Andrea and Viroli, Mirko},
    booktitle = {International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'02)},
    editor = {Arabnia, Hamid R.},
    isbn = {1-892512-89-0},
    month = {24--27}}},
    title = {Extending {{\sf ReSpecT}} for Multiple Coordination Flows},
    url = {http://dl.acm.org/citation.cfm?id=691538},
    volume = {III},
    year = 2002
} }}})))
((({{{ @inproceedings{obs-aamas02,
    acm = {544913},
    address = {Bologna, Italy},
    author = {Viroli, Mirko and Omicini, Andrea},
    booktitle = {1st International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002)},
    doi = {10.1145/544862.544913},
    editor = {Castelfranchi, Cristiano and Johnson, W. Lewis},
    isbn = {1-58113-480},
    month = {15--19}}},
    scopus = {2-s2.0-0036355135},
    title = {Specifying Agent Observable Behaviour},
    url = {http://dl.acm.org/citation.cfm?id=544913},
    volume = 2,
    year = 2002
} }}})))
((({{{ @inproceedings{logop-woa2002,
    address = {Milano, Italy},
    author = {Menezes, Ronaldo and Omicini, Andrea and Viroli, Mirko},
    booktitle = {AI*IA/TABOO Joint Workshop ``Dagli oggetti agli agenti: dall'informazione alla conoscenza'' (WOA 2002)},
    editor = {De Paoli, Flavio and Manzoni, Sara and Poggi, Agostino},
    isbn = {88-371-1363-3},
    month = {18--19 } # nov,
    publisher = {Pitagora Editrice Bologna},
    title = {Have {{\sf ReSpecT}} for {{\sc LogOp}}},
    urlpdf = {http://lia.deis.unibo.it/books/woa2002/pdf/18.pdf},
    year = 2002
} 
 @incollection{obs-coord02,
    acm = {713583},
    author = {Viroli, Mirko and Omicini, Andrea},
    booktitle = {Coordination Models and Languages},
    doi = {10.1007/3-540-46000-4_33},
    editor = {Arbab, Farhad and Talcott, Carolyn},
    eisbn = {978-3-540-46000-8},
    eissn = {1611-3349},
    iris = {11585/951000},
    isbn = {978-3-540-43410-8},
    isbn10 = {3-540-43410-0},
    issn = {0302-9743},
    note = {5th International Conference (COORDINATION 2002), York, UK, 8--11~} # apr # {~2002. Proceedings},
    pages = {364--379},
    publisher = {Springer Berlin Heidelberg},
    scopus = {2-s2.0-23044534697},
    series = {Lecture Notes in Computer Science},
    title = {Tuple-based Models in the Observation Framework},
    url = {http://link.springer.com/10.1007/3-540-46000-4_33},
    volume = 2315,
    wos = {000181348700033},
    year = 2002
} 
 @inproceedings{obs-icai02,
    address = {Las Vegas, NV, USA},
    author = {Viroli, Mirko and Omicini, Andrea},
    booktitle = {International Conference on Artificial Intelligence (IC-AI'02)},
    editor = {Arabnia, Hamid R. and Mun, Youngsong},
    isbn = {1-892512-25-4},
    month = {24--27}}},
    title = {A Specification Language for Agents Observable Behaviour},
    volume = {I},
    year = 2002
} 
 @inproceedings{obs-aiia2002,
    address = {Siena, Italy},
    author = {Viroli, Mirko and Omicini, Andrea},
    booktitle = {8th AI*IA Convention (AI*IA 2002), Workshop ``Agenti per la rappresentazione della conoscenza e il ragionamento''},
    editor = {Gori, Marco and Cadoli, Marco and Poggi, Agostino},
    month = {11}}},
    year = 2002
} 
 @inproceedings{coord-pdpta02,
    acm = {691680},
    address = {Las Vegas, NV, USA},
    author = {Viroli, Mirko and Omicini, Andrea and Ricci, Alessandro},
    booktitle = {International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'02)},
    editor = {Arabnia, Hamid R.},
    isbn = {1-892512-89-0},
    month = {24--27}}},
    title = {On the Expressiveness of Event-Based Coordination Media},
    url = {http://dl.acm.org/citation.cfm?id=691680},
    volume = {III},
    year = 2002
} 
 @inproceedings{obs-sac2001,
    acm = {372306},
    address = {New York, NY, USA},
    author = {Viroli, Mirko and Moro, Gianluca and Omicini, Andrea},
    booktitle = {16th ACM Symposium on Applied Computing (SAC 2001)},
    doi = {10.1145/372202.372306},
    isbn = {1-58113-287-5},
    location = {Las Vegas, NV, USA},
    month = {11--14 } # mar,
    note = {Special Track on Coordination Models, Languages and Applications},
    pages = {166--175},
    publisher = {ACM},
    scopus = {2-s2.0-0002164742},
    title = {On Observation as a Coordination Pattern: An Ontology and a Formal Framework},
    url = {http://dl.acm.org/citation.cfm?id=372306},
    year = 2001
} 
 @inproceedings{obs-woa2001,
    address = {Bologna, Italy},
    author = {Viroli, Mirko and Omicini, Andrea},
    booktitle = {AI*IA/TABOO Joint Workshop ``Dagli oggetti agli agenti: tendenze evolutive dei sistemi software'' (WOA 2001)},
    editor = {Omicini, Andrea and Viroli, Mirko},
    isbn = {88-371-1272-6},
    location = {Modena, Italy},
    month = {4--5}}},
    url = {http://lia.deis.unibo.it/books/woa2001/pdf/22.pdf},
    year = 2001
} 
186 papers in proceedings • topindexbottom