Per anno

29 pubblicazioni senza IRIS ID  /  2006–2015  /  Sara Montagna
2015  •  2013  •  2012  •  2011  •  2010  •  2009  •  2007
 @article{VPMSZ-SCP2015,
title = "A coordination model of pervasive service ecosystems",
journal = "Science of Computer Programming",
volume = "110",
number = "",
pages = "3 - 22",
year = "2015",
issn = "0167-6423",
doi = "http://dx.doi.org/10.1016/j.scico.2015.06.003",
url = "http://www.sciencedirect.com/science/article/pii/S0167642315001264",
author = "Viroli, Mirko and Pianini, Danilo and Montagna, Sara and Stevenson, Graeme and Zambonelli, Franco",
keywords = "Coordination models and languages",
keywords = "Pervasive computing",
keywords = "Service ecosystems",
keywords = "Process algebras",
keywords = "Self-organisation "
}
 
 @article{msbionet-simulation91,
    author = {Montagna, Sara and Viroli, Mirko and Roli, Andrea},
    doi = {10.1177/0037549715585569},
    eissn = {1741-3133},
    issn = {0037-5497},
    journal = {SIMULATION: Transactions of the Society for Modeling and Simulation International},
    keywords = {Multicellular systems biology, developmental biology, spatial stochastic multiscale model, Drosophila melanogaster, parameter estimation, metaheuristics},
    month = jun,
    number = 7,
    pages = {666--685},
    publisher = {SAGE},
    title = {A framework supporting multi-compartment stochastic simulation and parameter optimisation for investigating biological system development},
    volume = 91,
    year = 2015
} 
2 pubblicazioni nel 2015 senza IRIS ID • in cimaindicein fondo
 @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
} 
7 pubblicazioni nel 2013 senza IRIS ID • in cimaindicein fondo
 @inproceedings{montagna-sac12,
	booktitle = {Proceedings of the 27th Annual ACM Symposium on Applied Computing (SAC 2012) },
	publisher = {ACM},
	author = {Montagna, Sara and Pianini, Danilo and Viroli, Mirko},
	title = {A Model for Drosophila Melanogaster Development from a Single Cell to Stripe Pattern Formation},
	isbn = {978-1-4503-0857-1},
	year = 2012,
	status = {Published},
	pages = {1406--1412},
	venue = {SAC},
	editor = {Shin, Dongwan  and Hung, Chih-Cheng and Hong, Jiman},
	address = {Riva del Garda (Trento), Italy},
	month = {26-30 March}} 
 @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{semmatch-asensis2012,
	Author = {Stevenson, Graeme and Viroli, Mirko and Ye, Juan and Montagna, Sara and Dobson, Simon},
	Address = {SASO 2012, Lyon, France},
	Booktitle = {1st International Workshop on Adaptive Service Ecosystems: Natural and Socially Inspired Solutions (ASENSIS 2012)},
	Editor = {Fernandez-Marquez, Jos\'e Luis and Montagna, Sara and Omicini, Andrea and Zambonelli, Franco},
	Month = {10}}},
	Title = {Self-organising Semantic Resource Discovery for Pervasive Systems},
	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}
} 
 @inproceedings{selfcomp-woa2012,
	urlpdf = {http://ceur-ws.org/Vol-892/paper1.pdf},
	issn = {1613-0073},
	booktitle = {Proceedings of the 13th Workshop on Objects and Agents},
	publisher = {CEUR-WS},
	author = {Montagna, Sara and Viroli, Mirko and Pianini, Danilo and Fernandez-Marquez, Jose Luis},
	title = {Towards a comprehensive approach to spontaneous self-composition in pervasive ecosystems},
	year = 2012,
	status = {Published},
	venue = {WOA},
	editor = {De Paoli, Flavio and Vizzari, Giuseppe},
	month = {12 September}} 
 @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
} 
8 pubblicazioni nel 2012 senza IRIS ID • in cimaindicein fondo
 @inproceedings{pianini-woa2011,
	Address = {Rende, Italy},
	Author = {Pianini, Danilo and Viroli, Mirko and Montagna, Sara},
	Booktitle = {WOA 2011 -- XII Workshop Nazionale "Dagli Oggetti agli Agenti"},
	Editor = {Fortino, Giancarlo and Garro, Alfredo and Palopoli, Luigi and Russo, Wilma and Spezzano, Giandomenico},
	Issn = {1613-0073},
	Month = {4-6}}},
	Series = {CEUR Workshop Proceedings},
	Title = {A Simulation Framework for Pervasive Services Ecosystems},
	Url = {http://ceur-ws.org/Vol-741/ID15_PianiniViroliMontagna.pdf},
	Volume = 741,
	Year = 2011} 
 @inproceedings{selforg-bads11,
	Address = {Karlsruhe, Germany},
	Author = {Fernandez-Marquez, Jose Luis and Arcos, Josep Lluis and Di Marzo Serugendo, Giovanna and Viroli, Mirko and Montagna, Sara},
	Booktitle = {3rd Workshop on Bio-Inspired and Self-* Algorithms for Distributed Systems},
	Month = {14}}},
	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}} 
 @phdthesis{montagna-phdthesis11,
    address = {Bologna, Italy},
    author = {Montagna, Sara},
    institution = {Alma Mater Studiorum--Università di Bologna},
    keywords = {Morphogenesis, Developmental Biology, Self-Organisation, Computational Biology, Multi-level Models, Formal Methods, Agent-based Model, Stochastic Simulation, Meta-heuristic, Parameter Optimisation},
    month = mar,
    school = {Dottorato in Ingegneria Elettronica, Informatica e delle Telecomunicazioni},
    title = {Multi-level models and infrastructures for simulating biological system development},
    year = 2011
} 
 @inproceedings{pianini-mass2011,
	booktitle = {Proceedings of the Federated Conference on Computer Science and Information Systems (FedCSIS 2011)},
	publisher = {IEEE Computer Society Press},
	author = {Pianini, Danilo and  Montagna, Sara and Viroli, Mirko },
	title = {A Chemical Inspired Simulation Framework for Pervasive Services Ecosystems},
	isbn = {978-83-60810-22-4},
	year = 2011,
	status = {Published},
	pages = {667--674},
	venue = {MASS},
	editor = {Ganzha, Maria and Maciaszek, Leszek and Paprzycki, Marcin},
	address = {Szczecin, Poland},
	month = {18-21 September}} 
 @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}
 
