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.
Nikola Serbedzija. Constructing Autonomous Multi-Robot System. In Proc. The Third International Conference on Intelligent Systems and Applications, July 2014.
Pavel Parizek and Pavel Jancik. Approximating Happens-Before Order: Interplay between Static Analysis and State Space Traversal. In Proceedings of the 21st International Symposium on Model Checking of Software, pages 1–10. ACM, 2014. (doi:10.1145/2632362.2632365)
Jonas Eckhardt, Tobias Mühlbauer, Jose Meseguer, and Martin Wirsing. Semantics, distributed implementation, and formal analysis of KLAIM models in Maude. Science of Computer Programming, 99:24–74, 2014. (doi:10.1016/j.scico.2014.10.001)
Matthias Hölzl and Martin Wirsing. Issues in Engineering Self-Aware and Self-Expressive Ensembles. In Jeremy Pitt, editor, The Computer After Me, pages 37 – 54. World Scientific, 2014. (doi:10.1007/978-3-662-45234-9_7)
Francesco Tiezzi and Nobuko Yoshida. Towards Reversible Sessions. In Proc. of 7th Workshop on Programming Language Approaches to Concurrency and Communication- cEntric Software (PLACES 2014), volume 155 of EPTCS, pages 17–24, 2014. (doi:10.4204/EPTCS.155.3)
Gefei Zhang and Matthias Hölzl. A Set of Metrics for States and Transitions in UML State Machines. In Proceedings of the 2014 Workshop on Behaviour Modelling-Foundations and Applications, BM-FA '14, pages 2:1–2:6, New York, NY, USA, 2014. ACM. (doi:10.1145/2630768.2630770)