Nicola Capodieci and Giacomo Cabri. Coordination And Task Division In Robot Ensembles: Perimeter Sweep Case Study. In Proceedings of the 21st IEEE WETICE confreence Toulouse, France, June 2012, pages 101–103, June 2012. (doi:10.1109/WETICE.2012.22)
Nicola Capodieci and Giacomo Cabri. Conceptual Map and Classification in Ensembles of Autonomic Components: from Awareness to Organization. In Proceedings of the workshops of SASO 2012, Lyon France, September 2012, page to appear, September 2012.
Max Tschaikowski and Mirco Tribastone. Exact Fluid Lumpability for Markovian Process Algebra. In 23rd International Conference on Concurrency Theory, pages 380,394, September 2012.
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, and Andrea Vandin. A Conceptual Framework for Adaptation. In Juan de Lara and Andrea Zisman, editors, Proceedings of the 15th International Conference on Fundamental Approachesto Software Engineering, FASE 2012, volume 7212 of Lecture Notes in Computer Science, pages 240–254. Springer, 2012. (doi:10.1007/978-3-642-28872-2_17)
Saddek Bensalem, Marius Bozga, Jean Quilbeuf, and Joseph Sifakis. Knowledge-Based Distributed Conflict Resolution for Multiparty Interactions and Priorities. In Holger Giese and Grigore Rosu, editors, FMOODS/FORTE, volume 7273 of Lecture Notes in Computer Science, pages 118–134. Springer, 2012. (doi:10.1007/978-3-642-30793-5_8)
Fabio Gadducci, Alberto Lluch-Lafuente, and Andrea Vandin. Exploiting Over- and Under-Approximations for Infinite-State Counterpart Models. In Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, and Grzegorz Rozenberg, editors, ICGT, volume 7562 of Lecture Notes in Computer Science, pages 51–65. Springer, 2012.
Saddek Bensalem, Marius Bozga, Benoît Delahaye, Cyrille Jégourel, Axel Legay, and Ayoub Nouri. Statistical Model Checking QoS Properties of Systems with SBIP. In Tiziana Margaria and Bernhard Steffen, editors, ISoLA (1), volume 7609 of Lecture Notes in Computer Science, pages 327–341. Springer, 2012. (doi:978-3-642-34026-0_25)
Marius Bozga, Mohamad Jaber, Nikolaos Maris, and Joseph Sifakis. Modeling Dynamic Architectures Using Dy-BIP. In Thomas Gschwind, Flavio De Paoli, Volker Gruhn, and Matthias Book, editors, Software Composition, volume 7306 of Lecture Notes in Computer Science, pages 1–16. Springer, 2012. best paper award. (doi:10.1007/978-3-642-30564-1_1)
Fabio Gadducci and Giacoma Valentina Monreale. Barbed Semantics for Open Reactive Systems. In Narciso Martí-Oliet and Miguel Palomino, editors, WADT, volume 7841 of LNCS, pages 161–177. Springer, 2012. (doi:978-3-642-37635-1)
Giacoma Valentina Monreale, Ugo Montanari, and Nicklas Hoch. Soft Constraint Logic Programming for Electric Vehicle Travel Optimization. In WLP, pages 3–19, 2012.