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 - Essays Dedicated to Kokichi Futatsugi, volume 8373 of Lecture Notes in Computer Science, pages 188–211. Springer, 2014. (doi:10.1007/978-3-642-54624-2)
Paolo Baldan, Filippo Bonchi, Fabio Gadducci, and Giacoma Valentina Monreale. Encoding Synchronous Interactions Using Labelled Petri Nets. In Eva Kuehn and Rosario Pugliese, editors, Proceedings of the 16th IFIP WG 6.1 International Conference on Coordination Models and Languages, (COORDINATION) 2014, volume 8459 of Lecture Notes in Computer Science, pages 1–16. Springer, 2014. (doi:10.1007/978-3-662-43376-8_1)
Lenz Belzner. Verifiable Decisions in Autonomous Concurrent Systems. In COORDINATION, pages 17–32, 2014.
Nicola Bicocchi, Damiano Fontana, and Franco Zambonelli. Improving Activity Recognition via Satellite Imagery and Commonsense Knowledge. In 25th International Workshop on Database and Expert Systems Applications, DEXA 2014, Munich, Germany, September 1-5, 2014, pages 183–187, 2014. (doi:10.1109/DEXA.2014.48)
Philip Mayer and Andreas Schroeder. Automated Multi-Language Artifact Binding and Rename Refactoring between Java and DSLs Used by Java Frameworks. In ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28 - August 1, 2014. Proceedings, pages 437–462, 2014. (doi:10.1007/978-3-662-44202-9_18)
Roberto Bruni, Hernán C. Melgratti, and Ugo Montanari. From Hierarchical BIP to Petri Calculus. In Saddek Bensalem, Yassine Lakhneck, and Axel Legay, editors, FPS@ETAPS, From Programs to Systems. The Systems perspective in Computing - ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings, volume 8415 of Lecture Notes in Computer Science, pages 54–68. Springer, 2014. (doi:10.1007/978-3-642-54848-2_4)
Rolf Hennicker, Alexander Knapp, and Martin Wirsing. Assembly Theories for Communication-Safe Component Systems. In Saddek Bensalem, Yassine Lakhneck, and Axel Legay, editors, From Programs to Systems. The Systems perspective in Computing - ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings, volume 8415 of Lecture Notes in Computer Science, pages 145–160. Springer, 2014. (doi:10.1007/978-3-642-54848-2_10)
Najah Ben Said, Takoua Abdellatif, Saddek Bensalem, and Marius Bozga. Model-Driven Information Flow Security for Component-Based Systems. In FPS@ETAPS, pages 1–20, 2014. (doi:10.1007/978-3-642-54848-2_1)
Nicola Capodieci, Giacomo Cabri, and Franco Zambonelli. Modeling Self-Expression by holons. In International Conference on High Performance Computing & Simulation, HPCS 2014, Bologna, Italy, 21-25 July, 2014, pages 424–431, 2014. (doi:10.1109/HPCSim.2014.6903716)
Victor Noël and Franco Zambonelli. Engineering emergence in Multi-Agent Systems: Following the problem organisation. In International Conference on High Performance Computing & Simulation, HPCS 2014, Bologna, Italy, 21-25 July, 2014, pages 444–451, 2014. (doi:10.1109/HPCSim.2014.6903719)