dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Philip Mayer Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian S. Bauer, Philip Mayer, Axel Legay: MIO Workbench: A Tool for Compositional Design with Modal Input/Output Interfaces. ATVA 2011: 418-421
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin 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
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJannis Elgner, Stefania Gnesi, Nora Koch, Philip Mayer: Introduction to the Sensoria Case Studies. Results of the SENSORIA Project 2011: 26-34
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHoward 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
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilip Mayer, István Ráth: The Sensoria Development Environment. Results of the SENSORIA Project 2011: 622-639
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJannis Elgner, Stefania Gnesi, Nora Koch, Philip Mayer: Specification and Implementation of Demonstrators for the Case Studies. Results of the SENSORIA Project 2011: 640-654
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias M. Hölzl, Nora Koch, Philip Mayer, Martin Wirsing: Sensoria Patterns. Results of the SENSORIA Project 2011: 719-736
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen 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
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMirco Tribastone, Philip Mayer, Martin Wirsing: Performance Prediction of Service-Oriented Systems with Layered Queueing Networks. ISoLA (2) 2010: 51-65
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian S. Bauer, Philip Mayer, Andreas Schroeder, Rolf Hennicker: On Weak Modal Compatibility, Refinement, and the MIO Workbench. TACAS 2010: 175-189
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilip 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)
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilip Mayer: MDD4SOA: model-driven development for service-oriented architectures. Ludwig Maximilians University Munich 2010: 1-333
2009
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto 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
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilip Mayer, Andreas Schroeder, Nora Koch: MDD4SOA: Model-Driven Service Orchestration. EDOC 2008: 203-212
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHoward Foster, Philip Mayer: Leveraging Integrated Tools for Model-Based Analysis of Service Compositions. ICIW 2008: 72-77
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Schroeder, Philip Mayer: Verifying Interaction Protocol Compliance of Service Orchestrations. ICSOC 2008: 545-550
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilip Mayer, Andreas Schroeder, Nora Koch: A Model-Driven Approach to Service Orchestration. IEEE SCC (2) 2008: 533-536
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin 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
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAshok 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
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilip Mayer, Andreas Meissner, Friedrich Steimann: A visual interface for type-related refactorings. WRT 2007: 5-6
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFriedrich Steimann, Philip Mayer: Type Access Analysis: Towards Informed Interface Design . Journal of Object Technology 6(9): 147-164 (2007)
2006
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFriedrich Steimann, Philip Mayer, Andreas Meissner: Decoupling classes with inferred interfaces. SAC 2006: 1404-1408
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilip Mayer, Daniel Lübke: Towards a BPEL unit testing framework. TAV-WEB 2006: 33-42
2005
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFriedrich Steimann, Philip Mayer: Patterns of Interface-Based Programming. Journal of Object Technology 4(5): 75-94 (2005)
2004
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJens Gößner, Philip Mayer, Friedrich Steimann: Interface utilization in the Java Development Kit. SAC 2004: 1310-1315
2003
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilip Mayer: Analyzing the use of interfaces in large OO projects. OOPSLA Companion 2003: 382-383

Coauthor Index

1Lucia Acciai [9]
2Ashok Argent-Katwala [8]
3Federico Banti [9]
4Sebastian S. Bauer [16] [17] [26]
5Roberto Bruni [14]
6Allan Clark [8] [9]
7Jannis Elgner [21] [24]
8Alessandro Fantechi [9]
9Howard Foster [8] [12] [23]
10Stephen Gilmore (Stephen T. Gilmore) [8] [9] [19]
11Stefania Gnesi [9] [21] [24]
12László Gönczy [9] [19] [23]
13Jens Gößner [2]
14Rolf Hennicker [17]
15Matthias M. Hölzl [9] [14] [20] [25]
16Nora Koch [9] [10] [13] [14] [19] [20] [21] [23] [24] [25]
17Alessandro Lapadula [9]
18Axel Legay [26]
19Alberto Lluch-Lafuente [14]
20Daniel Lübke [4]
21Franco Mazzanti [9]
22Andreas Meissner [5] [7]
23Ugo Montanari [14]
24Carlo Montangero [23]
25Rosario Pugliese [9]
26István Ráth [22]
27Andreas Schroeder [9] [10] [11] [13] [14] [16] [17]
28Friedrich Steimann [2] [3] [5] [6] [7]
29Francesco Tiezzi [9]
30Mirco Tribastone [8] [9] [18] [19]
31Dániel Varró [9] [19] [23]
32Martin Wirsing [9] [14] [18] [20] [25]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page