Philip Mayer

According to our database, Philip Mayer authored at least 42 papers between 2003 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2022

Minimum-Error Triangulations for Sea Surface Reconstruction.

Anna Arutyunova, Anne Driemel, Jan-Henrik Haunert, Herman J. Haverkort, Jürgen Kusche, Elmar Langetepe, Philip Mayer, Petra Mutzel, Heiko Röglin

Proceedings of the 38th International Symposium on Computational Geometry, 2022

2017

On multi-language software development, cross-language links and accompanying tools: a survey of professional software developers.

Philip Mayer, Michael Kirsch, Minh Anh Le

J. Softw. Eng. Res. Dev., 2017

A taxonomy of cross-language linking mechanisms in open source frameworks.

Philip Mayer

Computing, 2017

2015

The Autonomic Cloud.

Philip Mayer, José Velasco, Annabelle Klarl, Rolf Hennicker, Mariachiara Puviani, Francesco Tiezzi, Rosario Pugliese, Jaroslav Keznikl, Tomás Bures

Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

Tools for Ensemble Design and Runtime.

Dhaminda B. Abeywickrama, Jacques Combaz, Vojtech Horký, Jaroslav Keznikl, Jan Kofron, Alberto Lluch-Lafuente, Michele Loreti, Andrea Margheri, Philip Mayer, Giacoma Valentina Monreale, Ugo Montanari, Carlo Pinciroli, Petr Tuma, Andrea Vandin, Emil Vassev

Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

An empirical analysis of the utilization of multiple programming languages in open source projects.

Philip Mayer, Alexander Bauer

Proceedings of the 19th International Conference on Evaluation and Assessment in Software Engineering, 2015

Ode to the PST.

Matthias M. Hölzl, Nora Koch, Philip Mayer, Andreas Schroeder, Lenz Belzner, Marianne Busch, Anton Fasching, Annabelle Klarl, Christian Kroiss, Laith Raed

Proceedings of the Software, 2015

2014

Formalizing Self-adaptive Clouds with KnowLang.

Emil Vassev, Mike Hinchey, Philip Mayer

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

Helena@Work: Modeling the Science Cloud Platform.

Annabelle Klarl, Philip Mayer, Rolf Hennicker

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

Reputation-Based Cooperation in the Clouds.

Alessandro Celestini, Alberto Lluch-Lafuente, Philip Mayer, Stefano Sebastio, Francesco Tiezzi

Proceedings of the Trust Management VIII - 8th IFIP WG 11.11 International Conference, 2014

Automated Multi-Language Artifact Binding and Rename Refactoring between Java and DSLs Used by Java Frameworks.

Philip Mayer, Andreas Schroeder

Proceedings of the ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28, 2014

2013

The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing.

Philip Mayer, Annabelle Klarl, Rolf Hennicker, Mariachiara Puviani, Francesco Tiezzi, Rosario Pugliese, Jaroslav Keznikl, Toma Bure

Proceedings of the 7th IEEE International Conference on Self-Adaptation and Self-Organizing Systems Workshops, 2013

Towards automated cross-language refactorings between Java and DSLs used by Java frameworks.

Philip Mayer, Andreas Schroeder

Proceedings of the 2013 ACM Workshop on Refactoring Tools, 2013

Patterns of cross-language linking in java frameworks.

Philip Mayer, Andreas Schroeder

Proceedings of the IEEE 21st International Conference on Program Comprehension, 2013

2012

Cross-Language Code Analysis and Refactoring.

Philip Mayer, Andreas Schroeder

Proceedings of the 12th IEEE International Working Conference on Source Code Analysis and Manipulation, 2012

Teaching agile software development through lab courses.

Andreas Schroeder, Annabelle Klarl, Philip Mayer, Christian Kroiss

Proceedings of the IEEE Global Engineering Education Conference, 2012

2011

Non-functional properties in the model-driven development of service-oriented systems.

Stephen Gilmore, László Gönczy, Nora Koch, Philip Mayer, Mirco Tribastone, Dániel Varró

Softw. Syst. Model., 2011

