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)
Nicola Bicocchi, Gabriella Castelli, Marco Mamei, and Franco Zambonelli. Improving Situation Recognition via Commonsense Sensor Fusion. In 1st DEXA Workshop on Information Systems for Situation Awareness and Situation Management, Toulouse (F), September 2011. IEEE CS Press.
Nicola Bicocchi, Gabriella Castelli, Marco Mamei, and Franco Zambonelli. Augmenting Mobile Localization with Activities and Common Sense Knowledge. In International Joint Conference on Ambient Intelligence, Lecture Notes in Computer Science, Amsterdam (NL), November 2011. Springer Verlag.