@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 "
}
@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{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