Gefei Zhang and Matthias Hölzl. A Set of Metrics for States and Transitions in UML State Machines. In Proceedings of the 2014 Workshop on Behaviour Modelling-Foundations and Applications, BM-FA '14, pages 2:1–2:6, New York, NY, USA, 2014. ACM. (doi:10.1145/2630768.2630770)
Dhaminda Abeywickrama, Nicklas Hoch, and Franco Zambonelli. SimSOTA: Engineering and Simulating Feedback Loops for Self-adaptiveSystems. In Sixth International C* Conference on Computer Science & SoftwareEngineering, pages 67–76, Porto (P), July 2013. ACM, ACM. (doi:10.1145/2494444.2494446)
D. Ansaloni, S. Kell, Y. Zheng, Lubomír Bulej, W. Binder, and Petr T r uma. Enabling Modularity and Re-use in Dynamic Program Analysis Tools for the Java Virtual Machine. In Giuseppe Castagna, editor, Proceedings of the 27th European Conference on Object-Oriented Programming, volume 7920 of LNCS, pages 352–377. Springer, July 2013. (doi:10.1007/978-3-642-39038-8_15)
Emil Vassev and Mike Hinchey. Autonomy Requirements Engineering. IEEE Computer, 46(8):82–84, August 2013. (doi:10.1109/MC.2013.267)
Emil Vassev and Mike Hinchey. Autonomy Requirements Engineering. In Proceedings of the 14th IEEE International Conference on InformationReuse and Integration (IRI '13), 2013. (doi:10.1109/MC.2013.267)
Martin Wirsing, Matthias Hölzl, Mirco Tribastone, and Franco Zambonelli. ASCENS: Engineering Autonomic Service-Component Ensembles. In Bernhard Beckert, Ferruccio Damiani, Marcello Bonsangue, and Frank de Boer, editors, Formal Methods for Components and Objects, 10th International Symposium,FMCO 2011, volume 7542 of LNCS, pages 1 – 24. Springer, 2013.
Philip Mayer, Annabelle Klarl, Rolf Hennicker, Mariachiara Puviani, Francesco Tiezzi, Rosario Pugliese, Jaroslav Keznikl, and Tomás Bures. The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing. In Proceedings of 3rd Workshop on Challenges for Achieving Self-Awarenessin Autonomic Systems, pages 89–94, Philadelphia, USA, September 2013. IEEE Computer Society. (doi:10.1109/SASOW.2013.16)
Michele Boreale and Alessandro Celestini. Asymptotic Risk Analysis for Trust and Reputation Systems. In Peter van Emde Boas et al., editor, SOFSEM 2013, Theory and Practice of Computer Science, volume 7741 of LNCS, pages 169–181. Springer Berlin Heidelberg, 2013. (doi:10.1007/978-3-642-35843-2_16)
Marco Bernardo, Rocco De Nicola, and Michele Loreti. A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences. Information and Computation, 225:29–82, 2013. (doi:10.1016/j.ic.2013.02.004)
Nicola Bicocchi, Alket Cecaj, Damiano Fontana, Marco Mamei, Andrea Sassi, and Franco Zambonelli. Collective Awareness for Human-ICT Collaboration in Smart Cities. In 2013 Workshops on Enabling Technologies: Infrastructure for CollaborativeEnterprises (WETICE 2013), Hammamet (TN), June 2013. IEEE Computer Society. (doi:10.1109/WETICE.2013.34)