Saddek Bensalem, Tomás Bures, Jacques Combaz, Rocco De Nicola, Matthias Hölzl, Nora Koch, Michele Loreti, Petr Tůma, Martin Wirsing, and Franco Zambonelli. A Life Cycle for the Development of Autonomic Systems, March 2014. ASCENS Technical Report 12.
Annabelle Klarl, Lucia Cichella, and Rolf Hennicker. From Helena Ensemble Specifications to Executable Code. In Proceedings of the 6th International Symposium on Formal Aspects of Component Software, 2014. to appear 2014.
Rolf Hennicker and Annabelle Klarl. Foundations for Ensemble Modeling - The Helena Approach. In Specification, Algebra, and Software: A Festschrift Symposium in Honor of Kokichi Futatsugi (SAS 2014), April 2014.
Ilias Gerostathopoulos, Jaroslav Keznikl, Tomás Bures, Michal Kit, and Frantisek Plasil. Software Engineering for Software-Intensive Cyber-Physical Systems. Technical report, Charles University, January 2014.
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.