Tomas Pop, Frantisek Plasil, Matej Outly, Michal Malohlava, and Tomas Bures. Property Networks allowing Oracle-Based Mode-Change Propagationin Hierarchical Components. In Proceedings of the 15th ACM SIGSOFT Symposium on Component BasedSoftware Engineering, CBSE '12, pages 93–102, New York, NY, USA, 2012. ACM. (doi:10.1145/2304736.2304753)
Rosario Pugliese and Francesco Tiezzi. A Calculus for Orchestration of Web Services. Journal of Applied Logic, 10(1):2–31, 2012. (doi:10.1016/j.jal.2011.11.002)
Mariachiara Puviani. Adaptive System's Configuration in a Swarm Robotics Scenario. Awareness magazine, page 3, October 2012. (doi:10.2417/3201210.004363)
Mariachiara Puviani, Giacomo Cabri, and Regina Frei. Self-healing in Ensembles' Adaptive Collaborative Patterns. In 1st International Conference on Through-life Engineering Services (TESConf 2012), November 2012.
Mariachiara Puviani, Giacomo Cabri, and Letizia Leonardi. Adaptive Patterns for Intelligent Distributed Systems: a Swarm Robotics Case Study. In Proceedings of the 6th International Symposium on Intelligent Distributed Computing - IDC 2012, Studies in Computational Intelligence, pages 241 – 246. Sringer, September 2012.
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)