Diego Latella, Michele Loreti, and Mieke Massink. On-the-fly Fast Mean-Field Model-Checking. In Martin Abadi and Alberto Lluch-Lafuente, editors, Trustworthy Global Computing, 4th Inter- national Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers, volume 8358 of LNCS, page 297–314. Springer, 2014.
Diego Latella, Michele Loreti, and Mieke Massink. On-the-fly Probabilistic Model Checking. In Ivan Lanese, Alberto Lluch-Lafuente, Ana Sokolova, and Hugo Torres Vieira, editors, Proceedings 7th Interaction and Concurrency Experience, ICE 2014, Berlin, Germany, 6th June 2014, volume 166 of EPTCS, pages 45 – 59. EPTCS, 2014. (doi:10.4204/EPTCS.166.6)
Diego Latella, Michele Loreti, Mieke Massink, and Valerio Senni. Stochastically timed predicate-based communication primitives for autonomic computing. In N. Bertrand and L. Bortolussi, editors, Proceedings of 12th Quantitative Aspects of Programming Languages and Systems (QAPL), volume 154 of Electronic Proceedings in Theoretical Computer Science, pages 1–16. Open Publishing Association, 2014. (doi:10.4204/EPTCS.154.1)
Diego Latella, Michele Loreti, Mieke Massink, and Valerio Senni. On STOCS: a Stochastic extension of SCEL. Technical Report 11, ASCENS, February 2014.
Michele Loreti, Andrea Margheri, Rosario Pugliese, and Francesco Tiezzi. On Programming and Policing Autonomic Computing Systems. In Tiziana Margaria and Berhard Steffen, editors, Proc. of the 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2014), Rigorous Engineering of Autonomic Ensembles track, volume 8802 of LNCS, pages 164–183. Springer, 2014. (doi:10.1007/978-3-662-45234-9_12)
Lenz Belzner, Rocco De Nicola, Andrea Vandin, and Martin Wirsing. Reasoning (on) Service Component Ensembles in Rewriting Logic. In Shusaku Iida, José Meseguer, and Kazuhiro Ogata, editors, Specification, Algebra, and Software: A Festschrift Symposium inHonor of Kokichi Futatsugi (SAS 2014), volume 8373 of Lecture Notes in Computer Science, pages 188 – 211. Springer, 2014. (doi:10.1007/978-3-642-54624-2_10)
Andrea Margheri, Massimiliano Masi, Rosario Pugliese, and Francesco Tiezzi. Developing and Enforcing Policies for Access Control, Resource Usage,and Adaptation – A Practical Approach. In Chun Ouyang and Emilio Tuosto, editors, Proc. of the 10th International Workshop on Web Services and FormalMethods: Formal Aspects of Service-Oriented and Cloud Computing, volume 8379 of LNCS, pages 85–105. Springer, 2014. (doi:10.1007/978-3-319-08260-8_6)
Ugo Montanari and Matteo Sammartino. Network-Conscious Pi-Calculus - A Model of Pastry. In Proc. LSFA 2014, 9th Workshop on Logical and Semantic Frameworks, with Applications, Electronic Notes in Theoretical Computer Science. Elsevier, 2014. to appear.
Ugo Montanari and Matteo Sammartino. A network-conscious pi-calculus and its coalgebraic semantics. Theoretical Computer Science, 546:188–224, August 2014. (doi:10.1016/j.tcs.2014.03.009)
Ugo Montanari and Alain Tcheukam. Prosumers As Aggregators in the DEZENT Context of Regenerative Power Production. In IEEE 8th International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2014. to appear.