Michele Boreale and Francesca Pampaloni. Quantitative Information Flow under Generic Leakage Functions and Adaptive Adversaries. In Formal Techniques for Distributed Objects, Components, and Systems - 34th IFIP WG 6.1 International Conference, FORTE 2014, volume 8461 of LNCS. Springer, 2014.
Roberto Bruni, Ugo Montanari, and Matteo Sammartino. Revisiting Causality, Coalgebraically. Acta Informatica, pages 1–29, 2014. (doi:10.1007/s00236-014-0207-9)
Giacomo Cabri, Nicola Capodieci, Luca Cesari, Rocco De Nicola, Rosario Pugliese, Francesco Tiezzi, and Franco Zambonelli. Self-expression and Dynamic Attribute-based Ensembles in SCEL. Technical report, IMT, 2014.
Nicola Capodieci, Emma Hart, and Giacomo Cabri. Artificial Immune Systems in the Context of Autonomic Computing: Integrating Design Paradigms. In Proceedings of the 2014 Conference Companion on Genetic and Evolutionary Computation Companion, GECCO Comp '14, pages 21–22, New York, NY, USA, 2014. ACM. (doi:10.1145/2598394.2598502)
Alessandro Celestini, Giampiero Costantino, Rocco De Nicola, Zakaria Maamar, Fabio Martinelli, Marinella Petrocchi, and Francesco Tiezzi. Reputation-based Composition of Social Web Services. Technical report, IMT, 2014.
Luca Cesari, Rocco De Nicola, Rosario Pugliese, Mariachiara Puviani, Francesco Tiezzi, and Franco Zambonelli. Formalising Adaptation Patterns for Autonomic Ensembles. In 10th International Symposium on Formal Aspects of Component Software, volume 8348 of LNCS, pages 100–118, Nanchang, China, October 2014. Springer. (doi:10.1007/978-3-319-07602-7_8)
Saddek Bensalem, Marius Bozga, Jacques Combaz, and Ahlem Triki. Rigorous System Design Flow for Autonomous Systems. In 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), 2014.
Vincenzo Ciancia and Matteo Sammartino. A class of automata for the verification of infinite, resource-allocating behaviours. LNCS, pages 97–111, December 2014. (doi:10.1007/978-3-662-45917-1_7)
Tomás Bures, Ilias Gerostathopoulos, Petr Hnetynka, Jaroslav Keznikl, Michal Kit, Frantisek Plasil, and Noël Plouzeau. Adaptation in Cyber-Physical Systems: from System Goals to Architecture Configurations. Technical report, Charles University, January 2014.
Emil Vassev and Mike Hinchey. Capturing Requirements for Autonomous Spacecraft with Autonomy Requirements Engineering. In Programme and Abstracts Book of the DASIA 2014 Conference, 2014.