Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Mira Mezini
@article{DBLP:journals/toplas/HaasMYBM24,
author = {Julian Haas and
Ragnar Mogk and
Elena Yanakieva and
Annette Bieniusa and
Mira Mezini},
title = {LoRe: {A} Programming Model for Verifiably Safe Local-first Software},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {46},
number = {1},
pages = {2:1--2:26},
year = {2024},
url = {https://doi.org/10.1145/3633769},
doi = {10.1145/3633769},
timestamp = {Mon, 15 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/HaasMYBM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/KeidelHRM24,
author = {Sven Keidel and
Dominik Helm and
Tobias Roth and
Mira Mezini},
editor = {Stephanie Weirich},
title = {A Modular Soundness Theory for the Blackboard Analysis Architecture},
booktitle = {Programming Languages and Systems - 33rd European Symposium on Programming,
{ESOP} 2024, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2024, Luxembourg City, Luxembourg,
April 6-11, 2024, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14577},
pages = {361--390},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57267-8\_14},
doi = {10.1007/978-3-031-57267-8\_14},
timestamp = {Sun, 14 Apr 2024 18:32:18 +0200},
biburl = {https://dblp.org/rec/conf/esop/KeidelHRM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-08511,
author = {Cedric Derstroff and
Jannis Brugger and
Jannis Bl{\"{u}}ml and
Mira Mezini and
Stefan Kramer and
Kristian Kersting},
title = {Amplifying Exploration in Monte-Carlo Tree Search by Focusing on the
Unknown},
journal = {CoRR},
volume = {abs/2402.08511},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.08511},
doi = {10.48550/ARXIV.2402.08511},
eprinttype = {arXiv},
eprint = {2402.08511},
timestamp = {Mon, 19 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-08511.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-07808,
author = {Anna{-}Katharina Wickert and
Michael Schlichtig and
Marvin Vogel and
Lukas Winter and
Mira Mezini and
Eric Bodden},
title = {Supporting Error Chains in Static Analysis for Precise Evaluation
Results and Enhanced Usability},
journal = {CoRR},
volume = {abs/2403.07808},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.07808},
doi = {10.48550/ARXIV.2403.07808},
eprinttype = {arXiv},
eprint = {2403.07808},
timestamp = {Thu, 04 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-07808.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/HaasMYBM23,
author = {Julian Haas and
Ragnar Mogk and
Elena Yanakieva and
Annette Bieniusa and
Mira Mezini},
title = {LoRe: {A} Programming Model for Verifiably Safe Local-First Software
(Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {9},
number = {2},
pages = {11:1--11:2},
year = {2023},
url = {https://doi.org/10.4230/DARTS.9.2.11},
doi = {10.4230/DARTS.9.2.11},
timestamp = {Tue, 11 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/HaasMYBM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/RichterBWM23,
author = {David Richter and
Timon B{\"{o}}hler and
Pascal Weisenburger and
Mira Mezini},
title = {A Direct-Style Effect Notation for Sequential and Parallel Programs
(Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {9},
number = {2},
pages = {17:1--17:3},
year = {2023},
url = {https://doi.org/10.4230/DARTS.9.2.17},
doi = {10.4230/DARTS.9.2.17},
timestamp = {Tue, 11 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/RichterBWM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/KuessnerMWM23,
author = {Christian Kuessner and
Ragnar Mogk and
Anna{-}Katharina Wickert and
Mira Mezini},
title = {Algebraic Replicated Data Types: Programming Secure Local-First Software
(Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {9},
number = {2},
pages = {26:1--26:4},
year = {2023},
url = {https://doi.org/10.4230/DARTS.9.2.26},
doi = {10.4230/DARTS.9.2.26},
timestamp = {Tue, 11 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/KuessnerMWM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/RichterKWSFM23,
author = {David Richter and
David Kretzler and
Pascal Weisenburger and
Guido Salvaneschi and
Sebastian Faust and
Mira Mezini},
title = {Prisma : {A} Tierless Language for Enforcing Contract-client Protocols
in Decentralized Applications},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {45},
number = {3},
pages = {17:1--17:41},
year = {2023},
url = {https://doi.org/10.1145/3604629},
doi = {10.1145/3604629},
timestamp = {Thu, 09 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/RichterKWSFM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cain/ChemnitzRANNM23,
author = {Leon Chemnitz and
David Reichenbach and
Hani Aldebes and
Mariam Naveed and
Krishna Narasimhan and
Mira Mezini},
title = {Towards Code Generation from {BDD} Test Case Specifications: {A} Vision},
booktitle = {2nd {IEEE/ACM} International Conference on {AI} Engineering - Software
Engineering for AI, {CAIN} 2023, Melbourne, Australia, May 15-16,
2023},
pages = {139--144},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CAIN58948.2023.00031},
doi = {10.1109/CAIN58948.2023.00031},
timestamp = {Fri, 07 Jul 2023 16:15:16 +0200},
biburl = {https://dblp.org/rec/conf/cain/ChemnitzRANNM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/HaasMYBM23,
author = {Julian Haas and
Ragnar Mogk and
Elena Yanakieva and
Annette Bieniusa and
Mira Mezini},
editor = {Karim Ali and
Guido Salvaneschi},
title = {LoRe: {A} Programming Model for Verifiably Safe Local-First Software
(Extended Abstract)},
booktitle = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023,
July 17-21, 2023, Seattle, Washington, United States},
series = {LIPIcs},
volume = {263},
pages = {12:1--12:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.12},
doi = {10.4230/LIPICS.ECOOP.2023.12},
timestamp = {Tue, 11 Jul 2023 16:52:08 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/HaasMYBM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/KuessnerMWM23,
author = {Christian Kuessner and
Ragnar Mogk and
Anna{-}Katharina Wickert and
Mira Mezini},
editor = {Karim Ali and
Guido Salvaneschi},
title = {Algebraic Replicated Data Types: Programming Secure Local-First Software},
booktitle = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023,
July 17-21, 2023, Seattle, Washington, United States},
series = {LIPIcs},
volume = {263},
pages = {14:1--14:33},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.14},
doi = {10.4230/LIPICS.ECOOP.2023.14},
timestamp = {Tue, 11 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/KuessnerMWM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/RichterBWM23,
author = {David Richter and
Timon B{\"{o}}hler and
Pascal Weisenburger and
Mira Mezini},
editor = {Karim Ali and
Guido Salvaneschi},
title = {A Direct-Style Effect Notation for Sequential and Parallel Programs},
booktitle = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023,
July 17-21, 2023, Seattle, Washington, United States},
series = {LIPIcs},
volume = {263},
pages = {25:1--25:22},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.25},
doi = {10.4230/LIPICS.ECOOP.2023.25},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/RichterBWM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftfjp/BohlerRM23,
author = {Timon B{\"{o}}hler and
David Richter and
Mira Mezini},
editor = {Aaron Tomb},
title = {Using Rewrite Strategies for Efficient Functional Automatic Differentiation},
booktitle = {Proceedings of the 25th {ACM} International Workshop on Formal Techniques
for Java-like Programs, FTfJP 2023, Seattle, WA, USA, 18 July 2023},
pages = {51--57},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3605156.3606456},
doi = {10.1145/3605156.3606456},
timestamp = {Mon, 17 Jul 2023 13:06:47 +0200},
biburl = {https://dblp.org/rec/conf/ftfjp/BohlerRM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msr/WickertDBHM23,
author = {Anna{-}Katharina Wickert and
Clemens Damke and
Lars Baumg{\"{a}}rtner and
Eyke H{\"{u}}llermeier and
Mira Mezini},
title = {UnGoML: Automated Classification of unsafe Usages in Go},
booktitle = {20th {IEEE/ACM} International Conference on Mining Software Repositories,
{MSR} 2023, Melbourne, Australia, May 15-16, 2023},
pages = {309--321},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/MSR59073.2023.00050},
doi = {10.1109/MSR59073.2023.00050},
timestamp = {Wed, 19 Jul 2023 17:21:49 +0200},
biburl = {https://dblp.org/rec/conf/msr/WickertDBHM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secdev/KrugerRWNABAMF23,
author = {Stefan Kr{\"{u}}ger and
Michael Reif and
Anna{-}Katharina Wickert and
Sarah Nadi and
Karim Ali and
Eric Bodden and
Yasemin Acar and
Mira Mezini and
Sascha Fahl},
title = {Securing Your Crypto-API Usage Through Tool Support - {A} Usability
Study},
booktitle = {{IEEE} Secure Development Conference, SecDev 2023, Atlanta, GA, USA,
October 18-20, 2023},
pages = {14--25},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/SecDev56634.2023.00015},
doi = {10.1109/SECDEV56634.2023.00015},
timestamp = {Tue, 21 Nov 2023 22:37:15 +0100},
biburl = {https://dblp.org/rec/conf/secdev/KrugerRWNABAMF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/BreitfelderRBM23,
author = {Florian Breitfelder and
Tobias Roth and
Lars Baumg{\"{a}}rtner and
Mira Mezini},
editor = {Tao Zhang and
Xin Xia and
Nicole Novielli},
title = {WasmA: {A} Static WebAssembly Analysis Framework for Everyone},
booktitle = {{IEEE} International Conference on Software Analysis, Evolution and
Reengineering, {SANER} 2023, Taipa, Macao, March 21-24, 2023},
pages = {753--757},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/SANER56733.2023.00085},
doi = {10.1109/SANER56733.2023.00085},
timestamp = {Fri, 24 Nov 2023 12:46:34 +0100},
biburl = {https://dblp.org/rec/conf/wcre/BreitfelderRBM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/OchsNM23,
author = {Marcel Ochs and
Krishna Narasimhan and
Mira Mezini},
editor = {Tao Zhang and
Xin Xia and
Nicole Novielli},
title = {Evaluating and improving transformers pre-trained on ASTs for Code
Completion},
booktitle = {{IEEE} International Conference on Software Analysis, Evolution and
Reengineering, {SANER} 2023, Taipa, Macao, March 21-24, 2023},
pages = {834--844},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/SANER56733.2023.00096},
doi = {10.1109/SANER56733.2023.00096},
timestamp = {Sat, 27 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wcre/OchsNM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-07133,
author = {Julian Haas and
Ragnar Mogk and
Elena Yanakieva and
Annette Bieniusa and
Mira Mezini},
title = {LoRe: {A} Programming Model for Verifiably Safe Local-First Software},
journal = {CoRR},
volume = {abs/2304.07133},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.07133},
doi = {10.48550/ARXIV.2304.07133},
eprinttype = {arXiv},
eprint = {2304.07133},
timestamp = {Wed, 19 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-07133.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-08496,
author = {David Richter and
Timon B{\"{o}}hler and
Pascal Weisenburger and
Mira Mezini},
title = {A Direct-Style Effect Notation for Sequential and Parallel Programs},
journal = {CoRR},
volume = {abs/2305.08496},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.08496},
doi = {10.48550/ARXIV.2305.08496},
eprinttype = {arXiv},
eprint = {2305.08496},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-08496.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-11619,
author = {Leon Chemnitz and
David Reichenbach and
Hani Aldebes and
Mariam Naveed and
Krishna Narasimhan and
Mira Mezini},
title = {Towards Code Generation from {BDD} Test Case Specifications: {A} Vision},
journal = {CoRR},
volume = {abs/2305.11619},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.11619},
doi = {10.48550/ARXIV.2305.11619},
eprinttype = {arXiv},
eprint = {2305.11619},
timestamp = {Thu, 25 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-11619.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-00694,
author = {Anna{-}Katharina Wickert and
Clemens Damke and
Lars Baumg{\"{a}}rtner and
Eyke H{\"{u}}llermeier and
Mira Mezini},
title = {{UNGOML:} Automated Classification of unsafe Usages in Go},
journal = {CoRR},
volume = {abs/2306.00694},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.00694},
doi = {10.48550/ARXIV.2306.00694},
eprinttype = {arXiv},
eprint = {2306.00694},
timestamp = {Mon, 12 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-00694.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-02447,
author = {Timon B{\"{o}}hler and
David Richter and
Mira Mezini},
title = {Using Rewrite Strategies for Efficient Functional Automatic Differentiation},
journal = {CoRR},
volume = {abs/2307.02447},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.02447},
doi = {10.48550/ARXIV.2307.02447},
eprinttype = {arXiv},
eprint = {2307.02447},
timestamp = {Mon, 10 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-02447.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-09126,
author = {Daniel Maninger and
Krishna Narasimhan and
Mira Mezini},
title = {Towards Trustworthy {AI} Software Development Assistance},
journal = {CoRR},
volume = {abs/2312.09126},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.09126},
doi = {10.48550/ARXIV.2312.09126},
eprinttype = {arXiv},
eprint = {2312.09126},
timestamp = {Tue, 09 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-09126.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/RichterKWSFM22,
author = {David Richter and
David Kretzler and
Pascal Weisenburger and
Guido Salvaneschi and
Sebastian Faust and
Mira Mezini},
title = {Prisma: {A} Tierless Language for Enforcing Contract-Client Protocols
in Decentralized Applications (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {8},
number = {2},
pages = {16:1--16:3},
year = {2022},
url = {https://doi.org/10.4230/DARTS.8.2.16},
doi = {10.4230/DARTS.8.2.16},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/darts/RichterKWSFM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/EichholzCKFM22,
author = {Matthias Eichholz and
Eric Hayden Campbell and
Matthias Krebs and
Nate Foster and
Mira Mezini},
title = {Dependently-typed data plane programming},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{POPL}},
pages = {1--28},
year = {2022},
url = {https://doi.org/10.1145/3498701},
doi = {10.1145/3498701},
timestamp = {Mon, 22 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/EichholzCKFM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/RichterKWSFM22,
author = {David Richter and
David Kretzler and
Pascal Weisenburger and
Guido Salvaneschi and
Sebastian Faust and
Mira Mezini},
editor = {Karim Ali and
Jan Vitek},
title = {Prisma: {A} Tierless Language for Enforcing Contract-Client Protocols
in Decentralized Applications (Extended Abstract)},
booktitle = {36th European Conference on Object-Oriented Programming, {ECOOP} 2022,
June 6-10, 2022, Berlin, Germany},
series = {LIPIcs},
volume = {222},
pages = {35:1--35:4},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2022.35},
doi = {10.4230/LIPICS.ECOOP.2022.35},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/RichterKWSFM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/RothHRM22,
author = {Tobias Roth and
Dominik Helm and
Michael Reif and
Mira Mezini},
editor = {Lars Grunske and
Janet Siegmund and
Andreas Vogelsang},
title = {CiFi: Versatile Analysis of Class and Field Immutability},
booktitle = {Software Engineering 2022, Fachtagung des GI-Fachbereichs Softwaretechnik,
21.-25. Februar 2022, Virtuell},
series = {{LNI}},
volume = {{P-320}},
pages = {81--82},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2022},
url = {https://doi.org/10.18420/se2022-ws-027},
doi = {10.18420/SE2022-WS-027},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/RothHRM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/BinderNKM22,
author = {Simon Binder and
Krishna Narasimhan and
Svenja Kernig and
Mira Mezini},
editor = {Bernd Fischer and
Lola Burgue{\~{n}}o and
Walter Cazzola},
title = {jGuard: Programming Misuse-Resilient APIs},
booktitle = {Proceedings of the 15th {ACM} {SIGPLAN} International Conference on
Software Language Engineering, {SLE} 2022, Auckland, New Zealand,
December 6-7, 2022},
pages = {161--174},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3567512.3567526},
doi = {10.1145/3567512.3567526},
timestamp = {Fri, 02 Dec 2022 18:01:54 +0100},
biburl = {https://dblp.org/rec/conf/sle/BinderNKM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/trustcom/WickertBSNM22,
author = {Anna{-}Katharina Wickert and
Lars Baumg{\"{a}}rtner and
Michael Schlichtig and
Krishna Narasimhan and
Mira Mezini},
title = {To Fix or Not to Fix: {A} Critical Study of Crypto-misuses in the
Wild},
booktitle = {{IEEE} International Conference on Trust, Security and Privacy in
Computing and Communications, TrustCom 2022, Wuhan, China, December
9-11, 2022},
pages = {315--322},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/TrustCom56396.2022.00051},
doi = {10.1109/TRUSTCOM56396.2022.00051},
timestamp = {Mon, 27 Mar 2023 16:44:39 +0200},
biburl = {https://dblp.org/rec/conf/trustcom/WickertBSNM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/netys/2022,
editor = {Mohammed{-}Amine Koulali and
Mira Mezini},
title = {Networked Systems - 10th International Conference, {NETYS} 2022, Virtual
Event, May 17-19, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13464},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17436-0},
doi = {10.1007/978-3-031-17436-0},
isbn = {978-3-031-17435-3},
timestamp = {Tue, 04 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-06447,
author = {Michael Schlichtig and
Anna{-}Katharina Wickert and
Stefan Kr{\"{u}}ger and
Eric Bodden and
Mira Mezini},
title = {CamBench - Cryptographic {API} Misuse Detection Tool Benchmark Suite},
journal = {CoRR},
volume = {abs/2204.06447},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.06447},
doi = {10.48550/ARXIV.2204.06447},
eprinttype = {arXiv},
eprint = {2204.06447},
timestamp = {Tue, 19 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-06447.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-07780,
author = {David Richter and
David Kretzler and
Pascal Weisenburger and
Guido Salvaneschi and
Sebastian Faust and
Mira Mezini},
title = {Prisma: {A} Tierless Language for Enforcing Contract-Client Protocols
in Decentralized Applications (Extended Version)},
journal = {CoRR},
volume = {abs/2205.07780},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.07780},
doi = {10.48550/ARXIV.2205.07780},
eprinttype = {arXiv},
eprint = {2205.07780},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-07780.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-03457,
author = {Matthias Eichholz and
Eric Hayden Campbell and
Matthias Krebs and
Nate Foster and
Mira Mezini},
title = {Dependently-Typed Data Plane Programming},
journal = {CoRR},
volume = {abs/2206.03457},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.03457},
doi = {10.48550/ARXIV.2206.03457},
eprinttype = {arXiv},
eprint = {2206.03457},
timestamp = {Mon, 22 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-03457.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-11103,
author = {Anna{-}Katharina Wickert and
Lars Baumg{\"{a}}rtner and
Michael Schlichtig and
Krishna Narasimhan and
Mira Mezini},
title = {To Fix or Not to Fix: {A} Critical Study of Crypto-misuses in the
Wild},
journal = {CoRR},
volume = {abs/2209.11103},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.11103},
doi = {10.48550/ARXIV.2209.11103},
eprinttype = {arXiv},
eprint = {2209.11103},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-11103.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/programming/SterzEMBGHMF21,
author = {Artur Sterz and
Matthias Eichholz and
Ragnar Mogk and
Lars Baumg{\"{a}}rtner and
Pablo Graubner and
Matthias Hollick and
Mira Mezini and
Bernd Freisleben},
title = {ReactiFi: Reactive Programming of Wi-Fi Firmware on Mobile Devices},
journal = {Art Sci. Eng. Program.},
volume = {5},
number = {2},
pages = {4},
year = {2021},
url = {https://doi.org/10.22152/programming-journal.org/2021/5/4},
doi = {10.22152/PROGRAMMING-JOURNAL.ORG/2021/5/4},
timestamp = {Mon, 22 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/programming/SterzEMBGHMF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/KrugerSABM21,
author = {Stefan Kr{\"{u}}ger and
Johannes Sp{\"{a}}th and
Karim Ali and
Eric Bodden and
Mira Mezini},
title = {CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic
APIs},
journal = {{IEEE} Trans. Software Eng.},
volume = {47},
number = {11},
pages = {2382--2400},
year = {2021},
url = {https://doi.org/10.1109/TSE.2019.2948910},
doi = {10.1109/TSE.2019.2948910},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/KrugerSABM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/BonifacioKNBM21,
author = {Rodrigo Bonif{\'{a}}cio and
Stefan Kr{\"{u}}ger and
Krishna Narasimhan and
Eric Bodden and
Mira Mezini},
editor = {Anders M{\o}ller and
Manu Sridharan},
title = {Dealing with Variability in {API} Misuse Specification},
booktitle = {35th European Conference on Object-Oriented Programming, {ECOOP} 2021,
July 11-17, 2021, Aarhus, Denmark (Virtual Conference)},
series = {LIPIcs},
volume = {194},
pages = {19:1--19:27},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2021.19},
doi = {10.4230/LIPICS.ECOOP.2021.19},
timestamp = {Tue, 06 Jul 2021 13:59:11 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/BonifacioKNBM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esem/WickertBBM21,
author = {Anna{-}Katharina Wickert and
Lars Baumg{\"{a}}rtner and
Florian Breitfelder and
Mira Mezini},
editor = {Filippo Lanubile and
Marcos Kalinowski and
Maria Teresa Baldassarre},
title = {Python Crypto Misuses in the Wild},
booktitle = {{ESEM} '21: {ACM} / {IEEE} International Symposium on Empirical Software
Engineering and Measurement, Bari, Italy, October 11-15, 2021},
pages = {31:1--31:6},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3475716.3484195},
doi = {10.1145/3475716.3484195},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esem/WickertBBM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscram/ZobelLMBMS21,
author = {Julian Zobel and
Patrick Lieser and
Tobias Meuser and
Lars Baumg{\"{a}}rtner and
Mira Mezini and
Ralf Steinmetz},
editor = {Anouck Adrot and
Rob Grace and
Kathleen A. Moore and
Christopher W. Zobel},
title = {Modeling Civilian Mobility in Large-Scale Disasters},
booktitle = {18th International Conference on Information Systems for Crisis Response
and Management, {ISCRAM} 2021, Blacksburg, VA, USA, May 2021},
pages = {119--132},
publisher = {{ISCRAM} Digital Library},
year = {2021},
url = {https://idl.iscram.org/show.php?record=2319},
timestamp = {Thu, 10 Nov 2022 16:58:41 +0100},
biburl = {https://dblp.org/rec/conf/iscram/ZobelLMBMS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/SztwiertniaGCSN21,
author = {Sebastian Sztwiertnia and
Maximilian Gr{\"{u}}bel and
Amine Chouchane and
Daniel Sokolowski and
Krishna Narasimhan and
Mira Mezini},
editor = {Shuai Wang and
Xiaofei Xie and
Lei Ma},
title = {Impact of programming languages on machine learning bugs},
booktitle = {{AISTA} 2021: Proceedings of the 1st {ACM} International Workshop
on {AI} and Software Testing/Analysis, Virtual Event, Denmark, 12
July 2021},
pages = {9--12},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3464968.3468408},
doi = {10.1145/3464968.3468408},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/SztwiertniaGCSN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/JafarinejadNM21,
author = {Foad Jafarinejad and
Krishna Narasimhan and
Mira Mezini},
editor = {Shuai Wang and
Xiaofei Xie and
Lei Ma},
title = {NerdBug: automated bug detection in neural networks},
booktitle = {{AISTA} 2021: Proceedings of the 1st {ACM} International Workshop
on {AI} and Software Testing/Analysis, Virtual Event, Denmark, 12
July 2021},
pages = {13--16},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3464968.3468409},
doi = {10.1145/3464968.3468409},
timestamp = {Tue, 27 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/JafarinejadNM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/RothHRM21,
author = {Tobias Roth and
Dominik Helm and
Michael Reif and
Mira Mezini},
title = {CiFi: Versatile Analysis of Class and Field Immutability},
booktitle = {36th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2021, Melbourne, Australia, November 15-19, 2021},
pages = {979--990},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ASE51524.2021.9678903},
doi = {10.1109/ASE51524.2021.9678903},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/RothHRM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scam/MullerNM21,
author = {Patrick M{\"{u}}ller and
Krishna Narasimhan and
Mira Mezini},
title = {Fex: Assisted Identification of Domain Features from {C} Programs},
booktitle = {21st {IEEE} International Working Conference on Source Code Analysis
and Manipulation, {SCAM} 2021, Luxembourg, September 27-28, 2021},
pages = {170--180},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/SCAM52516.2021.00029},
doi = {10.1109/SCAM52516.2021.00029},
timestamp = {Wed, 01 Dec 2021 17:46:15 +0100},
biburl = {https://dblp.org/rec/conf/scam/MullerNM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Mezini21,
author = {Mira Mezini},
editor = {Diomidis Spinellis and
Georgios Gousios and
Marsha Chechik and
Massimiliano Di Penta},
title = {Programming and execution models for next generation code intelligence
systems (keynote)},
booktitle = {{ESEC/FSE} '21: 29th {ACM} Joint European Software Engineering Conference
and Symposium on the Foundations of Software Engineering, Athens,
Greece, August 23-28, 2021},
pages = {1--2},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3468264.3478688},
doi = {10.1145/3468264.3478688},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/Mezini21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-04950,
author = {Rodrigo Bonif{\'{a}}cio and
Stefan Kr{\"{u}}ger and
Krishna Narasimhan and
Eric Bodden and
Mira Mezini},
title = {Dealing with Variability in {API} Misuse Specification},
journal = {CoRR},
volume = {abs/2105.04950},
year = {2021},
url = {https://arxiv.org/abs/2105.04950},
eprinttype = {arXiv},
eprint = {2105.04950},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-04950.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-09245,
author = {Patrick M{\"{u}}ller and
Krishna Narasimhan and
Mira Mezini},
title = {Fex: Assisted Identification of Domain Features from {C} Programs},
journal = {CoRR},
volume = {abs/2108.09245},
year = {2021},
url = {https://arxiv.org/abs/2108.09245},
eprinttype = {arXiv},
eprint = {2108.09245},
timestamp = {Mon, 23 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-09245.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-01109,
author = {Anna{-}Katharina Wickert and
Lars Baumg{\"{a}}rtner and
Florian Breitfelder and
Mira Mezini},
title = {Python Crypto Misuses in the Wild},
journal = {CoRR},
volume = {abs/2109.01109},
year = {2021},
url = {https://arxiv.org/abs/2109.01109},
eprinttype = {arXiv},
eprint = {2109.01109},
timestamp = {Mon, 20 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-01109.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/GlanzMBRAAM20,
author = {Leonid Glanz and
Patrick M{\"{u}}ller and
Lars Baumg{\"{a}}rtner and
Michael Reif and
Sven Amann and
Pauline Anthonysamy and
Mira Mezini},
editor = {Hung{-}Min Sun and
Shiuh{-}Pyng Shieh and
Guofei Gu and
Giuseppe Ateniese},
title = {Hidden in Plain Sight: Obfuscated Strings Threatening Your Privacy},
booktitle = {{ASIA} {CCS} '20: The 15th {ACM} Asia Conference on Computer and Communications
Security, Taipei, Taiwan, October 5-9, 2020},
pages = {694--707},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3320269.3384745},
doi = {10.1145/3320269.3384745},
timestamp = {Tue, 10 Nov 2020 16:06:16 +0100},
biburl = {https://dblp.org/rec/conf/ccs/GlanzMBRAAM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ghtc/BaumgartnerLZBS20,
author = {Lars Baumg{\"{a}}rtner and
Patrick Lieser and
Julian Zobel and
Bastian Bloessl and
Ralf Steinmetz and
Mira Mezini},
title = {LoRAgent: {A} DTN-based Location-aware Communication System using
LoRa},
booktitle = {{IEEE} Global Humanitarian Technology Conference, {GHTC} 2020, Seattle,
WA, USA, October 29 - November 1, 2020},
pages = {1--8},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/GHTC46280.2020.9342886},
doi = {10.1109/GHTC46280.2020.9342886},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ghtc/BaumgartnerLZBS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/HelmKKHESM20,
author = {Dominik Helm and
Florian K{\"{u}}bler and
Jan Thomas K{\"{o}}lzer and
Philipp Haller and
Michael Eichberg and
Guido Salvaneschi and
Mira Mezini},
editor = {Sarfraz Khurshid and
Corina S. Pasareanu},
title = {A programming model for semi-implicit parallelization of static analyses},
booktitle = {{ISSTA} '20: 29th {ACM} {SIGSOFT} International Symposium on Software
Testing and Analysis, Virtual Event, USA, July 18-22, 2020},
pages = {428--439},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3395363.3397367},
doi = {10.1145/3395363.3397367},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/HelmKKHESM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ReifKHHEM20,
author = {Michael Reif and
Florian K{\"{u}}bler and
Dominik Helm and
Ben Hermann and
Michael Eichberg and
Mira Mezini},
editor = {Paddy Krishnan and
Christoph Reichenbach},
title = {{TACAI:} an intermediate representation based on abstract interpretation},
booktitle = {Proceedings of the 9th {ACM} {SIGPLAN} International Workshop on the
State Of the Art in Program Analysis, SOAP@PLDI 2020, London, UK,
June 15, 2020},
pages = {2--7},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3394451.3397204},
doi = {10.1145/3394451.3397204},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ReifKHHEM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/AmannNNNM20,
author = {Sven Amann and
Hoan Anh Nguyen and
Sarah Nadi and
Tien N. Nguyen and
Mira Mezini},
editor = {Michael Felderer and
Wilhelm Hasselbring and
Rick Rabiser and
Reiner Jung},
title = {Investigating Next Steps in Static API-Misuse Detection},
booktitle = {Software Engineering 2020, Fachtagung des GI-Fachbereichs Softwaretechnik,
24.-28. Februar 2020, Innsbruck, Austria},
series = {{LNI}},
volume = {{P-300}},
pages = {109--110},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2020},
url = {https://doi.org/10.18420/SE2020\_32},
doi = {10.18420/SE2020\_32},
timestamp = {Wed, 13 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/se/AmannNNNM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/HelmKREM20,
author = {Dominik Helm and
Florian K{\"{u}}bler and
Michael Reif and
Michael Eichberg and
Mira Mezini},
editor = {Prem Devanbu and
Myra B. Cohen and
Thomas Zimmermann},
title = {Modular collaborative program analysis in {OPAL}},
booktitle = {{ESEC/FSE} '20: 28th {ACM} Joint European Software Engineering Conference
and Symposium on the Foundations of Software Engineering, Virtual
Event, USA, November 8-13, 2020},
pages = {184--196},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3368089.3409765},
doi = {10.1145/3368089.3409765},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/HelmKREM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/trustcom/LauingerBWM20,
author = {Johannes Lauinger and
Lars Baumg{\"{a}}rtner and
Anna{-}Katharina Wickert and
Mira Mezini},
editor = {Guojun Wang and
Ryan K. L. Ko and
Md. Zakirul Alam Bhuiyan and
Yi Pan},
title = {Uncovering the Hidden Dangers: Finding Unsafe Go Code in the Wild},
booktitle = {19th {IEEE} International Conference on Trust, Security and Privacy
in Computing and Communications, TrustCom 2020, Guangzhou, China,
December 29, 2020 - January 1, 2021},
pages = {410--417},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/TrustCom50675.2020.00063},
doi = {10.1109/TRUSTCOM50675.2020.00063},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/trustcom/LauingerBWM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/trustcom/BaumgartnerDFGH20,
author = {Lars Baumg{\"{a}}rtner and
Alexandra Dmitrienko and
Bernd Freisleben and
Alexander Gruler and
Jonas H{\"{o}}chst and
Joshua K{\"{u}}hlberg and
Mira Mezini and
Richard Mitev and
Markus Miettinen and
Anel Muhamedagic and
Thien Duc Nguyen and
Alvar Penning and
Dermot Frederik Pustelnik and
Filipp Roos and
Ahmad{-}Reza Sadeghi and
Michael Schwarz and
Christian Uhl},
editor = {Guojun Wang and
Ryan K. L. Ko and
Md. Zakirul Alam Bhuiyan and
Yi Pan},
title = {Mind the {GAP:} Security {\&} Privacy Risks of Contact Tracing
Apps},
booktitle = {19th {IEEE} International Conference on Trust, Security and Privacy
in Computing and Communications, TrustCom 2020, Guangzhou, China,
December 29, 2020 - January 1, 2021},
pages = {458--467},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/TrustCom50675.2020.00069},
doi = {10.1109/TRUSTCOM50675.2020.00069},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/trustcom/BaumgartnerDFGH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-04540,
author = {Leonid Glanz and
Patrick M{\"{u}}ller and
Lars Baumg{\"{a}}rtner and
Michael Reif and
Sven Amann and
Pauline Anthonysamy and
Mira Mezini},
title = {Hidden in Plain Sight: Obfuscated Strings Threatening Your Privacy},
journal = {CoRR},
volume = {abs/2002.04540},
year = {2020},
url = {https://arxiv.org/abs/2002.04540},
eprinttype = {arXiv},
eprint = {2002.04540},
timestamp = {Wed, 12 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-04540.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-05914,
author = {Lars Baumg{\"{a}}rtner and
Alexandra Dmitrienko and
Bernd Freisleben and
Alexander Gruler and
Jonas H{\"{o}}chst and
Joshua K{\"{u}}hlberg and
Mira Mezini and
Markus Miettinen and
Anel Muhamedagic and
Thien Duc Nguyen and
Alvar Penning and
Dermot Frederik Pustelnik and
Filipp Roos and
Ahmad{-}Reza Sadeghi and
Michael Schwarz and
Christian Uhl},
title = {Mind the {GAP:} Security {\&} Privacy Risks of Contact Tracing
Apps},
journal = {CoRR},
volume = {abs/2006.05914},
year = {2020},
url = {https://arxiv.org/abs/2006.05914},
eprinttype = {arXiv},
eprint = {2006.05914},
timestamp = {Fri, 21 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-05914.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-00354,
author = {Artur Sterz and
Matthias Eichholz and
Ragnar Mogk and
Lars Baumg{\"{a}}rtner and
Pablo Graubner and
Matthias Hollick and
Mira Mezini and
Bernd Freisleben},
title = {ReactiFi: Reactive Programming of Wi-Fi Firmware on Mobile Devices},
journal = {CoRR},
volume = {abs/2010.00354},
year = {2020},
url = {https://arxiv.org/abs/2010.00354},
eprinttype = {arXiv},
eprint = {2010.00354},
timestamp = {Mon, 22 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-00354.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-04476,
author = {Dominik Helm and
Florian K{\"{u}}bler and
Michael Reif and
Michael Eichberg and
Mira Mezini},
title = {Modular Collaborative Program Analysis in {OPAL}},
journal = {CoRR},
volume = {abs/2010.04476},
year = {2020},
url = {https://arxiv.org/abs/2010.04476},
eprinttype = {arXiv},
eprint = {2010.04476},
timestamp = {Tue, 13 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-04476.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-11242,
author = {Johannes Lauinger and
Lars Baumg{\"{a}}rtner and
Anna{-}Katharina Wickert and
Mira Mezini},
title = {Uncovering the Hidden Dangers: Finding Unsafe Go Code in the Wild},
journal = {CoRR},
volume = {abs/2010.11242},
year = {2020},
url = {https://arxiv.org/abs/2010.11242},
eprinttype = {arXiv},
eprint = {2010.11242},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-11242.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/MogkDSM19,
author = {Ragnar Mogk and
Joscha Drechsler and
Guido Salvaneschi and
Mira Mezini},
title = {A fault-tolerant programming model for distributed interactive applications},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{OOPSLA}},
pages = {144:1--144:29},
year = {2019},
url = {https://doi.org/10.1145/3360570},
doi = {10.1145/3360570},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/MogkDSM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/SalvaneschiKSHE19,
author = {Guido Salvaneschi and
Mirko K{\"{o}}hler and
Daniel Sokolowski and
Philipp Haller and
Sebastian Erdweg and
Mira Mezini},
title = {Language-integrated privacy-aware distributed queries},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{OOPSLA}},
pages = {167:1--167:30},
year = {2019},
url = {https://doi.org/10.1145/3360593},
doi = {10.1145/3360593},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/SalvaneschiKSHE19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/programming/BejleriDVEM19,
author = {Andi Bejleri and
Elton Domnori and
Malte Viering and
Patrick Eugster and
Mira Mezini},
title = {Comprehensive Multiparty Session Types},
journal = {Art Sci. Eng. Program.},
volume = {3},
number = {3},
pages = {6},
year = {2019},
url = {https://doi.org/10.22152/programming-journal.org/2019/3/6},
doi = {10.22152/PROGRAMMING-JOURNAL.ORG/2019/3/6},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/programming/BejleriDVEM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/AmannNNNM19,
author = {Sven Amann and
Hoan Anh Nguyen and
Sarah Nadi and
Tien N. Nguyen and
Mira Mezini},
title = {A Systematic Evaluation of Static API-Misuse Detectors},
journal = {{IEEE} Trans. Software Eng.},
volume = {45},
number = {12},
pages = {1170--1188},
year = {2019},
url = {https://doi.org/10.1109/TSE.2018.2827384},
doi = {10.1109/TSE.2018.2827384},
timestamp = {Thu, 19 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/AmannNNNM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhoc-now/PenningBHSMF19,
author = {Alvar Penning and
Lars Baumg{\"{a}}rtner and
Jonas H{\"{o}}chst and
Artur Sterz and
Mira Mezini and
Bernd Freisleben},
editor = {Maria Rita Palattella and
Stefano Scanzio and
Sinem Coleri Ergen},
title = {{DTN7:} An Open-Source Disruption-Tolerant Networking Implementation
of Bundle Protocol 7},
booktitle = {Ad-Hoc, Mobile, and Wireless Networks - 18th International Conference
on Ad-Hoc Networks and Wireless, {ADHOC-NOW} 2019, Luxembourg, Luxembourg,
October 1-3, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11803},
pages = {196--209},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31831-4\_14},
doi = {10.1007/978-3-030-31831-4\_14},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhoc-now/PenningBHSMF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/conext/KrudeHEW0M19,
author = {Johannes Krude and
Jaco A. Hofmann and
Matthias Eichholz and
Klaus Wehrle and
Andreas Koch and
Mira Mezini},
title = {Online Reprogrammable Multi Tenant Switches},
booktitle = {Proceedings of the 1st {ACM} CoNEXT Workshop on Emerging in-Network
Computing Paradigms, ENCP@CoNEXT 2019, Orlando, FL, USA, December
9, 2019},
pages = {1--8},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3359993.3366643},
doi = {10.1145/3359993.3366643},
timestamp = {Mon, 22 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/conext/KrudeHEW0M19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/EichholzCFSM19,
author = {Matthias Eichholz and
Eric Hayden Campbell and
Nate Foster and
Guido Salvaneschi and
Mira Mezini},
editor = {Alastair F. Donaldson},
title = {How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane
Programming with SafeP4},
booktitle = {33rd European Conference on Object-Oriented Programming, {ECOOP} 2019,
July 15-19, 2019, London, United Kingdom},
series = {LIPIcs},
volume = {134},
pages = {12:1--12:28},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2019.12},
doi = {10.4230/LIPICS.ECOOP.2019.12},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/EichholzCFSM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ghtc/BaumgartnerHLMS19,
author = {Lars Baumg{\"{a}}rtner and
Jonas H{\"{o}}chst and
Patrick Lampe and
Ragnar Mogk and
Artur Sterz and
Pascal Weisenburger and
Mira Mezini and
Bernd Freisleben},
title = {Smart Street Lights and Mobile Citizen Apps for Resilient Communication
in a Digital City},
booktitle = {{IEEE} Global Humanitarian Technology Conference, {GHTC} 2019, Seattle,
WA, USA, October 17-20, 2019},
pages = {1--8},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/GHTC46095.2019.9033134},
doi = {10.1109/GHTC46095.2019.9033134},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ghtc/BaumgartnerHLMS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ReifKEHM19,
author = {Michael Reif and
Florian K{\"{u}}bler and
Michael Eichberg and
Dominik Helm and
Mira Mezini},
editor = {Dongmei Zhang and
Anders M{\o}ller},
title = {Judge: identifying, understanding, and evaluating sources of unsoundness
in call graphs},
booktitle = {Proceedings of the 28th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2019, Beijing, China, July
15-19, 2019},
pages = {251--261},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3293882.3330555},
doi = {10.1145/3293882.3330555},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/ReifKEHM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msr/WickertREDM19,
author = {Anna{-}Katharina Wickert and
Michael Reif and
Michael Eichberg and
Anam Dodhy and
Mira Mezini},
editor = {Margaret{-}Anne D. Storey and
Bram Adams and
Sonia Haiduc},
title = {A dataset of parametric cryptographic misuses},
booktitle = {Proceedings of the 16th International Conference on Mining Software
Repositories, {MSR} 2019, 26-27 May 2019, Montreal, Canada},
pages = {96--100},
publisher = {{IEEE} / {ACM}},
year = {2019},
url = {https://doi.org/10.1109/MSR.2019.00023},
doi = {10.1109/MSR.2019.00023},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/msr/WickertREDM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msr/AmannNNNM19,
author = {Sven Amann and
Hoan Anh Nguyen and
Sarah Nadi and
Tien N. Nguyen and
Mira Mezini},
editor = {Margaret{-}Anne D. Storey and
Bram Adams and
Sonia Haiduc},
title = {Investigating next steps in static API-misuse detection},
booktitle = {Proceedings of the 16th International Conference on Mining Software
Repositories, {MSR} 2019, 26-27 May 2019, Montreal, Canada},
pages = {265--275},
publisher = {{IEEE} / {ACM}},
year = {2019},
url = {https://doi.org/10.1109/MSR.2019.00053},
doi = {10.1109/MSR.2019.00053},
timestamp = {Wed, 04 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/msr/AmannNNNM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BlocherEWEMS19,
author = {Marcel Bl{\"{o}}cher and
Matthias Eichholz and
Pascal Weisenburger and
Patrick Eugster and
Mira Mezini and
Guido Salvaneschi},
editor = {Guido Salvaneschi and
Wolfgang De Meuter and
Patrick Eugster and
Francisco Sant'Anna and
Lukasz Ziarek and
Tetsuo Kamina and
Hidehiko Masuhara},
title = {{GRASS:} generic reactive application-specific scheduling},
booktitle = {Proceedings of the 6th {ACM} {SIGPLAN} International Workshop on Reactive
and Event-Based Languages and Systems, REBLS@SPLASH 2019, Athens,
Greece, October 21, 2019},
pages = {21--30},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3358503.3361274},
doi = {10.1145/3358503.3361274},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/BlocherEWEMS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/programming/OakMS19,
author = {Aditya Oak and
Mira Mezini and
Guido Salvaneschi},
editor = {Stefan Marr and
Walter Cazzola},
title = {Language support for multiple privacy enhancing technologies},
booktitle = {Conference Companion of the 3rd International Conference on Art, Science,
and Engineering of Programming, Genova, Italy, April 1-4, 2019},
pages = {12:1--12:2},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3328433.3328446},
doi = {10.1145/3328433.3328446},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/programming/OakMS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/HelmKERM19,
author = {Dominik Helm and
Florian K{\"{u}}bler and
Michael Eichberg and
Michael Reif and
Mira Mezini},
editor = {Steffen Becker and
Ivan Bogicevic and
Georg Herzwurm and
Stefan Wagner},
title = {A Unified Lattice Model and Framework for Purity Analyses},
booktitle = {Software Engineering and Software Management, {SE/SWM} 2019, Stuttgart,
Germany, February 18-22, 2019},
series = {{LNI}},
volume = {{P-292}},
pages = {51--52},
publisher = {{GI}},
year = {2019},
url = {https://doi.org/10.18420/se2019-10},
doi = {10.18420/SE2019-10},
timestamp = {Wed, 13 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/se/HelmKERM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/KrudeEWWM19,
author = {Johannes Krude and
Matthias Eichholz and
Maximilian Winck and
Klaus Wehrle and
Mira Mezini},
title = {Optimizing Data Plane Programs for the Network},
booktitle = {Proceedings of the {ACM} {SIGCOMM} 2019 Workshop on Networking and
Programming Languages, NetPL@SIGCOMM 2019, Beijing, China, August
23, 2019},
pages = {1},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3341561.3349590},
doi = {10.1145/3341561.3349590},
timestamp = {Mon, 22 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigcomm/KrudeEWWM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-00544,
author = {Andi Bejleri and
Elton Domnori and
Malte Viering and
Patrick Eugster and
Mira Mezini},
title = {Comprehensive Multiparty Session Types},
journal = {CoRR},
volume = {abs/1902.00544},
year = {2019},
url = {http://arxiv.org/abs/1902.00544},
eprinttype = {arXiv},
eprint = {1902.00544},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-00544.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-07223,
author = {Matthias Eichholz and
Eric Hayden Campbell and
Nate Foster and
Guido Salvaneschi and
Mira Mezini},
title = {How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane
Programming with SafeP4},
journal = {CoRR},
volume = {abs/1906.07223},
year = {2019},
url = {http://arxiv.org/abs/1906.07223},
eprinttype = {arXiv},
eprint = {1906.07223},
timestamp = {Mon, 22 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-07223.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-02990,
author = {Oliver Bracevac and
Guido Salvaneschi and
Sebastian Erdweg and
Mira Mezini},
title = {Type-safe, Polyvariadic Event Correlation},
journal = {CoRR},
volume = {abs/1907.02990},
year = {2019},
url = {http://arxiv.org/abs/1907.02990},
eprinttype = {arXiv},
eprint = {1907.02990},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-02990.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-10233,
author = {Lars Baumg{\"{a}}rtner and
Jonas H{\"{o}}chst and
Patrick Lampe and
Ragnar Mogk and
Artur Sterz and
Pascal Weisenburger and
Mira Mezini and
Bernd Freisleben},
title = {Smart Street Lights and Mobile Citizen Apps for Resilient Communication
in a Digital City},
journal = {CoRR},
volume = {abs/1908.10233},
year = {2019},
url = {http://arxiv.org/abs/1908.10233},
eprinttype = {arXiv},
eprint = {1908.10233},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-10233.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-10237,
author = {Alvar Penning and
Lars Baumg{\"{a}}rtner and
Jonas H{\"{o}}chst and
Artur Sterz and
Mira Mezini and
Bernd Freisleben},
title = {{DTN7:} An Open-Source Disruption-tolerant Networking Implementation
of Bundle Protocol 7},
journal = {CoRR},
volume = {abs/1908.10237},
year = {2019},
url = {http://arxiv.org/abs/1908.10237},
eprinttype = {arXiv},
eprint = {1908.10237},
timestamp = {Thu, 29 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-10237.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/KrugerSABM18,
author = {Stefan Kr{\"{u}}ger and
Johannes Sp{\"{a}}th and
Karim Ali and
Eric Bodden and
Mira Mezini},
title = {CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic
APIs (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {4},
number = {3},
pages = {06:1--06:4},
year = {2018},
url = {https://doi.org/10.4230/DARTS.4.3.6},
doi = {10.4230/DARTS.4.3.6},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/KrugerSABM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/BracevacASEEM18,
author = {Oliver Bracevac and
Nada Amin and
Guido Salvaneschi and
Sebastian Erdweg and
Patrick Eugster and
Mira Mezini},
title = {Versatile event correlation with algebraic effects},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{ICFP}},
pages = {67:1--67:31},
year = {2018},
url = {https://doi.org/10.1145/3236762},
doi = {10.1145/3236762},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/BracevacASEEM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/DrechslerMSM18,
author = {Joscha Drechsler and
Ragnar Mogk and
Guido Salvaneschi and
Mira Mezini},
title = {Thread-safe reactive programming},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{OOPSLA}},
pages = {107:1--107:30},
year = {2018},
url = {https://doi.org/10.1145/3276477},
doi = {10.1145/3276477},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/DrechslerMSM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/GreweEPRM18,
author = {Sylvia Grewe and
Sebastian Erdweg and
Andr{\'{e}} Pacak and
Michael Raulf and
Mira Mezini},
title = {Exploration of language specifications by compilation to first-order
logic},
journal = {Sci. Comput. Program.},
volume = {155},
pages = {146--172},
year = {2018},
url = {https://doi.org/10.1016/j.scico.2017.08.001},
doi = {10.1016/J.SCICO.2017.08.001},
timestamp = {Wed, 18 Apr 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/GreweEPRM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sqj/BejleriMED18,
author = {Andi Bejleri and
Mira Mezini and
Patrick Eugster and
Elton Domnori},
title = {Cooperative decoupled processes},
journal = {Softw. Qual. J.},
volume = {26},
number = {3},
pages = {1147--1183},
year = {2018},
url = {https://doi.org/10.1007/s11219-017-9366-6},
doi = {10.1007/S11219-017-9366-6},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sqj/BejleriMED18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cf/GraubnerLHBMF18,
author = {Pablo Graubner and
Patrick Lampe and
Jonas Hochst and
Lars Baumg{\"{a}}rtner and
Mira Mezini and
Bernd Freisleben},
editor = {David R. Kaeli and
Miquel Peric{\`{a}}s},
title = {Opportunistic named functions in disruption-tolerant emergency networks},
booktitle = {Proceedings of the 15th {ACM} International Conference on Computing
Frontiers, {CF} 2018, Ischia, Italy, May 08-10, 2018},
pages = {129--137},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3203217.3203234},
doi = {10.1145/3203217.3203234},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cf/GraubnerLHBMF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/debs/GraubnerTKSSMSF18,
author = {Pablo Graubner and
Christoph Thelen and
Michael K{\"{o}}rber and
Artur Sterz and
Guido Salvaneschi and
Mira Mezini and
Bernhard Seeger and
Bernd Freisleben},
editor = {Annika Hinze and
David M. Eyers and
Martin Hirzel and
Matthias Weidlich and
Sukanya Bhowmik},
title = {Multimodal Complex Event Processing on Mobile Devices},
booktitle = {Proceedings of the 12th {ACM} International Conference on Distributed
and Event-based Systems, {DEBS} 2018, Hamilton, New Zealand, June
25-29, 2018},
pages = {112--123},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3210284.3210289},
doi = {10.1145/3210284.3210289},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/debs/GraubnerTKSSMSF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/MogkBSFM18,
author = {Ragnar Mogk and
Lars Baumg{\"{a}}rtner and
Guido Salvaneschi and
Bernd Freisleben and
Mira Mezini},
editor = {Todd D. Millstein},
title = {Fault-tolerant Distributed Reactive Programming},
booktitle = {32nd European Conference on Object-Oriented Programming, {ECOOP} 2018,
July 16-21, 2018, Amsterdam, The Netherlands},
series = {LIPIcs},
volume = {109},
pages = {1:1--1:26},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2018.1},
doi = {10.4230/LIPICS.ECOOP.2018.1},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/MogkBSFM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/KrugerS0BM18,
author = {Stefan Kr{\"{u}}ger and
Johannes Sp{\"{a}}th and
Karim Ali and
Eric Bodden and
Mira Mezini},
editor = {Todd D. Millstein},
title = {CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic
APIs},
booktitle = {32nd European Conference on Object-Oriented Programming, {ECOOP} 2018,
July 16-21, 2018, Amsterdam, The Netherlands},
series = {LIPIcs},
volume = {109},
pages = {10:1--10:27},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2018.10},
doi = {10.4230/LIPICS.ECOOP.2018.10},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/KrugerS0BM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/CerganiM18,
author = {Ervina {\c{C}}ergani and
Mira Mezini},
editor = {Marten van Sinderen and
Leszek A. Maciaszek},
title = {On the Impact of Order Information in {API} Usage Patterns},
booktitle = {Software Technologies - 13th International Conference, {ICSOFT} 2018,
Porto, Portugal, July 26-28, 2018, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {1077},
pages = {79--103},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-29157-0\_4},
doi = {10.1007/978-3-030-29157-0\_4},
timestamp = {Thu, 15 Aug 2019 11:10:46 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/CerganiM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/CerganiPNM18,
author = {Ervina {\c{C}}ergani and
Sebastian Proksch and
Sarah Nadi and
Mira Mezini},
editor = {Leszek A. Maciaszek and
Marten van Sinderen},
title = {Investigating Order Information in API-Usage Patterns: {A} Benchmark
and Empirical Study},
booktitle = {Proceedings of the 13th International Conference on Software Technologies,
{ICSOFT} 2018, Porto, Portugal, July 26-28, 2018},
pages = {91--102},
publisher = {SciTePress},
year = {2018},
url = {https://doi.org/10.5220/0006839000910102},
doi = {10.5220/0006839000910102},
timestamp = {Wed, 29 Aug 2018 15:24:05 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/CerganiPNM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/SzaboKBME18,
author = {Tam{\'{a}}s Szab{\'{o}} and
Edlira Kuci and
Matthijs Bijman and
Mira Mezini and
Sebastian Erdweg},
editor = {Julian Dolby and
William G. J. Halfond and
Ashish Mishra},
title = {Incremental overload resolution in object-oriented programming languages},
booktitle = {Companion Proceedings for the {ISSTA/ECOOP} 2018 Workshops, {ISSTA}
2018, Amsterdam, Netherlands, July 16-21, 2018},
pages = {27--33},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236454.3236485},
doi = {10.1145/3236454.3236485},
timestamp = {Thu, 10 Jan 2019 08:02:16 +0100},
biburl = {https://dblp.org/rec/conf/issta/SzaboKBME18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ReifKEM18,
author = {Michael Reif and
Florian K{\"{u}}bler and
Michael Eichberg and
Mira Mezini},
editor = {Julian Dolby and
William G. J. Halfond and
Ashish Mishra},
title = {Systematic evaluation of the unsoundness of call graph construction
algorithms for Java},
booktitle = {Companion Proceedings for the {ISSTA/ECOOP} 2018 Workshops, {ISSTA}
2018, Amsterdam, Netherlands, July 16-21, 2018},
pages = {107--112},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236454.3236503},
doi = {10.1145/3236454.3236503},
timestamp = {Thu, 10 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/ReifKEM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/EichbergKHRSM18,
author = {Michael Eichberg and
Florian K{\"{u}}bler and
Dominik Helm and
Michael Reif and
Guido Salvaneschi and
Mira Mezini},
editor = {Julian Dolby and
William G. J. Halfond and
Ashish Mishra},
title = {Lattice based modularization of static analyses},
booktitle = {Companion Proceedings for the {ISSTA/ECOOP} 2018 Workshops, {ISSTA}
2018, Amsterdam, Netherlands, July 16-21, 2018},
pages = {113--118},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236454.3236509},
doi = {10.1145/3236454.3236509},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/EichbergKHRSM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/HelmKERM18,
author = {Dominik Helm and
Florian K{\"{u}}bler and
Michael Eichberg and
Michael Reif and
Mira Mezini},
editor = {Marianne Huchard and
Christian K{\"{a}}stner and
Gordon Fraser},
title = {A unified lattice model and framework for purity analyses},
booktitle = {Proceedings of the 33rd {ACM/IEEE} International Conference on Automated
Software Engineering, {ASE} 2018, Montpellier, France, September 3-7,
2018},
pages = {340--350},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3238147.3238226},
doi = {10.1145/3238147.3238226},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/HelmKERM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/GreweEPM18,
author = {Sylvia Grewe and
Sebastian Erdweg and
Andr{\'{e}} Pacak and
Mira Mezini},
editor = {David Sabel and
Peter Thiemann},
title = {System Description: An Infrastructure for Combining Domain Knowledge
with Automated Theorem Provers},
booktitle = {Proceedings of the 20th International Symposium on Principles and
Practice of Declarative Programming, {PPDP} 2018, Frankfurt am Main,
Germany, September 03-05, 2018},
pages = {24:1--24:10},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236950.3236960},
doi = {10.1145/3236950.3236960},
timestamp = {Mon, 23 Mar 2020 12:22:51 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/GreweEPM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/programming/EichholzSM18,
author = {Matthias Eichholz and
Guido Salvaneschi and
Mira Mezini},
editor = {Stefan Marr and
Jennifer B. Sartor},
title = {Towards safe modular composition of network functions},
booktitle = {Conference Companion of the 2nd International Conference on Art, Science,
and Engineering of Programming, Nice, France, April 09-12, 2018},
pages = {81--86},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3191697.3213804},
doi = {10.1145/3191697.3213804},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/programming/EichholzSM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/programming/MogkSM18,
author = {Ragnar Mogk and
Guido Salvaneschi and
Mira Mezini},
editor = {Stefan Marr and
Jennifer B. Sartor},
title = {Reactive programming experience with REScala},
booktitle = {Conference Companion of the 2nd International Conference on Art, Science,
and Engineering of Programming, Nice, France, April 09-12, 2018},
pages = {105--112},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3191697.3214337},
doi = {10.1145/3191697.3214337},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/programming/MogkSM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/GlanzAERM18,
author = {Leonid Glanz and
Sven Amann and
Michael Eichberg and
Michael Reif and
Mira Mezini},
editor = {Matthias Tichy and
Eric Bodden and
Marco Kuhrmann and
Stefan Wagner and
Jan{-}Philipp Stegh{\"{o}}fer},
title = {CodeMatch},
booktitle = {Software Engineering und Software Management 2018, Fachtagung des
GI-Fachbereichs Softwaretechnik, {SE} 2018, 5.-9. M{\"{a}}rz
2018, Ulm, Germany},
series = {{LNI}},
volume = {{P-279}},
pages = {117--118},
publisher = {Gesellschaft f{\"{u}}r Informatik},
year = {2018},
url = {https://dl.gi.de/handle/20.500.12116/16351},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/GlanzAERM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/ReifEM18,
author = {Michael Reif and
Michael Eichberg and
Mira Mezini},
editor = {Matthias Tichy and
Eric Bodden and
Marco Kuhrmann and
Stefan Wagner and
Jan{-}Philipp Stegh{\"{o}}fer},
title = {Call Graph Construction for Java Libraries},
booktitle = {Software Engineering und Software Management 2018, Fachtagung des
GI-Fachbereichs Softwaretechnik, {SE} 2018, 5.-9. M{\"{a}}rz
2018, Ulm, Germany},
series = {{LNI}},
volume = {{P-279}},
pages = {119--120},
publisher = {Gesellschaft f{\"{u}}r Informatik},
year = {2018},
url = {https://dl.gi.de/handle/20.500.12116/16310},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/ReifEM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/SalvaneschiPANM17,
author = {Guido Salvaneschi and
Sebastian Proksch and
Sven Amann and
Sarah Nadi and
Mira Mezini},
title = {On the Positive Effect of Reactive Programming on Software Comprehension:
An Empirical Study},
journal = {{IEEE} Trans. Software Eng.},
volume = {43},
number = {12},
pages = {1125--1143},
year = {2017},
url = {https://doi.org/10.1109/TSE.2017.2655524},
doi = {10.1109/TSE.2017.2655524},
timestamp = {Thu, 25 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/SalvaneschiPANM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/KuciEBBM17,
author = {Edlira Kuci and
Sebastian Erdweg and
Oliver Bracevac and
Andi Bejleri and
Mira Mezini},
editor = {Peter M{\"{u}}ller},
title = {A Co-contextual Type Checker for Featherweight Java},
booktitle = {31st European Conference on Object-Oriented Programming, {ECOOP} 2017,
June 19-23, 2017, Barcelona, Spain},
series = {LIPIcs},
volume = {74},
pages = {18:1--18:26},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2017.18},
doi = {10.4230/LIPICS.ECOOP.2017.18},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/KuciEBBM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/KrugerNRAMBGGWD17,
author = {Stefan Kr{\"{u}}ger and
Sarah Nadi and
Michael Reif and
Karim Ali and
Mira Mezini and
Eric Bodden and
Florian G{\"{o}}pfert and
Felix G{\"{u}}nther and
Christian Weinert and
Daniel Demmler and
Ram Kamath},
editor = {Grigore Rosu and
Massimiliano Di Penta and
Tien N. Nguyen},
title = {CogniCrypt: supporting developers in using cryptography},
booktitle = {Proceedings of the 32nd {IEEE/ACM} International Conference on Automated
Software Engineering, {ASE} 2017, Urbana, IL, USA, October 30 - November
03, 2017},
pages = {931--936},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ASE.2017.8115707},
doi = {10.1109/ASE.2017.8115707},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/KrugerNRAMBGGWD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/networking/SterzBMMF17,
author = {Artur Sterz and
Lars Baumg{\"{a}}rtner and
Ragnar Mogk and
Mira Mezini and
Bernd Freisleben},
title = {{DTN-RPC:} Remote procedure calls for disruption-tolerant networking},
booktitle = {2017 {IFIP} Networking Conference, {IFIP} Networking 2017 and Workshops,
Stockholm, Sweden, June 12-16, 2017},
pages = {1--9},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.23919/IFIPNetworking.2017.8264848},
doi = {10.23919/IFIPNETWORKING.2017.8264848},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/networking/SterzBMMF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ReifEHM17,
author = {Michael Reif and
Michael Eichberg and
Ben Hermann and
Mira Mezini},
editor = {Karim Ali and
Cristina Cifuentes},
title = {Hermes: assessment and creation of effective test corpora},
booktitle = {Proceedings of the 6th {ACM} {SIGPLAN} International Workshop on State
Of the Art in Program Analysis, SOAP@PLDI 2017, Barcelona, Spain,
June 18, 2017},
pages = {43--48},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3088515.3088523},
doi = {10.1145/3088515.3088523},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/ReifEHM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/NadiKMB17,
author = {Sarah Nadi and
Stefan Kr{\"{u}}ger and
Mira Mezini and
Eric Bodden},
editor = {Jan J{\"{u}}rjens and
Kurt Schneider},
title = {"Jumping Through Hoops": Why do Java Developers Struggle
With Cryptography APIs?},
booktitle = {Software Engineering 2017, Fachtagung des GI-Fachbereichs Softwaretechnik,
21.-24. Februar 2017, Hannover, Deutschland},
series = {{LNI}},
volume = {{P-267}},
pages = {57},
publisher = {{GI}},
year = {2017},
url = {https://dl.gi.de/handle/20.500.12116/1268},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/NadiKMB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/GlanzAERHLM17,
author = {Leonid Glanz and
Sven Amann and
Michael Eichberg and
Michael Reif and
Ben Hermann and
Johannes Lerch and
Mira Mezini},
editor = {Eric Bodden and
Wilhelm Sch{\"{a}}fer and
Arie van Deursen and
Andrea Zisman},
title = {CodeMatch: obfuscation won't conceal your repackaged app},
booktitle = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software
Engineering, {ESEC/FSE} 2017, Paderborn, Germany, September 4-8, 2017},
pages = {638--648},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3106237.3106305},
doi = {10.1145/3106237.3106305},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/GlanzAERHLM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/HolzingerHLBM17,
author = {Philipp Holzinger and
Ben Hermann and
Johannes Lerch and
Eric Bodden and
Mira Mezini},
title = {Hardening Java's Access Control by Abolishing Implicit Privilege Elevation},
booktitle = {2017 {IEEE} Symposium on Security and Privacy, {SP} 2017, San Jose,
CA, USA, May 22-26, 2017},
pages = {1027--1040},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/SP.2017.16},
doi = {10.1109/SP.2017.16},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sp/HolzingerHLBM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/ProkschNAM17,
author = {Sebastian Proksch and
Sarah Nadi and
Sven Amann and
Mira Mezini},
editor = {Martin Pinzger and
Gabriele Bavota and
Andrian Marcus},
title = {Enriching in-IDE process information with fine-grained source code
history},
booktitle = {{IEEE} 24th International Conference on Software Analysis, Evolution
and Reengineering, {SANER} 2017, Klagenfurt, Austria, February 20-24,
2017},
pages = {250--260},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/SANER.2017.7884626},
doi = {10.1109/SANER.2017.7884626},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wcre/ProkschNAM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KuciEBBM17,
author = {Edlira Kuci and
Sebastian Erdweg and
Oliver Bracevac and
Andi Bejleri and
Mira Mezini},
title = {A Co-contextual Type Checker for Featherweight Java (incl. Proofs)},
journal = {CoRR},
volume = {abs/1705.05828},
year = {2017},
url = {http://arxiv.org/abs/1705.05828},
eprinttype = {arXiv},
eprint = {1705.05828},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KuciEBBM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-00564,
author = {Stefan Kr{\"{u}}ger and
Johannes Sp{\"{a}}th and
Karim Ali and
Eric Bodden and
Mira Mezini},
title = {CrySL: Validating Correct Usage of Cryptographic APIs},
journal = {CoRR},
volume = {abs/1710.00564},
year = {2017},
url = {http://arxiv.org/abs/1710.00564},
eprinttype = {arXiv},
eprint = {1710.00564},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1710-00564.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1712-00242,
author = {Sven Amann and
Hoan Anh Nguyen and
Sarah Nadi and
Tien N. Nguyen and
Mira Mezini},
title = {A Systematic Evaluation of API-Misuse Detectors},
journal = {CoRR},
volume = {abs/1712.00242},
year = {2017},
url = {http://arxiv.org/abs/1712.00242},
eprinttype = {arXiv},
eprint = {1712.00242},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1712-00242.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/BejleriME16,
author = {Andi Bejleri and
Mira Mezini and
Patrick Eugster},
editor = {Lidia Fuentes and
Don S. Batory and
Krzysztof Czarnecki},
title = {Cooperative decoupled processes: the e-calculus and linearity},
booktitle = {Proceedings of the 15th International Conference on Modularity, {MODULARITY}
2016, M{\'{a}}laga, Spain, March 14 - 18, 2016},
pages = {82--93},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2889443.2889449},
doi = {10.1145/2889443.2889449},
timestamp = {Fri, 30 Dec 2022 23:08:53 +0100},
biburl = {https://dblp.org/rec/conf/aosd/BejleriME16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/BracevacESM16,
author = {Oliver Bracevac and
Sebastian Erdweg and
Guido Salvaneschi and
Mira Mezini},
editor = {Lidia Fuentes and
Don S. Batory and
Krzysztof Czarnecki},
title = {{CPL:} a core language for cloud computing},
booktitle = {Proceedings of the 15th International Conference on Modularity, {MODULARITY}
2016, M{\'{a}}laga, Spain, March 14 - 18, 2016},
pages = {94--105},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2889443.2889452},
doi = {10.1145/2889443.2889452},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aosd/BracevacESM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/GreweEM16,
author = {Sylvia Grewe and
Sebastian Erdweg and
Mira Mezini},
editor = {Laura Kov{\'{a}}cs and
Andrei Voronkov},
title = {Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny},
booktitle = {Vampire@IJCAR 2016. Proceedings of the 3rd Vampire Workshop, Coimbra,
Portugal, July 2, 2016},
series = {EPiC Series in Computing},
volume = {44},
pages = {33--45},
publisher = {EasyChair},
year = {2016},
url = {https://doi.org/10.29007/5zjp},
doi = {10.29007/5ZJP},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/GreweEM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SalvaneschiM16a,
author = {Guido Salvaneschi and
Mira Mezini},
editor = {Laura K. Dillon and
Willem Visser and
Laurie A. Williams},
title = {Debugging reactive programming with reactive inspector},
booktitle = {Proceedings of the 38th International Conference on Software Engineering,
{ICSE} 2016, Austin, TX, USA, May 14-22, 2016 - Companion Volume},
pages = {728--730},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2889160.2893174},
doi = {10.1145/2889160.2893174},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/SalvaneschiM16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SalvaneschiM16,
author = {Guido Salvaneschi and
Mira Mezini},
editor = {Laura K. Dillon and
Willem Visser and
Laurie A. Williams},
title = {Debugging for reactive programming},
booktitle = {Proceedings of the 38th International Conference on Software Engineering,
{ICSE} 2016, Austin, TX, USA, May 14-22, 2016},
pages = {796--807},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2884781.2884815},
doi = {10.1145/2884781.2884815},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/SalvaneschiM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/NadiKMB16,
author = {Sarah Nadi and
Stefan Kr{\"{u}}ger and
Mira Mezini and
Eric Bodden},
editor = {Laura K. Dillon and
Willem Visser and
Laurie A. Williams},
title = {Jumping through hoops: why do Java developers struggle with cryptography
APIs?},
booktitle = {Proceedings of the 38th International Conference on Software Engineering,
{ICSE} 2016, Austin, TX, USA, May 14-22, 2016},
pages = {935--946},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2884781.2884790},
doi = {10.1145/2884781.2884790},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/NadiKMB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ProkschANM16,
author = {Sebastian Proksch and
Sven Amann and
Sarah Nadi and
Mira Mezini},
editor = {David Lo and
Sven Apel and
Sarfraz Khurshid},
title = {Evaluating the evaluations of code recommender systems: a reality
check},
booktitle = {Proceedings of the 31st {IEEE/ACM} International Conference on Automated
Software Engineering, {ASE} 2016, Singapore, September 3-7, 2016},
pages = {111--121},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2970276.2970330},
doi = {10.1145/2970276.2970330},
timestamp = {Sat, 30 Sep 2023 09:51:40 +0200},
biburl = {https://dblp.org/rec/conf/kbse/ProkschANM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msr/AmannNNNM16,
author = {Sven Amann and
Sarah Nadi and
Hoan Anh Nguyen and
Tien N. Nguyen and
Mira Mezini},
editor = {Miryung Kim and
Romain Robbes and
Christian Bird},
title = {MUBench: a benchmark for API-misuse detectors},
booktitle = {Proceedings of the 13th International Conference on Mining Software
Repositories, {MSR} 2016, Austin, TX, USA, May 14-22, 2016},
pages = {464--467},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2901739.2903506},
doi = {10.1145/2901739.2903506},
timestamp = {Tue, 06 Nov 2018 16:57:14 +0100},
biburl = {https://dblp.org/rec/conf/msr/AmannNNNM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msr/ProkschANM16,
author = {Sebastian Proksch and
Sven Amann and
Sarah Nadi and
Mira Mezini},
editor = {Miryung Kim and
Romain Robbes and
Christian Bird},
title = {A dataset of simplified syntax trees for C{\#}},
booktitle = {Proceedings of the 13th International Conference on Mining Software
Repositories, {MSR} 2016, Austin, TX, USA, May 14-22, 2016},
pages = {476--479},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2901739.2903507},
doi = {10.1145/2901739.2903507},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/msr/ProkschANM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/GreweERM16,
author = {Sylvia Grewe and
Sebastian Erdweg and
Michael Raulf and
Mira Mezini},
editor = {James Cheney and
Germ{\'{a}}n Vidal},
title = {Exploration of language specifications by compilation to first-order
logic},
booktitle = {Proceedings of the 18th International Symposium on Principles and
Practice of Declarative Programming, Edinburgh, United Kingdom, September
5-7, 2016},
pages = {104--117},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2967973.2968606},
doi = {10.1145/2967973.2968606},
timestamp = {Tue, 06 Nov 2018 16:57:25 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/GreweERM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scala/HauckSEMS16,
author = {Markus Hauck and
Savvas Savvides and
Patrick Eugster and
Mira Mezini and
Guido Salvaneschi},
editor = {Aggelos Biboudis and
Manohar Jonnalagedda and
Sandro Stucki and
Vlad Ureche},
title = {SecureScala: Scala embedding of secure computations},
booktitle = {Proceedings of the 7th {ACM} {SIGPLAN} Symposium on Scala, SCALA@SPLASH
2016, Amsterdam, Netherlands, October 30 - November 4, 2016},
pages = {75--84},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2998392.2998403},
doi = {10.1145/2998392.2998403},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/scala/HauckSEMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/ProkschLM16,
author = {Sebastian Proksch and
Johannes Lerch and
Mira Mezini},
editor = {Jens Knoop and
Uwe Zdun},
title = {Intelligent code completion with Bayesian networks},
booktitle = {Software Engineering 2016, Fachtagung des GI-Fachbereichs Softwaretechnik,
23.-26. Februar 2016, Wien, {\"{O}}sterreich},
series = {{LNI}},
volume = {{P-252}},
pages = {25--26},
publisher = {{GI}},
year = {2016},
url = {https://dl.gi.de/handle/20.500.12116/761},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/ProkschLM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/HermannREM16,
author = {Ben Hermann and
Michael Reif and
Michael Eichberg and
Mira Mezini},
editor = {Jens Knoop and
Uwe Zdun},
title = {Getting to know you: towards a capability model for Java},
booktitle = {Software Engineering 2016, Fachtagung des GI-Fachbereichs Softwaretechnik,
23.-26. Februar 2016, Wien, {\"{O}}sterreich},
series = {{LNI}},
volume = {{P-252}},
pages = {59--60},
publisher = {{GI}},
year = {2016},
url = {https://dl.gi.de/handle/20.500.12116/721},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/HermannREM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/EichbergHMG16,
author = {Michael Eichberg and
Ben Hermann and
Mira Mezini and
Leonid Glanz},
editor = {Jens Knoop and
Uwe Zdun},
title = {Hidden Truths in Dead Software Paths},
booktitle = {Software Engineering 2016, Fachtagung des GI-Fachbereichs Softwaretechnik,
23.-26. Februar 2016, Wien, {\"{O}}sterreich},
series = {{LNI}},
volume = {{P-252}},
pages = {63--64},
publisher = {{GI}},
year = {2016},
url = {https://dl.gi.de/handle/20.500.12116/723},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/EichbergHMG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/SalvaneschiAPM16,
author = {Guido Salvaneschi and
Sven Amann and
Sebastian Proksch and
Mira Mezini},
editor = {Jens Knoop and
Uwe Zdun},
title = {An empirical study on program comprehension with reactive programming},
booktitle = {Software Engineering 2016, Fachtagung des GI-Fachbereichs Softwaretechnik,
23.-26. Februar 2016, Wien, {\"{O}}sterreich},
series = {{LNI}},
volume = {{P-252}},
pages = {69--70},
publisher = {{GI}},
year = {2016},
url = {https://dl.gi.de/handle/20.500.12116/726},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/SalvaneschiAPM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/CerganiPNM16,
author = {Ervina {\c{C}}ergani and
Sebastian Proksch and
Sarah Nadi and
Mira Mezini},
editor = {Olga Baysal and
Jacek Czerwonka and
Latifa Guerrouj and
David Lo and
Brendan Murphy},
title = {Addressing scalability in {API} method call analytics},
booktitle = {Proceedings of the 2nd International Workshop on Software Analytics,
SWAN@SIGSOFT {FSE} 2016, Seattle, WA, USA, November 13, 2016},
pages = {1--7},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2989238.2989240},
doi = {10.1145/2989238.2989240},
timestamp = {Fri, 05 Apr 2019 13:31:44 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/CerganiPNM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/ReifEHLM16,
author = {Michael Reif and
Michael Eichberg and
Ben Hermann and
Johannes Lerch and
Mira Mezini},
editor = {Thomas Zimmermann and
Jane Cleland{-}Huang and
Zhendong Su},
title = {Call graph construction for Java libraries},
booktitle = {Proceedings of the 24th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, {FSE} 2016, Seattle, WA, USA,
November 13-18, 2016},
pages = {474--486},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2950290.2950312},
doi = {10.1145/2950290.2950312},
timestamp = {Thu, 02 Dec 2021 11:46:17 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/ReifEHLM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/AmannPNM16,
author = {Sven Amann and
Sebastian Proksch and
Sarah Nadi and
Mira Mezini},
title = {A Study of Visual Studio Usage in Practice},
booktitle = {{IEEE} 23rd International Conference on Software Analysis, Evolution,
and Reengineering, {SANER} 2016, Suita, Osaka, Japan, March 14-18,
2016 - Volume 1},
pages = {124--134},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/SANER.2016.39},
doi = {10.1109/SANER.2016.39},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wcre/AmannPNM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BracevacESM16,
author = {Oliver Bracevac and
Sebastian Erdweg and
Guido Salvaneschi and
Mira Mezini},
title = {{CPL:} {A} Core Language for Cloud Computing - Technical Report},
journal = {CoRR},
volume = {abs/1602.00981},
year = {2016},
url = {http://arxiv.org/abs/1602.00981},
eprinttype = {arXiv},
eprint = {1602.00981},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BracevacESM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/OrtacMM15,
author = {Alper Ortac and
Martin Monperrus and
Mira Mezini},
title = {Abmash: mashing up legacy Web applications by automated imitation
of human actions},
journal = {Softw. Pract. Exp.},
volume = {45},
number = {5},
pages = {581--612},
year = {2015},
url = {https://doi.org/10.1002/spe.2249},
doi = {10.1002/SPE.2249},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/OrtacMM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/ProkschLM15,
author = {Sebastian Proksch and
Johannes Lerch and
Mira Mezini},
title = {Intelligent Code Completion with Bayesian Networks},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {25},
number = {1},
pages = {3:1--3:31},
year = {2015},
url = {https://doi.org/10.1145/2744200},
doi = {10.1145/2744200},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/ProkschLM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/GreweEM15,
author = {Sylvia Grewe and
Sebastian Erdweg and
Mira Mezini},
editor = {Laura Kov{\'{a}}cs and
Andrei Voronkov},
title = {Using Vampire in Soundness Proofs of Type Systems},
booktitle = {Proceedings of the 1st and 2nd Vampire Workshops, Vampire@VSL 2014,
Vienna, Austria, July 23, 2014 / Vampire@CADE 2015, Berlin, Germany,
August 2, 2015},
series = {EPiC Series in Computing},
volume = {38},
pages = {33--51},
publisher = {EasyChair},
year = {2015},
url = {https://doi.org/10.29007/22x6},
doi = {10.29007/22X6},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/GreweEM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LerchSBM15,
author = {Johannes Lerch and
Johannes Sp{\"{a}}th and
Eric Bodden and
Mira Mezini},
editor = {Myra B. Cohen and
Lars Grunske and
Michael Whalen},
title = {Access-Path Abstraction: Scaling Field-Sensitive Data-Flow Analysis
with Unbounded Access Paths {(T)}},
booktitle = {30th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2015, Lincoln, NE, USA, November 9-13, 2015},
pages = {619--629},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ASE.2015.9},
doi = {10.1109/ASE.2015.9},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/LerchSBM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ArztNABEM15,
author = {Steven Arzt and
Sarah Nadi and
Karim Ali and
Eric Bodden and
Sebastian Erdweg and
Mira Mezini},
editor = {Gail C. Murphy and
Guy L. Steele Jr.},
title = {Towards secure integration of cryptographic software},
booktitle = {2015 {ACM} International Symposium on New Ideas, New Paradigms, and
Reflections on Programming and Software, Onward! 2015, Pittsburgh,
PA, USA, October 25-30, 2015},
pages = {1--13},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814228.2814229},
doi = {10.1145/2814228.2814229},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/ArztNABEM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/KuciEM15,
author = {Edlira Kuci and
Sebastian Erdweg and
Mira Mezini},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Toward incremental type checking for Java},
booktitle = {Companion Proceedings of the 2015 {ACM} {SIGPLAN} International Conference
on Systems, Programming, Languages and Applications: Software for
Humanity, {SPLASH} 2015, Pittsburgh, PA, USA, October 25-30, 2015},
pages = {46--47},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814189.2817272},
doi = {10.1145/2814189.2817272},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/KuciEM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/GreweEWM15,
author = {Sylvia Grewe and
Sebastian Erdweg and
Pascal Wittmann and
Mira Mezini},
editor = {Gail C. Murphy and
Guy L. Steele Jr.},
title = {Type systems for the masses: deriving soundness proofs and efficient
checkers},
booktitle = {2015 {ACM} International Symposium on New Ideas, New Paradigms, and
Reflections on Programming and Software, Onward! 2015, Pittsburgh,
PA, USA, October 25-30, 2015},
pages = {137--150},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814228.2814239},
doi = {10.1145/2814228.2814239},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/GreweEWM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ErdwegBKKM15,
author = {Sebastian Erdweg and
Oliver Bracevac and
Edlira Kuci and
Matthias Krebs and
Mira Mezini},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {A co-contextual formulation of type rules and its application to incremental
type checking},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {880--897},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814277},
doi = {10.1145/2814270.2814277},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/ErdwegBKKM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/EichbergHMG15,
author = {Michael Eichberg and
Ben Hermann and
Mira Mezini and
Leonid Glanz},
editor = {Elisabetta Di Nitto and
Mark Harman and
Patrick Heymans},
title = {Hidden truths in dead software paths},
booktitle = {Proceedings of the 2015 10th Joint Meeting on Foundations of Software
Engineering, {ESEC/FSE} 2015, Bergamo, Italy, August 30 - September
4, 2015},
pages = {474--484},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2786805.2786865},
doi = {10.1145/2786805.2786865},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/EichbergHMG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/HermannREM15,
author = {Ben Hermann and
Michael Reif and
Michael Eichberg and
Mira Mezini},
editor = {Elisabetta Di Nitto and
Mark Harman and
Patrick Heymans},
title = {Getting to know you: towards a capability model for Java},
booktitle = {Proceedings of the 2015 10th Joint Meeting on Foundations of Software
Engineering, {ESEC/FSE} 2015, Bergamo, Italy, August 30 - September
4, 2015},
pages = {758--769},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2786805.2786829},
doi = {10.1145/2786805.2786829},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/HermannREM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/SarimbekovSBMM14,
author = {Aibek Sarimbekov and
Andreas Sewe and
Walter Binder and
Philippe Moret and
Mira Mezini},
title = {{JP2:} Call-site aware calling context profiling for the Java Virtual
Machine},
journal = {Sci. Comput. Program.},
volume = {79},
pages = {146--157},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2011.11.003},
doi = {10.1016/J.SCICO.2011.11.003},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/SarimbekovSBMM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/SalvaneschiEM14,
author = {Guido Salvaneschi and
Patrick Eugster and
Mira Mezini},
title = {Programming with Implicit Flows},
journal = {{IEEE} Softw.},
volume = {31},
number = {5},
pages = {52--59},
year = {2014},
url = {https://doi.org/10.1109/MS.2014.101},
doi = {10.1109/MS.2014.101},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/SalvaneschiEM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/ErdwegVMV14,
author = {Sebastian Erdweg and
Vlad A. Vergu and
Mira Mezini and
Eelco Visser},
editor = {Walter Binder and
Erik Ernst and
Achille Peternier and
Robert Hirschfeld},
title = {Finding bugs in program generators by dynamic analysis of syntactic
language constraints},
booktitle = {13th International Conference on Modularity, {MODULARITY} '14, Lugano,
Switzerland, April 22-26, 2014},
pages = {17--20},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2584469.2584474},
doi = {10.1145/2584469.2584474},
timestamp = {Tue, 21 Mar 2023 21:01:43 +0100},
biburl = {https://dblp.org/rec/conf/aosd/ErdwegVMV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/SalvaneschiHM14,
author = {Guido Salvaneschi and
Gerold Hintz and
Mira Mezini},
editor = {Walter Binder and
Erik Ernst and
Achille Peternier and
Robert Hirschfeld},
title = {REScala: bridging between object-oriented and functional style in
reactive applications},
booktitle = {13th International Conference on Modularity, {MODULARITY} '14, Lugano,
Switzerland, April 22-26, 2014},
pages = {25--36},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2577080.2577083},
doi = {10.1145/2577080.2577083},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aosd/SalvaneschiHM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/GurgelBGSMEM14,
author = {Alessandro Cavalcante Gurgel and
Isela Macia Bertran and
Alessandro Garcia and
Arndt von Staa and
Mira Mezini and
Michael Eichberg and
Ralf Mitschke},
editor = {Walter Binder and
Erik Ernst and
Achille Peternier and
Robert Hirschfeld},
title = {Blending and reusing rules for architectural degradation prevention},
booktitle = {13th International Conference on Modularity, {MODULARITY} '14, Lugano,
Switzerland, April 22-26, 2014},
pages = {61--72},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2577080.2577087},
doi = {10.1145/2577080.2577087},
timestamp = {Fri, 06 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aosd/GurgelBGSMEM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/HamSMN14,
author = {Jurgen Michael Van Ham and
Guido Salvaneschi and
Mira Mezini and
Jacques Noy{\'{e}}},
editor = {Walter Binder and
Erik Ernst and
Achille Peternier and
Robert Hirschfeld},
title = {JEScala: modular coordination with declarative events and joins},
booktitle = {13th International Conference on Modularity, {MODULARITY} '14, Lugano,
Switzerland, April 22-26, 2014},
pages = {205--216},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2577080.2577082},
doi = {10.1145/2577080.2577082},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aosd/HamSMN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/ErdwegVMV14a,
author = {Sebastian Erdweg and
Vlad A. Vergu and
Mira Mezini and
Eelco Visser},
editor = {Walter Binder and
Erik Ernst and
Achille Peternier and
Robert Hirschfeld},
title = {Modular specification and dynamic enforcement of syntactic language
constraints when generating code},
booktitle = {13th International Conference on Modularity, {MODULARITY} '14, Lugano,
Switzerland, April 22-26, 2014},
pages = {241--252},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2577080.2577089},
doi = {10.1145/2577080.2577089},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aosd/ErdwegVMV14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/WeielMEEM14,
author = {Manuel Weiel and
Ingo Maier and
Sebastian Erdweg and
Michael Eichberg and
Mira Mezini},
editor = {Philipp Haller and
Heather Miller},
title = {Towards virtual traits in Scala},
booktitle = {Proceedings of the Fifth Annual Scala Workshop, SCALA@ECOOP 2014,
Uppsala, Sweden, July 28-29, 2014},
pages = {67--75},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2637647.2637654},
doi = {10.1145/2637647.2637654},
timestamp = {Tue, 06 Nov 2018 16:59:31 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/WeielMEEM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esocc/WitteborgCCM14,
author = {Heiko Witteborg and
Anis Charfi and
Daniel Colomer Collell and
Mira Mezini},
editor = {Massimo Villari and
Wolf Zimmermann and
Kung{-}Kiu Lau},
title = {Weaving Aspects and Business Processes through Model Transformation},
booktitle = {Service-Oriented and Cloud Computing - Third European Conference,
{ESOCC} 2014, Manchester, UK, September 2-4, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8745},
pages = {47--61},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44879-3\_4},
doi = {10.1007/978-3-662-44879-3\_4},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/esocc/WitteborgCCM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AmannPM14,
author = {Sven Amann and
Sebastian Proksch and
Mira Mezini},
editor = {Gordon Fraser and
Thomas D. LaToza and
Leonardo Mariani and
Fabrizio Pastore and
Nikolai Tillmann},
title = {Method-call recommendations from implicit developer feedback},
booktitle = {Proceedings of the 1st International Workshop on CrowdSourcing in
Software Engineering, {CSI-SE} 2014, Hyderabad, India, June 2, 2014},
pages = {5--6},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2593728.2593730},
doi = {10.1145/2593728.2593730},
timestamp = {Mon, 23 Nov 2020 12:33:07 +0100},
biburl = {https://dblp.org/rec/conf/icse/AmannPM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ProkschAM14,
author = {Sebastian Proksch and
Sven Amann and
Mira Mezini},
editor = {Reid Holmes and
Werner Janjic and
Walid Maalej},
title = {Towards standardized evaluation of developer-assistance tools},
booktitle = {Proceedings of the 4th International Workshop on Recommendation Systems
for Software Engineering, {RSSE} 2014, Hyderabad, India, June 3, 2014},
pages = {14--18},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2593822.2593827},
doi = {10.1145/2593822.2593827},
timestamp = {Tue, 06 Nov 2018 11:06:55 +0100},
biburl = {https://dblp.org/rec/conf/icse/ProkschAM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/DrechslerSMM14,
author = {Joscha Drechsler and
Guido Salvaneschi and
Ragnar Mogk and
Mira Mezini},
editor = {Andrew P. Black and
Todd D. Millstein},
title = {Distributed REScala: an update algorithm for distributed reactive
programming},
booktitle = {Proceedings of the 2014 {ACM} International Conference on Object Oriented
Programming Systems Languages {\&} Applications, {OOPSLA} 2014,
part of {SPLASH} 2014, Portland, OR, USA, October 20-24, 2014},
pages = {361--376},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2660193.2660240},
doi = {10.1145/2660193.2660240},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/DrechslerSMM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/MitschkeEKMS14,
author = {Ralf Mitschke and
Sebastian Erdweg and
Mirko K{\"{o}}hler and
Mira Mezini and
Guido Salvaneschi},
editor = {Andrew P. Black and
Todd D. Millstein},
title = {i3QL: language-integrated live data views},
booktitle = {Proceedings of the 2014 {ACM} International Conference on Object Oriented
Programming Systems Languages {\&} Applications, {OOPSLA} 2014,
part of {SPLASH} 2014, Portland, OR, USA, October 20-24, 2014},
pages = {417--432},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2660193.2660242},
doi = {10.1145/2660193.2660242},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/MitschkeEKMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/BoddenTRBBM14,
author = {Eric Bodden and
T{\'{a}}rsis Tol{\^{e}}do and
M{\'{a}}rcio Ribeiro and
Claus Brabrand and
Paulo Borba and
Mira Mezini},
editor = {Wilhelm Hasselbring and
Nils Christian Ehmke},
title = {{SPLLIFT} - Statically Analyzing Software Product Lines in Minutes
Instead of Years},
booktitle = {Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik,
25. Februar - 28. Februar 2014, Kiel, Germany},
series = {{LNI}},
volume = {{P-227}},
pages = {81--82},
publisher = {{GI}},
year = {2014},
url = {https://dl.gi.de/handle/20.500.12116/30971},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/BoddenTRBBM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/LerchHBM14,
author = {Johannes Lerch and
Ben Hermann and
Eric Bodden and
Mira Mezini},
editor = {Shing{-}Chi Cheung and
Alessandro Orso and
Margaret{-}Anne D. Storey},
title = {FlowTwist: efficient context-sensitive inside-out taint analysis for
large codebases},
booktitle = {Proceedings of the 22nd {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, (FSE-22), Hong Kong, China, November
16 - 22, 2014},
pages = {98--108},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2635868.2635878},
doi = {10.1145/2635868.2635878},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/LerchHBM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/SalvaneschiAPM14,
author = {Guido Salvaneschi and
Sven Amann and
Sebastian Proksch and
Mira Mezini},
editor = {Shing{-}Chi Cheung and
Alessandro Orso and
Margaret{-}Anne D. Storey},
title = {An empirical study on program comprehension with reactive programming},
booktitle = {Proceedings of the 22nd {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, (FSE-22), Hong Kong, China, November
16 - 22, 2014},
pages = {564--575},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2635868.2635895},
doi = {10.1145/2635868.2635895},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/SalvaneschiAPM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/DinkelakerEM13,
author = {Tom Dinkelaker and
Michael Eichberg and
Mira Mezini},
title = {Incremental concrete syntax for embedded languages with support for
separate compilation},
journal = {Sci. Comput. Program.},
volume = {78},
number = {6},
pages = {615--632},
year = {2013},
url = {https://doi.org/10.1016/j.scico.2012.12.002},
doi = {10.1016/J.SCICO.2012.12.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/DinkelakerEM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taosd/MitschkeEMGB13,
author = {Ralf Mitschke and
Michael Eichberg and
Mira Mezini and
Alessandro Garcia and
Isela Macia Bertran},
title = {Modular Specification and Checking of Structural Dependencies},
journal = {{LNCS} Trans. Aspect Oriented Softw. Dev.},
volume = {11},
pages = {193--226},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-55099-7\_6},
doi = {10.1007/978-3-642-55099-7\_6},
timestamp = {Fri, 06 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/taosd/MitschkeEMGB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taosd/SalvaneschiM13,
author = {Guido Salvaneschi and
Mira Mezini},
title = {Towards Reactive Programming for Object-Oriented Applications},
journal = {{LNCS} Trans. Aspect Oriented Softw. Dev.},
volume = {11},
pages = {227--261},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-55099-7\_7},
doi = {10.1007/978-3-642-55099-7\_7},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/taosd/SalvaneschiM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/MonperrusM13,
author = {Martin Monperrus and
Mira Mezini},
title = {Detecting missing method calls as violations of the majority rule},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {22},
number = {1},
pages = {7:1--7:25},
year = {2013},
url = {https://doi.org/10.1145/2430536.2430541},
doi = {10.1145/2430536.2430541},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/MonperrusM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/RobillardBKMR13,
author = {Martin P. Robillard and
Eric Bodden and
David Kawrykow and
Mira Mezini and
Tristan Ratchford},
title = {Automated {API} Property Inference Techniques},
journal = {{IEEE} Trans. Software Eng.},
volume = {39},
number = {5},
pages = {613--637},
year = {2013},
url = {https://doi.org/10.1109/TSE.2012.63},
doi = {10.1109/TSE.2012.63},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/RobillardBKMR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/AlyCWM13,
author = {Mohamed Aly and
Anis Charfi and
Di Wu and
Mira Mezini},
editor = {Bert Lagaisse},
title = {Understanding multilayered applications for building extensions},
booktitle = {Proceedings of the 1st Workshop on Comprehension of Complex Systems,
CoCoS '13, Fukuoka, Japan, March 25, 2013},
pages = {1--6},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2451592.2451594},
doi = {10.1145/2451592.2451594},
timestamp = {Wed, 22 Dec 2021 17:56:26 +0100},
biburl = {https://dblp.org/rec/conf/aosd/AlyCWM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/SalvaneschiM13,
author = {Guido Salvaneschi and
Mira Mezini},
editor = {Hidehiko Masuhara and
Shigeru Chiba and
Naoyasu Ubayashi},
title = {Reactive behavior in object-oriented applications: an analysis and
a research roadmap},
booktitle = {Aspect-Oriented Software Development, {AOSD} '13, Fukuoka, Japan,
March 24-29, 2013},
pages = {37--48},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2451436.2451442},
doi = {10.1145/2451436.2451442},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aosd/SalvaneschiM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/MitschkeEMGB13,
author = {Ralf Mitschke and
Michael Eichberg and
Mira Mezini and
Alessandro Garcia and
Isela Macia Bertran},
editor = {Hidehiko Masuhara and
Shigeru Chiba and
Naoyasu Ubayashi},
title = {Modular specification and checking of structural dependencies},
booktitle = {Aspect-Oriented Software Development, {AOSD} '13, Fukuoka, Japan,
March 24-29, 2013},
pages = {85--96},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2451436.2451448},
doi = {10.1145/2451436.2451448},
timestamp = {Fri, 06 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aosd/MitschkeEMGB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/SalvaneschiDM13,
author = {Guido Salvaneschi and
Joscha Drechsler and
Mira Mezini},
editor = {Rocco De Nicola and
Christine Julien},
title = {Towards Distributed Reactive Programming},
booktitle = {Coordination Models and Languages, 15th International Conference,
{COORDINATION} 2013, Held as Part of the 8th International Federated
Conference on Distributed Computing Techniques, DisCoTec 2013, Florence,
Italy, June 3-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7890},
pages = {226--235},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38493-6\_16},
doi = {10.1007/978-3-642-38493-6\_16},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/SalvaneschiDM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csmr/LerchM13,
author = {Johannes Lerch and
Mira Mezini},
editor = {Anthony Cleve and
Filippo Ricca and
Maura Cerioli},
title = {Finding Duplicates of Your Yet Unwritten Bug Report},
booktitle = {17th European Conference on Software Maintenance and Reengineering,
{CSMR} 2013, Genova, Italy, March 5-8, 2013},
pages = {69--78},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/CSMR.2013.17},
doi = {10.1109/CSMR.2013.17},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csmr/LerchM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edoc/AlyCEM13,
author = {Mohamed Aly and
Anis Charfi and
Sebastian Erdweg and
Mira Mezini},
editor = {Dragan Gasevic and
Marek Hatala and
Hamid R. Motahari Nezhad and
Manfred Reichert},
title = {XPoints: Extension Interfaces for Multilayered Applications},
booktitle = {17th {IEEE} International Enterprise Distributed Object Computing
Conference, {EDOC} 2013, Vancouver, BC, Canada, September 9-13, 2013},
pages = {237--246},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/EDOC.2013.34},
doi = {10.1109/EDOC.2013.34},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edoc/AlyCEM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/MartinME13,
author = {Marko Martin and
Mira Mezini and
Sebastian Erdweg},
editor = {Jaakko J{\"{a}}rvi and
Christian K{\"{a}}stner},
title = {Template constructors for reusable object initialization},
booktitle = {Generative Programming: Concepts and Experiences, GPCE'13, Indianapolis,
IN, {USA} - October 27 - 28, 2013},
pages = {43--52},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2517208.2517212},
doi = {10.1145/2517208.2517212},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/gpce/MartinME13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpc/AlyCM13,
author = {Mohamed Aly and
Anis Charfi and
Mira Mezini},
title = {Building extensions for applications: Towards the understanding of
extension possibilities},
booktitle = {{IEEE} 21st International Conference on Program Comprehension, {ICPC}
2013, San Francisco, CA, USA, 20-21 May, 2013},
pages = {182--191},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICPC.2013.6613846},
doi = {10.1109/ICPC.2013.6613846},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwpc/AlyCM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BoddenTRBBM13,
author = {Eric Bodden and
T{\'{a}}rsis Tol{\^{e}}do and
M{\'{a}}rcio Ribeiro and
Claus Brabrand and
Paulo Borba and
Mira Mezini},
editor = {Hans{-}Juergen Boehm and
Cormac Flanagan},
title = {SPL\({}^{\mbox{LIFT}}\): statically analyzing software product lines
in minutes instead of years},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '13, Seattle, WA, USA, June 16-19, 2013},
pages = {355--364},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2491956.2491976},
doi = {10.1145/2491956.2491976},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/BoddenTRBBM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2013,
editor = {Bertrand Meyer and
Luciano Baresi and
Mira Mezini},
title = {Joint Meeting of the European Software Engineering Conference and
the {ACM} {SIGSOFT} Symposium on the Foundations of Software Engineering,
ESEC/FSE'13, Saint Petersburg, Russian Federation, August 18-26, 2013},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2491411},
doi = {10.1145/2491411},
isbn = {978-1-4503-2237-9},
timestamp = {Tue, 01 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MonperrusM13,
author = {Martin Monperrus and
Mira Mezini},
title = {Detecting Missing Method Calls as Violations of the Majority Rule},
journal = {CoRR},
volume = {abs/1306.0762},
year = {2013},
url = {http://arxiv.org/abs/1306.0762},
eprinttype = {arXiv},
eprint = {1306.0762},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MonperrusM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/OrtacMM13,
author = {Alper Ortac and
Martin Monperrus and
Mira Mezini},
title = {Abmash: Mashing Up Legacy Web Applications by Automated Imitation
of Human Actions},
journal = {CoRR},
volume = {abs/1312.0461},
year = {2013},
url = {http://arxiv.org/abs/1312.0461},
eprinttype = {arXiv},
eprint = {1312.0461},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/OrtacMM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ese/MonperrusETM12,
author = {Martin Monperrus and
Michael Eichberg and
Elif Tekes and
Mira Mezini},
title = {What should developers be aware of? An empirical study on the directives
of {API} documentation},
journal = {Empir. Softw. Eng.},
volume = {17},
number = {6},
pages = {703--737},
year = {2012},
url = {https://doi.org/10.1007/s10664-011-9186-4},
doi = {10.1007/S10664-011-9186-4},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ese/MonperrusETM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijwgs/CharfiSM12,
author = {Anis Charfi and
Benjamin Schmeling and
Mira Mezini},
title = {An aspect-oriented framework for specification and enforcement of
non-functional concerns in {WS-BPEL}},
journal = {Int. J. Web Grid Serv.},
volume = {8},
number = {4},
pages = {386--424},
year = {2012},
url = {https://doi.org/10.1504/IJWGS.2012.051527},
doi = {10.1504/IJWGS.2012.051527},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijwgs/CharfiSM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijwis/SchmelingCHM12,
author = {Benjamin Schmeling and
Anis Charfi and
Steffen Heinzl and
Mira Mezini},
title = {A survey on non-functional concerns in web services},
journal = {Int. J. Web Inf. Syst.},
volume = {8},
number = {1},
pages = {5--31},
year = {2012},
url = {https://doi.org/10.1108/17440081211222573},
doi = {10.1108/17440081211222573},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijwis/SchmelingCHM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/BockischSYMA12,
author = {Christoph Bockisch and
Andreas Sewe and
Haihan Yin and
Mira Mezini and
Mehmet Aksit},
title = {An In-Depth Look at {ALIA4J}},
journal = {J. Object Technol.},
volume = {11},
number = {1},
pages = {1--28},
year = {2012},
url = {https://doi.org/10.5381/jot.2012.11.1.a7},
doi = {10.5381/JOT.2012.11.1.A7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/BockischSYMA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/AlyCM12,
author = {Mohamed Aly and
Anis Charfi and
Mira Mezini},
editor = {Awais Rashid and
Jo{\~{a}}o Ara{\'{u}}jo and
J{\"{o}}rg Kienzle and
Bedir Tekinerdogan and
Ana Moreira},
title = {On the extensibility requirements of business applications},
booktitle = {Proceedings of the 2012 Workshop on Next Generation Modularity Approaches
for Requirements and Architecture, {NEMARA} '12, Potsdam, Germany,
March 27, 2012},
pages = {1--6},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2162004.2162006},
doi = {10.1145/2162004.2162006},
timestamp = {Wed, 22 Dec 2021 12:54:09 +0100},
biburl = {https://dblp.org/rec/conf/aosd/AlyCM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/SchmelingCMM12,
author = {Benjamin Schmeling and
Anis Charfi and
Marko Martin and
Mira Mezini},
editor = {Jolita Ralyt{\'{e}} and
Xavier Franch and
Sjaak Brinkkemper and
Stanislaw Wrycza},
title = {Towards Conflict-Free Composition of Non-functional Concerns},
booktitle = {Advanced Information Systems Engineering - 24th International Conference,
CAiSE 2012, Gdansk, Poland, June 25-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7328},
pages = {80--94},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31095-9\_6},
doi = {10.1007/978-3-642-31095-9\_6},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/caise/SchmelingCMM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BarbosaGM12,
author = {Eiji Adachi Barbosa and
Alessandro F. Garcia and
Mira Mezini},
title = {A recommendation system for exception handling code},
booktitle = {Proceedings of the 5th International Workshop on Exception Handling,
{WEH} 2012, Zurich, Switzerland, June 9, 2012},
pages = {52--54},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/WEH.2012.6226601},
doi = {10.1109/WEH.2012.6226601},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BarbosaGM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/HenssMM12,
author = {Stefan Hen{\ss} and
Martin Monperrus and
Mira Mezini},
editor = {Martin Glinz and
Gail C. Murphy and
Mauro Pezz{\`{e}}},
title = {Semi-automatically extracting FAQs to improve accessibility of software
development knowledge},
booktitle = {34th International Conference on Software Engineering, {ICSE} 2012,
June 2-9, 2012, Zurich, Switzerland},
pages = {793--803},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICSE.2012.6227139},
doi = {10.1109/ICSE.2012.6227139},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/HenssMM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isw/AlsouriSSBMK12,
author = {Sami Alsouri and
Jan Sinschek and
Andreas Sewe and
Eric Bodden and
Mira Mezini and
Stefan Katzenbeisser},
editor = {Dieter Gollmann and
Felix C. Freiling},
title = {Dynamic Anomaly Detection for More Trustworthy Outsourced Computation},
booktitle = {Information Security - 15th International Conference, {ISC} 2012,
Passau, Germany, September 19-21, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7483},
pages = {168--187},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33383-5\_11},
doi = {10.1007/978-3-642-33383-5\_11},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isw/AlsouriSSBMK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwmm/SeweMSABRG12,
author = {Andreas Sewe and
Mira Mezini and
Aibek Sarimbekov and
Danilo Ansaloni and
Walter Binder and
Nathan P. Ricci and
Samuel Z. Guyer},
editor = {Martin T. Vechev and
Kathryn S. McKinley},
title = {new Scala() instance of Java: a comparison of the memory behaviour
of Java and Scala programs},
booktitle = {International Symposium on Memory Management, {ISMM} '12, Beijing,
China, June 15-16, 2012},
pages = {97--108},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2258996.2259010},
doi = {10.1145/2258996.2259010},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwmm/SeweMSABRG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbes/BarbosaGM12,
author = {Eiji Adachi Barbosa and
Alessandro Garcia and
Mira Mezini},
title = {Heuristic Strategies for Recommendation of Exception Handling Code},
booktitle = {26th Brazilian Symposium on Software Engineering, {SBES} 2012, Natal,
Brazil, September 23-28, 2012},
pages = {171--180},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/SBES.2012.22},
doi = {10.1109/SBES.2012.22},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbes/BarbosaGM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/ZhengAMSBVTQM12,
author = {Yudi Zheng and
Danilo Ansaloni and
Luk{\'{a}}s Marek and
Andreas Sewe and
Walter Binder and
Alex Villaz{\'{o}}n and
Petr Tuma and
Zhengwei Qi and
Mira Mezini},
editor = {Carlo A. Furia and
Sebastian Nanz},
title = {Turbo DiSL: Partial Evaluation for High-Level Bytecode Instrumentation},
booktitle = {Objects, Models, Components, Patterns - 50th International Conference,
{TOOLS} 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7304},
pages = {353--368},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30561-0\_24},
doi = {10.1007/978-3-642-30561-0\_24},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tools/ZhengAMSBVTQM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1203-5188,
author = {Stefan Hen{\ss} and
Martin Monperrus and
Mira Mezini},
title = {Semi-Automatically Extracting FAQs to Improve Accessibility of Software
Development Knowledge},
journal = {CoRR},
volume = {abs/1203.5188},
year = {2012},
url = {http://arxiv.org/abs/1203.5188},
eprinttype = {arXiv},
eprint = {1203.5188},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1203-5188.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1205-6361,
author = {Markus Kimmig and
Martin Monperrus and
Mira Mezini},
title = {Querying Source Code with Natural Language},
journal = {CoRR},
volume = {abs/1205.6361},
year = {2012},
url = {http://arxiv.org/abs/1205.6361},
eprinttype = {arXiv},
eprint = {1205.6361},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1205-6361.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1205-6363,
author = {Martin Monperrus and
Michael Eichberg and
Elif Tekes and
Mira Mezini},
title = {What Should Developers Be Aware Of? An Empirical Study on the Directives
of {API} Documentation},
journal = {CoRR},
volume = {abs/1205.6363},
year = {2012},
url = {http://arxiv.org/abs/1205.6363},
eprinttype = {arXiv},
eprint = {1205.6363},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1205-6363.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/MitschkeSM11,
author = {Ralf Mitschke and
Andreas Sewe and
Mira Mezini},
editor = {Bram Adams and
Michael Haupt and
David H. Lorenz and
Eric Wohlstadter},
title = {Magic for the masses: safer high-level low-level programming through
customizable static analyses},
booktitle = {Proceedings of the 1st workshop on Modularity in systems software,
MISS@AOSD 2011, Porto de Galinhas, Brazil, March 22, 2011},
pages = {13--17},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1960518.1960522},
doi = {10.1145/1960518.1960522},
timestamp = {Wed, 22 Dec 2021 15:06:48 +0100},
biburl = {https://dblp.org/rec/conf/aosd/MitschkeSM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/SatabinM11,
author = {Lucas Satabin and
Mira Mezini},
editor = {Paulo Borba and
Shigeru Chiba},
title = {Event-driven programming with EScala},
booktitle = {Companion Volume of the 10th International Conference on Aspect-Oriented
Software Development, {AOSD} 2011, Porto de Galinhas, Brazil, March
21-25, 2011},
pages = {67--68},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1960314.1960336},
doi = {10.1145/1960314.1960336},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aosd/SatabinM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/GasiunasSMNN11,
author = {Vaidas Gasiunas and
Lucas Satabin and
Mira Mezini and
Angel N{\'{u}}{\~{n}}ez and
Jacques Noy{\'{e}}},
editor = {Paulo Borba and
Shigeru Chiba},
title = {EScala: modular event-driven object interactions in scala},
booktitle = {Proceedings of the 10th International Conference on Aspect-Oriented
Software Development, {AOSD} 2011, Porto de Galinhas, Brazil, March
21-25, 2011},
pages = {227--240},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1960275.1960303},
doi = {10.1145/1960275.1960303},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aosd/GasiunasSMNN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecows/SchmelingCTM11,
author = {Benjamin Schmeling and
Anis Charfi and
Rainer Thome and
Mira Mezini},
editor = {Gianluigi Zavattaro and
Ulf Schreier and
Cesare Pautasso},
title = {Composing Non-functional Concerns in Web Services},
booktitle = {9th {IEEE} European Conference on Web Services, {ECOWS} 2011, Lugano,
Switzerland, September 14-16, 2011},
pages = {73--80},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/ECOWS.2011.25},
doi = {10.1109/ECOWS.2011.25},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecows/SchmelingCTM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BoddenSSOM11,
author = {Eric Bodden and
Andreas Sewe and
Jan Sinschek and
Hela Oueslati and
Mira Mezini},
editor = {Richard N. Taylor and
Harald C. Gall and
Nenad Medvidovic},
title = {Taming reflection: Aiding static analysis in the presence of reflection
and custom class loaders},
booktitle = {Proceedings of the 33rd International Conference on Software Engineering,
{ICSE} 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011},
pages = {241--250},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1985793.1985827},
doi = {10.1145/1985793.1985827},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/BoddenSSOM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/SchmelingCM11,
author = {Benjamin Schmeling and
Anis Charfi and
Mira Mezini},
title = {Composing Non-functional Concerns in Composite Web Services},
booktitle = {{IEEE} International Conference on Web Services, {ICWS} 2011, Washington,
DC, USA, July 4-9, 2011},
pages = {331--338},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICWS.2011.111},
doi = {10.1109/ICWS.2011.111},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icws/SchmelingCM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/KimmigMM11,
author = {Markus Kimmig and
Martin Monperrus and
Mira Mezini},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Querying source code with natural language},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {376--379},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100076},
doi = {10.1109/ASE.2011.6100076},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/KimmigMM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/KnollGM11,
author = {Roman Kn{\"{o}}ll and
Vaidas Gasiunas and
Mira Mezini},
editor = {Robert Hirschfeld and
Eelco Visser},
title = {Naturalistic types},
booktitle = {{ACM} Symposium on New Ideas in Programming and Reflections on Software,
Onward! 2011, part of {SPLASH} '11, Portland, OR, USA, October 22-27,
2011},
pages = {33--48},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2048237.2048243},
doi = {10.1145/2048237.2048243},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/KnollGM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/SarimbekovBSMV11,
author = {Aibek Sarimbekov and
Walter Binder and
Andreas Sewe and
Mira Mezini and
Alex Villaz{\'{o}}n},
editor = {Cristina Videira Lopes and
Kathleen Fisher},
title = {{JP2:} collecting dynamic bytecode metrics in JVMs},
booktitle = {Companion to the 26th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2011,
part of {SPLASH} 2011, Portland, OR, USA, October 22 - 27, 2011},
pages = {35--36},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2048147.2048165},
doi = {10.1145/2048147.2048165},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/SarimbekovBSMV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/SeweJM11,
author = {Andreas Sewe and
Jannik Jochem and
Mira Mezini},
editor = {Cristina Videira Lopes},
title = {Next in line, please!: exploiting the indirect benefits of inlining
by accurately predicting further inlining},
booktitle = {SPLASH'11 Workshops - Compilation Proceedings of the Co-Located Workshops:
DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, and VMIL'11, Portland,
OR, USA, October 22-27, 2011},
pages = {317--328},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2095050.2095102},
doi = {10.1145/2095050.2095102},
timestamp = {Fri, 11 Feb 2022 13:59:03 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/SeweJM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/SeweMSB11,
author = {Andreas Sewe and
Mira Mezini and
Aibek Sarimbekov and
Walter Binder},
editor = {Cristina Videira Lopes and
Kathleen Fisher},
title = {Da capo con scala: design and analysis of a scala benchmark suite
for the java virtual machine},
booktitle = {Proceedings of the 26th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2011,
part of {SPLASH} 2011, Portland, OR, USA, October 22 - 27, 2011},
pages = {657--676},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2048066.2048118},
doi = {10.1145/2048066.2048118},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/SeweMSB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pppj/SarimbekovSBMSM11,
author = {Aibek Sarimbekov and
Andreas Sewe and
Walter Binder and
Philippe Moret and
Martin Schoeberl and
Mira Mezini},
editor = {Christian W. Probst and
Christian Wimmer},
title = {Portable and accurate collection of calling-context-sensitive bytecode
metrics for the Java virtual machine},
booktitle = {Proceedings of the 9th International Conference on Principles and
Practice of Programming in Java, {PPPJ} 2011, Kongens Lyngby, Denmark,
August 24-26, 2011},
pages = {11--20},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2093157.2093160},
doi = {10.1145/2093157.2093160},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pppj/SarimbekovSBMSM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/DinkelakerEM11,
author = {Tom Dinkelaker and
Michael Eichberg and
Mira Mezini},
editor = {William C. Chu and
W. Eric Wong and
Mathew J. Palakal and
Chih{-}Cheng Hung},
title = {Incremental concrete syntax for embedded languages},
booktitle = {Proceedings of the 2011 {ACM} Symposium on Applied Computing (SAC),
TaiChung, Taiwan, March 21 - 24, 2011},
pages = {1309--1316},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1982185.1982470},
doi = {10.1145/1982185.1982470},
timestamp = {Tue, 06 Nov 2018 11:06:49 +0100},
biburl = {https://dblp.org/rec/conf/sac/DinkelakerEM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/BockischSMA11,
author = {Christoph Bockisch and
Andreas Sewe and
Mira Mezini and
Mehmet Aksit},
editor = {Judith Bishop and
Antonio Vallecillo},
title = {An Overview of {ALIA4J} - An Execution Model for Advanced-Dispatching
Languages},
booktitle = {Objects, Models, Components, Patterns - 49th International Conference,
{TOOLS} 2011, Zurich, Switzerland, June 28-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6705},
pages = {131--146},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21952-8\_11},
doi = {10.1007/978-3-642-21952-8\_11},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/tools/BockischSMA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SarimbekovMBSM11,
author = {Aibek Sarimbekov and
Philippe Moret and
Walter Binder and
Andreas Sewe and
Mira Mezini},
editor = {Pierre Ganty and
Mark Marron},
title = {Complete and Platform-Independent Calling Context Profiling for the
Java Virtual Machine},
booktitle = {Proceedings of the Sixth Workshop on Bytecode Semantics, Verification,
Analysis and Transformation, Bytecode@ETAPS 2011, Saarbr{\"{u}}cken,
Germany, March 27, 2011},
series = {Electronic Notes in Theoretical Computer Science},
volume = {279},
number = {1},
pages = {61--74},
publisher = {Elsevier},
year = {2011},
url = {https://doi.org/10.1016/j.entcs.2011.11.006},
doi = {10.1016/J.ENTCS.2011.11.006},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SarimbekovMBSM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2011,
editor = {Mira Mezini},
title = {{ECOOP} 2011 - Object-Oriented Programming - 25th European Conference,
Lancaster, UK, July 25-29, 2011 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6813},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22655-7},
doi = {10.1007/978-3-642-22655-7},
isbn = {978-3-642-22654-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/taosd/2011-8,
editor = {Shmuel Katz and
Mira Mezini and
Christa Schwanninger and
Wouter Joosen},
title = {Transactions on Aspect-Oriented Software Development {VIII}},
series = {Lecture Notes in Computer Science},
volume = {6580},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22031-9},
doi = {10.1007/978-3-642-22031-9},
isbn = {978-3-642-22030-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/taosd/2011-8.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/DinkelakerEM10,
author = {Tom Dinkelaker and
Michael Eichberg and
Mira Mezini},
editor = {Jean{-}Marc J{\'{e}}z{\'{e}}quel and
Mario S{\"{u}}dholt},
title = {An architecture for composing embedded domain-specific languages},
booktitle = {Proceedings of the 9th International Conference on Aspect-Oriented
Software Development, {AOSD} 2010, Rennes and Saint-Malo, France,
March 15-19, 2010},
pages = {49--60},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1739230.1739237},
doi = {10.1145/1739230.1739237},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aosd/DinkelakerEM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbse/EichbergKMM10,
author = {Michael Eichberg and
Karl Klose and
Ralf Mitschke and
Mira Mezini},
editor = {Lars Grunske and
Ralf H. Reussner and
Frantisek Pl{\'{a}}sil},
title = {Component Composition Using Feature Models},
booktitle = {Component-Based Software Engineering, 13th International Symposium,
{CBSE} 2010, Prague, Czech Republic, June 23-25, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6092},
pages = {200--215},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13238-4\_12},
doi = {10.1007/978-3-642-13238-4\_12},
timestamp = {Fri, 21 Oct 2022 16:47:28 +0200},
biburl = {https://dblp.org/rec/conf/cbse/EichbergKMM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecmdafa/CharfiMM10,
author = {Anis Charfi and
Heiko M{\"{u}}ller and
Mira Mezini},
editor = {Thomas K{\"{u}}hne and
Bran Selic and
Marie{-}Pierre Gervais and
Fran{\c{c}}ois Terrier},
title = {Aspect-Oriented Business Process Modeling with {AO4BPMN}},
booktitle = {Modelling Foundations and Applications - 6th European Conference,
{ECMFA} 2010, Paris, France, June 15-18, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6138},
pages = {48--61},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13595-8\_6},
doi = {10.1007/978-3-642-13595-8\_6},
timestamp = {Tue, 16 Feb 2021 15:53:52 +0100},
biburl = {https://dblp.org/rec/conf/ecmdafa/CharfiMM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecmdafa/EichbergMKM10,
author = {Michael Eichberg and
Martin Monperrus and
Sven Kloppenburg and
Mira Mezini},
editor = {Thomas K{\"{u}}hne and
Bran Selic and
Marie{-}Pierre Gervais and
Fran{\c{c}}ois Terrier},
title = {Model-Driven Engineering of Machine Executable Code},
booktitle = {Modelling Foundations and Applications - 6th European Conference,
{ECMFA} 2010, Paris, France, June 15-18, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6138},
pages = {104--115},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13595-8\_10},
doi = {10.1007/978-3-642-13595-8\_10},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecmdafa/EichbergMKM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/MonperrusBM10,
author = {Martin Monperrus and
Marcel Bruch and
Mira Mezini},
editor = {Theo D'Hondt},
title = {Detecting Missing Method Calls in Object-Oriented Software},
booktitle = {{ECOOP} 2010 - Object-Oriented Programming, 24th European Conference,
Maribor, Slovenia, June 21-25, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6183},
pages = {2--25},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14107-2\_2},
doi = {10.1007/978-3-642-14107-2\_2},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/MonperrusBM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/RubinBMMP10,
author = {Julia Rubin and
Goetz Botterweck and
Mira Mezini and
Itay Maman and
Andreas Pleuss},
editor = {Jeff Kramer and
Judith Bishop and
Premkumar T. Devanbu and
Sebasti{\'{a}}n Uchitel},
title = {First International Workshop on Product Line Approaches in Software
Engineering {(PLEASE} 2010)},
booktitle = {Proceedings of the 32nd {ACM/IEEE} International Conference on Software
Engineering - Volume 2, {ICSE} 2010, Cape Town, South Africa, 1-8
May 2010},
pages = {439--440},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1810295.1810418},
doi = {10.1145/1810295.1810418},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/RubinBMMP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iiwas/SchmelingCM10,
author = {Benjamin Schmeling and
Anis Charfi and
Mira Mezini},
editor = {Gabriele Kotsis and
David Taniar and
Eric Pardede and
Imad Saleh and
Ismail Khalil},
title = {Non-functional concerns in web services: requirements and state of
the art analysis},
booktitle = {iiWAS'2010 - The 12th International Conference on Information Integration
and Web-based Applications and Services, 8-10 November 2010, Paris,
France},
pages = {67--74},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1967486.1967501},
doi = {10.1145/1967486.1967501},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iiwas/SchmelingCM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msr/BruchMM10,
author = {Marcel Bruch and
Mira Mezini and
Martin Monperrus},
editor = {Jim Whitehead and
Thomas Zimmermann},
title = {Mining subclassing directives to improve framework reuse},
booktitle = {Proceedings of the 7th International Working Conference on Mining
Software Repositories, {MSR} 2010 (Co-located with ICSE), Cape Town,
South Africa, May 2-3, 2010, Proceedings},
pages = {141--150},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/MSR.2010.5463347},
doi = {10.1109/MSR.2010.5463347},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/msr/BruchMM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pppj/SeweYSM10,
author = {Andreas Sewe and
Dingwen Yuan and
Jan Sinschek and
Mira Mezini},
editor = {Andreas Krall and
Hanspeter M{\"{o}}ssenb{\"{o}}ck},
title = {Headroom-based pretenuring: dynamically pretenuring objects that live
"long enough"},
booktitle = {Proceedings of the 8th International Conference on Principles and
Practice of Programming in Java, {PPPJ} 2010, Vienna, Austria, September
15-17, 2010},
pages = {29--38},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1852761.1852767},
doi = {10.1145/1852761.1852767},
timestamp = {Mon, 26 Nov 2018 15:05:58 +0100},
biburl = {https://dblp.org/rec/conf/pppj/SeweYSM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BruchBMM10,
author = {Marcel Bruch and
Eric Bodden and
Martin Monperrus and
Mira Mezini},
editor = {Gruia{-}Catalin Roman and
Kevin J. Sullivan},
title = {{IDE} 2.0: collective intelligence in software development},
booktitle = {Proceedings of the Workshop on Future of Software Engineering Research,
FoSER 2010, at the 18th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November
7-11, 2010},
pages = {53--58},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1882362.1882374},
doi = {10.1145/1882362.1882374},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/BruchBMM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2010please,
editor = {Julia Rubin and
Goetz Botterweck and
Mira Mezini and
Itay Maman and
Andreas Pleuss},
title = {Proceedings of the 2010 {ICSE} Workshop on Product Line Approaches
in Software Engineering, {PLEASE} 2010, Cape Town, South Africa, May
2, 2010},
publisher = {{ACM}},
year = {2010},
url = {http://dl.acm.org/citation.cfm?id=1808937},
isbn = {978-1-60558-968-8},
timestamp = {Tue, 11 Aug 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/2010please.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/taosd/2010-7,
editor = {Shmuel Katz and
Mira Mezini and
J{\"{o}}rg Kienzle},
title = {Transactions on Aspect-Oriented Software Development {VII} - {A} Common
Case Study for Aspect-Oriented Modeling},
series = {Lecture Notes in Computer Science},
volume = {6210},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16086-8},
doi = {10.1007/978-3-642-16086-8},
isbn = {978-3-642-16085-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/taosd/2010-7.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijics/KallelCMJS09,
author = {Slim Kallel and
Anis Charfi and
Mira Mezini and
Mohamed Jmaiel and
Andreas Sewe},
title = {A holistic approach for access control policies: from formal specification
to aspect-based enforcement},
journal = {Int. J. Inf. Comput. Secur.},
volume = {3},
number = {3/4},
pages = {337--354},
year = {2009},
url = {https://doi.org/10.1504/IJICS.2009.031044},
doi = {10.1504/IJICS.2009.031044},
timestamp = {Thu, 01 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijics/KallelCMJS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/DinkelakerMM09,
author = {Tom Dinkelaker and
Martin Monperrus and
Mira Mezini},
editor = {Thomas Cleenewerck and
Johan Fabry and
Anne{-}Fran{\c{c}}oise Le Meur and
Jacques Noy{\'{e}} and
{\'{E}}ric Tanter},
title = {Untangling crosscutting concerns in domain-specific languages with
domain-specific join points},
booktitle = {Proceedings of the 4th workshop on Domain-specific aspect languages,
{DSAL} '09, Charlottesville, Virginia, USA, March 3, 2009},
pages = {1--6},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1509307.1509309},
doi = {10.1145/1509307.1509309},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aosd/DinkelakerMM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/DinkelakerMB09,
author = {Tom Dinkelaker and
Mira Mezini and
Christoph Bockisch},
editor = {Kevin J. Sullivan and
Ana Moreira and
Christa Schwanninger and
Jeff Gray},
title = {The art of the meta-aspect protocol},
booktitle = {Proceedings of the 8th International Conference on Aspect-Oriented
Software Development, {AOSD} 2009, Charlottesville, Virginia, USA,
March 2-6, 2009},
pages = {51--62},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1509239.1509248},
doi = {10.1145/1509239.1509248},
timestamp = {Mon, 21 Jun 2021 12:26:27 +0200},
biburl = {https://dblp.org/rec/conf/aosd/DinkelakerMB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecows/KallelCDMJ09,
author = {Slim Kallel and
Anis Charfi and
Tom Dinkelaker and
Mira Mezini and
Mohamed Jmaiel},
editor = {Rik Eshuis and
Paul W. P. J. Grefen and
George Angelos Papadopoulos},
title = {Specifying and Monitoring Temporal Properties in Web Services Compositions},
booktitle = {Seventh {IEEE} European Conference on Web Services {(ECOWS} 2009),
9-11 November 2009, Eindhoven, The Netherlands},
pages = {148--157},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ECOWS.2009.15},
doi = {10.1109/ECOWS.2009.15},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecows/KallelCDMJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/essos/KallelCMJK09,
author = {Slim Kallel and
Anis Charfi and
Mira Mezini and
Mohamed Jmaiel and
Karl Klose},
editor = {Fabio Massacci and
Samuel T. Redwine Jr. and
Nicola Zannone},
title = {From Formal Access Control Policies to Runtime Enforcement Aspects},
booktitle = {Engineering Secure Software and Systems, First International Symposium
ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5429},
pages = {16--31},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00199-4\_2},
doi = {10.1007/978-3-642-00199-4\_2},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/essos/KallelCMJK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/CharfiDM09,
author = {Anis Charfi and
Tom Dinkelaker and
Mira Mezini},
title = {A Plug-in Architecture for Self-Adaptive Web Service Compositions},
booktitle = {{IEEE} International Conference on Web Services, {ICWS} 2009, Los
Angeles, CA, USA, 6-10 July 2009},
pages = {35--42},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICWS.2009.125},
doi = {10.1109/ICWS.2009.125},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icws/CharfiDM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/SinschekSM09,
author = {Jan Sinschek and
Andreas Sewe and
Mira Mezini},
editor = {Hridesh Rajan and
Christoph Bockisch and
Michael Haupt and
Robert Dyer},
title = {{VM} performance evaluation with functional models: an optimist's
outlook},
booktitle = {VMIL@OOPSLA 2009: Proceedings of the Third Workshop on Virtual Machines
and Intermediate Languages, Orlando, Florida, USA, October 25 - 29,
2009},
pages = {6:1--6:2},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1711506.1711512},
doi = {10.1145/1711506.1711512},
timestamp = {Fri, 10 Dec 2021 08:14:47 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/SinschekSM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/KnollM09,
author = {Roman Kn{\"{o}}ll and
Mira Mezini},
editor = {Shail Arora and
Gary T. Leavens},
title = {pi: a pattern language},
booktitle = {Proceedings of the 24th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2009,
October 25-29, 2009, Orlando, Florida, {USA}},
pages = {503--522},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1640089.1640128},
doi = {10.1145/1640089.1640128},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/KnollM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BruchMM09,
author = {Marcel Bruch and
Martin Monperrus and
Mira Mezini},
editor = {Hans van Vliet and
Val{\'{e}}rie Issarny},
title = {Learning from examples to improve code completion systems},
booktitle = {Proceedings of the 7th joint meeting of the European Software Engineering
Conference and the {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering, 2009, Amsterdam, The Netherlands, August
24-28, 2009},
pages = {213--222},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1595696.1595728},
doi = {10.1145/1595696.1595728},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/BruchMM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CepaM08,
author = {Vasian Cepa and
Mira Mezini},
title = {Language support for model-driven software development},
journal = {Sci. Comput. Program.},
volume = {73},
number = {1},
pages = {13--25},
year = {2008},
url = {https://doi.org/10.1016/j.scico.2008.05.003},
doi = {10.1016/J.SCICO.2008.05.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/CepaM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/DinkelakerM08,
author = {Tom Dinkelaker and
Mira Mezini},
title = {Dynamically linked domain-specific extensions for advice languages},
booktitle = {Proceedings of the 2008 {AOSD} workshop on Domain-specific aspect
languages, {DSAL} '08, Brussels, Belgium, April 1, 2008},
pages = {3:1--3:7},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1404927.1404930},
doi = {10.1145/1404927.1404930},
timestamp = {Mon, 20 Dec 2021 17:12:09 +0100},
biburl = {https://dblp.org/rec/conf/aosd/DinkelakerM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/crisis/KallelCMJ08,
author = {Slim Kallel and
Anis Charfi and
Mira Mezini and
Mohamed Jmaiel},
editor = {Mohamed Jmaiel and
Mohamed Mosbah},
title = {Aspect-based enforcement of formal delegation policies},
booktitle = {CRiSIS '08, Third International Conference on Risks and Security of
Internet and Systems, Tozeur, Tunisia, October 28-30, 2008},
pages = {9--17},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/CRISIS.2008.4757459},
doi = {10.1109/CRISIS.2008.4757459},
timestamp = {Tue, 11 Oct 2022 14:59:07 +0200},
biburl = {https://dblp.org/rec/conf/crisis/KallelCMJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foal/SeweBM08,
author = {Andreas Sewe and
Christoph Bockisch and
Mira Mezini},
editor = {Curtis Clifton},
title = {Redundancy-free residual dispatch: using ordered binary decision diagrams
for efficient dispatch},
booktitle = {Proceedings of the 7th Workshop on Foundations of Aspect-Oriented
Languages, {FOAL} 2008, Brussels, Belgium, April 1, 2008},
pages = {1--7},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1394496.1394497},
doi = {10.1145/1394496.1394497},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foal/SeweBM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/EichbergKKM08,
author = {Michael Eichberg and
Sven Kloppenburg and
Karl Klose and
Mira Mezini},
editor = {Wilhelm Sch{\"{a}}fer and
Matthew B. Dwyer and
Volker Gruhn},
title = {Defining and continuous checking of structural program dependencies},
booktitle = {30th International Conference on Software Engineering {(ICSE} 2008),
Leipzig, Germany, May 10-18, 2008},
pages = {391--400},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1368088.1368142},
doi = {10.1145/1368088.1368142},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/EichbergKKM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SchaferJM08,
author = {Thorsten Sch{\"{a}}fer and
Jan Jonas and
Mira Mezini},
editor = {Wilhelm Sch{\"{a}}fer and
Matthew B. Dwyer and
Volker Gruhn},
title = {Mining framework usage changes from instantiation code},
booktitle = {30th International Conference on Software Engineering {(ICSE} 2008),
Leipzig, Germany, May 10-18, 2008},
pages = {471--480},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1368088.1368153},
doi = {10.1145/1368088.1368153},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/SchaferJM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/SeweBM08,
author = {Andreas Sewe and
Christoph Bockisch and
Mira Mezini},
editor = {Hridesh Rajan},
title = {Aspects and class-based security: a survey of interactions between
advice weaving and the Java 2 security model},
booktitle = {VMIL@OOPSLA 2008: Proceedings of the 2nd Workshop on Virtual Machines
and Intermediate Languages for emerging modularization mechanisms,
Nashville, Tennessee, USA, October 21 - 23, 2008},
pages = {3:1--3:7},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1507504.1507507},
doi = {10.1145/1507504.1507507},
timestamp = {Mon, 14 Feb 2022 14:47:03 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/SeweBM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BruchM08,
author = {Marcel Bruch and
Mira Mezini},
title = {Improving code recommender systems by incorporating domain knowledge
and graphical models},
booktitle = {Proceedings of the 2008 International Workshop on Recommendation Systems
for Software Engineering, {RSSE} 2008, Atlanta, GA, USA, November
9, 2008},
pages = {3},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1454247.1454267},
doi = {10.1145/1454247.1454267},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/BruchM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BruchSM08,
author = {Marcel Bruch and
Thorsten Sch{\"{a}}fer and
Mira Mezini},
title = {On evaluating recommender systems for {API} usages},
booktitle = {Proceedings of the 2008 International Workshop on Recommendation Systems
for Software Engineering, {RSSE} 2008, Atlanta, GA, USA, November
9, 2008},
pages = {16--20},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1454247.1454254},
doi = {10.1145/1454247.1454254},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/BruchSM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:conf/www/CharfiM07,
author = {Anis Charfi and
Mira Mezini},
title = {{AO4BPEL:} An Aspect-oriented Extension to {BPEL}},
journal = {World Wide Web},
number = {3},
pages = {309--344},
year = {2007},
url = {https://doi.org/10.1007/s11280-006-0016-3},
doi = {10.1007/S11280-006-0016-3},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/www/CharfiM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/BockischM07,
author = {Christoph Bockisch and
Mira Mezini},
editor = {Hridesh Rajan and
Mira Mezini},
title = {A flexible architecture for pointcut-advice language implementations},
booktitle = {Proceedings of the 1st Workshop on Virtual Machines and Intermediate
Languages for Emerging Modularization Mechanisms, {VMIL} 2007, Vancouver,
British Columbia, Canada, March 12-16, 2007},
series = {{ACM} International Conference Proceeding Series},
volume = {212},
pages = {1},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1230136.1230137},
doi = {10.1145/1230136.1230137},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aosd/BockischM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/KallelCMJ07,
author = {Slim Kallel and
Anis Charfi and
Mira Mezini and
Mohamed Jmaiel},
editor = {Amy L. Murphy and
Jan Vitek},
title = {Combining Formal Methods and Aspects for Specifying and Enforcing
Architectural Invariants},
booktitle = {Coordination Models and Languages, 9th International Conference, {COORDINATION}
2007, Paphos, Cyprus, June 6-8, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4467},
pages = {211--230},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72794-1\_12},
doi = {10.1007/978-3-540-72794-1\_12},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/KallelCMJ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecows/CharfiBMS07,
author = {Anis Charfi and
Rainer Berbner and
Mira Mezini and
Ralf Steinmetz},
editor = {Cesare Pautasso and
Thomas Gschwind},
title = {Management Requirements of Web Service Compositions},
booktitle = {Proceedings of the 2nd {ECOWS07} Workshop on Emerging Web Services
Technology, {WEWST} 2007, Halle (Saale), Germany, November 26, 2007},
series = {{CEUR} Workshop Proceedings},
volume = {313},
publisher = {CEUR-WS.org},
year = {2007},
url = {https://ceur-ws.org/Vol-313/paper6.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:23 +0100},
biburl = {https://dblp.org/rec/conf/ecows/CharfiBMS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecows/CharfiBMS07a,
author = {Anis Charfi and
Rainer Berbner and
Mira Mezini and
Ralf Steinmetz},
editor = {Thomas Gschwind and
Cesare Pautasso},
title = {On the Management Requirements of Web Service Compositions},
booktitle = {Emerging Web Services Technology, Volume II, Final Proceedings of
the 2nd {ECOWS07} Workshop on Emerging Web Services Technology, WEWST@ECOWS
2007, Halle (Saale), Germany, November 26, 2007},
series = {Whitestein series in software agent technologies and autonomic computing},
pages = {97--109},
publisher = {Birkh{\"{a}}user / Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-7643-8864-5\_7},
doi = {10.1007/978-3-7643-8864-5\_7},
timestamp = {Thu, 18 Jul 2019 16:35:16 +0200},
biburl = {https://dblp.org/rec/conf/ecows/CharfiBMS07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecows/CharfiSM07,
author = {Anis Charfi and
Benjamin Schmeling and
Mira Mezini},
title = {Transactional {BPEL} Processes with {AO4BPEL} Aspects},
booktitle = {Fifth {IEEE} European Conference on Web Services {(ECOWS} 2007), 26-28
November 2007, Halle (Saale), Germany},
pages = {149--158},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ECOWS.2007.17},
doi = {10.1109/ECOWS.2007.17},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecows/CharfiSM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/GasiunasMO07,
author = {Vaidas Gasiunas and
Mira Mezini and
Klaus Ostermann},
editor = {Richard P. Gabriel and
David F. Bacon and
Cristina Videira Lopes and
Guy L. Steele Jr.},
title = {Dependent classes},
booktitle = {Proceedings of the 22nd Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2007,
October 21-25, 2007, Montreal, Quebec, Canada},
pages = {133--152},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1297027.1297038},
doi = {10.1145/1297027.1297038},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/GasiunasMO07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/EichbergKSMO07,
author = {Michael Eichberg and
Matthias Kahl and
Diptikalyan Saha and
Mira Mezini and
Klaus Ostermann},
editor = {Michael Hanus},
title = {Automatic Incrementalization of Prolog Based Static Analyses},
booktitle = {Practical Aspects of Declarative Languages, 9th International Symposium,
{PADL} 2007, Nice, France, January 14-15, 2007},
series = {Lecture Notes in Computer Science},
volume = {4354},
pages = {109--123},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-69611-7\_7},
doi = {10.1007/978-3-540-69611-7\_7},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/padl/EichbergKSMO07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/SchaferAMMO07,
author = {Thorsten Sch{\"{a}}fer and
Ivica Aracic and
Matthias Merz and
Mira Mezini and
Klaus Ostermann},
title = {Clustering for Generating Framework Top-Level Views},
booktitle = {14th Working Conference on Reverse Engineering {(WCRE} 2007), 28-31
October 2007, Vancouver, BC, Canada},
pages = {239--248},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/WCRE.2007.16},
doi = {10.1109/WCRE.2007.16},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wcre/SchaferAMMO07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aosd/2007vmil,
editor = {Hridesh Rajan and
Mira Mezini},
title = {Proceedings of the 1st Workshop on Virtual Machines and Intermediate
Languages for Emerging Modularization Mechanisms, {VMIL} 2007, Vancouver,
British Columbia, Canada, March 12-16, 2007},
series = {{ACM} International Conference Proceeding Series},
volume = {212},
publisher = {{ACM}},
year = {2007},
timestamp = {Thu, 14 Aug 2008 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aosd/2007vmil.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taosd/AracicGMO06,
author = {Ivica Aracic and
Vaidas Gasiunas and
Mira Mezini and
Klaus Ostermann},
title = {An Overview of CaesarJ},
journal = {{LNCS} Trans. Aspect Oriented Softw. Dev.},
volume = {1},
pages = {135--173},
year = {2006},
url = {https://doi.org/10.1007/11687061\_5},
doi = {10.1007/11687061\_5},
timestamp = {Fri, 08 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/taosd/AracicGMO06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/SchaferEHM06,
author = {Thorsten Sch{\"{a}}fer and
Michael Eichberg and
Michael Haupt and
Mira Mezini},
title = {The {SEXTANT} Software Exploration Tool},
journal = {{IEEE} Trans. Software Eng.},
volume = {32},
number = {9},
pages = {753--768},
year = {2006},
url = {https://doi.org/10.1109/TSE.2006.94},
doi = {10.1109/TSE.2006.94},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/SchaferEHM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/CharfiM06,
author = {Anis Charfi and
Mira Mezini},
editor = {Jan Mendling},
title = {Middleware Support for {BPEL} Workflows in the {AO4BPEL} Engine},
booktitle = {Proceedings of the {BPM} Demo Session at the Fourth International
Conference on Business Process Management, {BPM} 2006, Vienna, Austria,
5-7 Sept 2006},
series = {{CEUR} Workshop Proceedings},
volume = {203},
publisher = {CEUR-WS.org},
year = {2006},
url = {https://ceur-ws.org/Vol-203/paper6.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:55 +0100},
biburl = {https://dblp.org/rec/conf/bpm/CharfiM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csmr/EichbergGMMS06,
author = {Michael Eichberg and
Daniel Germanus and
Mira Mezini and
Lukas Mrokon and
Thorsten Sch{\"{a}}fer},
title = {QScope: an Open, Extensible Framework for Measuring Software Projects},
booktitle = {10th European Conference on Software Maintenance and Reengineering
{(CSMR} 2006), 22-24 March 2006, Bari, Italy},
pages = {113--122},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/CSMR.2006.42},
doi = {10.1109/CSMR.2006.42},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csmr/EichbergGMMS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eclipse/BruchSM06,
author = {Marcel Bruch and
Thorsten Sch{\"{a}}fer and
Mira Mezini},
editor = {Michael G. Burke and
Alessandro Orso and
Martin P. Robillard},
title = {FrUiT: {IDE} support for framework understanding},
booktitle = {Proceedings of the 2006 {OOPSLA} workshop on Eclipse Technology eXchange,
{ETX} 2006, Portland, Oregon, USA, October 22-23, 2006},
pages = {55--59},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1188835.1188847},
doi = {10.1145/1188835.1188847},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eclipse/BruchSM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecows/CharfiSHM06,
author = {Anis Charfi and
Benjamin Schmeling and
Andreas Heizenreder and
Mira Mezini},
title = {Reliable, Secure, and Transacted Web Service Compositions with {AO4BPEL}},
booktitle = {Fourth {IEEE} European Conference on Web Services {(ECOWS} 2006),
4-6 December 2006, Z{\"{u}}rich, Switzerland},
pages = {23--34},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ECOWS.2006.32},
doi = {10.1109/ECOWS.2006.32},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecows/CharfiSHM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/CharfiSM06,
author = {Anis Charfi and
Benjamin Schmeling and
Mira Mezini},
title = {Reliable Messaging for {BPEL} Processes},
booktitle = {2006 {IEEE} International Conference on Web Services {(ICWS} 2006),
18-22 September 2006, Chicago, Illinois, {USA}},
pages = {293--302},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ICWS.2006.111},
doi = {10.1109/ICWS.2006.111},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icws/CharfiSM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/EichbergMKOR06,
author = {Michael Eichberg and
Mira Mezini and
Sven Kloppenburg and
Klaus Ostermann and
Benjamin Rank},
title = {Integrating and Scheduling an Open Set of Static Analyses},
booktitle = {21st {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2006), 18-22 September 2006, Tokyo, Japan},
pages = {113--122},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ASE.2006.43},
doi = {10.1109/ASE.2006.43},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/EichbergMKOR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BockischADM06,
author = {Christoph Bockisch and
Matthew Arnold and
Tom Dinkelaker and
Mira Mezini},
editor = {Peri L. Tarr and
William R. Cook},
title = {Adapting virtual machine techniques for seamless aspect support},
booktitle = {Proceedings of the 21th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2006,
October 22-26, 2006, Portland, Oregon, {USA}},
pages = {109--124},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1167473.1167483},
doi = {10.1145/1167473.1167483},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/BockischADM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BockischKHAM06,
author = {Christoph Bockisch and
Sebastian Kanthak and
Michael Haupt and
Matthew Arnold and
Mira Mezini},
editor = {Peri L. Tarr and
William R. Cook},
title = {Efficient control flow quantification},
booktitle = {Proceedings of the 21th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2006,
October 22-26, 2006, Portland, Oregon, {USA}},
pages = {125--138},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1167473.1167484},
doi = {10.1145/1167473.1167484},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/BockischKHAM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/KnollM06,
author = {Roman Kn{\"{o}}ll and
Mira Mezini},
editor = {Peri L. Tarr and
William R. Cook},
title = {Pegasus: first steps toward a naturalistic programming language},
booktitle = {Companion to the 21th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2006,
October 22-26, 2006, Portland, Oregon, {USA}},
pages = {542--559},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1176617.1176628},
doi = {10.1145/1176617.1176628},
timestamp = {Sat, 31 Jul 2021 17:22:24 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/KnollM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/CharfiM06,
author = {Anis Charfi and
Mira Mezini},
editor = {Robert Meersman and
Zahir Tari},
title = {Aspect-Oriented Workflow Languages},
booktitle = {On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA,
and ODBASE, {OTM} Confederated International Conferences, CoopIS,
DOA, GADA, and {ODBASE} 2006, Montpellier, France, October 29 - November
3, 2006. Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {4275},
pages = {183--200},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11914853\_12},
doi = {10.1007/11914853\_12},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/otm/CharfiM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/EichbergKKMS06,
author = {Michael Eichberg and
Sebastian Kanthak and
Sven Kloppenburg and
Mira Mezini and
Tobias Schuh},
editor = {John Boyland and
Anthony Sloane},
title = {Incremental Confined Types Analysis},
booktitle = {Proceedings of the Sixth Workshop on Language Descriptions, Tools,
and Applications, LDTA@ETAPS 2006, Vienna, Austria, April 1, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {164},
number = {2},
pages = {81--96},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.10.006},
doi = {10.1016/J.ENTCS.2006.10.006},
timestamp = {Fri, 20 Jan 2023 13:00:45 +0100},
biburl = {https://dblp.org/rec/journals/entcs/EichbergKKMS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/Lobjet/HauptM05,
author = {Michael Haupt and
Mira Mezini},
title = {Virtual Machine Support for Aspects with Advice Instance Tables},
journal = {Obj. Logiciel Base donn{\'{e}}es R{\'{e}}seaux},
volume = {11},
number = {3},
pages = {9--30},
year = {2005},
url = {https://doi.org/10.3166/objet.11.3.9-30},
doi = {10.3166/OBJET.11.3.9-30},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/Lobjet/HauptM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eclipse/BruchBSM05,
author = {Marcel Bruch and
Christoph Bockisch and
Thorsten Sch{\"{a}}fer and
Mira Mezini},
editor = {Margaret{-}Anne D. Storey and
Michael G. Burke and
Li{-}Te Cheng and
Andr{\'{e}} van der Hoek},
title = {eAssignment: a case for {EMF}},
booktitle = {Proceedings of the 2005 {OOPSLA} workshop on Eclipse Technology eXchange,
{ETX} 2005, San Diego, California, USA, October 16-17, 2005},
pages = {110--114},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1117696.1117719},
doi = {10.1145/1117696.1117719},
timestamp = {Mon, 14 Feb 2022 14:38:20 +0100},
biburl = {https://dblp.org/rec/conf/eclipse/BruchBSM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/KiczalesM05,
author = {Gregor Kiczales and
Mira Mezini},
editor = {Andrew P. Black},
title = {Separation of Concerns with Procedures, Annotations, Advice and Pointcuts},
booktitle = {{ECOOP} 2005 - Object-Oriented Programming, 19th European Conference,
Glasgow, UK, July 25-29, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3586},
pages = {195--213},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11531142\_9},
doi = {10.1007/11531142\_9},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/KiczalesM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/OstermannMB05,
author = {Klaus Ostermann and
Mira Mezini and
Christoph Bockisch},
editor = {Andrew P. Black},
title = {Expressive Pointcuts for Increased Modularity},
booktitle = {{ECOOP} 2005 - Object-Oriented Programming, 19th European Conference,
Glasgow, UK, July 25-29, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3586},
pages = {214--240},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11531142\_10},
doi = {10.1007/11531142\_10},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/OstermannMB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/EichbergSM05,
author = {Michael Eichberg and
Thorsten Sch{\"{a}}fer and
Mira Mezini},
editor = {Maura Cerioli},
title = {Using Annotations to Check Structural Properties of Classes},
booktitle = {Fundamental Approaches to Software Engineering, 8th International
Conference, {FASE} 2005, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April
4-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3442},
pages = {237--252},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31984-9\_18},
doi = {10.1007/978-3-540-31984-9\_18},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/EichbergSM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/CepaM05,
author = {Vasian Cepa and
Mira Mezini},
title = {MobCon: {A} Generative Middleware Framework for Java Mobile Applications},
booktitle = {38th Hawaii International Conference on System Sciences {(HICSS-38}
2005), {CD-ROM} / Abstracts Proceedings, 3-6 January 2005, Big Island,
HI, {USA}},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/HICSS.2005.431},
doi = {10.1109/HICSS.2005.431},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/CepaM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/KiczalesM05,
author = {Gregor Kiczales and
Mira Mezini},
editor = {Gruia{-}Catalin Roman and
William G. Griswold and
Bashar Nuseibeh},
title = {Aspect-oriented programming and modular reasoning},
booktitle = {27th International Conference on Software Engineering {(ICSE} 2005),
15-21 May 2005, St. Louis, Missouri, {USA}},
pages = {49--58},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1062455.1062482},
doi = {10.1145/1062455.1062482},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/KiczalesM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/EichbergHMS05,
author = {Michael Eichberg and
Michael Haupt and
Mira Mezini and
Thorsten Sch{\"{a}}fer},
title = {Comprehensive Software Understanding with {SEXTANT}},
booktitle = {21st {IEEE} International Conference on Software Maintenance {(ICSM}
2005), 25-30 September 2005, Budapest, Hungary},
pages = {315--324},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ICSM.2005.32},
doi = {10.1109/ICSM.2005.32},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsm/EichbergHMS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/CharfiM05,
author = {Anis Charfi and
Mira Mezini},
title = {Using Aspects for Security Engineering of Web Service Compositions},
booktitle = {2005 {IEEE} International Conference on Web Services {(ICWS} 2005),
11-15 July 2005, Orlando, FL, {USA}},
pages = {59--66},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ICWS.2005.126},
doi = {10.1109/ICWS.2005.126},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icws/CharfiM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jit/BockischHMM05,
author = {Christoph Bockisch and
Michael Haupt and
Mira Mezini and
Ralf Mitschke},
editor = {Robert Hirschfeld and
Ryszard Kowalczyk and
Andreas Polze and
Mathias Weske},
title = {Envelope-Based Weaving for Faster Aspect Compilers},
booktitle = {NODe 2005, {GSEM} 2005, Erfurt, Germany, September 20-22, 2005 (Net.ObjectDays)},
series = {{LNI}},
volume = {{P-69}},
pages = {3--18},
publisher = {{GI}},
year = {2005},
url = {https://dl.gi.de/handle/20.500.12116/25112},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jit/BockischHMM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vee/HauptMBDEK05,
author = {Michael Haupt and
Mira Mezini and
Christoph Bockisch and
Tom Dinkelaker and
Michael Eichberg and
Michael Krebs},
editor = {Michael Hind and
Jan Vitek},
title = {An execution layer for aspect-oriented programming languages},
booktitle = {Proceedings of the 1st International Conference on Virtual Execution
Environments, {VEE} 2005, Chicago, IL, USA, June 11-12, 2005},
pages = {142--152},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1064979.1065000},
doi = {10.1145/1064979.1065000},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/vee/HauptMBDEK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vissoft/SchaferM05,
author = {Thorsten Sch{\"{a}}fer and
Mira Mezini},
editor = {St{\'{e}}phane Ducasse and
Michele Lanza and
Andrian Marcus and
Jonathan I. Maletic and
Margaret{-}Anne D. Storey},
title = {Towards More Flexibility in Software Visualization Tools},
booktitle = {Proceedings of the 3rd International Workshop on Visualizing Software
for Understanding and Analysis, {VISSOFT} 2005, Budapest, Hungary,
September 25, 2005},
pages = {64--69},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/VISSOF.2005.1684307},
doi = {10.1109/VISSOF.2005.1684307},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vissoft/SchaferM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/CharfiM05,
author = {Anis Charfi and
Mira Mezini},
editor = {Allan Ellis and
Tatsuya Hagino},
title = {Middleware services for web service compositions},
booktitle = {Proceedings of the 14th international conference on World Wide Web,
{WWW} 2005, Chiba, Japan, May 10-14, 2005 - Special interest tracks
and posters},
pages = {1132--1133},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1062745.1062904},
doi = {10.1145/1062745.1062904},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/www/CharfiM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aosd/2005,
editor = {Mira Mezini and
Peri L. Tarr},
title = {Proceedings of the 4th International Conference on Aspect-Oriented
Software Development, {AOSD} 2005, Chicago, Illinois, USA, March 14-18,
2005},
publisher = {{ACM}},
year = {2005},
isbn = {1-59593-042-6},
timestamp = {Wed, 26 Apr 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aosd/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/BockischHMO04,
author = {Christoph Bockisch and
Michael Haupt and
Mira Mezini and
Klaus Ostermann},
editor = {Gail C. Murphy and
Karl J. Lieberherr},
title = {Virtual machine support for dynamic join points},
booktitle = {Proceedings of the 3rd International Conference on Aspect-Oriented
Software Development, {AOSD} 2004, Lancaster, UK, March 22-24, 2004},
pages = {83--92},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/976270.976282},
doi = {10.1145/976270.976282},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aosd/BockischHMO04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/EichbergMO04,
author = {Michael Eichberg and
Mira Mezini and
Klaus Ostermann},
editor = {Wei{-}Ngan Chin},
title = {Pointcuts as Functional Queries},
booktitle = {Programming Languages and Systems: Second Asian Symposium, {APLAS}
2004, Taipei, Taiwan, November 4-6, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3302},
pages = {366--381},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30477-7\_25},
doi = {10.1007/978-3-540-30477-7\_25},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/EichbergMO04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswec/EichbergMSBH04,
author = {Michael Eichberg and
Mira Mezini and
Thorsten Sch{\"{a}}fer and
Claus Beringer and
Karl Matthias Hamel},
title = {Enforcing System-Wide Properties},
booktitle = {15th Australian Software Engineering Conference {(ASWEC} 2004), 13-16
April 2004, Melbourne, Australia},
pages = {158--167},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ASWEC.2004.1290468},
doi = {10.1109/ASWEC.2004.1290468},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aswec/EichbergMSBH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecows/CharfiM04,
author = {Anis Charfi and
Mira Mezini},
editor = {Liang{-}Jie Zhang},
title = {Aspect-Oriented Web Service Composition with {AO4BPEL}},
booktitle = {Web Services, European Conference, {ECOWS} 2004, Erfurt, Germany,
September 27-30, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3250},
pages = {168--182},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30209-4\_13},
doi = {10.1007/978-3-540-30209-4\_13},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ecows/CharfiM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/CepaM04,
author = {Vasian Cepa and
Mira Mezini},
editor = {Gabor Karsai and
Eelco Visser},
title = {Declaring and Enforcing Dependencies Between .NET Custom Attributes},
booktitle = {Generative Programming and Component Engineering: Third International
Conference, {GPCE} 2004, Vancouver, Canada, October 24-28, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3286},
pages = {283--297},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30175-2\_15},
doi = {10.1007/978-3-540-30175-2\_15},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/gpce/CepaM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/CharfiM04,
author = {Anis Charfi and
Mira Mezini},
editor = {Marco Aiello and
Mikio Aoyama and
Francisco Curbera and
Mike P. Papazoglou},
title = {Hybrid web service composition: business processes meet business rules},
booktitle = {Service-Oriented Computing - {ICSOC} 2004, Second International Conference,
New York, NY, USA, November 15-19, 2004, Proceedings},
pages = {30--38},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1035167.1035173},
doi = {10.1145/1035167.1035173},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsoc/CharfiM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jit/HauptM04,
author = {Michael Haupt and
Mira Mezini},
editor = {Mathias Weske and
Peter Liggesmeyer},
title = {Micro-measurements for Dynamic Aspect-Oriented Systems},
booktitle = {Object-Oriented and Internet-Based Technologies, 5th Annual International
Conference on Object-Oriented and Internet-Based Technologies, Concepts,
and Applications for a NetworkedWorld, Net.ObjectDays 2004, Erfurt,
Germany, September 27-30, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3263},
pages = {81--96},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30196-7\_7},
doi = {10.1007/978-3-540-30196-7\_7},
timestamp = {Fri, 25 Dec 2020 01:14:59 +0100},
biburl = {https://dblp.org/rec/conf/jit/HauptM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sem/EichbergM04,
author = {Michael Eichberg and
Mira Mezini},
editor = {Thomas Gschwind and
Cecilia Mascolo},
title = {Alice: Modularization of Middleware Using Aspect-Oriented Programming},
booktitle = {Software Engineering and Middleware, 4th International Workshop, {SEM}
2004,Linz, Austria, September 20-21, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3437},
pages = {47--63},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11407386\_5},
doi = {10.1007/11407386\_5},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/sem/EichbergM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/MeziniO04,
author = {Mira Mezini and
Klaus Ostermann},
editor = {Richard N. Taylor and
Matthew B. Dwyer},
title = {Variability management with feature-oriented programming and aspects},
booktitle = {Proceedings of the 12th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, 2004, Newport Beach, CA, USA,
October 31 - November 6, 2004},
pages = {127--136},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1029894.1029915},
doi = {10.1145/1029894.1029915},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/MeziniO04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/upp/MeziniO04,
author = {Mira Mezini and
Klaus Ostermann},
editor = {Jean{-}Pierre Ban{\^{a}}tre and
Pascal Fradet and
Jean{-}Louis Giavitto and
Olivier Michel},
title = {A Comparison of Program Generation with Aspect-Oriented Programming},
booktitle = {Unconventional Programming Paradigms, International Workshop {UPP}
2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised
Selected and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {3566},
pages = {342--354},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11527800\_26},
doi = {10.1007/11527800\_26},
timestamp = {Thu, 17 Aug 2023 17:06:47 +0200},
biburl = {https://dblp.org/rec/conf/upp/MeziniO04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/EichbergMOS04,
author = {Michael Eichberg and
Mira Mezini and
Klaus Ostermann and
Thorsten Sch{\"{a}}fer},
title = {{XIRC:} {A} Kernel for Cross-Artifact Information Engineering in Software
Development Environments},
booktitle = {11th Working Conference on Reverse Engineering, {WCRE} 2004, Delft,
The Netherlands, November 8-12, 2004},
pages = {182--191},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/WCRE.2004.45},
doi = {10.1109/WCRE.2004.45},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wcre/EichbergMOS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/PichlerOM03,
author = {Roman Pichler and
Klaus Ostermann and
Mira Mezini},
title = {On aspectualizing component models},
journal = {Softw. Pract. Exp.},
volume = {33},
number = {10},
pages = {957--974},
year = {2003},
url = {https://doi.org/10.1002/spe.534},
doi = {10.1002/SPE.534},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/PichlerOM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/MeziniO03,
author = {Mira Mezini and
Klaus Ostermann},
editor = {Jean{-}Pierre Rosen and
Alfred Strohmeier},
title = {Modules for Crosscutting Models},
booktitle = {Reliable Software Technologies - Ada-Europe 2003, 8th Ada-Europe International
Conference on Reliable Software Technologies, Toulouse, France, June
16-20, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2655},
pages = {24--44},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44947-7\_2},
doi = {10.1007/3-540-44947-7\_2},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/MeziniO03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/MeziniO03,
author = {Mira Mezini and
Klaus Ostermann},
editor = {William G. Griswold and
Mehmet Aksit},
title = {Conquering aspects with Caesar},
booktitle = {Proceedings of the 2nd International Conference on Aspect-Oriented
Software Development, {AOSD} 2003, Boston, Massachusetts, USA, March
17-21, 2003},
pages = {90--99},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/643603.643613},
doi = {10.1145/643603.643613},
timestamp = {Tue, 06 Nov 2018 16:57:06 +0100},
biburl = {https://dblp.org/rec/conf/aosd/MeziniO03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/CiliaHMB03,
author = {Mariano Cilia and
Michael Haupt and
Mira Mezini and
Alejandro P. Buchmann},
editor = {Frank Pfenning and
Yannis Smaragdakis},
title = {The Convergence of {AOP} and Active Databases: Towards Reactive Middleware},
booktitle = {Generative Programming and Component Engineering, Second International
Conference, {GPCE} 2003, Erfurt, Germany, September 22-25, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2830},
pages = {169--188},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39815-8\_11},
doi = {10.1007/978-3-540-39815-8\_11},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/gpce/CiliaHMB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jit/2002node,
editor = {Mehmet Aksit and
Mira Mezini and
Rainer Unland},
title = {Objects, Components, Architectures, Services, and Applications for
a Networked World, International Conference NetObjectDays, NODe 2002,
Erfurt, Germany, October 7-10, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2591},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36557-5},
doi = {10.1007/3-540-36557-5},
isbn = {3-540-00737-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jit/2002node.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/FiegeMMB02,
author = {Ludger Fiege and
Mira Mezini and
Gero M{\"{u}}hl and
Alejandro P. Buchmann},
editor = {Boris Magnusson},
title = {Engineering Event-Based Systems with Scopes},
booktitle = {{ECOOP} 2002 - Object-Oriented Programming, 16th European Conference,
Malaga, Spain, June 10-14, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2374},
pages = {309--333},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-47993-7\_14},
doi = {10.1007/3-540-47993-7\_14},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/FiegeMMB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/MeziniO02,
author = {Mira Mezini and
Klaus Ostermann},
editor = {Mamdouh Ibrahim and
Satoshi Matsuoka},
title = {Integrating independent components with on-demand remodularization},
booktitle = {Proceedings of the 2002 {ACM} {SIGPLAN} Conference on Object-Oriented
Programming Systems, Languages and Applications, {OOPSLA} 2002, Seattle,
Washington, USA, November 4-8, 2002},
pages = {52--67},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/582419.582426},
doi = {10.1145/582419.582426},
timestamp = {Wed, 07 Jul 2021 13:23:08 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/MeziniO02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/HerrmannM01,
author = {Stephan Herrmann and
Mira Mezini},
title = {Connectors for bridging mismatches between the components of a software
engineering environment},
journal = {{IEE} Proc. Softw.},
volume = {148},
number = {3},
pages = {104--111},
year = {2001},
url = {https://doi.org/10.1049/ip-sen:20010535},
doi = {10.1049/IP-SEN:20010535},
timestamp = {Tue, 19 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iee/HerrmannM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/OstermannM01,
author = {Klaus Ostermann and
Mira Mezini},
editor = {Linda M. Northrop and
John M. Vlissides},
title = {Object-Oriented Composition Untangled},
booktitle = {Proceedings of the 2001 {ACM} {SIGPLAN} Conference on Object-Oriented
Programming Systems, Languages and Applications, {OOPSLA} 2001, Tampa,
Florida, USA, October 14-18, 2001},
pages = {283--299},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/504282.504303},
doi = {10.1145/504282.504303},
timestamp = {Wed, 07 Jul 2021 17:30:33 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/OstermannM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stt/PipkaM00,
author = {Jens Uwe Pipka and
Mira Mezini},
title = {Weiterentwicklung objektorientierter Softwaresysteme: Risiken und
deren Vermeidung},
journal = {Softwaretechnik-Trends},
volume = {20},
number = {3},
year = {2000},
url = {http://pi.informatik.uni-siegen.de/stt/20\_3/20\_3\_PipkaMezini.ps},
timestamp = {Tue, 23 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stt/PipkaM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/PipkaM00,
author = {Jens Uwe Pipka and
Mira Mezini},
editor = {Kurt Mehlhorn and
Gregor Snelting},
title = {Weiterentwicklung objektorientierter Softwaresysteme: Risiken und
deren Vermeidung},
booktitle = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung
der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September
2000},
series = {Informatik aktuell},
pages = {420--439},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/978-3-642-58322-3\_32},
doi = {10.1007/978-3-642-58322-3\_32},
timestamp = {Thu, 27 Jun 2019 11:28:34 +0200},
biburl = {https://dblp.org/rec/conf/gi/PipkaM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/LieberherrLM00,
author = {Karl J. Lieberherr and
David H. Lorenz and
Mira Mezini},
editor = {Carlo Ghezzi and
Mehdi Jazayeri and
Alexander L. Wolf},
title = {Building modular object-oriented systems with reusable collaborations
(tutorial session)},
booktitle = {Proceedings of the 22nd International Conference on on Software Engineering,
{ICSE} 2000, Limerick Ireland, June 4-11, 2000},
pages = {821},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/337180.337838},
doi = {10.1145/337180.337838},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/LieberherrLM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/HerrmannM00,
author = {Stephan Herrmann and
Mira Mezini},
editor = {Mary Beth Rosson and
Doug Lea},
title = {{PIROL:} a case study for multidimensional separation of concerns
in software engineering environments},
booktitle = {Proceedings of the 2000 {ACM} {SIGPLAN} Conference on Object-Oriented
Programming Systems, Languages {\&} Applications, {OOPSLA} 2000,
Minneapolis, Minnesota, USA, October 15-19, 2000},
pages = {188--207},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/353171.353185},
doi = {10.1145/353171.353185},
timestamp = {Wed, 30 Mar 2022 13:58:54 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/HerrmannM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcse/SeiterML99,
author = {Linda M. Seiter and
Mira Mezini and
Karl J. Lieberherr},
editor = {Krzysztof Czarnecki and
Ulrich W. Eisenecker},
title = {Dynamic Component Gluing},
booktitle = {Generative and Component-Based Software Engineering, First International
Symposium, GCSE'99, Erfurt, Germany, September 28-30, 1999, Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {1799},
pages = {134--164},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-40048-6\_11},
doi = {10.1007/3-540-40048-6\_11},
timestamp = {Fri, 30 Dec 2022 23:08:54 +0100},
biburl = {https://dblp.org/rec/conf/gcse/SeiterML99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/MeziniPDB99,
author = {Mira Mezini and
Jens Uwe Pipka and
Thorsten Dittmar and
Wim Boot},
editor = {Donald Firesmith and
Richard Riehle and
Gilda Pour and
Bertrand Meyer},
title = {Detecting Evolution Incompatibilities by Analyzing Java Binaries},
booktitle = {{TOOLS} 1999: 30th International Conference on Technology of Object-Oriented
Languages and Systems, Delivering Quality Software - The Way Ahead,
1-5 August 1999, Santa Barbara, CA, {USA}},
pages = {126--135},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/TOOLS.1999.787542},
doi = {10.1109/TOOLS.1999.787542},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tools/MeziniPDB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0030274,
author = {Mira Mezini},
title = {Variational Object-Oriented Programming Beyond Classes and Inheritance},
series = {The Kluwer international series in engineering and computer science},
volume = {470},
publisher = {Springer},
year = {1998},
url = {http://www.springer.com/computer/swe/book/978-0-7923-8313-0},
isbn = {978-0-7923-8313-0},
timestamp = {Wed, 09 Jan 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/0030274.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/MeziniL98,
author = {Mira Mezini and
Karl J. Lieberherr},
editor = {Bj{\o}rn N. Freeman{-}Benson and
Craig Chambers},
title = {Adaptive Plug-and-Play Components for Evolutionary Software Development},
booktitle = {Proceedings of the 1998 {ACM} {SIGPLAN} Conference on Object-Oriented
Programming Systems, Languages {\&} Applications, {OOPSLA} 1998,
Vancouver, British Columbia, Canada, October 18-22, 1998},
pages = {97--116},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/286936.286950},
doi = {10.1145/286936.286950},
timestamp = {Wed, 30 Mar 2022 13:58:30 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/MeziniL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Mezini97,
author = {Mira Mezini},
editor = {Mehmet Aksit and
Satoshi Matsuoka},
title = {Dynamic Object Evolution without Name Collisions},
booktitle = {ECOOP'97 - Object-Oriented Programming, 11th European Conference,
Jyv{\"{a}}skyl{\"{a}}, Finland, June 9-13, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1241},
pages = {190--219},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0053380},
doi = {10.1007/BFB0053380},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/Mezini97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/Mezini97,
author = {Mira Mezini},
editor = {Mary E. S. Loomis and
Toby Bloom and
A. Michael Berman},
title = {Maintaining the Consistency of Class Libraries During Their Evolution},
booktitle = {Proceedings of the 1997 {ACM} {SIGPLAN} Conference on Object-Oriented
Programming Systems, Languages {\&} Applications, {OOPSLA} 1997,
Atlanta, Georgia, October 5-9, 1997},
pages = {1--21},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/263698.263701},
doi = {10.1145/263698.263701},
timestamp = {Wed, 30 Mar 2022 13:58:18 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/Mezini97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/KielmannML94,
author = {Thilo Kielmann and
Mira Mezini and
Arjan Loeffen},
title = {4th Workshop for Doctoral Student in Object-Oriented Systems, Held
in Conjunction with ECOOP'94 (Report)},
journal = {{ACM} {SIGPLAN} Notices},
volume = {29},
number = {12},
pages = {7--10},
year = {1994},
url = {https://doi.org/10.1145/193209.193212},
doi = {10.1145/193209.193212},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/KielmannML94.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 2024-04-25 01:42 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:
