@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{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
} @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} @article{DV-LMCS2015,
author = {Damiani, Ferruccio and Viroli, Mirko},
doi = {10.2168/LMCS-11(4:21)2015},
issn = {1860-5974},
journal = {Logical Methods in Computer Science},
number = 4,
numpages = 53,
pages = {1--53},
publisher = {EPI Sciences},
title = {Type-based Self-stabilisation for Computational Fields},
url = {http://lmcs.episciences.org/1622},
volume = 11,
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{spacetime-rsta373,
address = {London, UK},
author = {Beal, Jacob and Viroli, Mirko},
doi = {10.1098/rsta.2014.0220},
isbn = {1471-2962},
issn = {1364-503X},
journal = {Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences},
keywords = {Spatial Computing; Aggregate Programming; Computational Fields},
number = 2046,
publisher = {The Royal Society},
title = {Space--Time Programming},
url = {http://rsta.royalsocietypublishing.org/content/373/2046/20140220},
urlpdf = {http://rsta.royalsocietypublishing.org/content/373/2046/20140220.full-text.pdf},
volume = 373,
year = 2015
} @article{msbionet-simulation91,
author = {Montagna, Sara and Viroli, Mirko and Roli, Andrea},
doi = {10.1177/0037549715585569},
eissn = {1741-3133},
issn = {0037-5497},
journal = {SIMULATION: Transactions of the Society for Modeling and Simulation International},
keywords = {Multicellular systems biology, developmental biology, spatial stochastic multiscale model, Drosophila melanogaster, parameter estimation, metaheuristics},
month = jun,
number = 7,
pages = {666--685},
publisher = {SAGE},
title = {A framework supporting multi-compartment stochastic simulation and parameter optimisation for investigating biological system development},
volume = 91,
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{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{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{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
} @article{BV-SPATIAL2015,
author = {Beal, Jacob and Viroli, Mirko},
title = {Formal Foundations of Sensor Network Applications},
journal = {SIGSPATIAL Special},
issue_date = {July 2015},
volume = {7},
number = {2},
month = sep,
year = {2015},
issn = {1946-7729},
pages = {36--42},
numpages = {7},
url = {http://doi.acm.org/10.1145/2826686.2826693},
doi = {10.1145/2826686.2826693},
acm = {2826693},
publisher = {ACM},
address = {New York, NY, USA},
}
0000-0003-2702-5702