2008 |
12 | EE | Philip Mayer,
Andreas Schroeder,
Nora Koch:
MDD4SOA: Model-Driven Service Orchestration.
EDOC 2008: 203-212 |
11 | EE | Howard Foster,
Philip Mayer:
Leveraging Integrated Tools for Model-Based Analysis of Service Compositions.
ICIW 2008: 72-77 |
10 | EE | Andreas Schroeder,
Philip Mayer:
Verifying Interaction Protocol Compliance of Service Orchestrations.
ICSOC 2008: 545-550 |
9 | EE | Philip Mayer,
Andreas Schroeder,
Nora Koch:
A Model-Driven Approach to Service Orchestration.
IEEE SCC (2) 2008: 533-536 |
8 | EE | 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 |
7 | EE | 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 |
6 | EE | Friedrich Steimann,
Philip Mayer:
Type Access Analysis: Towards Informed Interface Design .
Journal of Object Technology 6(9): 147-164 (2007) |
2006 |
5 | EE | Friedrich Steimann,
Philip Mayer,
Andreas Meissner:
Decoupling classes with inferred interfaces.
SAC 2006: 1404-1408 |
4 | EE | Philip Mayer,
Daniel Lübke:
Towards a BPEL unit testing framework.
TAV-WEB 2006: 33-42 |
2005 |
3 | EE | Friedrich Steimann,
Philip Mayer:
Patterns of Interface-Based Programming.
Journal of Object Technology 4(5): 75-94 (2005) |
2004 |
2 | EE | Jens Gößner,
Philip Mayer,
Friedrich Steimann:
Interface utilization in the Java Development Kit.
SAC 2004: 1310-1315 |
2003 |
1 | EE | Philip Mayer:
Analyzing the use of interfaces in large OO projects.
OOPSLA Companion 2003: 382-383 |