Per Year
@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.}}
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{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}
}
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}
}
@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}
}
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{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}
}
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}
}