Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Philip Mayer
@inproceedings{DBLP:conf/compgeom/ArutyunovaDHHKL22,
author = {Anna Arutyunova and
Anne Driemel and
Jan{-}Henrik Haunert and
Herman J. Haverkort and
J{\"{u}}rgen Kusche and
Elmar Langetepe and
Philip Mayer and
Petra Mutzel and
Heiko R{\"{o}}glin},
editor = {Xavier Goaoc and
Michael Kerber},
title = {Minimum-Error Triangulations for Sea Surface Reconstruction},
booktitle = {38th International Symposium on Computational Geometry, SoCG 2022,
June 7-10, 2022, Berlin, Germany},
series = {LIPIcs},
volume = {224},
pages = {7:1--7:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.SoCG.2022.7},
doi = {10.4230/LIPICS.SOCG.2022.7},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compgeom/ArutyunovaDHHKL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-07325,
author = {Anna Arutyunova and
Anne Driemel and
Jan{-}Henrik Haunert and
Herman J. Haverkort and
J{\"{u}}rgen Kusche and
Elmar Langetepe and
Philip Mayer and
Petra Mutzel and
Heiko R{\"{o}}glin},
title = {Minimum-Error Triangulations for Sea Surface Reconstruction},
journal = {CoRR},
volume = {abs/2203.07325},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.07325},
doi = {10.48550/ARXIV.2203.07325},
eprinttype = {arXiv},
eprint = {2203.07325},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-07325.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computing/Mayer17,
author = {Philip Mayer},
title = {A taxonomy of cross-language linking mechanisms in open source frameworks},
journal = {Computing},
volume = {99},
number = {7},
pages = {701--724},
year = {2017},
url = {https://doi.org/10.1007/s00607-016-0528-3},
doi = {10.1007/S00607-016-0528-3},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computing/Mayer17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jserd/MayerKL17,
author = {Philip Mayer and
Michael Kirsch and
Minh Anh Le},
title = {On multi-language software development, cross-language links and accompanying
tools: a survey of professional software developers},
journal = {J. Softw. Eng. Res. Dev.},
volume = {5},
pages = {1},
year = {2017},
url = {https://doi.org/10.1186/s40411-017-0035-z},
doi = {10.1186/S40411-017-0035-Z},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jserd/MayerKL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HolzlKMSBBFKKR15,
author = {Matthias M. H{\"{o}}lzl and
Nora Koch and
Philip Mayer and
Andreas Schroeder and
Lenz Belzner and
Marianne Busch and
Anton Fasching and
Annabelle Klarl and
Christian Kroiss and
Laith Raed},
editor = {Rocco De Nicola and
Rolf Hennicker},
title = {Ode to the {PST}},
booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
on the Occasion of His Retirement from the Chair of Programming and
Software Engineering},
series = {Lecture Notes in Computer Science},
volume = {8950},
pages = {13--23},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15545-6\_2},
doi = {10.1007/978-3-319-15545-6\_2},
timestamp = {Wed, 08 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/HolzlKMSBBFKKR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ease/MayerB15,
author = {Philip Mayer and
Alexander Bauer},
editor = {Jian Lv and
He Jason Zhang and
Muhammad Ali Babar},
title = {An empirical analysis of the utilization of multiple programming languages
in open source projects},
booktitle = {Proceedings of the 19th International Conference on Evaluation and
Assessment in Software Engineering, {EASE} 2015, Nanjing, China, April
27-29, 2015},
pages = {4:1--4:10},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2745802.2745805},
doi = {10.1145/2745802.2745805},
timestamp = {Fri, 14 Apr 2023 23:05:45 +0200},
biburl = {https://dblp.org/rec/conf/ease/MayerB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/AbeywickramaCHKKLLMMMMPTVV15,
author = {Dhaminda B. Abeywickrama and
Jacques Combaz and
Vojtech Hork{\'{y}} and
Jaroslav Keznikl and
Jan Kofron and
Alberto Lluch{-}Lafuente and
Michele Loreti and
Andrea Margheri and
Philip Mayer and
Giacoma Valentina Monreale and
Ugo Montanari and
Carlo Pinciroli and
Petr Tuma and
Andrea Vandin and
Emil Vassev},
editor = {Martin Wirsing and
Matthias M. H{\"{o}}lzl and
Nora Koch and
Philip Mayer},
title = {Tools for Ensemble Design and Runtime},
booktitle = {Software Engineering for Collective Autonomic Systems - The {ASCENS}
Approach},
series = {Lecture Notes in Computer Science},
volume = {8998},
pages = {429--448},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-16310-9\_13},
doi = {10.1007/978-3-319-16310-9\_13},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/lncs/AbeywickramaCHKKLLMMMMPTVV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/MayerVKHPTPKB15,
author = {Philip Mayer and
Jos{\'{e}} Velasco and
Annabelle Klarl and
Rolf Hennicker and
Mariachiara Puviani and
Francesco Tiezzi and
Rosario Pugliese and
Jaroslav Keznikl and
Tom{\'{a}}s Bures},
editor = {Martin Wirsing and
Matthias M. H{\"{o}}lzl and
Nora Koch and
Philip Mayer},
title = {The Autonomic Cloud},
booktitle = {Software Engineering for Collective Autonomic Systems - The {ASCENS}
Approach},
series = {Lecture Notes in Computer Science},
volume = {8998},
pages = {495--512},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-16310-9\_16},
doi = {10.1007/978-3-319-16310-9\_16},
timestamp = {Thu, 20 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/MayerVKHPTPKB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/lncs/8998,
editor = {Martin Wirsing and
Matthias M. H{\"{o}}lzl and
Nora Koch and
Philip Mayer},
title = {Software Engineering for Collective Autonomic Systems - The {ASCENS}
Approach},
series = {Lecture Notes in Computer Science},
volume = {8998},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-16310-9},
doi = {10.1007/978-3-319-16310-9},
isbn = {978-3-319-16309-3},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/lncs/8998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/MayerS14,
author = {Philip Mayer and
Andreas Schroeder},
editor = {Richard E. Jones},
title = {Automated Multi-Language Artifact Binding and Rename Refactoring between
Java and DSLs Used by Java Frameworks},
booktitle = {{ECOOP} 2014 - Object-Oriented Programming - 28th European Conference,
Uppsala, Sweden, July 28 - August 1, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8586},
pages = {437--462},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44202-9\_18},
doi = {10.1007/978-3-662-44202-9\_18},
timestamp = {Wed, 08 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/MayerS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifiptm/CelestiniLMST14,
author = {Alessandro Celestini and
Alberto Lluch{-}Lafuente and
Philip Mayer and
Stefano Sebastio and
Francesco Tiezzi},
editor = {Jianying Zhou and
Nurit Gal{-}Oz and
Jie Zhang and
Ehud Gudes},
title = {Reputation-Based Cooperation in the Clouds},
booktitle = {Trust Management {VIII} - 8th {IFIP} {WG} 11.11 International Conference,
{IFIPTM} 2014, Singapore, July 7-10, 2014. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {430},
pages = {213--220},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-43813-8\_15},
doi = {10.1007/978-3-662-43813-8\_15},
timestamp = {Thu, 23 Sep 2021 11:47:43 +0200},
biburl = {https://dblp.org/rec/conf/ifiptm/CelestiniLMST14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/KlarlMH14,
author = {Annabelle Klarl and
Philip Mayer and
Rolf Hennicker},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Helena@Work: Modeling the Science Cloud Platform},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Technologies for Mastering Change - 6th International Symposium, ISoLA
2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {8802},
pages = {99--116},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45234-9\_8},
doi = {10.1007/978-3-662-45234-9\_8},
timestamp = {Sun, 02 Jun 2019 21:11:27 +0200},
biburl = {https://dblp.org/rec/conf/isola/KlarlMH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/VassevHM14,
author = {Emil Vassev and
Mike Hinchey and
Philip Mayer},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Formalizing Self-adaptive Clouds with KnowLang},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Technologies for Mastering Change - 6th International Symposium, ISoLA
2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {8802},
pages = {117--130},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45234-9\_9},
doi = {10.1007/978-3-662-45234-9\_9},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/VassevHM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpc/MayerS13,
author = {Philip Mayer and
Andreas Schroeder},
title = {Patterns of cross-language linking in java frameworks},
booktitle = {{IEEE} 21st International Conference on Program Comprehension, {ICPC}
2013, San Francisco, CA, USA, 20-21 May, 2013},
pages = {113--122},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICPC.2013.6613839},
doi = {10.1109/ICPC.2013.6613839},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwpc/MayerS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/MayerS13,
author = {Philip Mayer and
Andreas Schroeder},
editor = {Emerson R. Murphy{-}Hill and
Max Sch{\"{a}}fer},
title = {Towards automated cross-language refactorings between Java and DSLs
used by Java frameworks},
booktitle = {Proceedings of the 2013 {ACM} Workshop on Refactoring Tools, WRT@SPLASH
2013, Indianapolis, IN, USA, October 27, 2013},
pages = {5--8},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2541348.2541350},
doi = {10.1145/2541348.2541350},
timestamp = {Wed, 08 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/MayerS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/MayerKHPTPKB13,
author = {Philip Mayer and
Annabelle Klarl and
Rolf Hennicker and
Mariachiara Puviani and
Francesco Tiezzi and
Rosario Pugliese and
Jaroslav Keznikl and
Toma Bure},
title = {The Autonomic Cloud: {A} Vision of Voluntary, Peer-2-Peer Cloud Computing},
booktitle = {7th {IEEE} International Conference on Self-Adaptation and Self-Organizing
Systems Workshops, SASOW, 2013, Philadelphia, PA, USA, September 9-13,
2013},
pages = {89--94},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/SASOW.2013.16},
doi = {10.1109/SASOW.2013.16},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/MayerKHPTPKB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/educon/SchroederKMK12,
author = {Andreas Schroeder and
Annabelle Klarl and
Philip Mayer and
Christian Kroiss},
title = {Teaching agile software development through lab courses},
booktitle = {Proceedings of the {IEEE} Global Engineering Education Conference,
{EDUCON} 2012, Marrakech, Morocco, April 17-20, 2012},
pages = {1--10},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/EDUCON.2012.6201194},
doi = {10.1109/EDUCON.2012.6201194},
timestamp = {Wed, 08 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/educon/SchroederKMK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scam/MayerS12,
author = {Philip Mayer and
Andreas Schroeder},
title = {Cross-Language Code Analysis and Refactoring},
booktitle = {12th {IEEE} International Working Conference on Source Code Analysis
and Manipulation, {SCAM} 2012, Riva del Garda, Italy, September 23-24,
2012},
pages = {94--103},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/SCAM.2012.11},
doi = {10.1109/SCAM.2012.11},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scam/MayerS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/GilmoreGKMTV11,
author = {Stephen Gilmore and
L{\'{a}}szl{\'{o}} G{\"{o}}nczy and
Nora Koch and
Philip Mayer and
Mirco Tribastone and
D{\'{a}}niel Varr{\'{o}}},
title = {Non-functional properties in the model-driven development of service-oriented
systems},
journal = {Softw. Syst. Model.},
volume = {10},
number = {3},
pages = {287--311},
year = {2011},
url = {https://doi.org/10.1007/s10270-010-0155-y},
doi = {10.1007/S10270-010-0155-Y},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sosym/GilmoreGKMTV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/BauerML11,
author = {Sebastian S. Bauer and
Philip Mayer and
Axel Legay},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {{MIO} Workbench: {A} Tool for Compositional Design with Modal Input/Output
Interfaces},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {418--421},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_30},
doi = {10.1007/978-3-642-24372-1\_30},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/BauerML11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/sensoria2011/WirsingHKM11,
author = {Martin Wirsing and
Matthias M. H{\"{o}}lzl and
Nora Koch and
Philip Mayer},
editor = {Martin Wirsing and
Matthias M. H{\"{o}}lzl},
title = {Sensoria - Software Engineering for Service-Oriented Overlay Computers},
booktitle = {Rigorous Software Engineering for Service-Oriented Systems - Results
of the {SENSORIA} Project on Software Engineering for Service-Oriented
Computing},
series = {Lecture Notes in Computer Science},
volume = {6582},
pages = {1--14},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20401-2\_1},
doi = {10.1007/978-3-642-20401-2\_1},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/sensoria2011/WirsingHKM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/sensoria2011/ElgnerGKM11,
author = {Jannis Elgner and
Stefania Gnesi and
Nora Koch and
Philip Mayer},
editor = {Martin Wirsing and
Matthias M. H{\"{o}}lzl},
title = {Introduction to the Sensoria Case Studies},
booktitle = {Rigorous Software Engineering for Service-Oriented Systems - Results
of the {SENSORIA} Project on Software Engineering for Service-Oriented
Computing},
series = {Lecture Notes in Computer Science},
volume = {6582},
pages = {26--34},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20401-2\_3},
doi = {10.1007/978-3-642-20401-2\_3},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/sensoria2011/ElgnerGKM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/sensoria2011/FosterGKMMV11,
author = {Howard Foster and
L{\'{a}}szl{\'{o}} G{\"{o}}nczy and
Nora Koch and
Philip Mayer and
Carlo Montangero and
D{\'{a}}niel Varr{\'{o}}},
editor = {Martin Wirsing and
Matthias M. H{\"{o}}lzl},
title = {{UML} Extensions for Service-Oriented Systems},
booktitle = {Rigorous Software Engineering for Service-Oriented Systems - Results
of the {SENSORIA} Project on Software Engineering for Service-Oriented
Computing},
series = {Lecture Notes in Computer Science},
volume = {6582},
pages = {35--60},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20401-2\_4},
doi = {10.1007/978-3-642-20401-2\_4},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/sensoria2011/FosterGKMMV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/sensoria2011/MayerR11,
author = {Philip Mayer and
Istv{\'{a}}n R{\'{a}}th},
editor = {Martin Wirsing and
Matthias M. H{\"{o}}lzl},
title = {The Sensoria Development Environment},
booktitle = {Rigorous Software Engineering for Service-Oriented Systems - Results
of the {SENSORIA} Project on Software Engineering for Service-Oriented
Computing},
series = {Lecture Notes in Computer Science},
volume = {6582},
pages = {622--639},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20401-2\_30},
doi = {10.1007/978-3-642-20401-2\_30},
timestamp = {Mon, 29 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/sensoria2011/MayerR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/sensoria2011/ElgnerGKM11a,
author = {Jannis Elgner and
Stefania Gnesi and
Nora Koch and
Philip Mayer},
editor = {Martin Wirsing and
Matthias M. H{\"{o}}lzl},
title = {Specification and Implementation of Demonstrators for the Case Studies},
booktitle = {Rigorous Software Engineering for Service-Oriented Systems - Results
of the {SENSORIA} Project on Software Engineering for Service-Oriented
Computing},
series = {Lecture Notes in Computer Science},
volume = {6582},
pages = {640--654},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20401-2\_31},
doi = {10.1007/978-3-642-20401-2\_31},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/sensoria2011/ElgnerGKM11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/sensoria2011/HolzlKMW11,
author = {Matthias M. H{\"{o}}lzl and
Nora Koch and
Philip Mayer and
Martin Wirsing},
editor = {Martin Wirsing and
Matthias M. H{\"{o}}lzl},
title = {Sensoria Patterns},
booktitle = {Rigorous Software Engineering for Service-Oriented Systems - Results
of the {SENSORIA} Project on Software Engineering for Service-Oriented
Computing},
series = {Lecture Notes in Computer Science},
volume = {6582},
pages = {719--736},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20401-2\_35},
doi = {10.1007/978-3-642-20401-2\_35},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/sensoria2011/HolzlKMW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/de/Mayer2010,
author = {Philip Mayer},
title = {{MDD4SOA:} model-driven development for service-oriented architectures},
school = {Ludwig Maximilians University Munich},
year = {2010},
url = {http://edoc.ub.uni-muenchen.de/12440/},
urn = {urn:nbn:de:bvb:19-124405},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/de/Mayer2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/TribastoneMW10,
author = {Mirco Tribastone and
Philip Mayer and
Martin Wirsing},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Performance Prediction of Service-Oriented Systems with Layered Queueing
Networks},
booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation
- 4th International Symposium on Leveraging Applications, ISoLA 2010,
Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {6416},
pages = {51--65},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16561-0\_12},
doi = {10.1007/978-3-642-16561-0\_12},
timestamp = {Sun, 02 Jun 2019 21:11:27 +0200},
biburl = {https://dblp.org/rec/conf/isola/TribastoneMW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BauerMSH10,
author = {Sebastian S. Bauer and
Philip Mayer and
Andreas Schroeder and
Rolf Hennicker},
editor = {Javier Esparza and
Rupak Majumdar},
title = {On Weak Modal Compatibility, Refinement, and the {MIO} Workbench},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {175--189},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_15},
doi = {10.1007/978-3-642-12002-2\_15},
timestamp = {Wed, 08 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/BauerMSH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MayerSB10,
author = {Philip Mayer and
Andreas Schroeder and
Sebastian S. Bauer},
editor = {Jens Happe and
Barbora Buhnova},
title = {A Strict-Observational Interface Theory for Analysing Service Orchestrations},
booktitle = {Proceedings of the 7th International Workshop on Formal Engineering
approaches to Software Components and Architectures, FESCA@ETAPS 2010,
Paphos, Cyprus, March 27, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {264},
number = {1},
pages = {125--139},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2010.07.009},
doi = {10.1016/J.ENTCS.2010.07.009},
timestamp = {Fri, 10 Mar 2023 10:39:08 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MayerSB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/BruniHKLMMSW09,
author = {Roberto Bruni and
Matthias M. H{\"{o}}lzl and
Nora Koch and
Alberto Lluch{-}Lafuente and
Philip Mayer and
Ugo Montanari and
Andreas Schroeder and
Martin Wirsing},
editor = {Luciano Baresi and
Chi{-}Hung Chi and
Jun Suzuki},
title = {A Service-Oriented {UML} Profile with Formal Support},
booktitle = {Service-Oriented Computing, 7th International Joint Conference, ICSOC-ServiceWave
2009, Stockholm, Sweden, November 24-27, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5900},
pages = {455--469},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10383-4\_34},
doi = {10.1007/978-3-642-10383-4\_34},
timestamp = {Wed, 08 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsoc/BruniHKLMMSW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEscc/MayerSK08,
author = {Philip Mayer and
Andreas Schroeder and
Nora Koch},
title = {A Model-Driven Approach to Service Orchestration},
booktitle = {2008 {IEEE} International Conference on Services Computing {(SCC}
2008), 8-11 July 2008, Honolulu, Hawaii, {USA}},
pages = {533--536},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SCC.2008.91},
doi = {10.1109/SCC.2008.91},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEscc/MayerSK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edoc/MayerSK08,
author = {Philip Mayer and
Andreas Schroeder and
Nora Koch},
title = {{MDD4SOA:} Model-Driven Service Orchestration},
booktitle = {12th International {IEEE} Enterprise Distributed Object Computing
Conference, {ECOC} 2008, 15-19 September 2008, Munich, Germany},
pages = {203--212},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/EDOC.2008.55},
doi = {10.1109/EDOC.2008.55},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edoc/MayerSK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iciw/FosterM08,
author = {Howard Foster and
Philip Mayer},
editor = {Abdelhamid Mellouk and
Jun Bi and
Guadalupe Ortiz and
Dickson K. W. Chiu and
Manuela Popescu},
title = {Leveraging Integrated Tools for Model-Based Analysis of Service Compositions},
booktitle = {Third International Conference on Internet and Web Applications and
Services, {ICIW} 2008, 8-13 June 2008, Athens, Greece},
pages = {72--77},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICIW.2008.103},
doi = {10.1109/ICIW.2008.103},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iciw/FosterM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/SchroederM08,
author = {Andreas Schroeder and
Philip Mayer},
editor = {Athman Bouguettaya and
Ingolf Kr{\"{u}}ger and
Tiziana Margaria},
title = {Verifying Interaction Protocol Compliance of Service Orchestrations},
booktitle = {Service-Oriented Computing - {ICSOC} 2008, 6th International Conference,
Sydney, Australia, December 1-5, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5364},
pages = {545--550},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89652-4\_44},
doi = {10.1007/978-3-540-89652-4\_44},
timestamp = {Wed, 08 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsoc/SchroederM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/WirsingHABCFGGGKLMMPSTTV08,
author = {Martin Wirsing and
Matthias M. H{\"{o}}lzl and
Lucia Acciai and
Federico Banti and
Allan Clark and
Alessandro Fantechi and
Stephen Gilmore and
Stefania Gnesi and
L{\'{a}}szl{\'{o}} G{\"{o}}nczy and
Nora Koch and
Alessandro Lapadula and
Philip Mayer and
Franco Mazzanti and
Rosario Pugliese and
Andreas Schroeder and
Francesco Tiezzi and
Mirco Tribastone and
D{\'{a}}niel Varr{\'{o}}},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {SensoriaPatterns: Augmenting Service Engineering with Formal Analysis,
Transformation and Dynamicity},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {170--190},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_13},
doi = {10.1007/978-3-540-88479-8\_13},
timestamp = {Wed, 08 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/WirsingHABCFGGGKLMMPSTTV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Argent-KatwalaCFGMT08,
author = {Ashok Argent{-}Katwala and
Allan Clark and
Howard Foster and
Stephen Gilmore and
Philip Mayer and
Mirco Tribastone},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Safety and Response-Time Analysis of an Automotive Accident Assistance
Service},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {191--205},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_14},
doi = {10.1007/978-3-540-88479-8\_14},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/Argent-KatwalaCFGMT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/SteimannM07,
author = {Friedrich Steimann and
Philip Mayer},
title = {Type Access Analysis: Towards Informed Interface Design},
journal = {J. Object Technol.},
volume = {6},
number = {9},
pages = {147--164},
year = {2007},
url = {https://doi.org/10.5381/jot.2007.6.9.a8},
doi = {10.5381/JOT.2007.6.9.A8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/SteimannM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/MayerMS07,
author = {Philip Mayer and
Andreas Meissner and
Friedrich Steimann},
editor = {Danny Dig},
title = {A visual interface for type-related refactorings},
booktitle = {1st Workshop on Refactoring Tools, {WRT} 2007, in conjunction with
21st European Conference on Object-Oriented Programming, July 30 -
August 03, 2007, Berlin, Germany, Proceedings},
pages = {5--6},
year = {2007},
url = {http://netfiles.uiuc.edu/dig/RefactoringWorkshop/},
timestamp = {Tue, 19 Jun 2018 18:57:08 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/MayerMS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/MayerL06,
author = {Philip Mayer and
Daniel L{\"{u}}bke},
editor = {Tevfik Bultan},
title = {Towards a {BPEL} unit testing framework},
booktitle = {Proceedings of the 2006 Workshop on Testing, Analysis, and Verification
of Web Services and Applications, held in conjunction with the {ACM}
{SIGSOFT} International Symposium on Software Testing and Analysis
{(ISSTA} 2006), {TAV-WEB} 2006, Portland, Maine, USA, July 17, 2006},
pages = {33--42},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1145718.1145723},
doi = {10.1145/1145718.1145723},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/MayerL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/SteimannMM06,
author = {Friedrich Steimann and
Philip Mayer and
Andreas Meissner},
editor = {Hisham Haddad},
title = {Decoupling classes with inferred interfaces},
booktitle = {Proceedings of the 2006 {ACM} Symposium on Applied Computing (SAC),
Dijon, France, April 23-27, 2006},
pages = {1404--1408},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1141277.1141604},
doi = {10.1145/1141277.1141604},
timestamp = {Tue, 06 Nov 2018 11:06:49 +0100},
biburl = {https://dblp.org/rec/conf/sac/SteimannMM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/SteimannM05,
author = {Friedrich Steimann and
Philip Mayer},
title = {Patterns of Interface-Based Programming},
journal = {J. Object Technol.},
volume = {4},
number = {5},
pages = {75--94},
year = {2005},
url = {https://doi.org/10.5381/jot.2005.4.5.a1},
doi = {10.5381/JOT.2005.4.5.A1},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/SteimannM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/GossnerMS04,
author = {Jens G{\"{o}}{\ss}ner and
Philip Mayer and
Friedrich Steimann},
editor = {Hisham Haddad and
Andrea Omicini and
Roger L. Wainwright and
Lorie M. Liebrock},
title = {Interface utilization in the Java Development Kit},
booktitle = {Proceedings of the 2004 {ACM} Symposium on Applied Computing (SAC),
Nicosia, Cyprus, March 14-17, 2004},
pages = {1310--1315},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/967900.968165},
doi = {10.1145/967900.968165},
timestamp = {Tue, 06 Nov 2018 11:06:44 +0100},
biburl = {https://dblp.org/rec/conf/sac/GossnerMS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/Mayer03,
author = {Philip Mayer},
editor = {Ron Crocker and
Guy L. Steele Jr.},
title = {Analyzing the use of interfaces in large {OO} projects},
booktitle = {Companion of the 18th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2003,
October 26-30, 2003, Anaheim, CA, {USA}},
pages = {382--383},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/949344.949446},
doi = {10.1145/949344.949446},
timestamp = {Fri, 25 Jun 2021 17:20:20 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/Mayer03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-10-02 00:34 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
