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)
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)