@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.}
}
@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,
}
5 publications in 2013 with DOI •
top •
index •
bottom @inproceedings{sapereecolaws-sac2012,
Address = {Riva del Garda, TN, Italy},
Author = {Viroli, Mirko and Pianini, Danilo and Montagna, Sara and Stevenson, Graeme},
Booktitle = {27th Annual ACM Symposium on Applied Computing (SAC 2012)},
Doi = {10.1145/2245276.2245336},
Editor = {Ossowski, Sascha and Lecca, Paola and Hung, Chih-Cheng and Hong, Jiman},
Isbn = {978-1-4503-0857-1},
Month = {26--30}}},
Url = {http://dl.acm.org/citation.cfm?doid=2245276.2245336},
Year = 2012} @inproceedings{asensis-sasow2012,
author = {Fernandez-Marquez, José Luis and Montagna, Sara and Omicini, Andrea and Zambonelli, Franco},
booktitle = {Self-Adaptive and Self-Organizing Systems Workshops (SASOW)},
doi = {10.1109/SASOW.2012.10},
editor = {Pitt, Jeremy},
eisbn = {978-07695-4895-1},
iris = {11585/152877},
isbn = {978-1-4673-5153-9},
location = {Lyon, France},
note = {2012 IEEE Sixth International Conference (SASOW 2012), Lyon, France, 10-14~} # sep # {~2012. Proceedings},
pages = {235--240},
publisher = {IEEE CS},
scopus = {2-s2.0-84877263782},
title = {{ASENSIS} 2012 -- {F}irst {I}nternational {W}orkshop on {A}daptive {S}ervice {E}cosystems: {N}ature and {S}ocially {I}nspired {S}olutions},
url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6498371},
urlpdf = {http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6498371},
year = 2012
} @incollection{montagna-morphoeng,
year={2012},
isbn={978-3-642-33901-1},
booktitle={Morphogenetic Engineering},
series={Understanding Complex Systems},
editor={Doursat, Ren\'e and Sayama, Hiroki and Michel, Olivier},
doi={10.1007/978-3-642-33902-8_15},
title={A Computational Framework for Multilevel Morphologies},
url={http://dx.doi.org/10.1007/978-3-642-33902-8_15},
publisher={Springer Berlin Heidelberg},
author={Montagna, Sara and Viroli, Mirko},
pages={383--405},
language={English}
}
@incollection{BIOCORE-2012,
author = {Fernandez-Marquez, Jose Luis and Serugendo, Giovanna Di Marzo and Montagna, Sara},
affiliation = {University of Geneva, Switzerland},
title = {BIO-CORE: Bio-inspired Self-organising Mechanisms Core},
booktitle = {Bio-Inspired Models of Networks, Information, and Computing Systems},
series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering},
editor = {Hart, Emma and Timmis, Jon and Mitchell, Paul and Nakamo, Takadash and Dabiri, Foad and Akan, Ozgur and Bellavista, Paolo and Cao, Jiannong and Dressler, Falko and Ferrari, Domenico and Gerla, Mario and Kobayashi, Hisashi and Palazzo, Sergio and Sahni, Sartaj and Shen, Xuemin (Sherman) and Stan, Mircea and Xiaohua, Jia and Zomaya, Albert and Coulson, Geoffrey},
publisher = {Springer Berlin Heidelberg},
isbn = {978-3-642-32711-7},
keyword = {Computer Science},
pages = {59-72},
volume = {103},
url = {http://dx.doi.org/10.1007/978-3-642-32711-7_5},
note = {10.1007/978-3-642-32711-7_5},
year = {2012}
} @inproceedings{anticipativegradient-SASO12,
location = {Lyon, France},
booktitle = {Proceedings of 6th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2012)},
author = {Montagna, Sara and Pianini, Danilo and Viroli, Mirko},
title = {Gradient-based Self-organisation Patterns of Anticipative Adaptation},
year = 2012,
keywords = {Anticipative adaptation, Pervasive service ecosystem, Gradient pattern},
venue = {SASO},
month = {September},
isbn = {978-0-7695-4851-7},
doi = {10.1109/SASO.2012.25},
ee = {http://doi.ieeecomputersociety.org/10.1109/SASO.2012.25},
pages = {169--174}
} @article{nettab-embnetjournal2012,
author = {Cárdenas-García, Maura and González-Pérez, Pedro Pablo and Montagna, Sara},
doi = {10.14806/ej.18.B.563},
journal = {EMBnet.journal},
number = {B},
title = {Simulation of caspases apoptotic signalling pathway in a tuple space-based bioinformatics infrastructure},
url = {http://journal.embnet.org/index.php/embnetjournal/article/view/563},
volume = 18,
year = 2012
}
6 publications in 2012 with DOI •
top •
index •
bottom @inproceedings{sapere-procedia7,
address = {Budapest, Hungary},
author = {Zambonelli, Franco and Castelli, Gabriella and Ferrari, Laura and Mamei, Marco and Rosi, Alberto and Di Marzo Serugendo, Giovanna and Risoldi, Matteo and Tchao, Akla-Esso and Dobson, Simon and Stevenson, Graeme and Ye, Yuan and Nardini, Elena and Omicini, Andrea and Montagna, Sara and Viroli, Mirko and Ferscha, Alois and Maschek, Sascha and Wally, Bernhard},
booktitle = {Proceedings of the 2nd European Future Technologies Conference and Exhibition 2011 (FET 11)},
doi = {10.1016/j.procs.2011.09.006},
editor = {Giacobino, Elisabeth and Pfeifer, Rolf},
iris = {11585/114963},
issn = {1877-0509},
keywords = {Self-awareness in Autonomic Systems; Pervasive Computing Service; Nature-inspired Computing},
month = {4--6}}},
scopus = {2-s2.0-84856490082},
series = {Procedia Computer Science},
title = {Self-aware Pervasive Service Ecosystems},
url = {http://www.sciencedirect.com/science/article/pii/S1877050911005667},
volume = 7,
wos = {000299100900065},
year = 2011
} @article{spatial-taas11,
urlpdf = {http://portal.acm.org/ft_gateway.cfm?id=1968517&ftid=991523&dwn=1&CFID=31487229&CFTOKEN=42827646},
issn = {1556-4665},
publisher = {ACM},
journal = {ACM Transactions on Autonomous and Adaptive Systems},
author = {Viroli, Mirko and Casadei, Matteo and Montagna, Sara and Zambonelli, Franco},
title = {Spatial Coordination of Pervasive Services through Chemical-inspired Tuple Spaces},
year = 2011,
keywords = {Chemical-inspired computation, tuple spaces},
status = {Published},
pages = {14:1--14:24},
number = 2,
venue = {TAAS},
url = {http://doi.acm.org/10.1145/1968513.1968517},
address = {New York, NY, USA},
volume = 6,
month = {June},
doi = {10.1145/1968513.1968517}} @incollection{montagna-serene2011,
Address = {Geneva, Switzerland},
Author = {Montagna, Sara and Viroli, Mirko and Risoldi, Matteo and Pianini, Danilo and Di Marzo Serugendo, Giovanna},
Booktitle = {3rd International Workshop on Software Engineering for Resilient Systems},
Doi = {10.1007/978-3-642-24124-6_12},
Keywords = {pervasive computing, software ecosystems, self-adaptation, self-organisation},
Month = {29--30}}},
Series = {Lecture Notes in Computer Science},
Title = {Self-organising Pervasive Ecosystems: A Crowd Evacuation Example},
Url = {http://www.springerlink.com/content/096hh324410xj820},
Volume = 6968,
Year = 2011}
3 publications in 2011 with DOI •
top •
index •
bottom
1 publication in 2010 with DOI •
top •
index •
bottom @inproceedings{ecosystem-sac09,
Address = {Honolulu, Hawai'i, USA},
Author = {Viroli, Mirko and Zambonelli, Franco and Casadei, Matteo and Montagna, Sara},
Booktitle = {24th Annual ACM Symposium on Applied Computing (SAC 2009)},
Doi = {10.1145/1529282.1529556},
Editor = {Shin, Sung Y. and Ossowski, Sascha and Menezes, Ronaldo and Viroli, Mirko},
Isbn = {978-1-60558-166-8},
Month = {8--12}}},
Title = {A Biochemical Metaphor for Developing Eternally Adaptive Service Ecosystems},
Url = {http://dl.acm.org/citation.cfm?id=1529556},
Volume = {II},
Year = 2009}
@inproceedings{genesimageprocessing-embc09,
address = {Minneapolis, MN, USA},
author = {Castro Gonzalez, Carlos and Luengo-Oroz, Miguel Angel and Desnoulez, Sophie and Duloquin, Louise and Fern{\'a}ndez-de-Manuel, Laura and Montagna, Sara and Ledesma-Carbayo, Maria J. and Bourgine, Paul and Peyrieras, Nadine and Santos, Andres},
booktitle = {31st Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC 2009)},
isbn = {978-1-4244-3296-7},
keywords = {3D Gene Expression Atlas, zebrafish embryogenesis, Developmental Biology},
month = {2-6}}},
pubmed = {11585/85925},
scopus = {2-s2.0-84903872300},
title = {An Automatic Quantification and Registration Strategy to Create a Gene Expression Atlas of Zebrafish Embryogenesis},
url = {http://www.embc09.org/},
year = 2009} @proceedings{montagnaroli-AIxIA09,
series = {Lecture Notes in Computer Science},
booktitle = {AI*IA 2009: Emergent Perspectives in Artificial Intelligence -- XIth International Conference of the Italian Association for Artificial Intelligence Reggio Emilia, Italy, December 9-12, 2009 Proceedings},
publisher = {Springer Berlin / Heidelberg},
author = {Montagna, Sara and Roli, Andrea},
title = {Parameter tuning of a stochastic biological simulator by metaheuristics},
isbn = {978-3-642-10290-5},
year = 2009,
status = {Published},
pages = {466--475},
venue = {--},
editor = {Serra, Roberto and Cucchiara, Rita},
volume = 5883,
doi = {10.1007/978-3-642-10291-2}}
3 publications in 2009 with DOI •
top •
index •
bottom @article{simulation-ijaose2,
acm = {10.1504/IJAOSE.2008.017316},
author = {Montagna, Sara and Ricci, Alessandro and Omicini, Andrea},
doi = {10.1504/IJAOSE.2008.017316},
editor = {Cossentino, Massimo and Fortino, Giancarlo and Russo, Wilma},
eissn = {1746-1383},
iris = {11585/62493},
issn = {1746-1375},
journal = {International Journal of Agent-Oriented Software Engineering},
keywords = {Systems biology; multiagent-based simulation; MABS; A&A metamodelling; MAS engineering; TuCSoN; multi-agent systems; agent-based systems; agents and artefacts; system dynamics; metabolic pathway; glycolysis},
note = {Special Issue on Multi-Agent Systems and Simulation},
number = 2,
pages = {222--245},
publisher = {Inderscience Publishers},
scopus = {2-s2.0-79956135898},
title = {{A\&A} for Modelling and Engineering Simulations in {S}ystems {B}iology},
url = {http://www.inderscience.com/search/index.php?action=record&rec_id=17316},
volume = 2,
year = 2008
}
1 publication in 2008 with DOI •
top •
index •
bottom
0000-0001-5390-4319