Manuele Brambilla

@article{francesca2015automode,
  title={AutoMoDe-Chocolate: automatic design of control software for robot swarms},
  author={Francesca, Gianpiero and Brambilla, Manuele and Brutschy, Arne and Garattoni, Lorenzo and Miletitch, Roman and Podevijn, Ga{\"e}tan and Reina, Andreagiovanni and Soleymani, Touraj and Salvaro, Mattia and Pinciroli, Carlo and others},
  journal={Swarm Intelligence},
  volume={9},
  number={2-3},
  pages={125--152},
  year={2015},
  publisher={Springer US}
}

@article{brutschy2015tam,
  title={The TAM: abstracting complex tasks in swarm robotics research},
  author={Brutschy, Arne and Garattoni, Lorenzo and Brambilla, Manuele and Francesca, Gianpiero and Pini, Giovanni and Dorigo, Marco and Birattari, Mauro},
  journal={Swarm Intelligence},
  volume={9},
  number={1},
  pages={1--22},
  year={2015},
  publisher={Springer US}
}

@article{brambilla2015property,
  title={Property-driven design for robot swarms: A design method based on prescriptive modeling and model checking},
  author={Brambilla, Manuele and Brutschy, Arne and Dorigo, Marco and Birattari, Mauro},
  journal={ACM Transactions on Autonomous and Adaptive Systems (TAAS)},
  volume={9},
  number={4},
  pages={17},
  year={2015},
  publisher={ACM}
}

@inproceedings{francesca2014experiment,
  title={An experiment in automatic design of robot swarms},
  author={Francesca, Gianpiero and Brambilla, Manuele and Brutschy, Arne and Garattoni, Lorenzo and Miletitch, Roman and Podevijn, Ga{\"e}tan and Reina, Andreagiovanni and Soleymani, Touraj and Salvaro, Mattia and Pinciroli, Carlo and others},
  booktitle={International Conference on Swarm Intelligence},
  pages={25--37},
  year={2014},
  organization={Springer International Publishing}
}

@article{FraBraBruTriBir2014:techreport-001,
  author={G. Francesca and M. Brambilla and A. Brutschy and V. Trianni and M. Birattari},
  title={{AutoMoDe}: A novel approach to the automatic design of control software for robot swarms},
  year={2014},
  journal={Swarm Intelligence},
  pages = {1--24},
  year = {2014},
  publisher = {Springer} 
}

@ARTICLE{Dorigo:2014,
AUTHOR = {Dorigo, M.  and Birattari, M.  and Brambilla, M. },
TITLE   = {Swarm robotics},
YEAR	= 2014,
JOURNAL	= {Scholarpedia},
VOLUME  = 9,
NUMBER  = 1,
PAGES   = 1463
}

@article{BioPEPA_sr,
year={2013},
journal={Swarm Intelligence},
doi={10.1007/s11721-013-0079-6},
title={On the use of Bio-PEPA for modelling and analysing collective behaviours in swarm robotics},
publisher={Springer US},
author={Massink, Mieke and Brambilla, Manuele and Latella, Diego and Dorigo, Marco and Birattari, Mauro},
pages={201-228},
language={English},
volume={7},
number={2--3},
urlpaper = {pdf/biopepa.pdf}
}

@Article{Brambilla2013Swarm,
  author = "Manuele Brambilla and Eliseo Ferrante and Mauro Birattari and Marco Dorigo",
  title = "Swarm robotics: A review from the swarm engineering perspective",
  journal = "Swarm Intelligence",
  year = "2013",
  volume = "7",
  number = "1",
  pages = "1--41",
  publisher = "Springer",
  address = "Berlin, Germany",
  urlpaper = "pdf/brambilla-swarm_robotics_review.pdf"
}

@Article{Dorigo:RAM2012,
  author = "M.~Dorigo and D.~Floreano and L.M.~Gambardella and F.~Mondada and S.~Nolfi and T.~Baaboura and M.~Birattari and M.~Bonani and M.~Brambilla and A.~Brutschy and D.~Burnier and A.~Campo and A.L.~Christensen and A.~Decugnière and G.~{Di Caro} and F.~Ducatelle and E.~Ferrante and A.~Forster and J.~{Martinez Gonzales} and J.~Guzzi and V.~Longchamp and S.~Magnenat and N.~Mathews and M.~{Montes de Oca} and R.~O'Grady and C.~Pinciroli and G.~Pini and P.~Retornaz and J.~Roberts and V.~Sperati and T.~Stirling and A.~Stranieri and T.~Stutzle and V.~Trianni and E.~Tuci and A.E.~Turgut and F.~Vaussard",
  title = "Swarmanoid: a novel concept for the study of heterogeneous robotic swarms",
  year = "2013",
  journal = "IEEE Robotics \& Automation Magazine",
  volume = "20",
  number = "4",
  publisher = "IEEE Press",
  address = "Piscataway, NJ",
  pages = "60--71",
  note = "Note: authors after the fifth position are in alfabetical order"
}

@InCollection{ Ferrante:DARS2010,
	title = "Socially-Mediated Negotiation for Obstacle Avoidance in Collective Transport",
	booktitle = "International Symposium on Distributed Autonomous Robotics Systems {(DARS-2010)}",
	series = "Springer Tracts in Advanced Robotics",
	author = "Eliseo Ferrante and Manuele Brambilla and Mauro Birattari and Marco Dorigo",
	publisher = "Springer, Berlin, Heidelberg",
	pages = "571--583",
	volume = "83",
	urlpaper = "pdf/Fer-Dars2010.pdf",
	year = "2013"
}

@article{PinTriOGr-etal2012:si,
	Author = {C. Pinciroli and V. Trianni and R. O'Grady and G. Pini and A. Brutschy and M. Brambilla and N. Mathews and E. Ferrante and G. {Di Caro} and F. Ducatelle and M. Birattari and L. M. Gambardella and M. Dorigo},
	Journal = {Swarm Intelligence},
	Number = {4},
	Pages = {271--295},
	Title = {{ARGoS}: A Modular, Parallel, Multi-Engine Simulator for Multi-Robot Systems},
	Volume = {6},
        publisher = {Springer, Berlin, Germany},
	Year = {2012}}

@incollection{ Gjondrekaj2012:tfvmcrs,
  title = {Towards a Formal Verification Methodology for Collective Robotic Systems},
  booktitle={Formal Methods and Software Engineering},
  author = {Edmond Gjondrekaj and Michele Loreti and Rosario Pugliese and Francesco Tiezzi and Carlo Pinciroli and Manuele Brambilla and Mauro Birattari and Marco Dorigo},
  year = {2012},
  volume={7635},
  series={Lecture Notes in Computer Science},
  publisher={Springer, Berlin, Heidelberg},
  pages={54-70}
}

@incollection{francesca2012analysing,
year={2012},
booktitle={From Animals to Animats 12},
volume={7426},
series={Lecture Notes in Computer Science},
title={Analysing an Evolved Robotic Behaviour Using a Biological Model of Collegial Decision Making},
publisher={Springer, Berlin, Heidelberg},
author={Francesca, Gianpiero and Brambilla, Manuele and Trianni, Vito and Dorigo, Marco and Birattari, Mauro},
pages={381-390}
}

@incollection{ Massink2012:arwdmwbp,
year={2012},
booktitle={Swarm Intelligence},
volume={7461},
series={Lecture Notes in Computer Science},
title={Analysing Robot Swarm Decision-Making with Bio-PEPA},
publisher={Springer Berlin Heidelberg},
author={Massink, Mieke and Brambilla, Manuele and Latella, Diego and Dorigo, Marco and Birattari, Mauro},
pages={25-36}
}

@incollection{BraPinBirDor2012:aamas,
       Author = {M. Brambilla and C. Pinciroli and M. Birattari and M. Dorigo},
       Booktitle = {Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012)},
       Editor = {Conitzer, Winikoff, Padgham and van der Hoek},
       Pages = {139--146},
       Publisher = {International Foundation for Autonomous Agents and Multiagent Systems (http://www.ifaamas.org/Proceedings/aamas2012)},
       Title = {Property-driven design for swarm robotics},
       urlpaper = "pdf/Bra-aamas2012.pdf",
       Year = {2012}}

@misc{Brambilla:Dea2011,
  author = "Brambilla, M. and Birattari, M. and Dorigo, M.",
  title = "Collective Transport with
Obstacle Avoidance through Socially-Mediated Negotiation",
  institution = "IRIDIA, Universit\'e Libre de Bruxelles",
  year = "2011",
  note = {Rapport d'avancement des recherches},
  urlpaper = "pdf/Fer-Ants2010.pdf",
  address = "Brussels, Belgium"
}

@InCollection{Pinciroli:IROS2011,
  author = "Carlo Pinciroli and Vito Trianni and Rehan O'Grady and Giovanni Pini and Arne Brutschy and Manuele Brambilla and Nithin Mathews and Eliseo Ferrante and Gianni Di Caro and Frederick Ducatelle and Timothy Stirling and Alvaro Gutierrez and Luca Maria Gambardella and Marco Dorigo",
  title = "{ARGoS}: a Modular, Multi-Engine Simulator for Heterogeneous Swarm Robotics",
  booktitle = "Proceedings of the {IEEE/RSJ} International Conference on Intelligent Robots and Systems ({IROS 2011})",
  publisher = "IEEE Computer Society Press",
  address = "Los Alamitos, CA",
  year = "2011",
  month = "September",
  urlpaper = "pdf/pin-IROS2011.pdf",
  pages = "5027--5034"
}

@InCollection{ Ferrante:ANTS2010,
	title = "Look Out!: Socially-Mediated Obstacle Avoidance in Collective Transport",
	booktitle = "Proceedings of the Seventh International Conference on Swarm Intelligence {(ANTS-2010)}",
	series = "Lecture Notes in Computer Science",
	author = "Eliseo Ferrante and Manuele Brambilla and Mauro Birattari and Marco Dorigo",
	publisher = "Springer",
	pages = "572-573",
	number = "6234",
	urlpaper = "pdf/Fer-Ants2010.pdf",
	year = "2010"
}

@TechReport{ Brambilla2009:AA,
	author = "Manuele Brambilla and St{\'e}phane Magnenat and Carlo Pinciroli",
	title = "ASEBA for ARGoS",
	institution = "IRIDIA, Universit{\'e} Libre de Bruxelles",
	year = "2009",
	number = "TR/IRIDIA/2009-016",
        urlpaper = "http://iridia.ulb.ac.be/IridiaTrSeries/IridiaTr2009-016r001.pdf",
	address = "Brussels, Belgium"
}

@InCollection{ Brambilla2009:RDAGSEMCR,
	author = "Manuele Brambilla and Carlo Pinciroli and Mauro Birattari and Marco Dorigo",
	title = "A Reliable Distributed Algorithm for Group Size Estimation with Minimal Communication Requirements",
	booktitle = "The 14th International Conference on Advanced Robotics {(ICAR 2009)}",
	year = "2009",
	editor = "Erwin~Prassel and others",
	pages = "6",
	urlpaper = "pdf/BraPinBir-ICAR2009.pdf",
	publisher = "Proceedings on CD-ROM, paper ID 137"
}

@Misc{ Brambilla2009:GSESR,
	author = "Manuele Brambilla",
	title = "Group Size Estimation in Swarm Robotics",
	school = "Politecnico di Milano",
	year = "2009",
	note = "Master thesis, Politecnico di Milano, Italy",
        urlpaper = "pdf/Bra-MasterThesis.pdf",
	address = "Milano, Italy"
}