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~} # mar,
 pages = {1369-1376},
 publisher = {ACM},
 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~} # may,
   note = {Proceedings},
   pages = {67--72},
   title = {Composing Gradients for a Context-Aware Navigation of Users in a Smart-City},
   year = 2013
}