Marco Bernardo, Rocco De Nicola, and Michele Loreti. Relating strong behavioral equivalences for processes with nondeterminism and probabilities. Theor. Comput. Sci., 546:63–92, 2014. (doi:10.1016/j.tcs.2014.03.001)
Filippo Bonchi, Fabio Gadducci, and Giacoma Valentina Monreale. A General Theory of Barbs, Contexts, and Labels. ACM Transactions in Computational Logic, 15(4):35, 2014. (doi:10.1145/2631916)
Rocco De Nicola, Diego Latella, Michele Loreti, and Mieke Massink. Two possibly alternative approaches to the semantics of stochastic process calculi, 2014. Microsoft Research Technical Report MSR-TR-2014-104.
Rocco De Nicola, Giulio Iacobelli, and Mirco Tribastone. Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction. Technical report, IMT, 2014.
Rocco De Nicola, Michele Loreti, Andrea Morichetta, Rosario Pugliese, Valerio Senni, Francesco Tiezzi, and Luch-Lafuente Alberto. Programming and Verifying Component Ensembles. In S. Bensalem, Y. Lakhnech, and A. Legay, editors, From Programs to Systems. The Systems perspective in Computing - ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis., volume 8415 of Lecture Notes in Computer Science, pages 69–83. Springer, 2014. (doi:10.1007/978-3-642-54848-2)
Rocco De Nicola, Michele Loreti, Rosario Pugliese, and Francesco Tiezzi. A formal approach to autonomic systems programming: The SCEL Language. ACM Transactions on Autonomous and Adaptive Systems, 9(2):7:1–7:29, 2014. (doi:10.1145/2619998)
Saddek Bensalem, Tomás Bures, Jacques Combaz, Rocco De Nicola, Matthias Hölzl, Nora Koch, Michele Loreti, Petr Tůma, Martin Wirsing, and Franco Zambonelli. A Life Cycle for the Development of Autonomic Systems, March 2014. ASCENS Technical Report 12.
Annabelle Klarl, Lucia Cichella, and Rolf Hennicker. From Helena Ensemble Specifications to Executable Code. In Proceedings of the 6th International Symposium on Formal Aspects of Component Software, 2014. to appear 2014.
Rolf Hennicker and Annabelle Klarl. Foundations for Ensemble Modeling - The Helena Approach. In Specification, Algebra, and Software: A Festschrift Symposium in Honor of Kokichi Futatsugi (SAS 2014), April 2014.
Ilias Gerostathopoulos, Jaroslav Keznikl, Tomás Bures, Michal Kit, and Frantisek Plasil. Software Engineering for Software-Intensive Cyber-Physical Systems. Technical report, Charles University, January 2014.