MIO Workbench: A Tool for Compositional Design with Modal Input/Output Interfaces.

Sebastian S. Bauer, Philip Mayer, Axel Legay

Proceedings of the Automated Technology for Verification and Analysis, 2011

Sensoria - Software Engineering for Service-Oriented Overlay Computers.

Martin Wirsing, Matthias M. Hölzl, Nora Koch, Philip Mayer

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

The Sensoria Development Environment.

Philip Mayer, István Ráth

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

Sensoria Patterns.

Matthias M. Hölzl, Nora Koch, Philip Mayer, Martin Wirsing

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

UML Extensions for Service-Oriented Systems.

Howard Foster, László Gönczy, Nora Koch, Philip Mayer, Carlo Montangero, Dániel Varró

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

Specification and Implementation of Demonstrators for the Case Studies.

Jannis Elgner, Stefania Gnesi, Nora Koch, Philip Mayer

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

Introduction to the Sensoria Case Studies.

Jannis Elgner, Stefania Gnesi, Nora Koch, Philip Mayer

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

2010

MDD4SOA: model-driven development for service-oriented architectures.

Philip Mayer

PhD thesis, 2010

A Strict-Observational Interface Theory for Analysing Service Orchestrations.

Philip Mayer, Andreas Schroeder, Sebastian S. Bauer

Proceedings of the 7th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2010

On Weak Modal Compatibility, Refinement, and the MIO Workbench.

Sebastian S. Bauer, Philip Mayer, Andreas Schroeder, Rolf Hennicker

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

Performance Prediction of Service-Oriented Systems with Layered Queueing Networks.

Mirco Tribastone, Philip Mayer, Martin Wirsing

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2009

A Service-Oriented UML Profile with Formal Support.

Roberto Bruni, Matthias M. Hölzl, Nora Koch, Alberto Lluch-Lafuente, Philip Mayer, Ugo Montanari, Andreas Schroeder, Martin Wirsing

Proceedings of the Service-Oriented Computing, 7th International Joint Conference, 2009

2008

SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity.

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, Dániel Varró

Proceedings of the Leveraging Applications of Formal Methods, 2008

Safety and Response-Time Analysis of an Automotive Accident Assistance Service.

Ashok Argent-Katwala, Allan Clark, Howard Foster, Stephen Gilmore, Philip Mayer, Mirco Tribastone

Proceedings of the Leveraging Applications of Formal Methods, 2008

Verifying Interaction Protocol Compliance of Service Orchestrations.

Andreas Schroeder, Philip Mayer

Proceedings of the Service-Oriented Computing, 2008

Leveraging Integrated Tools for Model-Based Analysis of Service Compositions.

Howard Foster, Philip Mayer

Proceedings of the Third International Conference on Internet and Web Applications and Services, 2008

MDD4SOA: Model-Driven Service Orchestration.

Philip Mayer, Andreas Schroeder, Nora Koch

Proceedings of the 12th International IEEE Enterprise Distributed Object Computing Conference, 2008

A Model-Driven Approach to Service Orchestration.

Philip Mayer, Andreas Schroeder, Nora Koch

Proceedings of the 2008 IEEE International Conference on Services Computing (SCC 2008), 2008

2007

Type Access Analysis: Towards Informed Interface Design .

Friedrich Steimann, Philip Mayer

J. Object Technol., 2007

A visual interface for type-related refactorings.

Philip Mayer, Andreas Meissner, Friedrich Steimann

Proceedings of the 1st Workshop on Refactoring Tools, 2007

2006

Decoupling classes with inferred interfaces.

Friedrich Steimann, Philip Mayer, Andreas Meissner

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Towards a BPEL unit testing framework.

Philip Mayer, Daniel Lübke

Proceedings of the 2006 Workshop on Testing, 2006

2005

Patterns of Interface-Based Programming.

Friedrich Steimann, Philip Mayer

J. Object Technol., 2005

2004

Interface utilization in the Java Development Kit.

Jens Gößner, Philip Mayer, Friedrich Steimann

Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

2003

Analyzing the use of interfaces in large OO projects.

Philip Mayer

Proceedings of the Companion of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2003