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.
Fabio Gadducci, Alberto Lluch-Lafuente, and Andrea Vandin. Counterpart Semantics for a Second-Order-Calculus. Fundam. Inform., 118(1-2):177–205, 2012.
Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta, and Gianluca Mezzetti. Typing for coordinating Secure Behavioural Variations. In Coordination Models and Languages, volume 7274 of Lecture Notes in Computer Science. Springer, 2012. (doi:10.1007/978-3-642-30829-1_18)
Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta, and Gianluca Mezzetti. Typing Context-Dependent Behavioural Variations. In PLACES 2012, volume to appear in EPTCS, 2012.
Pierpaolo Degano, Gian-Luigi Ferrari, and Gianluca Mezzetti. Nominal Automata for Resource Usage Control. In Implementation and Application of Automata - 17th International Conference, volume 7381 of Lecture Notes in Computer Science, pages 125–137. Springer, 2012. (doi:10.1007/978-3-642-31606-7_11)
Dhaminda Abeywickrama, Franco Zambonelli, and Nicklas Hoch. Towards Simulating Architectural Patterns for Self-Aware and Self-Adaptive Systems. In 2nd SASO Workshop on Awareness in Autonomic Systems, Lyon (F), September 2012. IEEE CS Press.