Publications
Dr. Philip Mayer
On Multi-Language Software
- Philip Mayer, Michael Kirsch, and Minh Anh Le On multi-language software development, cross-language links and accompanying tools: a survey of professional software developers. In Journal of Software Engineering Research and Development (2017), doi:10.1186/s40411-017-0035-z, published online 19 April 2017.
- Philip Mayer. A taxonomy of cross-language linking mechanisms in open source frameworks. In Computing Journal (2016), doi:10.1007/s00607-016-0528-3, published online 20 December, 2016
- Philip Mayer and Alexander Bauer. An Empirical Analysis of the Utilization of Multiple Programming Languages in Open Source Projects. In Proceedings of the 19th International Conference on Evaluation and Assessment in Software Engineering (EASE), pages 1-10, Nanjing, China. April 27-29, 2015.
- Philip Mayer and Andreas Schroeder. Automated Multi-Language Artifact Binding and Rename Refactoring between Java and DSLs used by Java Frameworks. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP), July 28-August 1, 2014, Uppsala, Sweden. R. Jones (Ed.): ECOOP 2014, LNCS 8586, pages 437-462. Springer, Heidelberg (2014)
- The artifact accompanying this paper has received the "Distinguished Artifact Award" at ECOOP 2014.
- Philip Mayer and Andreas Schroeder: Towards Automated Cross-Language Refactorings between Java and DSLs used by Java Frameworks. In Proceedings of the 6th ACM Workshop on Refactoring Tools (WRT), 2013 ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH), pages 5-8, October 26-31 2013, Indianapolis, USA.
- Philip Mayer, Andreas Schroeder: Patterns of Cross-Language Links in Java Frameworks. In 21st IEEE International Conference on Program Comprehension (ICPC), pages 113-122, May 20-21 2013, San Francisco, USA.
- Philip Mayer, Andreas Schroeder. Cross-Language Program Analysis and Refactoring. In proceedings of 12th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM) 2012, pages 94-103, Riva del Garda, Italy, September 23-24, 2012.
On autonomous, self-adaptive cloud computing
- Emil Vassev, Mike Hinchey, Philip Mayer: Formalizing Self-adaptive Clouds with KnowLang. ISoLA (1) 2014: 117-130
- Annabelle Klarl, Philip Mayer, and Rolf Hennicker. HELENA@Work: Modeling the Science Cloud Platform. In Proceedings of the 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, volume 8802 of Lecture Notes in Computer Science, pages 99–116. Springer, 2014.
- Alessandro Celestini, Alberto Lluch-Lafuente, Philip Mayer, Stefano Sebastio, Francesco Tiezzi: Reputation-Based Cooperation in the Clouds. In proceedings of IFIPTM 2014, pages 213-220.
- Philip Mayer, Annabelle Klarl, Rolf Hennicker, Mariachiara Puviani, Francesco Tiezzi, Rosario Pugliese, Jaroslav Keznikl, Tomas Bures: The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing. In proceedings of 3rd Workshop on Challenges for achieving Self-Awareness in Autonomic Systems, pg. 1-6, Philadelphia, USA, September 13, 2013.
- Nikola Serbedzija, Nicklas Hoch, Carlo Pinciroli, Michal Kit, Tomas Bures, Giacoma Valentina Monreale, Ugo Montanari, Philip Mayer, and José Velasco: Third Report on WP7: Integration and Simulation Report for the ASCENS Case Studies. Deliverable D7.3 of the EU project ASCENS, November 2013.
- Philip Mayer and Annabelle Klarl: Towards a decentralized and resilient autonomic cloud. In Awareness Magazine: Self-Awareness In Autonomic Systems, published 12th November 2013, Edinburgh, UK.
- Philip Mayer, José Velasco. The Science Cloud Case Study: Technical Description of Implementation. Technical Report TR20130300, Ludwig-Maximilians-Universität München, March 2013.
- Nikola Serbedzija, Mieke Massink, Carlo Pinciroli, Manuele Brambilla, Diego Latella, Marco Dorigo, Mauro Birattari, Philip Mayer, Jose Angel Velasco, Nicklas Hoch, Henry P. Bensler, Dhaminda Abeywickrama, Jaroslav Keznikl, Ilias Gerostathopoulos, Tomas Bures, Rocco De Nicola, Michele Loreti. Second Report on WP7: Ensemble Model Synthesis with Robot, Cloud Computing and E-Mobility. Deliverable D7.2 of the EU project ASCENS, November 2012.
- Philip Mayer, Christian Kroiß. José Velasco. The Science Cloud Case Study: Overview and Scenarios. Technical Report TR20120500, Ludwig-Maximilians-Universität München, May, 2012.
- Philipp Zormeier, Annabelle Klarl, Christian Kroiß, Philip Mayer. TR-1202: Science Cloud: Modelling and Implementing the Peer-to-Peer DHT protocol 'Chord'. Technical Report, Ludwig-Maximilians-Universität München, Germany, July 25, 2012.
On Model-Driven Development for SOA
- Sebastian S. Bauer, Philip Mayer, Axel Legay: MIO Workbench: A Tool for Compositional Design with Modal Input/Output Interfaces. ATVA 2011: 418-421
- Matthias Hölzl, Nora Koch, Philip Mayer, and Martin Wirsing. Chapter 7.5: The Sensoria Pattern-Based Approach. In Martin Wirsing and Matthias Hölzl, editors, Sensoria: Engineering for Service-Oriented Overlay Computers. LNCS, Volume 6582, Springer Verlag, ISBN: 978-3-642-20400-5, 2011.
- Jannis Elgner, Stefania Gnesi, Nora Koch, and Philip Mayer. Chapter 7.1: Specification and Implementation of Demonstrators for the Case Studies. In Martin Wirsing and Matthias Hölzl, editors, Sensoria: Engineering for Service-Oriented Overlay Computers. LNCS, Volume 6582, Springer Verlag, ISBN: 978-3-642-20400-5, 2011.
- Philip Mayer and István Ráth. Chapter 6.5: The Sensoria Development Environment. In Martin Wirsing and Matthias Hölzl, editors, Sensoria: Engineering for Service-Oriented Overlay Computers. LNCS, Volume 6582, Springer Verlag, ISBN: 978-3-642-20400-5, 2011.
- Howard Foster, László Gönczy, Nora Koch, Philip Mayer, Carlo Montangero, and Dániel Varró. Chapter 1.1: UML Extensions for Service-Oriented Systems. In Martin Wirsing and Matthias Hölzl, editors, Sensoria: Engineering for Service-Oriented Overlay Computers. LNCS, Volume 6582, Springer Verlag, ISBN: 978-3-642-20400-5, 2011.
- Jannis Elgner, Stefania Gnesi, Nora Koch, and Philip Mayer. Introduction: The Sensoria Case Studies. In Martin Wirsing and Matthias Hölzl, editors, Sensoria: Engineering for Service-Oriented Overlay Computers. LNCS, Volume 6582, Springer Verlag, ISBN: 978-3-642-20400-5, 2011.
- Martin Wirsing, Matthias Hölzl, Nora Koch, and Philip Mayer. Sensoria: Engineering for Service-Oriented Overlay Computers. In Martin Wirsing and Matthias Hölzl, editors, Sensoria: Engineering for Service-Oriented Overlay Computers. LNCS, Volume 6582, Springer Verlag, ISBN: 978-3-642-20400-5, 2011.
- Philip Mayer. MDD4SOA - Model-Driven Development for Service-Oriented Architectures. Doctoral thesis, October 2010, LMU Munich.
- Mirco Tribastone, Philip Mayer, and Martin Wirsing. Performance Prediction of Service-Oriented Systems with Layered Queueing Networks. In Proceedings of 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation 18-20 October 2010 - Amirandes, Heraclion, Crete, pages 1-16, 2010.
- Mayer, P., Schroeder, A., Bauer, S.: A Strict-Observational Interface Theory for Analysing Service Orchestrations.Technical Report 1003, LMU München, March 2010.
- Gilmore, S., Gönczy, L., Koch, N., Mayer, P., Tribastone, M., Varró, D: Non-functional properties in the model-driven development of service-oriented systems. Software and Systems Modeling Journal (SOSYM), March 2010, DOI 10.1007/s10270-010-0155-y.
- Mayer, P., Schroeder, A., Bauer, S.: A Strict-Observational Interface Theory for Analysing Service Orchestrations. 7th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA), March 27, 2010, Paphos, Cyprus.
- Bauer, S., Mayer, P., Schroeder, A., Hennicker, R.: On Weak Modal Compatibility, Refinement, and the MIO Workbench. Proceedings of Sixteenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), March 20-28, 2010, Paphos, Cyprus.
- Mayer, P., Ráth, I. D7.4.d: Report on the Sensoria Development Environment (SDE), third version. Deliverable for the EU project Sensoria, Reporting Period October 2008 - February 2010.
- Foster, H., Gönczy, L., Koch, N., Mayer, P., Montangero, C., Varró, D. D1.4.b: UML for Service-Oriented Systems (second version). Deliverable for the EU project SENSORIA, Reporting period October 2008-February 2010.
- Bruni, R., Hoelzl, M, Koch, N., Lafuente, A., Mayer, P., Schroeder, A., Montanari, U.: A Service-Oriented UML Profile with Formal Support. Proceedings of 7th International Joint Conference on Service Oriented Computing (ICSOC & ServiceWave 2009), November 24-27 2009, Stockholm, Sweden.
- Wirsing, M., Bocchi, L., Clark, A., Fiadeiro, J., Gilmore, S., Hölzl, M., Koch, N., Mayer, P., Pugliese, R., Schroeder, A.: Sensoria: Engineering for Service-Oriented Overlay Computers. Editors Elisabetta di Nitto, Anne-Marie Sassen, Paolo Traverso and Arian Zwegers. In "At your service: Service Engineering in the Information Society Technologies Program". ISBN 978-0-262-04253-6. MIT Press 2009.
- Schroeder, A., Mayer, P. Verifying Interaction Protocol Compliance of Service Orchestration. Lecture Notes in Computer Science, Volume 5364/2008, Proceedings of ICSOC 2008, Sydney, Australia, December 2008.
- Argent-Katwala, A., Clark, A., Foster, H., Gilmore, S., Mayer, P., Tribastone, M. Safety and Response-Time Analysis of an Automotive Accident Assistance Service. Proceedings of 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008), October 13-15, 2008, Porto Sani, Greece.
- Wirsing, M., Acciai, L., Banti, F., Clark, A., Fantechi, A., Gilmore, S., Gnesi, S., Goncy, L., Hölzl, M., Koch, N., Lapadula, A., Mayer, P., Mazzanti, F., Pugliese, R., Schroeder, A., Tiezzi, F., Tribastone, M., Varro, D. Sensoria Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. In Communications in Computer and Information Science Volume 17, 2009, pp 170-190, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008.
- Mayer, P., Schroeder, A., Koch, N. MDD4SOA: Model-Driven Service Orchestration. Proceedings of 12th IEEE International EDOC Conference (EDOC 2008), September 15-19, 2008, Munich, Germany.
- Mayer, P., Ráth, I., Horváth, A. D7.4.c: Report on the Sensoria Development Environment (SDE), second version. Deliverable for the EU project Sensoria, Reporting Period October 2007 - September 2008.
- Wirsing, M., Hölzl, M., Koch, N., Mayer, P., Schroeder, A. Service Engineering: The Sensoria Model Driven Approach. Proceedings of Software Engineering Research, Management and Applications (SERA 2008), August 20-22, 2008, Prague, Czech Republic.
- Mayer, P., Koch, N., Schroeder, A. A Model-Driven Approach to Service Orchestration. Proceedings of IEEE International Conference on Services Computing (SCC 2008), Honolulu, USA, July 8-11, 2008.
- Foster, H., Mayer, P. Leveraging Integrated Tools for Model-Based Analysis of Service Compositions. Proceedings of Third International Conference on Internet and Web Applications and Services (ICIW 2008), Athens, Greece, June 8-13, 2008.
- Mayer, P., Baumeister, H. D7.4b: Report on the Sensoria CASE Tool
Description and Evaluation. Deliverable for the EU project SENSORIA, Reporting period October 2006-September 2007. - Koch, N., Mayer, P., Heckel, R., Gönczy, L., Montangero, C. D1.4.a: UML for Service-Oriented Systems. Deliverable for the EU project SENSORIA, Reporting period October 2006-September 2007.
On Types and Type Inference
- Mayer, P., Meißner, A., Steimann, F. A Visual Interface for Type-Related Refactorings. Proceedings of 1st Workshop on Refactoring Tools (WRT 2007), ECOOP 2007 (Berlin, Germany, July 31, 2007)
- Steimann, F., Mayer, P. Type Access Analysis: Towards Informed Interface Design. Proceedings of 2007 TOOLS EUROPE. Special issue of Journal of Object Technology (Zurich, Switzerland, June 25-27, 2007)
- Steimann, F., Mayer, P., and Meißner, A. 2006. Decoupling classes with inferred interfaces. In Proceedings of the 2006 ACM Symposium on Applied Computing (Dijon, France, April 23 - 27, 2006).
- Steimann, F., Mayer, P. Patterns of Interface-Based Programming. Journal of Object Technology 4(5): 75-94 (2005)
- Gößner, J., Mayer, P., and Steimann, F. 2004. Interface utilization in the Java Development Kit. In Proceedings of the 2004 ACM Symposium on Applied Computing (Nicosia, Cyprus, March 14 - 17, 2004).
- Mayer, P. Eine Metrik-Suite zur Analyse des Einsatzes von Interfaces in Java. Bachelor Thesis, University of Hannover (2003)
- Mayer, P. 2003. Analyzing the use of interfaces in large OO projects. In Companion of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (Anaheim, CA, USA, October 26 - 30, 2003).
Other
- Mayer, P.: Design and Implementation of a Framework for Testing BPEL compositions. Master Thesis, University of Hannover (2006)
- Mayer, P. and Lübke, D. 2006. Towards a BPEL unit testing framework. In Proceedings of the 2006 Workshop on Testing, Analysis, and Verification of Web Services and Applications (Portland, Maine, July 17 - 17, 2006).
- Andreas Schroeder, Annabelle Klarl, Philip Mayer, and Christian Kroiß. Teaching agile software development through lab courses. In International Conference on Education 2012, 2012.