Items where Author is "Mayer, Philip"

2015

Abeywickrama, Dhaminda B. and Combaz, Jacques and Horký, Jaroslav and Kofro\v and Vandin, Andrea and Vassev, Emil and Kofroň, Jan and Lluch Lafuente, Alberto and Loreti, Michele and Margheri, Andrea and Mayer, Philip and Monreale, Giacoma Valentina and Montanari, Ugo and Pinciroli, Carlo and Tůma, Petr Software Engineering for Collective Autonomic Systems: The ASCENS Approach. In: Software Engineering for Collective Autonomic Systems. Lecture Notes in Computer Science, 19 (8998). Springer International Publishing, Cham, pp. 429-448. ISBN 978-3-319-16309-3 (2015)

2014

Celestini, Alessandro and Lluch-Lafuente, Alberto and Mayer, Philip and Sebastio, Stefano and Tiezzi, Francesco Reputation-based Cooperation in the Clouds. In: Trust Management VIII. Proceedings of the 8th IFIP WG 11.11 International Conference, IFIPTM 2014, Singapore, July 7-10, 2014. IFIP Advances in Information and Communication Technology (430). Springer, pp. 213-220. ISBN 978-3-662-43812-1 (2014)

2013

Mayer, Philip and Klarl, Annabelle and Hennicker, Rolf and Puviani, Mariachiara and Tiezzi, Francesco and Pugliese, Rosario and Bureš, Tomáš The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing. In: Proceedings of the 7th International Conference on Self-Adaptation and Self-Organizing Systems Workshops (SASOW). IEEE, pp. 89-94. (2013)

2011

Gilmore, Stephen and Gönczy, László and Koch, Nora and Mayer, Philip and Tribastone, Mirco and Varró, Dániel Non-functional properties in the model-driven development of service-oriented systems. Software & Systems Modeling, 10 (3). pp. 287-311. ISSN 1619-1366 (2011)

2010

Tribastone, Mirco and Mayer, Philip and Wirsing, Martin Performance prediction of service-oriented systems with layered queueing networks. In: Leveraging Applications of Formal Methods, Verification, and Validation. Lecture Notes in Computer Science (6416). Springer, pp. 51-65. ISBN 978-3-642-16561-0 (2010)

2009

Bruni, Roberto and Hölzl, Matthias and Koch, Nora and Lluch-Lafuente, Alberto and Mayer, Philip and Montanari, Ugo and Schroeder, Andreas and Wirsing, Martin A Service-Oriented UML Profile with Formal Support. In: Service-Oriented Computing (ICSOC/ServiceWave 2009). Lecture Notes in Computer Science, 5900 . Springer, pp. 455-469. ISBN 978-3-642-10382-7 (2009)

2008

Wirsing, Martin and Hölzl, Matthias and Acciai, Lucia and Banti, Federico and Clark, Allan and Fantechi, Alessandro and Gilmore, Stephen and Gnesi, Stefania and Gönczy, László and Koch, Nora and Lapadula, Alessandro and Mayer, Philip and Mazzanti, Franco and Pugliese, Rosario and Schroeder, Andreas and Tiezzi, Francesco and Tribastone, Mirco and Varró, Dániel SENSORIA Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. In: Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008). Communications in Computer and Information Science, 17 . Springer, pp. 170-190. ISBN 978-3-540-88478-1 (2008)

Argent-Katwala, Ashok and Clark, Allan and Foster, Howard and Gilmore, Stephen and Mayer, Philip and Tribastone, Mirco Safety and response-time analysis of an automotive accident assistance service. In: Leveraging Applications of Formal Methods, Verification and Validation. Communications in Computer and Information Science (17). Springer, pp. 191-205. (2008)