Annabelle Klarl, Philip Mayer, and Rolf Hennicker. HELENA@Work: Modeling the Science Cloud Platform. In Proceedings of the 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, volume 8802 of Lecture Notes in Computer Science, pages 99–116. Sp, 2014.
Roberto Bruni, Ugo Montanari, and Matteo Sammartino. A coalgebraic semantics for causality in Petri nets, 2014. Submitted to J. Log. Algebr. Program.
Nicola Bicocchi, Emil Vassev, Franco Zambonelli, and Mike Hinchey. Reasoning on Data Streams: an Approach to Adaptation in Pervasive Systems. In Nature of Computation and Communication, volume 144 of Lecture Notes of the Institute for Computer Sciences. Springer, 2014.
Emil Vassev, Nicklas Hoch, Henry Bensler, and Mike Hinchey. Formalizing eMobility with KnowLang. In Proceedings of C* Conference on Computer Science & Software Engineering (C3S2E '14), pages 27–34. ACM, 2014.
Emil Vassev and Mike Hinchey. Autonomy Requirements Engineering for Self-adaptive Science Clouds. In Proceedings of the 2014 IEEE International Parallel & Distributed Processing Symposium Workshops, pages 1344–1353. IEEE Computer Society, 2014. (doi:10.1109/IPDPSW.2014.151)
Emil Vassev and Mike Hinchey. Modeling Swarm Robotics with KnowLang. In Nature of Computation and Communication, volume 144 of Lecture Notes of the Institute for Computer Sciences. Springer, 2014.
Christian Kroiß. A Statistical Model Checker for Situation Calculus Based Multi-Agent Models (Extended Abstract). In 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014), pages 1567–1568, 2014.
Christian Kroiß. Simulation and Statistical Model Checking of Logic-Based Multi-Agent System Models. In 8th International Conference on Agent and Multi-Agent Systems: Technologies and Applications (KES-AMSTA 2014), pages 151–160, 2014. (doi:10.1007/978-3-319-07650-8_16)
Christian Kroiß and Tomás Bures. Logic-Based Modeling of Information Transfer in Cyber-Physical Multi-Agent Systems. In Second International Workshop on Formal Methods for Self-Adaptive Systems (FMSAS 2014), 2014.
Petr Libic, Lubomír Bulej, Vojtech Horky, and Petr T r uma. On the Limits of Modeling Generational Garbage Collector Performance. In Proceedings of the 5th ACM/SPEC International Conference on Performance Engineering, pages 15–26. ACM, March 2014. (doi:10.1145/2568088.2568097)