Max Tschaikowski and Mirco Tribastone. Generalised Communication for Interacting Agents. In 9th International Conference on Quantitative Evaluation of Systems, September 2012. To appear.
Edmond Gjondrekaj, Michele Loreti, Rosario Pugliese, and Francesco Tiezzi. Modeling Adaptation with a Tuple-based Coordination Language. In S. Ossowski and P. Lecca, editors, Proc. of the 2012 ACM Symposium on Applied Computing (SAC'12), SpecialTrack on Coordination Models, Languages and Applications, pages 1522–1527. ACM, 2012. (doi:10.1145/2245276.2232019)
Ugo Montanari and Emil Vassev. Soft Constraints for KnowLang. In Proceedings of C* Conference on Computer Science & Software Engineering (C3S2E '12), pages 99–103. ACM, 2012.
Nikola Serbedzija. Engineering Adaptation: A Component Based Model. In Proc. ADVCOMP 2012, September 2012.
Christian von Essen and Barbara Jobstmann. Synthesizing Efficient Controllers. In International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), pages 428–444, 2012. (doi:10.1007/978-3-642-27940-9_28)
Jaroslav Keznikl, Tomas Bures, Frantisek Plasil, and Michal Kit. Towards Dependable Emergent Ensembles of Components: The DEECo ComponentModel. In Muhammad Ali Babar, Carlos E. Cuesta, and Juha Erik Savolainen, editors, Proceedings of WICSA/ECSA 2012, pages 249–252, August 2012.
Stefan Wismer, Gregory Hitz, Michael Bonani, Alexey Gribovskiy, Cedric Pradalier, and Stéphane Magnenat. Autonomous Construction of a Roofed Structure: Synthesizing Planning and Stigmergy on a Mobile Robot. In IEEE/RSJ International Conference on Intelligent Robots and Systems, 2012.
Gefei Zhang and Matthias Hölzl. Weaving Semantic Aspects in HiLA. In Proc. of Aspect-Oriented Software Development (AOSD'12). ACM, 2012. (doi:10.1145/2162049.2162080)
Lucia Acciai, Michele Boreale, and Rocco De Nicola. Linear-Time and May-Testing in a Probabilistic Reactive Setting. In Roberto Bruni and Juergen Dingel, editors, Formal Techniques for Distributed Systems, volume 6722 of LNCS, pages 29–43. Springer Berlin / Heidelberg, June 2011. (doi:10.1007/978-3-642-21461-5_2978-3-642-21460-8)
Martin Wirsing, Matthias Hölzl, Annabelle Klarl, and Nora Koch. Engineering Autonomic Ensembles, December 2011. Awareness Magazine. (doi:10.2417/3201111.003884)