Paolo Baldan, Filippo Bonchi, Fabio Gadducci, and Giacoma Valentina Monreale. Concurrency Cannot Be Observed, Asynchronously. Mathematical Structures in Computer Science, 29(5), 2015. (doi:10.1017/S0960129513000108)
Paolo Baldan, Filippo Bonchi, Fabio Gadducci, and Giacoma Valentina Monreale. Modular encoding of synchronous and asynchronous interactions using open Petri nets. Science of Computer Programming, 2015. (doi:10.1016/j.scico.2014.11.019)
Saddek Bensalem, Marius Bozga, Jean Quilbeuf, and Joseph Sifakis. Optimized distributed implementation of multiparty interactions with Restriction. Sci. Comput. Program., 98:293–316, 2015. (doi:10.1016/j.scico.2014.02.013)
Nicklas Hoch, Giacoma Valentina Monreale, Ugo Montanari, Matteo Sammartino, and Alain Tcheukam Siwe. From Local to Global Knowledge and Back, volume 8998 of LNCS, chapter 1.3.2. Springer, 2015. (Book title: Software Engineering for Collective Autonomic Systems: Results of the ASCENS Project).
Matthias Hölzl and Thomas Gabor. Reasoning and Learning for Awareness and Adaptation, volume 8998 of LNCS, chapter 1.3.4. Springer, 2015. (Book title: Software Engineering for Collective Autonomic Systems: Results of the ASCENS Project).
Matthias Hölzl and Thomas Gabor. Continuous Collaboration: A Case Study on the Development of an Adaptive Cyber-Physical System. In Proc. of the International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS), Firenze, Italy, 2015. to appear.
Marianne Busch and Martin Wirsing. An Ontology for Secure Web Applications. International Journal of Software and Informatics (IJSI), 2015. Submitted.
Emil Vassev and Mike Hinchey. KnowLang: Knowledge Representation for Self-Adaptive Systems. IEEE Computer, 48(2), February 2015.
Diego Latella, Michele Loreti, Mieke Massink, and Valerio Senni. On StocS: A Stochastic Extension of SCEL. In Rocco De Nicola and Rolf Hennicker, editors, Software, Services, and Systems, volume 8950 of Lecture Notes in Computer Science, pages 619–640. Springer International Publishing, 2015. (doi:10.1007/978-3-319-15545-6_35)
Alberto Lluch-Lafuente, Michele Loreti, and Ugo Montanari. A Fixpoint-based Calculus for Graph-shaped Computational Fields, 2015. Submitted.