@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} @book{digitaldemocracy-book2019,
dblp = {series/lncs/11300},
doi = {10.1007/978-3-030-05333-8},
editor = {Contucci, Pierluigi and Omicini, Andrea and Pianini, Danilo and Sîrbu, Alina},
eisbn = {978-3-030-05333-8},
eissn = {1611-3349},
iris = {11585/653741},
isbn = {978-3-030-05332-1},
issn = {0302-9743},
keywords = {authentication, authorization, cryptography, data security, delegation, Information and Communication Technologies (ICT), information technology, knowledge management, resource allocation, resource management, security systems, software engineering},
month = jan,
publisher = {Springer},
scholar = {12990193718704924330},
series = {Lecture Notes in Computer Science},
subseries = {State-of-the-Art Survey},
title = {The Future of Digital Democracy. An Interdisciplinary Approach},
url = {http://link.springer.com/10.1007/978-3-030-05333-8},
url-epub = {http://link.springer.com/download/epub/10.1007/978-3-030-05333-8.epub},
urlpdf = {http://link.springer.com/content/pdf/10.1007/978-3-030-05333-8.pdf},
volume = 11300,
year = 2019
} @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{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},
} @incollection{digitalplatforms-digitaldemocracy2019,
author = {Pianini, Danilo and Omicini, Andrea},
booktitle = {The Future of Digital Democracy: An Interdisciplinary Approach},
chapter = 6,
dblp = {series/lncs/PianiniO19},
doi = {10.1007/978-3-030-05333-8_6},
editor = {Contucci, Pierluigi and Omicini, Andrea and Pianini, Danilo and Sîrbu, Alina},
iris = {11585/653725},
isbn = {978-3-030-05333-8},
issn = {0302-9743},
month = jan,
numpages = 14,
pages = {83--96},
publisher = {Springer},
scholar = {2467249375012552626},
scopus = {2-s2.0-85059037849},
series = {Lecture Notes in Computer Science},
subseries = {State-of-the-Art Survey},
title = {Democratic Process and Digital Platforms: An Engineering Perspective},
url = {http://link.springer.com/10.1007/978-3-030-05333-8_6},
urlpdf = {http://link.springer.com/content/pdf/10.1007/978-3-030-05333-8_6.pdf},
volume = 11300,
year = 2019
} @article{fieldcalculusTocl20,
author = {Audrito, Giorgio and Viroli, Mirko and Damiani, Ferruccio and Pianini, Danilo and Beal, Jacob},
doi = {10.1145/3285956},
journal = {{ACM} Transactions on Computational Logic},
month = jan,
number = 1,
pages = {1--55},
publisher = {ACM},
title = {A Higher-Order Calculus of Computational Fields},
url = {https://doi.org/10.1145/3285956},
volume = 20,
year = 2019} @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}
} @incollection{preface-digitaldemocracy2019,
author = {Contucci, Pierluigi and Omicini, Andrea and Pianini, Danilo and Sîrbu, Alina},
booktitle = {The Future of Digital Democracy: An Interdisciplinary Approach},
editor = {Contucci, Pierluigi and Omicini, Andrea and Pianini, Danilo and Sîrbu, Alina},
eissn = {1611-3349},
iris = {11585/653735},
isbn = {978-3-030-05333-8},
issn = {0302-9743},
month = jan,
numpages = 4,
pages = {V--VIII},
publisher = {Springer},
scopus = {2-s2.0-85059028630},
series = {Lecture Notes in Computer Science},
subseries = {State-of-the-Art Survey},
title = {Preface},
urlpdf = {http://link.springer.com/content/pdf/bfm:978-3-030-05333-8/1.pdf},
volume = 11300,
year = 2019
} @article{VBDACP-JLAMP2019,
title = {From distributed coordination to field calculus and aggregate computing},
journal = {Journal of Logical and Algebraic Methods in Programming},
volume = {109},
year = {2019},
issn = {2352-2208},
doi = {10.1016/j.jlamp.2019.100486},
url = "http://www.sciencedirect.com/science/article/pii/S235222081930032X",
author = {Viroli, Mirko and Beal, Jacob and Damiani, Ferruccio and Audrito, Giorgio and Casadei, Roberto and Pianini, Danilo},
keywords = "Distributed systems, Aggregate computing, Field calculus, Spatial computing",
publisher = {Elsevier},
} @article{CFPRSV-INFSCI2019,
title = {A development approach for collective opportunistic {Edge-of-Things} services},
journal = {Information Sciences},
publisher = {Elsevier},
volume = {498},
pages = {154--169},
year = {2019},
issn = {0020-0255},
doi = {10.1016/j.ins.2019.05.058},
url = {http://www.sciencedirect.com/science/article/pii/S002002551930461X},
author = {Casadei, Roberto and Fortino, Giancarlo and Pianini, Danilo and Russo, Wilma and Savaglio, Claudio and Viroli, Mirko},
keywords = {Internet of Things, Edge computing, Smart city, Opportunistic services, Aggregate computing},
abstract = {Technological advances have recently fostered the Internet of Things vision, in which systems of situated entities perceive and act upon the world, and interact with one another to provide novel kinds of services, which are inherently cyber-physical, increasingly contextual and opportunistic in nature, and possibly span different scales and domains. The requirements of such IoT applications, however, pose significant non/functional challenges to engineering efforts, mitigated by emerging computing paradigms. On the infrastructure side, Cloud, Fog, and Edge Computing provide virtualised, on-demand, elastic resource provisioning – at the distant data centres, Network core and Edge – supporting the abstraction and scalability needs of IoT settings while also altogether giving options for QoS-driven trade-offs. However, despite intense research in these fields, there is still a gap of approaches supporting the engineering of dynamic, heterogeneous smart environments, such as those involving “collectives” of devices coordinating in a complex fashion to provide “global” services. In this paper, we integrate the Aggregate Computing and Opportunistic IoT Service models and propose a full-fledged approach for the engineering – from analysis to simulation – of complex “Edge of Things” applications. We compare by simulation two deployment targets for the same collective application: one centralised/Cloud-based, and the other decentralised/Edge-based. We discuss the trade-offs each one introduces, and we draw recommendations on application-driven choices of the appropriate deployment.}
} @article{opportunisticaggregate-fgcs91,
author = {Casadei, Roberto and Fortino, Giancarlo and Pianini, Danilo and Russo, Wilma and Savaglio, Claudio and Viroli, Mirko},
doi = {10.1016/j.future.2018.09.005},
issn = {0167-739X},
journal = {Future Generation Computer Systems},
pages = {252--262},
publisher = {Elsevier B.V.},
title = {Modelling and Simulation of Opportunistic {IoT} Services with Aggregate Computing},
url = {https://www.sciencedirect.com/science/article/pii/S0167739X18307246},
volume = 91,
year = 2019} @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}
}
@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{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{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
} @article{VABDP-TOMACS2018,
author = {Viroli, Mirko and Audrito, Giorgio and Beal, Jacob and Damiani, Ferruccio and Pianini, Danilo},
title = {Engineering Resilient Collective Adaptive Systems by Self-Stabilisation},
journal = {ACM Transaction on Modelling and Computer Simulation},
issue_date = {March 2018},
volume = {28},
number = {2},
month = mar,
year = {2018},
issn = {1049-3301},
pages = {16:1--16:28},
articleno = {16},
numpages = {28},
url = {http://doi.acm.org/10.1145/3177774},
doi = {10.1145/3177774},
acm = {3177774},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {Aggregate computing, collective adaptive systems, distributed algorithms, field calculus, self-stabilisation, simulation and modeling},
}
@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},
} @article{spatialtuples-exsys35,
author = {Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea and Mariani, Stefano and Croatti, Angelo and Pianini, Danilo},
dblp = {journals/es/RicciVOMCP18},
doi = {10.1111/exsy.12273},
editor = {Camacho, David and Novais, Paulo},
iris = {11585/646034},
issn = {0266-4720},
journal = {Expert Systems},
keywords = {Artificial intelligence, coordination, pervasive computing, spatial computing, software engineering},
month = oct,
note = {{S}pecial Issue: New trends and innovations in intelligent distributed computing},
number = 5,
publisher = {Wiley},
scholar = {15432439871249761138},
scopus = {2-s2.0-85045836760},
title = {Spatial Tuples: Augmenting Reality with Tuples},
url = {http://onlinelibrary.wiley.com/doi/10.1111/exsy.12273},
volume = 35,
wos = {000446560700003},
year = 2018
} @article{VPRC-IJAOSE2017,
Author = {Viroli, Mirko and Pianini, Danilo and Ricci, Alessandro and Croatti, Angelo},
Issn = {1746-1375},
eissn = {1746-1383},
Journal = {International Journal of Agent-Oriented Software Engineering},
Number = 5,
Volume = 4,
Pages = {336--365},
Publisher = {Inderscience Publishers},
Title = {Aggregate plans for multiagent systems},
Year = 2017}
@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{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{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
} @article{BVPD-TAAS2017,
author = {Beal, Jacob and Viroli, Mirko and Pianini, Danilo and Damiani, Ferruccio},
title = {Self-Adaptation to Device Distribution in the {Internet of Things}},
journal = {ACM Transaction on Autonomous and Adaptive Systems},
issue_date = {September 2017},
volume = {12},
number = {3},
month = sep,
year = {2017},
issn = {1556-4665},
pages = {12:1--12:29},
articleno = {12},
numpages = {29},
url = {http://doi.acm.org/10.1145/3105758},
doi = {10.1145/3105758},
acm = {3105758},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {Field calculus, large-scale coordination, self-organisation, self-stabilization, spatial computing},
} @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.}
} @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.}} @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{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{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}
}
@incollection{mabsde-mabsXVI,
author = {Montagna, Sara and Omicini, Andrea and Pianini, Danilo},
booktitle = {Multi-Agent Based Simulation XVI. International Workshop, MABS 2015, Istanbul, Turkey, May 5, 2015, Revised Selected Papers},
chapter = 1,
dblp = {conf/mabs/MontagnaOP15},
doi = {10.1007/978-3-319-31447-1_1},
editor = {Gaudou, Benoit and Sichman, Jaime Simão},
eisbn = {978-3-319-31447-1},
iris = {11585/562458},
isbn = {978-3-319-31446-4},
issn = {0302-9743},
keywords = {ALCHEMIST, Discrete-event simulation, Gillespie algorithm, Multi-agent based simulation, Stochastic simulation},
month = {15}}},
scopus = {2-s2.0-84961257364},
series = {Lecture Notes in Computer Science},
subseries = {Lecture Notes in Artificial Intelligence},
title = {Extending the {G}illespie's Stochastic Simulation Algorithm for Integrating Discrete-Event and Multi-Agent Based Simulation},
url = {http://link.springer.com/10.1007/978-3-319-31447-1_1},
volume = 9568,
year = 2016
} @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}
} @article{sapere-ker31,
author = {Dobson, Simon and Viroli, Mirko and Fernandez-Marquez, Jose Luis and Zambonelli, Franco and Stevenson, Graeme and Di Marzo Serugendo, Giovanna and Montagna, Sara and Pianini, Danilo and Ye, Juan and Castelli, Gabriella and Rosi, Alberto},
doi = {10.1017/S0269888916000199},
iris = {11585/587618},
journal = {The Knowledge Engineering Review},
month = sep,
number = 4,
numpages = 24,
pages = {343-366},
scopus = {2-s2.0-85002973358},
title = {Spatial awareness in pervasive ecosystems},
url = {http://journals.cambridge.org/abstract_ S0269888916000199},
volume = 31,
year = 2016
} @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
} @article{VPMSZ-SCP2015,
title = "A coordination model of pervasive service ecosystems",
journal = "Science of Computer Programming",
volume = "110",
number = "",
pages = "3 - 22",
year = "2015",
issn = "0167-6423",
doi = "http://dx.doi.org/10.1016/j.scico.2015.06.003",
url = "http://www.sciencedirect.com/science/article/pii/S0167642315001264",
author = "Viroli, Mirko and Pianini, Danilo and Montagna, Sara and Stevenson, Graeme and Zambonelli, Franco",
keywords = "Coordination models and languages",
keywords = "Pervasive computing",
keywords = "Service ecosystems",
keywords = "Process algebras",
keywords = "Self-organisation "
}
@inproceedings{desmabs-mabs2015,
acm = {10.1007/978-3-319-31447-1_1},
author = {Montagna, Sara and Omicini, Andrea and Pianini, Danilo},
booktitle = {13th International Workshop on Multi-Agent-Based Simulation (MABS 2015)},
editor = {Gaudou, Benoit and Sichman, Jaime Simão},
iris = {11585/480590},
keywords = {multi-agent based simulation; discrete-event simulation; stochastic simulation; Gillespie algorithm; ALCHEMIST},
location = {Istanbul, Turkey},
month = may,
pages = {25--36},
title = {Extending the Gillespie's Stochastic Simulation Algorithm for Integrating Discrete-Event and Multi-Agent Based Simulation},
year = 2015
} @article{sapere-pmc10years,
author = {Zambonelli, Franco and Omicini, Andrea and Anzengruber, Bernhard and Castelli, Gabriella and DeAngelis, Francesco L. and Di Marzo Serugendo, Giovanna and Dobson, Simon and Fernandez-Marquez, José Luis and Ferscha, Alois and Mamei, Marco and Mariani, Stefano and Molesini, Ambra and Montagna, Sara and Nieminen, Jussi and Pianini, Danilo and Risoldi, Matteo and Rosi, Alberto and Stevenson, Graeme and Viroli, Mirko and Ye, Juan},
dblp = {journals/percom/ZambonelliOACAS15},
doi = {10.1016/j.pmcj.2014.12.002},
editor = {Kumar, Mohan and Becker, Christian},
iris = {11585/480586},
issn = {1574-1192},
journal = {Pervasive and Mobile Computing},
keywords = {Pervasive computing; Multi-agent systems; Coordination models; Self-organization},
month = feb,
note = {Special Issue ``10 years of Pervasive Computing'' In Honor of Chatschik Bisdikian},
pages = {236–252},
part = {B},
scholar = {15583593111038826907},
scopus = {2-s2.0-84924155453},
semanticscholar = {16555450},
title = {Developing Pervasive Multi-Agent Systems with Nature-Inspired Coordination},
url = {http://www.sciencedirect.com/science/article/pii/S1574119214001904},
volume = 17,
wos = {000350826800007},
year = 2015
} @ARTICLE{7274429,
author={Beal, Jacob and Pianini, Danilo and Viroli, Mirko},
journal={Computer},
title={Aggregate Programming for the Internet of Things},
year={2015},
volume={48},
number={9},
pages={22-30},
keywords={Aggregate programmin;Embedded systems;Internet of things;Pervasive computing;Programming;DSLs;Internet of Things;IoT;aggregate programming;distributed systems;domain-specific languages;embedded systems;field calculus;pervasive computing},
doi={10.1109/MC.2015.261},
ISSN={0018-9162},
month={Sept},} @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
} @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} @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
} @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{desmabs-aamas2015,
acm = {2773424},
address = {Richland, SC, USA},
author = {Montagna, Sara and Omicini, Andrea and Pianini, Danilo},
booktitle = {14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015)},
dblp = {conf/atal/MontagnaOP15},
editor = {Bordini, Rafael H. and Elkind, Edith and Weiss, Gerhard and Yolum, Pınar},
iris = {11585/480588},
isbn = {978-1-4503-3413-6},
keywords = {Multi-agent based simulation, event-driven simulation, stochastic simulation, Gillespie algorithm, ALCHEMIST},
location = {Istanbul, Turkey},
month = {4--8}}},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
scholar = {16114083894826383054},
scopus = {2-s2.0-84944707031},
semanticscholar = {2257860},
title = {A Gillespie-based Computational Model for Integrating Event-driven and Multi-Agent Based Simulation},
url = {http://dl.acm.org/citation.cfm?id=2773424},
urlpdf = {http://delivery.acm.org/10.1145/2780000/2773424/p1763-montagna.pdf},
wos = {000461455000234},
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} @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
}
@article{alchemist-jos2013,
Author = {Pianini, Danilo and Montagna, Sara and Viroli, Mirko},
Doi = {10.1057/jos.2012.27},
Issn = {1747-7778},
eissn = {1747-7786},
Journal = {Journal of Simulation},
Keywords = {Stochastic simulation, chemical-oriented computing, pervasive service ecosystems},
Publisher = {Palgrave McMillan},
Title = {Chemical-oriented Simulation of Computational Systems with {ALCHEMIST}},
Url = {http://link.springer.com/10.1057/jos.2012.27},
Year = 2013} @inproceedings{socinfo2013,
added-at = {2013-11-20T00:00:00.000+0100},
author = {Anzengruber, Bernhard and Pianini, Danilo and Nieminen, Jussi and Ferscha, Alois},
biburl = {http://www.bibsonomy.org/bibtex/2845c2785c0e54626803bd0581698c568/dblp},
booktitle = {SocInfo},
crossref = {conf/socinfo/2013},
editor = {Jatowt, Adam and Lim, Ee-Peng and Ding, Ying and Miura, Asako and Tezuka, Taro and Dias, Gaël and Tanaka, Katsumi and Flanagin, Andrew J. and Dai, Bing Tian},
ee = {http://dx.doi.org/10.1007/978-3-319-03260-3_18},
interhash = {85881e57156ecd6a86b4a779fc055fae},
intrahash = {845c2785c0e54626803bd0581698c568},
isbn = {978-3-319-03259-7},
keywords = {dblp},
pages = {206-215},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2013-11-20T00:00:00.000+0100},
title = {Predicting Social Density in Mass Events to Prevent Crowd Disasters.},
url = {http://dblp.uni-trier.de/db/conf/socinfo/socinfo2013.html#AnzengruberPNF13},
volume = 8238,
year = 2013
}
@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{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{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{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} @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}} @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}
0000-0002-8392-5409