Per Year

 @article{RVP-PROMAS09,
	series = {Lecture Notes Computer Science},
	booktitle = {Programming Multi-Agent Systems 7th International Workshop (ProMAS 2009) Revised Selected Papers},
	publisher = {Springer},
	author = {Ricci, Alessandro and Viroli, Mirko and Piunti, Michele},
	title = {Formalising the Environment in MAS Programming: a Formal Model},
	isbn = {978-3-642-14842-2},
	year = 2009,
	status = {Published},
	pages = {133--150},
	venue = {LNCS},
	volume = 5919,
	doi = {10.1007/978-3-642-14843-9}} 

 @inproceedings{RPV-LADS09,
    author = {Ricci, Alessandro and Piunti, Michele and Viroli, Mirko},
    booktitle = {Proceedings of MALLOW 2009 federated workshops: LAnguages, methodologies and Development tools for multi-agent systemS (LADS 2009)},
    editor = {Dastani, Mehdi and Seghrouchni, Amal El Fallah and Leite, João and Torroni, Paolo},
    keywords = {Agents, Artifacts, Cognitive, Capabilities, Modularisation, Externalisation},
    month = {September},
    status = {Published},
    title = {Externalisation and Internalization: A New Perspective on Agent Modularisation in Multi-Agent Systems Programming},
    venue = {--},
    year = 2009
} 

 @inproceedings{modelchecking-sac09,
	Address = {Honolulu, Hawai'i, USA},
	Author = {Casadei, Matteo and Viroli, Mirko},
	Booktitle = {24th Annual ACM Symposium on Applied Computing (SAC 2009)},
	Editor = {Shin, Sung Y. and Ossowski, Sascha and Menezes, Ronaldo and Viroli, Mirko},
	Isbn = {978-1-60558-166-8},
	Month = {8--12}}},
	Title = {Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems},
	Volume = {III},
	Year = 2009}

 

 @inproceedings{probmodelchecking-cec09,
	booktitle = {IEEE Congress on Evolutionary Computation, 2009 (CEC 2009).},
	publisher = {IEEE Computer Society Press},
	author = {Casadei, Matteo and Viroli, Mirko},
	title = {An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing Systems},
	isbn = { 978-1-4244-2959-2},
	year = 2009,
	abstract = {The attention to self-organization as a feasible metaphor for dealing with the growing complexity of today's software systems is constantly growing. In particular, by adopting self-organization, systems can adapt to highly dynamic environments by local interaction among system's components. As a consequence, the global behavior of the system can be regarded as an emergent property since it appears by a process emerging from local interactions among components. The corresponding system dynamics is usually non-linear and complex so that the adoption of simulation and verification techniques in the early design stage becomes essential to carry out an effective design. Accordingly, in this paper we discuss a hybrid approach relying on stochastic simulation and probabilistic model checking and show a possible application on a problem called collective sort taken as a case study. To this end, the PRISM probabilistic model checker is adopted as a concrete tool for analyzing emergent properties of collective sort. Finally, a discussion of the corresponding results is provided.},
	status = {Published},
	pages = {1538-1545},
	venue = {--},
	month = {May, 18-21}} 

 @incollection{simulation-massimulationbook09,
    author = {Gardelli, Luca and Viroli, Mirko and Omicini, Andrea},
    booktitle = {Multi-Agent Systems: Simulation and Applications},
    chapter = 5,
    doi = {10.1201/9781420070248-15},
    editor = {Uhrmacher, Adelinde M. and Weyns, Danny},
    eisbn = {978-1-3152-1878-6},
    iris = {11585/82469},
    isbn = {978-1-4200-7023-1},
    isbn10 = {1-4200-7023-1},
    isbn13 = {978-1-4200-7023-1},
    month = jun,
    pages = {133--165},
    publisher = {CRC Press},
    scopus = {2-s2.0-85068357847},
    series = {Computational Analysis, Synthesis, and Design of Dynamic Systems},
    title = {Combining Simulation and Formal Tools for Developing Self-Organizing {MAS}},
    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}
 

 @inproceedings{selforgcoord-sac09,
    acm = {1529585},
    author = {Viroli, Mirko and Casadei, Matteo and Omicini, Andrea},
    booktitle = {24th Annual ACM Symposium on Applied Computing (SAC 2009)},
    doi = {10.1145/1529282.1529585},
    editor = {Shin, Sung Y. and Ossowski, Sascha and Menezes, Ronaldo and Viroli, Mirko},
    iris = {11585/71835},
    isbn = {978-1-60558-166-8},
    location = {Honolulu, Hawai'i, USA},
    month = {8--12}}},
    scopus = {2-s2.0-68749114381},
    title = {A Framework for Modelling and Implementing Self-Organising Coordination},
    url = {http://dl.acm.org/citation.cfm?id=1529585},
    volume = {III},
    year = 2009
} 

 @article{collectivesort-scp74,
	Author = {Casadei, Matteo and Viroli, Mirko and Gardelli, Luca},
	Booktitle = {Special Issue on the 5th International Workshop on Foundations of Coordination Languages and Architectures (FOCLASA '06)},
	Doi = {10.1016/j.scico.2008.09.018},
	Editor = {Pimentel, Ernesto and Jacquet, Jean-Marie},
	Issn = {0167-6423},
	Journal = {Science of Computer Programming},
	Keywords = {Self-Organising Systems, Tuple Spaces, Stochastic Simulations, Collective Sort},
	Number = 9,
	Pages = {702--722},
	Publisher = {Elsevier Science B. V.},
	Title = {On the Collective Sort Problem for Distributed Tuple Spaces},
	Url = {http://www.sciencedirect.com/science/article/pii/S0167642309000318},
	Volume = 74,
	Year = 2009} 

 @inproceedings{DGRV-ICSOFT2009,
  editor    = {Shishkov, Boris and Cordeiro, Jos{\'e} and  Ranchordas, Alpesh},
  booktitle    = {ICSOFT 2009 - Proceedings of the 4th International Conference on Software and Data Technologies, Volume 1, Sofia, Bulgaria, July 26-29, 2009},
  publisher = {INSTICC Press},
  year      = {2009},
  isbn      = {978-989-674-009-2},
  author    = {Damiani, Ferruccio  and Giannini, Paola and Ricci, Alessandro and Viroli, Mirko},
  title     = {FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts},
  pages     = {218-225}} 

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

 @incollection{biochemicaltuplespaces-coordination09,
	Address = {Lisbon, Portugal},
	Author = {Viroli, Mirko and Casadei, Matteo},
	Booktitle = {Coordination Languages and Models},
	Doi = {10.1007/978-3-642-02053-7_8},
	Editor = {Field, John and Vasconcelos, Vasco T.},
	Isbn = {978-3-642-02052-0},
	Issn = {0302-9743},
	Month = jun,
	Note = {11th International Conference (COORDINATION 2009), Lisbon, Portugal, } # jun # { 2009. Proceedings},
	Pages = {143--162},
	Publisher = {Springer},
	Series = {LNCS},
	Title = {Biochemical Tuple Spaces for Self-Organising Coordination},
	Url = {http://www.springerlink.com/content/jx783250031742uu/},
	Volume = 5521,
	Year = 2009}