Axel Legay, Saddek Bensalem, Benoit Boyer, and Marius Bozga. Incremental Generation of Linear Invariants for Component-Based Systems. In 13th International Conference on Application of Concurrency to System Design (ACSD), pages 80–89. IEEE, 2013. (doi:10.1109/ACSD.2013.11)
Diego Latella, Mieke Massink, and Erik de Vink. Coalgebraic Bisimulation of FuTS. Technical Report 09, ASCENS, January 2013.
Mieke Massink, Manuele Brambilla, Diego Latella, Marco Dorigo, and Mauro Birattari. On the use of Bio-PEPA for modelling and analysing collective behaviours in swarm robotics. Swarm Intelligence, 7(2-3):201–228, 2013. (doi:10.1007/s11721-013-0079-6)
Lukas Marek, S. Kell, Y. Zheng, Lubomír Bulej, Petr T r uma, W. Binder, D. Ansaloni, A. Sarimbekov, and A. Sewe. ShadowVM: Robust and Comprehensive Dynamic Program Analysis forthe Java Platform. In Proceedings of the 12th International Conference on Generative Programming:Concepts & Experiences, Indianapolis, IN, USA, October 2013. (doi:10.1145/2517208.2517219)
Andrea Margheri, Massimiliano Masi, Rosario Pugliese, and Francesco Tiezzi. On a Formal and User-Friendly Linguistic Approach to Access Controlof Electronic Health Data. In D. Stacey, J. Solé-Casals, A.L.N. Fred, and H. Gamboa, editors, Proc. of the 6th International Conference on Health Informatics (HEALTHINF13), pages 263–268. SciTePress, 2013.
Andrea Margheri, Rosario Pugliese, and Francesco Tiezzi. Linguistic Abstractions for Programming and Policing Autonomic ComputingSystems. In Sara Foresti, Vallipuram Muthukkumarasamy, and Duncan S. Wong, editors, Proc. of the 10th IEEE International Conference on Autonomic andTrusted Computing (ATC), pages 404–409. IEEE, 2013. (doi:10.1109/UIC-ATC.2013.33)
Nikola Serbedzija. Autonomous Systems: from Requirements to Modeling and Implementation. In Proc. ICAS 2013, March 2013.
Nikola Serbedzija, Tomas Bures, and Jaroslaw Keznikl. Engineering Autonomous Systems. In PCI’13 Proceedings of the 17th Panhellenic Conference on Informatics,Thesalloniki, Greece, pages 128–135, September 2013. (doi:10.1145/2491845.2491862)
Mariachiara Puviani, Giacomo Cabri, and Franco Zambonelli. A Taxonomy of Architectural Patterns for Self-adaptive Systems. In Sixth International C* Conference on Computer Science & SoftwareEngineering, pages 77–85, Porto (P), July 2013. ACM, ACM. (doi:10.1145/2494444.2494470)
Mariachiara Puviani, Carlo Pinciroli, Giacomo Cabri, Letizia Leonardi, and Franco Zambonelli. Is Self-Expression Useful? Evaluation by a Case Study. In 2013 Workshops on Enabling Technologies: Infrastructure for CollaborativeEnterprises (WETICE 2013), pages 62–67, Hammamet (TN), June 2013. IEEE Computer Society. (doi:10.1109/WETICE.2013.46)