Per Year
@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{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{Montagna-MONET2012, iissn = {1383-469X}, publisher = {Springer Netherlands}, journal = {Mobile Networks and Applications}, author = {Montagna, Sara and Viroli, Mirko and Fernandez-Marquez, Jose Luis and Di Marzo Serugendo, Giovanna and Zambonelli, Franco}, title = {Injecting Self-organisation into Pervasive Service Ecosystems}, volume = {18}, number = {3}, year = {2013}, keywords = {Pervasive Computing, Self-organisation, Chemical-inspired computing}, issn = {1572-8153}, status = {Published}, pages = {398-412}, url = {http://www.springerlink.com/content/x3j4776323717w7h/}, doi = {10.1007/s11036-012-0411-1}}
@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}
@article{Naco2013, author = {Jose Luis Fernandez-Marquez and Giovanna Di Marzo Serugendo and Sara Montagna and Mirko Viroli and Josep Llu\'{\i}s Arcos}, title = {Description and composition of bio-inspired design patterns: a complete overview}, journal = {Natural Computing}, volume = {12}, number = {1}, year = {2013}, pages = {43-67}, ee = {http://dx.doi.org/10.1007/s11047-012-9324-y} }
@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 }