Yehia Abd Alrahman, Marina Andric, Alessandro Beggiato, and Alberto Lluch-Lafuente. Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude? In Santiago Escobar, editor, Rewriting Logic and Its Applications - 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers, volume 8663 of Lecture Notes in Computer Science, pages 21–41. Springer, 2014. (doi:10.1007/978-3-319-12904-4_2)
Filippo Bonchi, Fabio Gadducci, and Giacoma Valentina Monreale. RPO semantics for mobile ambients. Mathematical Structures in Computer Science, 24(4), 2014. (doi:10.1017/S0960129512000333)
Nicola Bicocchi and Marco Mamei. Investigating ride sharing opportunities through mobility data analysis. Pervasive and Mobile Computing, 14:83–94, 2014. (doi:10.1016/j.pmcj.2014.05.010)
Dhaminda B. Abeywickrama, Nicklas Hoch, and Franco Zambonelli. Engineering and implementing software architectural patterns based on feedback loops. Scalable Computing: Practice and Experience, 15(4), 2014.
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)