 | 2011 |
| 26 |  | Sebastian S. Bauer,
Philip Mayer,
Axel Legay:
MIO Workbench: A Tool for Compositional Design with Modal Input/Output Interfaces.
ATVA 2011: 418-421 |
| 25 |  | Martin Wirsing,
Matthias M. Hölzl,
Nora Koch,
Philip Mayer:
Sensoria - Software Engineering for Service-Oriented Overlay Computers.
Results of the SENSORIA Project 2011: 1-14 |
| 24 |  | Jannis Elgner,
Stefania Gnesi,
Nora Koch,
Philip Mayer:
Introduction to the Sensoria Case Studies.
Results of the SENSORIA Project 2011: 26-34 |
| 23 |  | Howard Foster,
László Gönczy,
Nora Koch,
Philip Mayer,
Carlo Montangero,
Dániel Varró:
UML Extensions for Service-Oriented Systems.
Results of the SENSORIA Project 2011: 35-60 |
| 22 |  | Philip Mayer,
István Ráth:
The Sensoria Development Environment.
Results of the SENSORIA Project 2011: 622-639 |
| 21 |  | Jannis Elgner,
Stefania Gnesi,
Nora Koch,
Philip Mayer:
Specification and Implementation of Demonstrators for the Case Studies.
Results of the SENSORIA Project 2011: 640-654 |
| 20 |  | Matthias M. Hölzl,
Nora Koch,
Philip Mayer,
Martin Wirsing:
Sensoria Patterns.
Results of the SENSORIA Project 2011: 719-736 |
| 19 |  | Stephen Gilmore,
László Gönczy,
Nora Koch,
Philip Mayer,
Mirco Tribastone,
Dániel Varró:
Non-functional properties in the model-driven development of service-oriented systems.
Software and System Modeling 10(3): 287-311 (2011) |
| 2010 |
| 18 |  | Mirco Tribastone,
Philip Mayer,
Martin Wirsing:
Performance Prediction of Service-Oriented Systems with Layered Queueing Networks.
ISoLA (2) 2010: 51-65 |
| 17 |  | Sebastian S. Bauer,
Philip Mayer,
Andreas Schroeder,
Rolf Hennicker:
On Weak Modal Compatibility, Refinement, and the MIO Workbench.
TACAS 2010: 175-189 |
| 16 |  | Philip Mayer,
Andreas Schroeder,
Sebastian S. Bauer:
A Strict-Observational Interface Theory for Analysing Service Orchestrations.
Electr. Notes Theor. Comput. Sci. 264(1): 125-139 (2010) |
| 15 |  | Philip Mayer:
MDD4SOA: model-driven development for service-oriented architectures.
Ludwig Maximilians University Munich 2010: 1-333 |
| 2009 |
| 14 |  | Roberto Bruni,
Matthias M. Hölzl,
Nora Koch,
Alberto Lluch-Lafuente,
Philip Mayer,
Ugo Montanari,
Andreas Schroeder,
Martin Wirsing:
A Service-Oriented UML Profile with Formal Support.
ICSOC/ServiceWave 2009: 455-469 |
| 2008 |
| 13 |  | Philip Mayer,
Andreas Schroeder,
Nora Koch:
MDD4SOA: Model-Driven Service Orchestration.
EDOC 2008: 203-212 |
| 12 |  | Howard Foster,
Philip Mayer:
Leveraging Integrated Tools for Model-Based Analysis of Service Compositions.
ICIW 2008: 72-77 |
| 11 |  | Andreas Schroeder,
Philip Mayer:
Verifying Interaction Protocol Compliance of Service Orchestrations.
ICSOC 2008: 545-550 |
| 10 |  | Philip Mayer,
Andreas Schroeder,
Nora Koch:
A Model-Driven Approach to Service Orchestration.
IEEE SCC (2) 2008: 533-536 |
| 9 |  | 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ó:
SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity.
ISoLA 2008: 170-190 |
| 8 |  | Ashok Argent-Katwala,
Allan Clark,
Howard Foster,
Stephen Gilmore,
Philip Mayer,
Mirco Tribastone:
Safety and Response-Time Analysis of an Automotive Accident Assistance Service.
ISoLA 2008: 191-205 |
| 2007 |
| 7 |  | Philip Mayer,
Andreas Meissner,
Friedrich Steimann:
A visual interface for type-related refactorings.
WRT 2007: 5-6 |
| 6 |  | Friedrich Steimann,
Philip Mayer:
Type Access Analysis: Towards Informed Interface Design .
Journal of Object Technology 6(9): 147-164 (2007) |
| 2006 |
| 5 |  | Friedrich Steimann,
Philip Mayer,
Andreas Meissner:
Decoupling classes with inferred interfaces.
SAC 2006: 1404-1408 |
| 4 |  | Philip Mayer,
Daniel Lübke:
Towards a BPEL unit testing framework.
TAV-WEB 2006: 33-42 |
| 2005 |
| 3 |  | Friedrich Steimann,
Philip Mayer:
Patterns of Interface-Based Programming.
Journal of Object Technology 4(5): 75-94 (2005) |
| 2004 |
| 2 |  | Jens Gößner,
Philip Mayer,
Friedrich Steimann:
Interface utilization in the Java Development Kit.
SAC 2004: 1310-1315 |
| 2003 |
| 1 |  | Philip Mayer:
Analyzing the use of interfaces in large OO projects.
OOPSLA Companion 2003: 382-383 |