Roberto Bruni, Hernán Melgratti, Ugo Montanari, and Pawel Sobocinski. Connector algebras for C/E and P/T nets' interactions. Logical Methods in Computer Science, 9(3:16):1–65, 2013. (doi:10.2168/LMCS-9(3:16)2013)
Rocco De Nicola, Gian-Luigi Ferrari, Michele Loreti, and Rosario Pugliese. A Language-based Approach to Autonomic Computing. In Formal Methods for Components and Objects, volume 7542 of Lecture Notes in Computer Science, pages 25–48. Springer, 2013. (doi:10.1007/978-3-642-35887-6_2)
Rocco De Nicola, Diego Latella, Michele Loreti, and Mieke Massink. A uniform definition of stochastic process calculi. ACM Comput. Surv., 46(1):5, 2013. (doi:10.1145/2522968.2522973)
Paul Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, and Fadi Zaraket. An Abstract Framework for Deadlock Prevention in BIP. In Proc. FORTE/FMOODS. Springer, 2013. (doi:10.1007/978-3-642-38592-6_12)
Fabio Gadducci, Matthias Hölzl, Giacoma Valentina Monreale, and Martin Wirsing. Soft Constraints for Lexicographic Orders. In Felix Castro, Alexander Gelbukh, and Miguel Gonzalez Mendoza, editors, MICAI, volume 8265 of Lecture Notes in Computer Science, pages 68 –79. Springer, 2013. (doi:10.1007/978-3-642-45114-0_6)
Vojtech Horky, Frantisek Haas, Jaroslav Kotrc, Martin Lacina, and Petr T r uma. Performance Regression Unit Testing: Case Study. In Maria Balsamo, William Knottenbelt, and Andrea Marin, editors, Proceedings of the 10th European Performance Engineering Workshop, volume 8168 of LNCS, pages 149–163. Springer, September 2013. (doi:10.1007/978-3-642-40725-3_12)
Philip Mayer and Andreas Schroeder. Patterns of Cross-Language Linking in Java Frameworks. In Proc. ICPC, pages 113–122. IEEE, May 2013. (doi:10.1109/ICPC.2013.6613839)
Jaroslav Keznikl, Tomas Bures, Frantisek Plasil, Ilias Gerostathopoulos, Petr Hnetynka, and Nicklas Hoch. Design of ensemble-based component systems by invariant refinement. In Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering, CBSE '13, pages 91–100, New York, NY, USA, 2013. ACM. (doi:10.1145/2465449.2465457)
Emil Vassev and Mike Hinchey. Knowledge-Based Self-Adaptation. In Proceedings of the 6th Latin-American Symposium on Dependable Computing (LADC 2013), 2013.
Emil Vassev and Mike Hinchey. Implementing Artificial Awareness with KnowLang. In Proceedings of the IEEE International Systems Conference is Engineeringof Complex Systems (SysCon 2013), 2013. (doi:10.1109/SysCon.2013.6549940)