Sebastian S. Bauer, Philip Mayer, Andreas Schroeder, and Rolf Hennicker. On weak modal compatibility, refinement, and the MIO Workbench. Technical Report 1001, Ludwig-Maximilians-Universität München, January 2010. Extended version of the TACAS'10 paper with proofs.
Philip Mayer, Andreas Schroeder, and Sebastian S. Bauer. A Strict-Observational Interface Theory for Analysing Service Orchestrations. Technical Report 1003, Ludwig-Maximilians-Universität München, March 2010. Extended version of the ENTCS paper with proofs.
Martin Wirsing, Sebastian S. Bauer, and Andreas Schroeder. Modeling and analyzing adaptive user-centric systems in real-time maude. In Peter Csaba Ölveczky, editor, Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems (RTRTS'10), volume 36 of EPTCS, pages 1–25, 2010.
Gilbert Beyer, Christoph Mayer, Christian Kroiß, and Andreas Schroeder. Person aware advertising displays: Emotional, cognitive, physical adaptation capabilities for contact exploitation. In Proceedings of 1st Workshop on Pervasive Advertising, 2009.
Roberto Bruni, Matthias Hölzl, Nora Koch, Alberto Lluch-Lafuente, Philip Mayer, Ugo Montanari, Andreas Schroeder, and Martin Wirsing. A Service-Oriented UML Profile with Formal Support. In Proceedings of 7th International Joint Conference on Service-Oriented Computing (ICSOC/ServiceWave 2009), Stockholm, Sweden, pages 455–469. Springer Verlag, November 2009.
Martin Wirsing, Laura Bocchi, Allan Clark, José Luiz Fiadeiro, Stephen Gilmore, Matthias Hölzl, Nora Koch, Philip Mayer, Rosario Pugliese, and Andreas Schroeder. Sensoria: Engineering for Service-Oriented Overlay Computers. In Elisabetta di Nitto, Anne-Marie Sassen, Paolo Traverso, and Arian Zwegers, editors, At your service: Service Engineering in the Information Society Technologies Program, ISBN 978-0-262-04253-6. MIT Press, June 2009.
Philip Mayer, Nora Koch, Andreas Schroeder, and Alexander Knapp. The UMLSOA Profile. Technical report, Ludwig-Maximilians-Universität München, Institut für Informatik, December 2009.
Andreas Schroeder and Philip Mayer. Verifying Interaction Protocol Compliance of Service Orchestrations. In Proceedings of the 6th International Conference on Service-Oriented Computing (ICSOC 2008), Sydney, Australia, 1-5 December, 2008, pages 545–550, 2008.
Martin Wirsing, Matthias M. Hölzl, Lucia Acciai, Federico Banti, Allan Clark, Alessandro Fantechi, Stephen Gilmore, Stefania Gnesi, László Gönczy, Nora Koch, Alessandro Lapadula, Philip Mayer, Franco Mazzanti, Rosario Pugliese, Andreas Schroeder, Francesco Tiezzi, Mirco Tribastone, and Dániel Varró. SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. In Tiziana Margaria and Bernhard Steffen, editors, ISoLA, volume 17 of Communications in Computer and Information Science, pages 170–190. Springer, 2008.
Philip Mayer, Andreas Schroeder, and Nora Koch. MDD4SOA: Model-Driven Service Orchestration. In In Proc. of 12th Int. Conf. of Enterprise Distributed Object Computing (EDOC 2008), pages 203–212, Munich, Germany, September 2008. IEEE Computer Society.