6 pubblicazioni nel 2011 senza IRIS ID • in cimaindicein fondo
 @article{Montagna2010115,
       Author = {Montagna, Sara and Viroli, Mirko},
       Title = {A Framework for Modelling and Simulating Networks of Cells},
       Journal = {Electronic Notes in Theoretical Computer Science},
       Volume = {268},
       Pages = {115--129},
       Month = dec,
       Note = {Proceedings of the 1st International Workshop on Interactions between Computer Science and Biology (CS2Bio'10)},
       Issn = {1571-0661},
       Doi = {10.1016/j.entcs.2010.12.009},
       Publisher = {Elsevier Science B.V.},
       Keyword = {Formal methods, Multi-level model, Developmental biology},
       Year = 2010} 
1 pubblicazione nel 2010 senza IRIS ID • in cimaindicein fondo
 @incollection{biosimulation-massimulationbook09,
    author = {d'Inverno, Mark and Howells, Paul and Montagna, Sara and Roeder, Ingo and Saunders, Rob},
    booktitle = {Multi-Agent Systems: Simulation and Applications},
    chapter = 13,
    editor = {Uhrmacher, Adelinde M. and Weyns, Danny},
    isbn = {978-1-4200-7023-1},
    isbn-10 = {1-4200-7023-1},
    keywords = {Multi-Agent Based Simulation, Computational Biology, Stem cells, Multi-level model},
    month = jun,
    pages = {389--418},
    publisher = {CRC Press},
    series = {Computational Analysis, Synthesis, and Design of Dynamic Systems},
    title = {Agent-based Modelling of Stem Cells},
    url = {http://crcpress.com/product/isbn/9781420070231},
    year = 2009
} 
 @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}
 
 @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}} 
 @inproceedings{bioframework-cec09,
	booktitle = {2009 IEEE Congress on Evolutionary Computation (CEC 2009)},
	publisher = {IEEE Computer Society Press},
	author = {Montagna, Sara and Viroli, Mirko},
	title = {A computational framework for modelling multicellular biochemistry},
	isbn = {978-1-4244-2959-2},
	year = 2009,
	status = {Published},
	pages = {2233--2240},
	venue = {--},
	address = {Trondheim, Norway },
	month = {18-21 May}} 
4 pubblicazioni nel 2009 senza IRIS ID • in cimaindicein fondo
 @inproceedings{sysbio-fosbe07,
    address = {Stuttgart, Germany},
    author = {Montagna, Sara and Omicini, Andrea and Ricci, Alessandro and d'Inverno, Mark},
    booktitle = {2nd Conference ``Foundations of Systems Biology in Engineering'' (FOSBE 2007)},
    editor = {Allgöwer, Frank and Reuss, Matthias},
    isbn = {978-3-8167-7436-5},
    month = {9--12}}},
    title = {Modelling Hematopoietic Stem Cell Behaviour: An Approach Based on Multi-Agent Systems},
    year = 2007
} 
1 pubblicazione nel 2007 senza IRIS ID • in cimaindicein fondo