Per anno

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