Lucia Acciai, Michele Boreale, and Rocco De Nicola. Linear-Time and May-Testing in a Probabilistic Reactive Setting. In Roberto Bruni and Juergen Dingel, editors, Formal Techniques for Distributed Systems, volume 6722 of LNCS, pages 29–43. Springer Berlin / Heidelberg, June 2011. (doi:10.1007/978-3-642-21461-5_2978-3-642-21460-8)
Martin Wirsing, Matthias Hölzl, Annabelle Klarl, and Nora Koch. Engineering Autonomic Ensembles, December 2011. Awareness Magazine. (doi:10.2417/3201111.003884)
Sebastian S. Bauer, Rolf Hennicker, and Martin Wirsing. Interface theories for concurrency and data. Theoretical Computer Science, 412(28):3101–3121, 2011. Festschrift in Honour of Jan Bergstra. (doi:10.1016/j.tcs.2011.04.007)
Sebastian S. Bauer, Kim G. Larsen, Axel Legay, Ulrik Nyman, and Andrzej Wasowski. A Modal Specification Theory for Components with Data. In Farhad Arbab and Peter Csaba Ölveczky, editors, Proceedings of FACS 2011, 8th International Symposium on Formal Aspects of Component Software, LNCS. Springer Verlag, 2011. To appear.
Sebastian S. Bauer, Philip Mayer, and Axel Legay. MIO Workbench: A Tool for Compositional Design with Modal Input/Output Interfaces. In Tevfik Bultan and Pao-Ann Hsiung, editors, Proceedings of ATVA 2011, 9th International Symposium on Automated Technology for Verification and Analysis, LNCS. Springer Verlag, 2011. To appear.
Maria Grazia Buscemi, Mario Coppo, Mariangiola Dezani-Ciancaglini, and Ugo Montanari. Constraints for Service Contracts. In Roberto Bruni and Vladimiro Sassone, editors, TGC 2011, volume 7173 of Lecture Notes in Computer Science, pages 104–120. Springer, 2011. (doi:10.1007/978-3-642-30065-3_7)
Marco Bernardo, Rocco De Nicola, and Michele Loreti. Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi. In Luca Aceto and Mohammad Reza Mousavi, editors, Proceedings First International Workshop on Process Algebra and Coordination, volume 60 of Electronic Proceedings in Theoretical Computer Science, pages 66–75, July 2011. (doi:10.4204/EPTCS.60.5)
Yliès Falcone, Mohamad Jaber, Thanh Hung Nguyen, Marius Bozga, and Saddek Bensalem. Runtime Verification of Component-based Systems. In SEFM, 2011.
Andreas Griesmayer, Saddek Bensalem, Axel Legay, Thanh-Hung Nguyen, and Doron Peled. Efficient Deadlock Detection for Concurrent Systems. In MEMOCODE, 2011.
Filippo Bonchi, Fabio Gadducci, and Giacoma Valentina Monreale. Towards a General Theory of Barbs, Contexts and Labels. In Hongseok Yang, editor, Proceedings of the 9th Asian Symposium on Programming Languages and Systems (APLAS 2011), volume 7078 of Lecture Notes in Computer Science, pages 289–304. Springer, 2011. (doi:10.1007/978-3-642-25318-8_22)