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.}
}
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
}
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}}
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}
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}
}
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,
}
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
}
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
}