2020

Helm, Dominik ; Kübler, Florian ; Kölzer, Jan Thomas ; Haller, Philipp ; Eichberg, Michael ; Salvaneschi, Guido ; Mezini, Mira (2020):
A Programming Model for Semi-implicit Parallelization of Static Analyses.
ACM, In: ISSTA '20: 29th SIGSOFT International Symposium on Software Testing and Analysis, virtual Conference, 18.-22.07., S. 428-439, ISBN 978-1-4503-8008-9,
DOI: 10.1145/3395363.3397367,
[Online-Edition: https://conf.researchr.org/home/issta-2020],
[Conference item]

Reif, Michael ; Kübler, Florian ; Helm, Dominik ; Hermann, Ben ; Eichberg, Michael ; Mezini, Mira (2020):
TACAI: An Intermediate Representation Based on Abstract Interpretation.
In: SOAP 2020-9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, London, UK, June 2020, S. 2-7, ISBN 9781450379977,
DOI: 10.1145/3394451.3397204,
[Online-Edition: https://pldi20.sigplan.org/home/SOAP-2020],
[Conference item]

Höchst, Jonas ; Baumgärtner, Lars ; Kuntke, Franz ; Penning, Alvar ; Sterz, Artur ; Freisleben, Bernd (2020):
LoRa-based Device-to-Device Smartphone Communication for Crisis Scenarios.
In: 17th International Conference on Information Systems for Crisis Response and Management (ISCRAM 2020), Blacksburg, Virginia, USA, 24.5.-27.5.2020, [Online-Edition: https://easychair.org/publications/preprint/LDxq],
[Conference item]

Weisenburger, Pascal ; Salvaneschi, Guido (2020):
Implementing a Language for Distributed Systems: Choices and Experiences with Type Level and Macro Programming in Scala.
In: The Art, Science, and Engineering of Programming, (3), 4. AOSA, Inc, S. 17:1-17:29, ISSN 2473-7321,
DOI: 10.22152/programming-journal.org/2020/4/17,
[Online-Edition: http://programming-journal.org/2020/4/17/],
[Article]

Kuci, Edlira (2020):
Co-Contextual Type Systems: Contextless Deductive Reasoning for Correct Incremental Type Checking.
Darmstadt, Technische Universität, DOI: 10.25534/tuprints-00011419,
[Online-Edition: https://tuprints.ulb.tu-darmstadt.de/11419],
[PhD thesis]

Cergani, Ervina (2020):
Machine Learning as a Mean to Uncover Latent Knowledge from Source Code.
Darmstadt, Technische Universität, DOI: 10.25534/tuprints-00011658,
[Online-Edition: https://tuprints.ulb.tu-darmstadt.de/11658],
[PhD thesis]

2019

Baumgärtner, Lars ; Höchst, Jonas ; Meuser, Tobias (2019):
B-DTN7: Browser-based Disruption-tolerant Networking via Bundle Protocol 7.
In: 6th International Conference on Information and Communication Technologies for Disaster Management (ICT-DM'19), Paris, France, 18.-20.12.2019, [Online-Edition: https://ict-dm2019.esiee.fr/program.html],
[Conference item]

Bračevac, Oliver (2019):
Event Correlation with Algebraic Effects - Theory, Design and Implementation.
Darmstadt, Technische Universität, [Online-Edition: https://tuprints.ulb.tu-darmstadt.de/9258],
[PhD thesis]

Köhler, Mirco ; Salvaneschi, Guido (2019):
Automated Refactoring to Reactive Programming.
In: ASE'19 - The 34th International Conference on Automated Software Engineering, San Diego, Ca, USA, November 10.-15.,2019, DOI: 10.1109/ASE.2019.00082,
[Online-Edition: https://2019.ase-conferences.org/],
[Conference item]

Krüger, Stefan ; Späth, Johannes ; Ali, Karim ; Bodden, Eric ; Mezini, Mira (2019):
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs.
In: IEEE Transactions on Software Engineering, 2019. Institute of Electrical and Electronics Engineers, ISSN 1939-3520,
DOI: 10.1109/TSE.2019.2948910,
[Online-Edition: https://ieeexplore.ieee.org/abstract/document/8880510],
[Article]

Baumgärtner, Lars ; Höchst, Jonas ; Lampe, Patrik ; Mogk, Ragnar ; Sterz, Artur ; Weisenburger, Pascal ; Mezini, Mira ; Freisleben, Bernd (2019):
Smart Street Lights and Mobile Citizen Apps for Resilient Communication in a Digital City.
Seattle, USA, In: 2019 IEEE Global Humanitarian Technology Conference (GHTC) (GHTC 2019), Seattle, USA, [Conference item]

Blöcher, Marcel ; Eichholz, Matthias ; Weisenburger, Pascal ; Eugster, Patrick ; Mezini, Mira ; Salvaneschi, Guido (2019):
GRASS: generic reactive application-specific scheduling.
In: Proceedings of the 6th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems - REBLS 2019, Athens Greece, In: REBLS 2019: 6th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, Athens, Greece, Sun 20 - Fri 25 Oct., S. 21-30, ISBN 978-1-4503-6986-2,
DOI: 10.1145/3358503.3361274,
[Online-Edition: http://doi.acm.org/10.1145/3358503.3361274],
[Conference item]

Penning, Alvar ; Baumgärtner, Lars ; Höchst, Jonas ; Sterz, Artur ; Mezini, Mira ; Freisleben, Bernd (2019):
DTN7: An Open-Source Disruption-tolerant Networking Implementation of Bundle Protocol 7.
In: 18th International Conference on Ad Hoc Networks and Wireless (ADHOC-NOW 2019), Esch-sur-Alzette, Luxemburg, 01.-03.10.2019, [Online-Edition: https://www.adhocnow2019.lu/],
[Conference item]

Salvaneschi, Guido ; Köhler, Mirko ; Sokolowski, Daniel ; Haller, Philipp ; Erdweg, Sebastian ; Mezini, Mira (2019):
Language-integrated privacy-aware distributed queries.
In: Proceedings of the ACM on Programming Languages, 3 (OOPSLA), ACM, S. 167, ISSN 2475-1421,
DOI: 10.1145/3360593,
[Online-Edition: https://dl.acm.org/citation.cfm?id=3360593],
[Article]

Grewe, Sylvia (2019):
Automating Type Soundness Proofs for Domain-Specific Languages.
Darmstadt, Technische Universität, [Online-Edition: https://tuprints.ulb.tu-darmstadt.de/9025],
[PhD thesis]

Reif, Michael ; Kübler, Florian ; Eichberg, Michael ; Helm, Dominik ; Mezini, Mira (2019):
Judge: Identifying, Understanding, and Evaluating Sources of Unsoundness in Call Graphs.
In: 28th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'19), Beijing, China, 15.07.-19.0.7. 2019, S. 251-261, ISBN 978-1-4503-6224-5,
DOI: 10.1145/3293882.3330555,
[Online-Edition: https://dl.acm.org/citation.cfm?id=3293882&picked=prox],
[Conference item]

Weisenburger, Pascal ; Salvaneschi, Guido (2019):
Multitier Modules.
134In: ECOOP '19, In: Proceedings of the 33rd European Conference on Object-Oriented Programming, Dagstuhl, Leibniz-Zentrum für Informatik, London, S. 3:1-3:29, ISSN 1868-8969, ISBN 978-3-95977-111-5,
DOI: 10.4230/LIPIcs.ECOOP.2019.3,
[Online-Edition: http://doi.org/10.4230/LIPIcs.ECOOP.2019.3],
[Conference item]

Weisenburger, Pascal ; Salvaneschi, Guido (2019):
Tutorial: Developing Distributed Systems with Multitier Programming.
In: DEBS '19, New York, NY, USA, ACM, In: 13th ACM International Conference on Distributed and Event-based Systems (DEBS ’19), Darmstadt, Germany, June 24 - 28, 2019, S. 203-204, ISBN 978-1-4503-6794-3,
DOI: 10.1145/3328905.3332465,
[Online-Edition: http://doi.org/10.1145/3328905.3332465],
[Conference item]

Amann, Sven ; Nguyen, Hoan Anh ; Nadi, Sarah ; Nguyen, Tien N. ; Mezini, Mira (2019):
Investigating Next Steps in Static API-Misuse Detection.
In: MSR, In: Proceedings of the 16th International Conference on Mining Software Repositories, k.A., IEEE, In: 2019 IEEE/ACM 16th International Conference on Mining Software Repositories (MSR), Montreal, QC, Canada, Sun 26 - Mon 27 May 2019, [Online-Edition: https://conf.researchr.org/home/msr-2019],
[Conference item]

Speth, Jonathan (2019):
How secure are business applications? An in-depth study on the security of business applications.
Darmstadt, TU Darmstadt, [Bachelor thesis]

Wickert, Anna-Katharina ; Reif, Michael ; Eichberg, Michael ; Dodhy, Anam ; Mezini, Mira (2019):
A Dataset of Parametric Cryptographic Misuses.
IEEE, In: 2019 IEEE/ACM 16th International Conference on Mining Software Repositories (MSR), [Conference item]

Helm, Dominik ; Kübler, Florian ; Eichberg, Michael ; Reif, Michael ; Mezini, Mira Becker, Steffen ; Bogicevic, Ivan ; Herzwurm, Georg ; Wagner, Stefan (Hrsg.) (2019):
A unified lattice model and framework for purity analyses.
In: Software Engineering and Software Management 2019, Bonn, Gesellschaft für Informatik e.V., ISSN 16175468, ISBN 9783885796862,
DOI: 10.18420/se2019-10,
[Online-Edition: https://dl.gi.de/handle/20.500.12116/20868],
[Conference item]

Schulz, Philipp (2019):
Developing Secure Distributed Systems with Modular Tierless Programming.
TU Darmstadt, [Master thesis]

Srivatsa, Jeevan Karanam (2019):
Benchmarking of Data Provenance Computation Methods to Support Debugging in Apache Spark.
TU Darmstadt, [Master thesis]

Drechsler, Joscha (2019):
Concurrency and Distribution in Reactive Programming.
Darmstadt, Technische Universität Darmstadt, [Online-Edition: https://tuprints.ulb.tu-darmstadt.de/5228],
[PhD thesis]

Eichholz, Matthias ; Campbell, Eric ; Foster, Nate ; Salvaneschi, Guido ; Mezini, Mira (2019):
How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4.
134In: Leibniz International Proceedings in Informatics (LIPIcs), Dagstuhl, Germany, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, In: 33rd European Conference on Object-Oriented Programming (ECOOP 2019), S. 12:1-12:28, ISSN 1868-8969, ISBN 978-3-95977-111-5,
DOI: 10.4230/LIPIcs.ECOOP.2019.12,
[Online-Edition: http://drops.dagstuhl.de/opus/volltexte/2019/10804],
[Conference item]

Oak, Aditya ; Mezini, Mira ; Salvaneschi, Guido (2019):
Language Support for Multiple Privacy Enhancing Technologies.
ACM, In: Conference Companion of the 3rd International Conference on Art, Science, and Engineering of Programming, [Conference item]

2018

Fasihi Yazdi, Mohsen (2018):
Study on Security Level of "Security Stack Exchange": How Trustable are Code Snippet on this Plattform?!
TU Darmstadt, [Master thesis]

Weisenburger, Pascal ; Köhler, Mirko ; Salvaneschi, Guido (2018):
Distributed System Development with ScalaLoci.
In: Proceedings of the ACM on Programming Languages, 2 (OOPSLA), ACM, S. 129:1-129:30, DOI: 10.1145/3276499,
[Online-Edition: http://doi.acm.org/10.1145/3276499],
[Article]

Drechsler, Joscha ; Mogk, Ragnar ; Salvaneschi, Guido ; Mezini, Mira (2018):
Thread-safe Reactive Programming.
In: Proceedings of the ACM on Programming Languages, (OOPSLA), 2. S. 107:1-107:30, ISSN 2475-1421,
DOI: 10.1145/3276477,
[Article]

Bračevac, Oliver ; Amin, Nada ; Salvaneschi, Guido ; Erdweg, Sebastian ; Eugster, Patrick ; Mezini, Mira (2018):
Versatile Event Correlation with Algebraic Effects.
In: Proceedings of the ACM on Programming Languages, (ICFP), 2. S. 67:1-67:31, ISSN 2475-1421,
DOI: 10.1145/3236762,
[Online-Edition: https://dl.acm.org/doi/10.1145/3236762],
[Article]

Helm, Dominik ; Kübler, Florian ; Eichberg, Michael ; Reif, Michael ; Mezini, Mira (2018):
A unified lattice model and framework for purity analyses.
In: Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, ACM, In: ASE 2018, Corum, Montpellier, France, 3.-7.9.2018, S. 340-350, DOI: 10.1145/3238147.3238226,
[Online-Edition: https://dl.acm.org/citation.cfm?id=3238226],
[Conference item]

Helm, Dominik (2018):
A Framework for Modular Purity Analyses.
TU Darmstadt, [Master thesis]

Dodhy, Anam (2018):
Misuses of Parameters for Cryptographic APIs.
TU Darmstadt, [Master thesis]

Nanjunde Gowda, Vidyashree (2018):
Benchmarking Static Misuse or Bug Detectors Using Software Vulnerabilities.
TU Darmstadt, [Master thesis]

Cergani, Ervina ; Proksch, Sebastian ; Nadi, Sarah ; Mezini, Mira (2018):
Investigating Order Information in API-Usage Patterns: A Benchmark and Empirical Study.
In: 13th International Conferewnce on Software Technologies - ICSOFT 2018, Porto, Portugal, 26 -28 July, 2018, [Online-Edition: http://insticc.org/node/TechnicalProgram/icsoft/presentation...],
[Conference item]

Salvaneschi, Guido ; Margara, Alessandro (2018):
On the Semantics of Distributed Reactive Programming: The Cost of Consistency.
In: IEEE Transactions on Software Engineering, 44 (7), IEEE, S. 129:1-129:30, DOI: 10.1109/TSE.2018.2833109,
[Article]

Eichberg, Michael ; Kübler, Florian ; Helm, Dominik ; Reif, Michael ; Salvaneschi, Guido ; Mezini, Mira (2018):
Lattice Based Modularization of Static Analyses.
In: Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, ACM, In: SOAP 2018, Amsterdam, Netherlands, S. 113-118, DOI: 10.1145/3236454.3236509,
[Online-Edition: https://dl.acm.org/citation.cfm?id=3236509],
[Conference item]

Krüger, Stefan ; Späth, Johannes ; Ali, Karim ; Bodden, Eric ; Mezini, Mira (2018):
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs.
In: 32nd European Conference on Object-Oriented Programming (ECOOP 2018), Schloss Dagstuhl-Leibniz-Zentrum für Informatik, In: 32nd European Conference on Object-Oriented Programming (ECOOP 2018), Amsterdam, The Netherlands, 15.-21.07.2018, S. 10:1-10:27, DOI: 10.4230/LIPIcs.ECOOP.2018.10,
[Online-Edition: https://2018.ecoop.org/],
[Conference item]

Reif, Michael ; Eichberg, Michael ; Kübler, Florian ; Mezini, Mira (2018):
Systematic Evaluation of the Unsoundness of Call Graph Construction Algorithms for Java.
In: Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, ACM, In: SOAP 2018, Amsterdam, Netherlands, S. 107-112, DOI: 10.1145/3236454.3236503,
[Online-Edition: https://dl.acm.org/citation.cfm?id=3236503],
[Conference item]

Weisenburger, Pascal ; Reinhard, Tobias ; Salvaneschi, Guido (2018):
Static Latency Tracking with Placement Types.
In: FTFJP'18, In: Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, New York, NY, USA, ACM, Amsterdam, Netherlands, July 15 - 21, 2018, DOI: 10.1145/3236454.3236486,
[Online-Edition: http://doi.acm.org/10.1145/3236454.3236486],
[Conference item]

Amann, Sven (2018):
A Systematic Approach to Benchmark and Improve Automated Static Detection of Java-API Misuses.
Darmstadt, Technische Universität, [Online-Edition: http://tuprints.ulb.tu-darmstadt.de/7422],
[PhD thesis]

Bračevac, Oliver ; Gay, Richard ; Grewe, Sylvia ; Mantel, Heiko ; Sudbrock, Henning ; Tasch, Markus (2018):
An Isabelle/HOL Formalization of the Modular Assembly Kit for Security Properties.
In: Archive of Formal Proofs, 2018[Article]

Graubner, Pablo ; Lampe, Patrick ; Höchst, Jonas ; Baumgärtner, Lars ; Mezini, Mira ; Freisleben, Bernd (2018):
Opportunistic Named Functions in Disruption-tolerant Emergency Networks.
Ischia, Italy, In: ACM International Conference on Computing Frontiers 2018 (ACM CF'18), Ischia, Italy, [Conference item]

Glanz, Leonid ; Amann, Sven ; Eichberg, Michael ; Reif, Michael ; Mezini, Mira Tichy, Matthias ; Bodden, Eric ; Kuhrmann, Marco ; Wagner, Stefan ; Steghöfer, Jan-Philipp (Hrsg.) (2018):
CodeMatch: Obfuscation Won't Conceal Your Repackaged App.
In: Software Engineering und Software Management 2018, Gesellschaft für Informatik, S. 117-118, [Book section]

Amann, Sven ; Nguyen, Hoan Anh ; Nadi, Sarah ; Nguyen, Tien ; Mezini, Mira (2018):
A Systematic Evaluation of API-Misuse Detectors.
In: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, [Article]

Eichholz, Matthias ; Salvaneschi, Guido ; Mezini, Mira (2018):
Towards Safe Modular Composition of Network Functions.
In: Programming'18 Companion, New York, NY, USA, ACM, In: Conference Companion of the 2Nd International Conference on Art, Science, and Engineering of Programming, Nice, France, April 09 - 12, 2018, S. 81-86, ISBN 978-1-4503-5513-1,
DOI: 10.1145/3191697.3213804,
[Online-Edition: http://doi.acm.org/10.1145/3191697.3213804],
[Conference item]

Graubner, Pablo ; Thelen, Christoph ; Körber, Michael ; Sterz, Artur ; Salvaneschi, Guido ; Mezini, Mira ; Seeger, Bernhard ; Freisleben, Bernd (2018):
Multimodal Complex Event Processing on Mobile Devices.
In: Proceedings of the 12th ACM International Conference on Distributed and Event-based Systems, DEBS 2018, Hamilton, New Zealand, June 25-29, 2018, S. 112-123, DOI: 10.1145/3210284.3210289,
[Online-Edition: http://doi.acm.org/10.1145/3210284.3210289],
[Conference item]

Mogk, Ragnar ; Baumgärtner, Lars ; Salvaneschi, Guido ; Freisleben, Bernd ; Mezini, Mira Millstein, Todd (Hrsg.) (2018):
Fault-tolerant Distributed Reactive Programming.
In: 32nd European Conference on Object-Oriented Programming (ECOOP 2018), Amsterdam, Netherlands, July 16-21, 2018, S. 1:1-1:26, ISBN 978-3-95977-079-8,
DOI: 10.4230/LIPIcs.ECOOP.2018.1,
[Online-Edition: https://2018.ecoop.org/],
[Conference item]

Mogk, Ragnar ; Salvaneschi, Guido ; Mezini, Mira (2018):
Reactive Programming Experience with REScala.
In: Programming'18 Companion, In: Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming, New York, NY, USA, ACM, Nice, France, April 09 - 12, 2018, S. 105-112, DOI: 10.1145/3191697.3214337,
[Conference item]

Reif, Michael ; Eichberg, Michael ; Mezini, Mira Tichy, Matthias ; Bodden, Eric ; Kuhrmann, Marco ; Wagner, Stefan ; Steghöfer, Jan-Philipp (Hrsg.) (2018):
Call Graph Construction for Java Libraries.
Bonn, Gesellschaft für Informatik, In: Software Engineering und Software Management 2018, Bonn, S. 119-120, [Conference item]

2017

Kübler, Florian (2017):
Foundations of a refinement-based framework for escape analyses.
Darmstadt, Technische Universität, [Master thesis]

Singh, Govind (2017):
o Static Bug Finders Identify API Misuses?
Darmstadt, Technische Universität, [Master thesis]

Beller, Moritz ; Gousios, Georgius ; Panichella, Annibale ; Proksch, Sebastian ; Amann, Sven ; Zaidman, Andy (2017):
Developer Testing in the IDE: Patterns, Beliefs, and Behavior.
In: IEEE Transactions on Software Engineering, 45 (3), S. 261-284, DOI: 10.1109/TSE.2017.2776152,
[Article]

Müller, Patrick (2017):
Reconstruction of Obfuscated Strings.
TU Darmstadt, [Master thesis]

Krüger, Stefan ; Nadi, Sarah ; Reif, Michael ; Ali, Karim ; Mezini, Mira ; Bodden, Eric ; Göpfert, Florian ; Günther, Felix ; Weinert, Christian ; Demmler, Daniel ; Kamath, Ram (2017):
CogniCrypt: Supporting Developers in using Cryptography.
In: Automated Software Engineering (ASE'17), Piscataway, NJ, USA, ACM, Piscataway, NJ, USA, DOI: 10.1109/ASE.2017.8115707,
[Online-Edition: http://dl.acm.org/citation.cfm?id=3155562.3155681],
[Conference item]

Glanz, Leonid ; Amann, Sven ; Eichberg, Michael ; Reif, Michael ; Hermann, Ben ; Lerch, Johannes ; Mezini, Mira (2017):
CodeMatch: Obfuscation Won’t Conceal Your Repackaged App.
In: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, Paderborn, Germany, In: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, S. 638-648, ISBN 978-1-4503-5105-8,
DOI: 10.1145/3106237.3106305,
[Online-Edition: http://dl.acm.org/citation.cfm?id=3106305],
[Conference item]

Weisenburger, Pascal ; Luthra, Manisha ; Koldehofe, Boris ; Salvaneschi, Guido (2017):
Quality-Aware Runtime Adaptation in Complex Event Processing.
In: SEAMS '17, Piscataway, NJ, USA, IEEE Press, In: IEEE/ACM 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2017, Buenos Aires, Argentina, S. 140-151, [Online-Edition: http://ieeexplore.ieee.org/document/7968142/],
[Conference item]

Reif, Michael ; Eichberg, Michael ; Hermann, Ben ; Mezini, Mira (2017):
Hermes: assessment and creation of effective test corpora.
In: Proceeding SOAP 2017 Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, S. 43-48, [Online-Edition: http://dl.acm.org/citation.cfm?id=3088523&CFID=886861998&CFT...],
[Book section]

Kuci, Edlira ; Erdweg, Sebastian ; Bračevac, Oliver ; Bejleri, Andi ; Mezini, Mira (2017):
A Co-contextual Type Checker for Featherweight Java.
In: Leibniz International Proceedings in Informatics (LIPIcs), In: 31st European Conference on Object-Oriented Programming (ECOOP 2017), S. 18:1-18:26, DOI: 10.4230/LIPIcs.ECOOP.2017.18,
[Online-Edition: http://drops.dagstuhl.de/opus/frontdoor.php?source_opus=7262],
[Book section]

Proksch, Sebastian (2017):
Enriched Event Streams: A General Platform For Empirical Studies On In-IDE Activities Of Software Developers.
Darmstadt, Technische Universität, [Online-Edition: http://tuprints.ulb.tu-darmstadt.de/6971],
[PhD thesis]

Grewe, Sylvia ; Erdweg, Sebastian ; Mezini, Mira Kovacs, Laura ; Voronkov, Andrei (Hrsg.) (2017):
Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny.
In: EPiC Series in Computing, In: Vampire 2016. Proceedings of the 3rd Vampire Workshop, S. 33-45, [Online-Edition: http://easychair.org/publications/paper/Automating_Proof_Ste...],
[Book section]

Proksch, Sebastian ; Nadi, Sarah ; Amann, Sven ; Mezini, Mira (2017):
Enriching In-IDE Process Information with Fine-Grained Source Code History.
In: International Conference on Software Analysis, Evolution, and Reengineering, Klagenfurt, Austria, 21-24 Feb 2017, [Conference item]

Salvaneschi, Guido ; Proksch, Sebastian ; Amann, Sven ; Nadi, Sarah ; Mezini, Mira (2017):
On the Positive Effect of Reactive Programming on Software Comprehension: An Empirical Study.
IEEE, ISSN 1939-3520,
[Online-Edition: http://ieeexplore.ieee.org/document/7827078/],
[Zeitschriftenheft, -band oder -jahrgang]

Hermann, Ben ; Li, Ximeng ; Mantel, Heiko ; Mezini, Mira ; Tasch, Markus ; Wendel, Florian ; Weber, Friedrich (2017):
Requirements for a Specification Language for Data and Information Flow, and A Literature Review of Analytical and Constructive Research on the Java Native Interface.
[Report]

Kübler, Florian ; Müller, Patrick ; Hermann, Ben (2017):
SootKeeper: Runtime Reusability for Modular Static Analysis.
In: SOAP 2017, New York, NY, USA, ACM, In: Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, New York, NY, USA, S. 19-24, ISBN 978-1-4503-5072-3,
DOI: 10.1145/3088515.3088518,
[Online-Edition: http://doi.acm.org/10.1145/3088515.3088518],
[Conference item]

2016

Weiler, Simon (2016):
Integrating an API-Misuse Detector into Eclipse.
Technische Universität Darmstadt, [Master thesis]

I Pun, Ka ; Steffen, Martin ; Stolz, Volker ; Wickert, Anna-Katharina ; Bodden, Eric ; Eichberg, Michael Larsen, Kim G. ; Srba, Jiří (Hrsg.) (2016):
Don't let data Go astray - A Context-Sensitive Taint Analysis for Concurrent Programs in Go.
Aalborg, In: Nordic Workshop on Programming Theory (NWPT'16), S. 37-39, [Conference item]

Haller, Philipp ; Geries, Simon ; Eichberg, Michael ; Salvaneschi, Guido (2016):
Reactive Async: Expressive Deterministic Concurrency.
In: Proceedings of the 2016 7th ACM SIGPLAN Symposium on Scala, New York, ACM, In: SCALA 2016, Amsterdam, Netherlands, 30.-31.10.2016, ISBN 978-1-4503-4648-1,
DOI: 10.1145/2998392.2998396,
[Online-Edition: https://dl.acm.org/citation.cfm?id=2998396],
[Conference item]

Grewe, Sylvia (2016):
VeriTaS: Verification of type system specifications: Mechanizing domain knowledge about progress and preservation proofs.
In: Companion Proceedings of the 2016 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity, SPLASH 2016, Amsterdam, Netherlands, S. 12-14, [Online-Edition: http://doi.acm.org/10.1145/2984043],
[Book section]

Benz, Manuel (2016):
Interprocedural Graph-based Object Usage Model Generation for Detecting Anomalous Usage of Cryptographic APIs.
Technische Universität Darmstadt, [Master thesis]

Hermann, Ben (2016):
Full-Stack Static Security Analysis for the Java Platform.
Darmstadt, Technische Universität Darmstadt, [Online-Edition: http://tuprints.ulb.tu-darmstadt.de/5807],
[PhD thesis]

Grewe, Sylvia ; Erdweg, Sebastian ; Raulf, Michael ; Mezini, Mira (2016):
Exploration of language specifications by compilation to first-order logic.
In: Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016, ACM, S. 104-117, [Online-Edition: http://doi.acm.org/10.1145/2967973.2968606],
[Book section]

Proksch, Sebastian ; Amann, Sven ; Nadi, Sarah ; Mezini, Mira (2016):
Evaluating the Evaluations of Code Recommender Systems: A Reality Check.
In: International Conference on Automated Software Engineering, IEEE/ACM, S. 111-121, ISSN 978-1-4503-3845-5,
[Online-Edition: http://doi.acm.org/10.1145/2970276.2970330],
[Article]

Graf, Waldemar (2016):
A Case Study of Simplified Syntax Trees as a Unified Data Structure for Recommender Systems in Software Engineering.
Technische Universität Darmstadt, [Bachelor thesis]

Lerch, Johannes (2016):
On the Scalability of Static Program Analysis to Detect Vulnerabilities in the Java Platform.
Darmstadt, Technische Universität Darmstadt, [Online-Edition: http://tuprints.ulb.tu-darmstadt.de/5580],
[PhD thesis]

Amann, Sven ; Proksch, Sebastian ; Nadi, Sarah (2016):
FeedBaG: An Interaction Tracker for Visual Studio.
In: ICPC, In: Proceedings of the 24th International Conference on Program Comprehension, In: International Conference on Program Comprehension, Austin, Texas, USA, May 16–17, 2016, [Online-Edition: http://sven-amann.de/publications/feedbag.pdf],
[Conference item]

Zimmermann, Markus (2016):
Using Domain Knowledge to Improve Source Code Differencing.
TU Darmstadt, [Bachelor thesis]

Bračevac, Oliver ; Erdweg, Sebastian ; Salvaneschi, Guido ; Mezini, Mira (2016):
CPL: A Core Language for Cloud Computing.
In: MODULARITY 2016, In: Proceedings of the 15th International Conference on Modularity, New York, NY, USA, ACM, S. 94-105, [Online-Edition: http://doi.acm.org/10.1145/2889443.2889452],
[Book section]

Amann, Sven ; Nadi, Sarah ; Nguyen, Hoan A. ; Nguyen, Tien N. ; Mezini, Mira (2016):
MUBench: A Benchmark for API-Misuse Detectors.
In: MSR'16, In: Proceedings of the 13th International Conference on Mining Software Repositories, In: 13th International Conference on Mining Software Repositories, Austin, Texas, USA, May 14–15, 2016, [Conference item]

Proksch, Sebastian ; Amann, Sven ; Nadi, Sarah ; Mezini, Mira (2016):
A Dataset of Simplified Syntax Trees for C#.
In: MSR'16, In: Proceedings of the 13th International Conference on Mining Software Repositories, In: 13th International Conference on Mining Software Repositories, Austin, Texas, USA, May 14–15, 2016, [Online-Edition: http://doi.acm.org/10.1145/2901739.2903507],
[Conference item]

Grewe, Sylvia ; Erdweg, Sebastian ; Mezini, Mira Kovács, Laura ; Voronkov, Andrei (Hrsg.) (2016):
Using Vampire in Soundness Proofs of Type Systems.
In: EPiC Series in Computing, In: Proceedings of the 1st and 2nd Vampire Workshops, [Online-Edition: http://easychair.org/publications/paper/Using_Vampire_in_Sou...],
[Conference item]

Bračevac, Oliver ; Erdweg, Sebastian ; Salvaneschi, Guido ; Mezini, Mira (2016):
CPL: A Core Language for Cloud Computing -- Technical Report.
In: CoRR, abs/1602.00981[Article]

Weirich, Felix (2016):
Improving Code Recommendation Using Expert Feedback.
TU Darmstadt, [Bachelor thesis]

Amann, Sven ; Proksch, Sebastian ; Nadi, Sarah ; Mezini, Mira (2016):
A Study of Visual Studio Usage in Practice.
In: SANER '16, In: 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering, Osaka, Japan, 14-18 March 2016, [Online-Edition: http://dx.doi.org/10.1109/SANER.2016.39],
[Conference item]

Cergani, Ervina ; Proksch, Sebastian ; Nadi, Sarah ; Mezini, Mira (2016):
Addressing Scalability in API Method Call Analytics.
In: Proceedings of the 2nd International Workshop on Software Analytics, S. 1-7, [Online-Edition: https://doi.org/10.1145/2989238.2989240],
[Conference item]

Reif, Michael ; Eichberg, Michael ; Hermann, Ben ; Lerch, Johannes ; Mezini, Mira (2016):
Call graph construction for Java libraries.
In: Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, S. 474-486, DOI: 10.1145/2950290.2950312,
[Conference item]

Weisenburger, Pascal (2016):
Multitier Reactive Abstractions.
In: SPLASH Companion 2016, In: Companion Proceedings of the 2016 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity, New York, NY, USA, ACM, Amsterdam, Netherlands, S. 18-20, ISBN 978-1-4503-4437-1,
DOI: 10.1145/2984043.2984051,
[Online-Edition: http://doi.acm.org/10.1145/2984043.2984051],
[Conference item]

2015

Proksch, Sebastian ; Lerch, Johannes ; Mezini, Mira (2015):
Intelligent Code Completion with Bayesian Networks.
In: ACM Transactions on Software Engineering and Methodology (TOSEM), 25 (1), ACM Press, S. 3:1-3:31, [Online-Edition: http://doi.acm.org/10.1145/2744200],
[Article]

Lerch, Johannes ; Späth, Johannes ; Bodden, Eric ; Mezini, Mira (2015):
Access-Path Abstraction: Scaling Field-Sensitive Data-Flow Analysis with Unbounded Access Paths.
In: Proceedings of the 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), Washington, DC, USA, IEEE Computer Society, In: Automated Software Engineering (ASE), 2015 30th IEEE/ACM International Conference on, Lincoln, Nebraska, USA, 9.-13. November 2015, S. 619-629, [Online-Edition: https://dl.acm.org/citation.cfm?id=2916135&picked=prox],
[Conference item]

Amann, Sven ; Beyer, Stefanie ; Kevic, Katja ; Gall, Harald Meyer, Bertrand ; Nordio, Martin (Hrsg.) (2015):
Software Mining Studies: Goals, Approaches, Artifacts, and Replicability.
In: Advances in the theory and practice of software engineering - LASER 2013-2014, Springer, S. 121-159, [Book section]

Grewe, Sylvia ; Erdweg, Sebastian ; Wittmann, Pascal ; Mezini, Mira (2015):
Type Systems for the Masses: Deriving Soundness Proofs and Efficient Checkers.
In: 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2015, Pittsburgh, PA, USA, October 25-30, 2015, ACM, S. 137-150, [Online-Edition: http://doi.acm.org/10.1145/2814228.2814239],
[Book section]

Bračevac, Oliver (2015):
Temporal Correlation Patterns -- Intersecting Joins, Streams, Events and Reactive Programming.
In: Workshop on Reactive and Event-based Languages & Systems co-located with SPLASH '15, 27 Oct 2015, [Online-Edition: http://2015.splashcon.org/track/rebls2015],
[Conference item]

Erdweg, Sebastian ; Bračevac, Oliver ; Kuci, Edlira ; Krebs, Matthias ; Mezini, Mira (2015):
A Co-contextual Formulation of Type Rules and Its Application to Incremental Type Checking.
In: OOPSLA 2015, In: Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, New York, NY, USA, ACM, S. 880-897, [Online-Edition: http://doi.acm.org/10.1145/2814270.2814277],
[Book section]

Schlitzer, Jonas (2015):
Does Inlining Helper-Methods Improve Code Recommendation?
TU Darmstadt, [Bachelor thesis]

Medeiros, Flávio ; Kästner, Christian ; Ribeiro, Márcio ; Nadi, Sarah ; Gheyi, Rohit (2015):
The Love/Hate Relationship with the C Preprocessor: An Interview Study.
In: European Conference on Object-Oriented Programming, Prague, Czech Republic, S. 999-1022, [Conference item]

Dahlen, David (2015):
Identification of High-Quality Answers Containing Code Snippets on Stack Overflow.
TU Darmstadt, [Master thesis]

Lerch, Johannes ; Hermann, Ben (2015):
Design Your Analysis: A Case Study on Implementation Reusability of Data-flow Functions.
In: SOAP 2015, New York, NY, USA, ACM, In: Proceedings of the 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, New York, NY, USA, S. 26-30, ISBN 978-1-4503-3585-0,
[Online-Edition: http://doi.acm.org/10.1145/2771284.2771289],
[Conference item]

Zhou, Shurui ; Al-Kofahi, Jafar ; Nguyen, Tien ; Kaestner, Christian ; Nadi, Sarah (2015):
Extracting Configuration Knowledge from Build Files with Symbolic Analysis.
In: 3rd International Workshop on Release Engineering, Florence, Italy, S. 4, [Conference item]

Van Ham, Jurgen Michael (2015):
Seamless Concurrent Programming of Objects, Aspects and Events.
Darmstadt, Technische Universität, [Online-Edition: http://tuprints.ulb.tu-darmstadt.de/5125],
[PhD thesis]

Eichberg, Michael ; Hermann, Ben ; Mezini, Mira ; Glanz, Leonid (2015):
Hidden Truths in Dead Software Paths.
In: ESEC/FSE 2015, New York, NY, USA, ACM, In: Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, New York, NY, USA, S. 474-484, ISBN 978-1-4503-3675-8,
[Online-Edition: http://doi.acm.org/10.1145/2786805.2786865],
[Conference item]

Glanz, Leonid ; Schmidt, Sebastian ; Wollny, Sebastian ; Hermann, Ben (2015):
A Vulnerability's Lifetime: Enhancing Version Information in CVE Databases.
In: i-KNOW '15, New York, NY, USA, ACM, In: Proceedings of the 15th International Conference on Knowledge Technologies and Data-driven Business, New York, NY, USA, S. 28:1-28:4, ISBN 978-1-4503-3721-2,
[Online-Edition: http://doi.acm.org/10.1145/2809563.2809612],
[Conference item]

Hermann, Ben ; Reif, Michael ; Eichberg, Michael ; Mezini, Mira (2015):
Getting to Know You: Towards a Capability Model for Java.
In: ESEC/FSE 2015, New York, NY, USA, ACM, In: Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, New York, NY, USA, S. 758-769, ISBN 978-1-4503-3675-8,
[Online-Edition: http://doi.acm.org/10.1145/2786805.2786829],
[Conference item]

Proksch, Sebastian ; Bauer, Veronika ; Murphy, Gail C. Meyer, Bertrand ; Nordio, Martin (Hrsg.) (2015):
How to Build a Recommendation System for Software Engineering.
In: LNCS, In: Advances in the theory and practice of software engineering - LASER 2013-2014, Springer, S. 1-42, [Online-Edition: http://www.springer.com/gb/book/9783319284057],
[Book section]

2014

Aly, Mohamed Abdulazim Mohamed (2014):
An Extension Interface Concept for Multilayered Applications.
Darmstadt, TU Darmstadt, [Online-Edition: http://tuprints.ulb.tu-darmstadt.de/4247],
[PhD thesis]

Lerch, Johannes ; Hermann, Ben ; Bodden, Eric ; Mezini, Mira (2014):
FlowTwist: Efficient Context-sensitive Inside-out Taint Analysis for Large Codebases.
In: FSE 2014, New York, NY, USA, ACM, In: Proceedings of the 22Nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, S. 98-108, [Online-Edition: http://doi.acm.org/10.1145/2635868.2635878],
[Conference item]

Proksch, Sebastian ; Amann, Sven ; Mezini, Mira (2014):
Towards Standardized Evaluation of Developer-Assistance Tools.
In: Proceedings of the 4th International Workshop on Recommendation Systems for Software Engineering - RSSE 2014, S. 14-18, [Online-Edition: http://dx.doi.org/10.1145/2593822.2593827],
[Conference item]

Amann, Sven ; Proksch, Sebastian ; Mezini, Mira (2014):
Method-Call Recommendations from Implicit Developer Feedback.
In: Proceedings of the 1st International Workshop on CrowdSourcing in Software Engineering - CSI-SE 2014, S. 5-6, [Online-Edition: http://dx.doi.org/10.1145/2593728.2593730],
[Conference item]

Mitschke, Ralf (2014):
Scalable Automated Incrementalization for Real-Time Static Analyses.
TU Darmstadt, [Online-Edition: http://tuprints.ulb.tu-darmstadt.de/3815],
[PhD thesis]

Drechsler, Joscha ; Salvaneschi, Guido ; Mogk, Ragnar ; Mezini, Mira (2014):
Distributed REScala: An Update Algorithm for Distributed Reactive Programming.
New York, NY, USA, ACM, In: Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, Portland, OR, USA, October 17 - 21, [Online-Edition: http://dx.doi.org/10.1145/2660193.2660240],
[Conference item]

Eichberg, Michael ; Hermann, Ben (2014):
A Software Product Line for Static Analyses: The OPAL Framework.
In: SOAP '14, New York, NY, USA, ACM, In: Proceedings of the 3rd ACM SIGPLAN International Workshop on the State of the Art in Java Program Analysis, New York, NY, USA, S. 1-6, ISBN 978-1-4503-2919-4,
[Online-Edition: http://doi.acm.org/10.1145/2614628.2614630],
[Conference item]

Erdweg, Sebastian ; Vergu, Vlad ; Mezini, Mira ; Visser, Eelco (2014):
Finding bugs in program generators by dynamic analysis of syntactic language constraints.
In: Proceedings of the of the 13th international conference on Modularity - MODULARITY '14, S. 17-20, [Online-Edition: http://dx.doi.org/10.1145/2584469.2584474],
[Conference item]

Margara, Alessandro ; Salvaneschi, Guido (2014):
We have a DREAM.
In: Proceedings of the 8th ACM International Conference on Distributed Event-Based Systems - DEBS '14, S. 142-153, [Online-Edition: http://dx.doi.org/10.1145/2611286.2611290],
[Conference item]

Salvaneschi, Guido ; Amann, Sven ; Proksch, Sebastian ; Mezini, Mira (2014):
An empirical study on program comprehension with reactive programming.
In: Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2014, S. 564-575, [Online-Edition: http://dx.doi.org/10.1145/2635868.2635895],
[Conference item]

Salvaneschi, Guido ; Hintz, Gerold ; Mezini, Mira (2014):
REScala.
In: Proceedings of the of the 13th international conference on Modularity - MODULARITY '14, S. 25-36, [Online-Edition: http://dx.doi.org/10.1145/2584469.2577083],
[Conference item]

Van Ham, Jurgen M. ; Salvaneschi, Guido ; Mezini, Mira ; Noyé, Jacques (2014):
JEScala.
In: Proceedings of the of the 13th international conference on Modularity - MODULARITY '14, S. 205-216, [Online-Edition: http://dx.doi.org/10.1145/2584469.2577082],
[Conference item]

Weiel, Manuel ; Maier, Ingo ; Erdweg, Sebastian ; Eichberg, Michael ; Mezini, Mira (2014):
Towards virtual traits in Scala.
In: Proceedings of the Fifth Anuual Scala Workshop on - SCALA '14, S. 67-75, [Online-Edition: http://dx.doi.org/10.1145/2637647.2637654],
[Conference item]

2013

Kutschke, Michael (2013):
Ensemble Learning for Method-Call Recommendation.
TU Darmstadt, [Master thesis]

Aly, Mohamed ; Charfi, Anis ; Erdweg, Sebastian ; Mezini, Mira (2013):
XPoints: Extension Interfaces for Multilayered Applications.
In: Enterprise Distributed Object Computing Conference (EDOC), 2013 17th IEEE International, Vancouver, Canada, 9 - 13 Sept., S. 237-246, [Online-Edition: http://dx.doi.org/10.1109/EDOC.2013.34],
[Conference item]

Schmeling, Benjamin (2013):
Composing Non-Functional Concerns in Web Services.
Darmstadt, TU Darmstadt, [Online-Edition: http://tuprints.ulb.tu-darmstadt.de/3512],
[PhD thesis]

Salvaneschi, Guido ; Ghezzi, Carlo ; Pradella, Matteo (2013):
An Analysis of Language-Level Support for Self-Adaptive Software.
In: ACM Transactions on Autonomous and Adaptive Systems, 8 (2), S. 1-29, ISSN 15564665,
[Online-Edition: http://dx.doi.org/10.1145/2491465.2491466],
[Article]

Bračevac, Oliver (2013):
A Formal Model for Event Correlation in Information Flow Processing.
TU Darmstadt, [Master thesis]

Amann, Sven (2013):
Code Completion Based on Implicit User Feedback.
Technische Universität Darmstadt, [Master thesis]

Aly, Mohamed ; Charfi, Anis ; Erdweg, Sebastian ; Mezini, Mira (2013):
XPoints: Extension Interfaces for Multilayered Applications.
In: 2013 17th IEEE International Enterprise Distributed Object Computing Conference, S. 237-246, [Online-Edition: http://dx.doi.org/10.1109/EDOC.2013.34],
[Conference item]

Aly, Mohamed ; Charfi, Anis ; Mezini, Mira (2013):
Building Extensions for Applications: Towards the Understanding of Extension Possibilities.
In: ICPC 2013, In: 2013 IEEE 21st International Conference on Program Comprehension (ICPC), IEEE, In: 21st International Conference on Program Comprehension , San Francisco, California, USA, May 20th - 21st, 2013, S. 182-191, [Online-Edition: http://dx.doi.org/10.1109/ICPC.2013.6613846],
[Conference item]

Aly, Mohamed ; Charfi, Anis ; Mezini, Mira (2013):
Building extensions for applications: Towards the understanding of extension possibilities.
In: 2013 21st International Conference on Program Comprehension (ICPC), S. 182-191, [Online-Edition: http://dx.doi.org/10.1109/ICPC.2013.6613846],
[Conference item]

Aly, Mohamed ; Charfi, Anis ; Wu, Di ; Mezini, Mira (2013):
Understanding multilayered applications for building extensions.
In: CoCoS '13, In: Proceedings of the 1st Workshop on Comprehension of Complex Systems, New York, NY, USA, ACM, In: 1st Workshop on Comprehension of Complex Systems, Fukuoka, Japan, March 25th, 2013, S. 1-6, [Online-Edition: http://doi.acm.org/10.1145/2451592.2451594],
[Conference item]

Aly, Mohamed ; Charfi, Anis ; Wu, Di ; Mezini, Mira (2013):
Understanding multilayered applications for building extensions.
In: Proceedings of the 1st workshop on Comprehension of complex systems - CoCoS '13, S. 1, [Online-Edition: http://dx.doi.org/10.1145/2451592.2451594],
[Conference item]

Cergani, Ervina ; Miettinen, Pauli (2013):
Discovering relations using matrix factorization methods.
In: Proceedings of the 22nd ACM international conference on Conference on information & knowledge management - CIKM '13, S. 1549-1552, [Online-Edition: http://dx.doi.org/10.1145/2505515.2507841],
[Conference item]

Cichos, Harald (2013):
Modellbasierte Generierung und Reduktion von Testsuiten für Software-Produktlinien.
TU Darmstadt, [Online-Edition: http://tuprints.ulb.tu-darmstadt.de/3567],
[PhD thesis]

Erdweg, Sebastian ; Rieger, Felix (2013):
A Framework for Extensible Languages.
ACM, In: Proceedings of Conference on Generative Programming and Component Engineering (GPCE), S. 3-12, [Online-Edition: http://erdweg.org/publications/language-extensibility-framew...],
[Conference item]

Erdweg, Sebastian ; Rieger, Felix (2013):
A framework for extensible languages.
In: Proceedings of the 12th international conference on Generative programming: concepts & experiences - GPCE '13, S. 3-12, [Online-Edition: http://dx.doi.org/10.1145/2517208.2517210],
[Conference item]

Erdweg, Sebastian ; Rieger, Felix (2013):
A framework for extensible languages.
In: Proceedings of the 12th international conference on Generative programming: concepts & experiences - GPCE '13, S. 3-12, [Online-Edition: http://dx.doi.org/10.1145/2517208.2517210],
[Conference item]

Giarrusso, Paolo G. ; Ostermann, Klaus ; Eichberg, Michael ; Mitschke, Ralf ; Rendel, Tillmann ; Kästner, Christian (2013):
Reify your collection queries for modularity and speed!
In: Proceedings of the 12th annual international conference on Aspect-oriented software development - AOSD '13, S. 1, [Online-Edition: http://dx.doi.org/10.1145/2451436.2451438],
[Conference item]

Lerch, Johannes ; Mezini, Mira (2013):
Finding Duplicates of Your Yet Unwritten Bug Report.
In: 2013 17th European Conference on Software Maintenance and Reengineering, S. 69-78, [Online-Edition: http://dx.doi.org/10.1109/CSMR.2013.17],
[Conference item]

Lorenzen, Florian ; Erdweg, Sebastian (2013):
Modular and automated type-soundness verification for language extensions.
In: Proceedings of the 18th ACM SIGPLAN international conference on Functional programming - ICFP '13, S. 331, [Online-Edition: http://dx.doi.org/10.1145/2500365.2500596],
[Conference item]

Mitschke, Ralf ; Eichberg, Michael ; Mezini, Mira ; Garcia, Alessandro ; Macia, Isela (2013):
Modular specification and checking of structural dependencies.
In: Proceedings of the 12th annual international conference on Aspect-oriented software development - AOSD '13, S. 85, [Online-Edition: http://dx.doi.org/10.1145/2451436.2451448],
[Conference item]

Salvaneschi, Guido ; Drechsler, Joscha ; Mezini, Mira (2013):
Towards Distributed Reactive Programming.
7890In: Coordination Models and Languages, S. 226-235, ISSN 0302-9743,
[Online-Edition: http://dx.doi.org/10.1007/978-3-642-38493-6_16],
[Conference item]

Salvaneschi, Guido ; Ghezzi, Carlo ; Pradella, Matteo (2013):
An Analysis of Language-Level Support for Self-Adaptive Software.
In: ACM Transactions on Autonomous and Adaptive Systems, 8 (2), S. 1-29, ISSN 15564665,
[Online-Edition: http://dx.doi.org/10.1145/2491465.2491466],
[Article]

Salvaneschi, Guido ; Mezini, Mira (2013):
Reactive behavior in object-oriented applications.
In: Proceedings of the 12th annual international conference on Aspect-oriented software development - AOSD '13, S. 37, [Online-Edition: http://dx.doi.org/10.1145/2451436.2451442],
[Conference item]

Salvaneschi, Guido ; Mezini, Mira (2013):
Reactive behavior in object-oriented applications.
In: Proceedings of the 12th annual international conference on Aspect-oriented software development - AOSD '13, S. 37, [Online-Edition: http://dx.doi.org/10.1145/2451436.2451442],
[Conference item]

2012

Bodden, Eric ; Tolêdo, Társis ; Ribeiro, Márcio ; Brabrand, Claus ; Borba, Paulo ; Mezini, Mira (2012):
Transparent and Efficient Reuse of IFDS-based Static Program Analyses for Software Product Lines.
[Online-Edition: http://www.bodden.de/pubs/btr+12transparent.pdf],
[Report]

Sewe, Andreas (2012):
Design and Analysis of a Scala Benchmark Suite for the Java Virtual Machine.
Darmstadt, TU Darmstadt, [Online-Edition: http://tuprints.ulb.tu-darmstadt.de/3377],
[PhD thesis]

Alsouri, Sami ; Sinschek, Jan ; Sewe, Andreas ; Bodden, Eric ; Mezini, Mira ; Katzenbeisser, Stefan (2012):
Dynamic Anomaly Detection for More Trustworthy Outsourced Computation.
7483In: Lecture Notes in Computer Science, In: Information Security, In: 15th International Conference on Information Security, Passau, Germany, 19-21 Sep 2012, S. 168-187, ISSN 0302-9743,
[Online-Edition: http://dx.doi.org/10.1007/978-3-642-33383-5_11],
[Conference item]

Sewe, Andreas ; Mezini, Mira ; Sarimbekov, Aibek ; Ansaloni, Danilo ; Binder, Walter ; Ricci, Nathan ; Guyer, Samuel Z. (2012):
new Scala() instance of Java: a Comparison of the Memory Behaviour of Java and Scala Programs.
In: ISMM '12, In: Proceedings of the International Symposium on Memory Management, New York, NY, USA, ACM, In: International Symposium on Memory Management, Beijing, China, 15-16 Jun 2012, S. 97-108, [Conference item]

Ansaloni, Danilo ; Binder, Walter ; Bockisch, Christoph ; Bodden, Eric ; Hatun, Kardelen ; Marek, Lukas ; Qi, Zhengwei ; Sarimbekov, Aibek ; Sewe, Andreas ; Tuma, Petr ; Zheng, Yudi (2012):
Challenges for Refinement and Composition of Instrumentations (Position Paper).
In: International Conference on Software Composition (SC 2012), [Online-Edition: http://www.bodden.de/pubs/abb+12challenges.pdf],
[Conference item]

Zheng, Yudi ; Ansaloni, Danilo ; Marek, Lukas ; Sewe, Andreas ; Binder, Walter ; Villazón, Alex ; Tuma, Petr ; Qi, Zhengwei ; Mezini, Mira (2012):
Turbo DiSL: Partial Evaluation for High-level Bytecode Instrumentation.
In: Lecture Notes in Computer Science, In: Objects, Models, Components, Patterns, Berlin / Heidelberg, Springer, S. 353-368, [Online-Edition: http://dx.doi.org/10.1007/978-3-642-30561-0_24],
[Book section]

Bockisch, Christoph ; Sewe, Andreas ; Yin, Haihan ; Mezini, Mira ; Aksit, Mehmet (2012):
An In-Depth Look at ALIA4J.
In: The Journal of Object Technology, 11 (1), S. 1-28, ISSN 1660-1769,
[Online-Edition: http://dx.doi.org/10.5381/jot.2012.11.1.a7],
[Article]

Salvaneschi, Guido ; Ghezzi, Carlo ; Pradella, Matteo (2012):
Context-oriented programming: A software engineering perspective.
In: Journal of Systems and Software, ISSN 0164-1212,
[Online-Edition: http://dx.doi.org/10.1016/j.jss.2012.03.024],
[Article]

Monperrus, Martin ; Eichberg, Michael ; Tekes, Elif ; Mezini, Mira (2012):
What should developers be aware of? An empirical study on the directives of API documentation.
In: Empirical Software Engineering, Springer Netherlands, S. 1-35, ISSN 1382-3256,
[Online-Edition: http://dx.doi.org/10.1007/s10664-011-9186-4],
[Article]

Sarimbekov, Aibek ; Sewe, Andreas ; Binder, Walter ; Moret, Philippe ; Mezini, Mira (2012):
JP2: Call-site aware calling context profiling for the Java Virtual Machine.
In: Science of Computer Programming, Elsevier, ISSN 0167-6423,
[Online-Edition: http://dx.doi.org/10.1016/j.scico.2011.11.003],
[Article]

Aly, Mohamed ; Charfi, Anis ; Mezini, Mira (2012):
On the extensibility requirements of business applications.
In: NEMARA '12, New York, NY, USA, ACM, In: Proceedings of the 2012 workshop on Next Generation Modularity Approaches for Requirements and Architecture, S. 1-6, [Online-Edition: http://doi.acm.org/10.1145/2162004.2162006],
[Conference item]

Bockisch, Christoph ; Sewe, Andreas (2012):
The ALIA4J Approach to Efficient Language Implementation.
In: Proceedings of the 3rd Annual Conference on Systems, Programming, and Applications: Software for Humanity, In: Demo at the 3rd Annual Conference on Systems, Programming, and Applications: Software for Humanity, Tucson, AZ, USA, S. 19-20, [Online-Edition: http://dx.doi.org/10.1145/2384716.2384726],
[Conference item]

Duddy, Keith ; Heinrich, Matthias ; Heinzl, Steffen ; Knechtel, Martin ; Pedrinaci, Carlos ; Schmeling, Benjamin ; Smith, Virginia Barros, Alistair ; Oberle, Daniel (Hrsg.) (2012):
Representing USDL for Humans and Tools.
In: Handbook of Service Description, Springer US, S. 357-383, [Online-Edition: http://dx.doi.org/10.1007/978-1-4614-1864-1₁₄],
[Book section]

Heller, Markus ; Schmeling, Benjamin ; Heinzl, Steffen ; Leidig, Torsten ; Duddy, Keith ; Sandfuchs, Thorsten ; Klein, Andreas ; Allgaier, Matthias Barros, Alistair ; Oberle, Daniel (Hrsg.) (2012):
Enabling USDL by Tools.
In: Handbook of Service Description, Springer US, S. 385-414, [Online-Edition: http://dx.doi.org/10.1007/978-1-4614-1864-1₁₅],
[Book section]

Robillard, Martin P. ; Bodden, Eric ; Kawrykow, David ; Mezini, Mira ; Ratchford, Tristan (2012):
Automated API Property Inference Techniques.
In: IEEE Transactions on Software Engineering, 99 (PrePrints), IEEE Computer Society, S. 1, [Article]

Schmeling, Benjamin ; Charfi, Anis ; Heinzl, Steffen ; Mezini, Mira (2012):
A survey on non-functional concerns in web services.
In: International Journal of Web Information Systems (IJWIS), 8 (1), S. 5-31, [Online-Edition: http://www.emeraldinsight.com/journals.htm?articleid=1702485...],
[Article]

Schmeling, Benjamin ; Charfi, Anis ; Martin, Marko ; Mezini, Mira Ralyté, Jolita ; Franch, Xavier ; Brinkkemper, Sjaak ; Wrycza, Stanislaw (Hrsg.) (2012):
Towards Conflict-Free Composition of Non-functional Concerns.
7328In: Lecture Notes in Computer Science, In: Proceedings of 24th International Conference on Advanced Information Systems Engineering (CAiSE 2012), In: CAiSE, Gdansk, Poland, 25-29 June 2012, S. 80-94, [Online-Edition: http://www.springerlink.com/content/n12l82700591k54n/],
[Conference item]

Witteborg, Heiko ; Charfi, Anis ; Aly, Mohamed ; Holmes, Ta'id (2012):
Business process extensions as first-class entities — a model-driven and aspect-oriented approach.
In: ICSOC'12, In: Proceedings of the 10th international conference on Service-Oriented Computing, Berlin, Heidelberg, Springer-Verlag, In: 10th international conference on Service-Oriented Computing, Shanghai, China, 12th - 15th November, 2012, S. 763-770, [Online-Edition: http://dx.doi.org/10.1007/978-3-642-34321-6_60],
[Conference item]

van Ham, Jurgen (2012):
Adding high-level concurrency to EScala.
In: AOSD Companion '12, In: Proceedings of the 11th Annual International Conference on Aspect-Oriented Software Development Companion, New York, NY, US, In: International Conference on Aspect-Oriented Software Development, Potsdam, Germany, S. 19-20, [Online-Edition: http://dx.doi.org/10.1145/2162110.2162125],
[Conference item]

2011

Sarimbekov, Aibek ; Moret, Philippe ; Binder, Walter ; Sewe, Andreas ; Mezini, Mira (2011):
Complete and Platform-Independent Calling Context Profiling for the Java Virtual Machine.
279In: Electronic Notes in Theoretical Computer Science, In: Proceedings of the Sixth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, In: Sixth Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 2011), Saarbrücken, Germany, 27 Mar 2011, S. 61-74, ISSN 15710661,
[Online-Edition: http://dx.doi.org/10.1016/j.entcs.2011.11.006],
[Conference item]

Dinkelaker, Tom (2011):
Reflective Embedding of Domain-Specific Languages.
Darmstadt, Deutschland, TU-Prints, Technische Universität Darmstadt, [Online-Edition: urn:nbn:de:tuda-tuprints-28133],
[PhD thesis]

Knöll, Roman ; Gasiunas, Vaidas ; Mezini, Mira (2011):
Naturalistic Types.
In: SPLASH/Onward! 2011, [Conference item]

Lam, Patrick ; Bodden, Eric ; Lhotak, Ondrej ; Hendren, Laurie (2011):
The Soot framework for Java program analysis: a retrospective.
In: Cetus Users and Compiler Infastructure Workshop (CETUS 2011), [Online-Edition: http://www.bodden.de/pubs/lblh11soot.pdf],
[Conference item]

Sarimbekov, Aibek ; Binder, Walter ; Sewe, Andreas ; Mezini, Mira ; Villazón, Alex (2011):
JP2: Collecting Dynamic Bytecode Metrics in JVMs.
In: SPLASH '11, In: Companion of the 2nd Conference on Systems, Programming, Languages and Applications: Software for Humanity, New York, NY, USA, ACM, In: ACM international conference on Object-Oriented Programming, Systems, Languages and Applications, Portland, OR, USA, 25-27 Oct 2011, S. 35-36, [Online-Edition: http://doi.acm.org/10.1145/2048147.2048165],
[Conference item]

Sewe, Andreas ; Mezini, Mira ; Sarimbekov, Aibek ; Binder, Walter (2011):
Da Capo con Scala: Design and Analysis of a Scala Benchmark Suite for the Java Virtual Machine.
In: OOPSLA '11, In: Proceedings of the 26th Conference on Object-Oriented Programming, Systems, Languages and Applications, New York, NY, USA, ACM, In: ACM international conference on Object-Oriented Programming, Systems, Languages and Applications, Portland, OR, USA, 25-27 Oct 2011, S. 657-676, [Online-Edition: http://doi.acm.org/10.1145/2048066.2048118],
[Conference item]

Bodden, Eric (2011):
Stateful Breakpoints: A Practical Approach to Defining Parameterized Runtime Monitors.
In: ESEC/FSE '11: Joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, S. 492-495, [Online-Edition: http://www.bodden.de/pubs/bodden11stateful.pdf],
[Conference item]

Schmeling, Benjamin ; Charfi, Anis ; Thome, Rainer ; Mezini, Mira (2011):
Composing Non-functional Concerns in Web Services.
In: Proceedings of the 9th IEEE European Conference on Web Services (ECOWS 2011, In: 9th IEEE European Conference on Web Services (ECOWS 2011), Lugano, Switzerland, S. 73-80, [Online-Edition: http://www.computer.org/portal/web/csdl/doi/10.1109/ECOWS.20...],
[Conference item]

Anquetil, Nicolas ; Kulesza, Uirá ; Mateus, Ricardo ; Mitschke, Ralf ; Moreira, Ana ; Royer, Jean-Claude ; Rummler, Andreas Rashid, Awais ; Royer, Jean-Claude ; Rummler, Andreas (Hrsg.) (2011):
Managing information flow in the SPL development process.
In: Aspect-oriented, model-driven software product lines, New York, NY, USA, Cambridge University Press, S. 222-262, [Book section]

Gasiunas, Vaidas ; Núñez, Angel ; Noyé, Jacques ; Mezini, Mira Rashid, Awais ; Royer, Jean-Claude ; Rummler, Andreas (Hrsg.) (2011):
Product line implementation with ECaesarJ.
In: Aspect-oriented, model-driven software product lines, New York, NY, USA, Cambridge University Press, S. 161-196, [Book section]

Zschaler, Steffen ; Sánchez, Pablo ; Nebrera, Carlos ; Fuentes, Lidia ; Gasiunas, Vaidas ; Fiege, Ludger Rashid, Awais ; Royer, Jean-Claude ; Rummler, Andreas (Hrsg.) (2011):
Product-driven software product line engineering.
In: Aspect-oriented, model-driven software product lines, New York, NY, USA, Cambridge University Press, S. 287-315, [Book section]

Kallel, Slim (2011):
Specifying and Monitoring Non-functional Properties.
TU Darmstadt, [Online-Edition: urn:nbn:de:tuda-tuprints-26770],
[PhD thesis]

Bodden, Eric (2011):
Continuation equivalence: a Correctness Criterion for Static Optimizations of Dynamic Analyses.
ACM, In: WODA '11: International Workshop on Dynamic Analysis, S. 24-28, [Online-Edition: http://www.bodden.de/pubs/bodden11continuation.pdf],
[Conference item]

Schmeling, Benjamin ; Charfi, Anis ; Mezini, Mira (2011):
Composing Non-functional Concerns in Composite Web Services.
In: Proceedings of the 9th IEEE International Conference on Web Services, In: IEEE International Conference on Web Services, Washington DC, USA, S. 331-338, [Online-Edition: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6009406...],
[Conference item]

Barros, A. ; Allgaier, M. ; Charfi, A. ; Heller, M. ; Kylau, U. ; Schmeling, B. ; Stollberg, M. (2011):
Diversified Service Provisioning in Global Business Networks.
In: Proceedings of the SRII Global Conference (SRII), In: SRII Global Conference (SRII), 2011 Annual, San Jose, CA, USA, S. 716 -728, [Online-Edition: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5958152...],
[Conference item]

Andrade, Rodrigo ; Ribeiro, Márcio ; Gasiunas, Vaidas ; Satabin, Lucas ; Rebelo, Herique ; Borba, Paulo (2011):
Assessing Idioms for Implementing Features with Flexible Binding Times.
In: European Conference on Software Maintenance and Reengineering (CSMR), 2011, S. 231 -240, [Conference item]

Bodden, Eric (2011):
Closure Joinpoints: Block joinpoints without surprises.
ACM, In: AOSD '11: Proceedings of the 10th International Conference on Aspect-oriented Software Development, S. 117-128, [Online-Edition: http://www.bodden.de/pubs/bodden11closure.pdf],
[Conference item]

Gasiunas, Vaidas ; Satabin, Lucas ; Mezini, Mira ; Núñez, Angel ; Noyé, Jacques (2011):
EScala: modular event-driven object interactions in Scala.
In: AOSD '11, New York, NY, USA, ACM, In: Proceedings of the tenth international conference on Aspect-oriented software development, S. 227-240, [Online-Edition: http://doi.acm.org/10.1145/1960275.1960303],
[Conference item]

Eichberg, Michael ; Sewe, Andreas (2011):
Encoding the Java Virtual Machine's Instruction Set.
264In: Electronic Notes in Theoretical Computer Science, In: Proceedings of the Fifth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, In: Fifth Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 2010), Paphos, Cyprus, 27 Mar 2010, S. 35-50, ISSN 15710661,
[Online-Edition: http://dx.doi.org/10.1016/j.entcs.2011.02.004],
[Conference item]

Sewe, Andreas (2011):
Scala = Java (mod JVM): On the Performance Characteristics of Scala Programs on the Java Virtual Machine.
692In: CEUR Workshop Proceedings, In: Proceedings of the Work-in-Progress Session at the 8th International Conference on the Principles and Practice of Programming in Java (PPPJ 2010), In: Work-in-Progress Session at PPPJ 2010, Vienna, Austria, 16 Sep 2010., [Online-Edition: http://ceur-ws.org/Vol-692/paper7.pdf],
[Conference item]

Bockisch, Christoph ; Sewe, Andreas ; Mezini, Mira ; Akşit, Mehmet Bishop, Judith ; Vallecillo, Antonio (Hrsg.) (2011):
An Overview of ALIA4J: An Execution Model for Advanced-Dispatching Languages.
In: Lecture Notes in Computer Science, In: Objects, Models, Components, Patterns, Berlin / Heidelberg, Springer, S. 131-146, [Online-Edition: http://dx.doi.org/10.1007/978-3-642-21952-8_11],
[Book section]

Bockisch, Christoph ; Sewe, Andreas ; Zandberg, Martin (2011):
ALIA4J's (just-in-time) compile-time MOP for advanced dispatching.
In: SPLASH '11 Workshops, In: Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11 & VMIL'11, New York, NY, USA, ACM, In: 5th workshop on Virtual Machines and Intermediate Languages, Portland, OR, USA, 24 Oct 2011, S. 309-316, [Online-Edition: http://doi.acm.org/10.1145/2095050.2095101],
[Conference item]

Bodden, Eric ; Hendren, Laurie (2011):
The Clara framework for hybrid typestate analysis.
In: International Journal on Software Tools for Technology Transfer (Springer), [Article]

Bodden, Eric ; Sewe, Andreas ; Sinschek, Jan ; Oueslati, Hela ; Mezini, Mira (2011):
Taming reflection: Aiding static analysis in the presence of reflection and custom class loaders.
In: Proceedings of the 33rd International Conference on Software Engineering, New York, NY, USA, In: International Conference on Software Engineering, Waikiki, Honolulu, HI, USA, 21-28 May 2011, S. 241-250, [Online-Edition: http://doi.acm.org/10.1145/1985793.1985827],
[Conference item]

Dinkelaker, Tom (2011):
AO4SQL: Towards an Aspect-Oriented Extension for SQL.
In: Proceedings of the 8th Workshop on Reflection, AOP and Meta-Data for Software Evolution (RAM-SE'11), Zurich, Switzerland, [Conference item]

Dinkelaker, Tom ; Eichberg, Michael ; Mezini, Mira (2011):
Incremental Concrete Syntax for Embedded Languages.
In: ACM, In: Proceedings of the 26th ACM Symposium on Applied Computing Technical Track on Programming Languages (PL at SAC), New York, NY, USA, ACM, In: Proceedings of the 26th ACM Symposium on Applied Computing Technical Track on Programming Languages (PL at SAC), [Conference item]

Dinkelaker, Tom ; Hauke, Sascha (2011):
Policy Languages Require the Same Composition Mechanisms as Programming Languages.
In: ECOOP, In: Proceedings of the Workshop on Free Composition (FREECO'11), New York, NY, USA, ACM, In: Proceedings of the Workshop on Free Composition (FREECO'11), Lancaster, UK, [Conference item]

Eichberg, Michael Gallagher, John ; Gelfond, Michael (Hrsg.) (2011):
Compiling Prolog to Idiomatic Java.
11In: Leibniz International Proceedings in Informatics (LIPIcs), Dagstuhl, Germany, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, In: Technical Communications of the 27th International Conference on Logic Programming (ICLP'11), Lexington, KY, USA, S. 84-94, [Online-Edition: http://drops.dagstuhl.de/opus/volltexte/2011/3176],
[Conference item]

Erradi, Mohammed ; Dinkelaker, Tom (2011):
Using Aspect-Oriented State Machines for Resolving Feature Interactions.
In: FedCSIS, In: Proceedings of the 3rd Workshop on Advances in Programming Languages (WAPL'11), Szczecin, Poland, IEEE, In: Proceedings of the 3rd Workshop on Advances in Programming Languages (WAPL'11), Szczecin, Poland, [Conference item]

Inostroza, Milton ; Tanter, Éric ; Bodden, Eric (2011):
Join Point Interfaces for Modular Reasoning in Aspect-Oriented Programs.
In: ESEC/FSE '11: Joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, S. 508-511, [Online-Edition: http://www.bodden.de/pubs/itb11jpi.pdf],
[Conference item]

Mitschke, Ralf ; Sewe, Andreas ; Mezini, Mira (2011):
Magic for the Masses: Safer High-level Low-level Programming through Customizable Static Analyses.
In: ACM Digital Library, In: Proceedings of the 1st workshop on Modularity in Systems Software, In: First workshop on Modularity in Systems Software, Porto de Galinhas, Brazil, 22 Mar 2011, S. 13-17, [Online-Edition: http://dx.doi.org/10.1145/1960518.1960522],
[Conference item]

Sarimbekov, Aibek ; Sewe, Andreas ; Binder, Walter ; Moret, Philippe ; Schoeberl, Martin ; Mezini, Mira (2011):
Portable and Accurate Collection of Calling-Context-Sensitive Bytecode Metrics for the Java Virtual Machine.
In: PPPJ '11, In: Proceedings of the 9th International Conference on Principles and Practice of Programming in Java, New York, NY, USA, In: International Conference on Principles and Practice of Programming in Java, Kongens Lyngby, Denmark, 24-26 August 2011, S. 11-20, [Online-Edition: http://dx.doi.org/10.1145/2093157.2093160],
[Conference item]

Sewe, Andreas ; Jochem, Jannik ; Mezini, Mira (2011):
Next in line, Please!: Exploiting the Indirect Benefits of Inlining by Accurately Predicting Further Inlining.
In: SPLASH '11 Workshops, In: Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11 & VMIL'11, New York, NY, USA, ACM, In: 5th workshop on Virtual Machines and Intermediate Languages, Portland, OR, USA, 24 Oct 2011, S. 317-328, [Online-Edition: http://doi.acm.org/10.1145/2095050.2095102],
[Conference item]

2010

Gasiunas, Vaidas (2010):
Advanced Object-Oriented Language Mechanisms for Variability Management.
TU Darmstadt, [Online-Edition: urn:nbn:de:tuda-tuprints-23531],
[PhD thesis]

Charfi, Anis ; Schmeling, Benjamin ; Novelli, Francesco ; Witteborg, Heiko ; Kylau, Uwe (2010):
An Overview of the Unified Service Description Language.
In: Proceedings of the 8th IEEE European Conference on Web Services (ECOWS 2010), In: 8th IEEE European Conference on Web Services (ECOWS 2010), Ayia Napa, Cyprus, S. 173-180, [Online-Edition: http://www.computer.org/portal/web/csdl/doi/10.1109/ECOWS.20...],
[Conference item]

Bodden, Eric ; Lam, Patrick (2010):
Clara: Partially Evaluating Runtime Monitors at Compile Time.
6418In: LNCS, Springer, In: 1st International Conference on Runtime Verification (RV), S. 183-197, [Conference item]

Bodden, Eric ; Lam, Patrick ; Hendren, Laurie (2010):
Clara: a Framework for Statically Evaluating Finite-state Runtime Monitors.
6418In: LNCS, Springer, In: 1st International Conference on Runtime Verification (RV), S. 74-88, [Conference item]

Bruch, Marcel ; Bodden, Eric ; Monperrus, Martin ; Mezini, Mira (2010):
IDE 2.0: Collective Intelligence in Software Development.
ACM, In: FSE/SDP Workshop on the Future of Software Engineering, S. 53-58, DOI: 10.1145/1882362.1882374?,
[Online-Edition: http://www.bodden.de/pubs/bbmm10ide.pdf],
[Conference item]

Dinkelaker, Tom (2010):
Review of the Support for Modular Language Implementation with Embedding Approaches.
In: Technical Reports, Hochschulstrasse 10, Darmstadt, Germany, TU Darmstadt, [Report]

Dinkelaker, Tom (2010):
Review of the Support for Modular Language Implementation in Embedding Approaches.
[Report]

Kim, Chang Hwan Peter ; Bodden, Eric ; Batory, Don ; Khurshid, Sarfraz (2010):
Reducing Configurations to Monitor in a Software Product Line.
6418In: LNCS, Springer, In: 1st International Conference on Runtime Verification (RV), S. 285-299, [Online-Edition: http://www.bodden.de/pubs/kbbk10reducing.pdf],
[Conference item]

Schmeling, Benjamin ; Charfi, Anis ; Mezini, Mira (2010):
Non-functional Concerns in Web Services: Requirements and State of the Art Analysis.
In: Proceedings of the 12th International Conference on Information Integration and Web-based Applications & Services, New York, NY, USA, In: 12th International Conference on Information Integration and Web-based Applications & Services, Paris, France, S. 67-74, [Online-Edition: http://dl.acm.org/citation.cfm?doid=1967486.1967501],
[Conference item]

Sewe, Andreas ; Yuan, Dingwen ; Sinschek, Jan ; Mezini, Mira (2010):
Headroom-based Pretenuring.
In: Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java (PPPJ 2010), ACM Press, Vienna, Austria, S. 29--38, ISBN 978-1-4503-0269-2,
DOI: 10.1145/1852761.1852767,
[Conference item]

Alnusair, Awny ; Zhao, Tian ; Bodden, Eric (2010):
Effective API Navigation and Reuse.
IEEE, In: International Conference on Conference on Information Reuse and Integration (IEEE IRI), S. 7-12, [Conference item]

Bodden, Eric ; Havelund, Klaus (2010):
Aspect-oriented Race Detection in Java.
In: IEEE Transactions on Software Engineering (TSE), (4), 36. IEEE, S. 509-527, [Article]

Charfi, Anis ; Müller, Heiko ; Mezini, Mira (2010):
Aspect-Oriented Business Process Modeling with AO4BPMN.
6138In: LNCS, In: 6th European Conference ECMFA on Modelling Foundations and Applications (ECMFA), Paris, France, 15-18 June 201, S. 48-61, [Online-Edition: http://www.springerlink.com/content/443t68453127m265/],
[Conference item]

Eichberg, Michael ; Klose, Karl ; Mitschke, Ralf ; Mezini, Mira (2010):
Component Composition Using Feature Models.
6092In: Component-Based Software Engineering, S. 200, ISSN 0302-9743,
[Online-Edition: http://dx.doi.org/10.1007/978-3-642-13238-4_12],
[Conference item]

Gasiunas, Vaidas ; Satabin, Lucas ; Mezini, Mira ; Nunez, Angel ; Noyé, Jacques (2010):
Declarative Events for Object-Oriented Programming.
In: TUD-CS-2010-0122, Darmstadt, [Report]

Bockisch, Christoph ; Sewe, Andreas (2010):
Generic IDE Support for Dispatch-Based Composition.
In: Proceedings of the First International Workshop on Composition: Objects, Aspects, Components, Services and Product Lines, In: Composition & Variability 2010: First International Workshop on Composition: Objects, Aspects, Components, Services and Product Lines, Rennes, France, [Online-Edition: http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-W...],
[Conference item]

Bodden, Eric (2010):
Specifying and Exploiting Advice-Execution Ordering using Dependency State Machines.
In: International Workshop on the Foundations of Aspect-Oriented Languages (FOAL), [Conference item]

Bodden, Eric ; Sewe, Andreas ; Sinschek, Jan ; Mezini, Mira (2010):
Taming Reflection: Static Analysis in the Presence of Reflection and Custom Class Loaders.
(TUD-CS-2010-0066), [Report]

Dinkelaker, Tom ; Mitschke, Ralf ; Fetzer, Karin ; Mezini, Mira (2010):
A Dynamic Software Product Line Approach Using Aspect Models at Runtime.
In: Proceedings of the 1st Workshop on Composition and Variability, In: 1st Workshop on Composition and Variability, [Conference item]

Heinzl, Steffen ; Schmeling, Benjamin (2010):
Using XML schema to improve writing, validation, and structure of WS-policies.
In: Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), In: 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, S. 2422-2429, [Online-Edition: http://dl.acm.org/citation.cfm?doid=1774088.1774592],
[Conference item]

Bijker, Remko ; Bockisch, Christoph ; Sewe, Andreas (2010):
Optimizing the evaluation of patterns in pointcuts.
In: Proceedings of the 4th workshop on Virtual Machines and Intermediate Languages, New York, NY, USA, ACM, In: Workshop on Virtual Machines and Intermediate Languages, Reno, Nevada, USA, 17 Oct 2010, S. 1-10, [Online-Edition: http://doi.acm.org/10.1145/1941054.1941056],
[Conference item]

Bodden, Eric (2010):
Efficient hybrid typestate analysis by determining continuation-equivalent states.
1In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - ICSE '10, S. 5, [Online-Edition: http://dx.doi.org/10.1145/1806799.1806805],
[Conference item]

Bruch, Marcel ; Mezini, Mira ; Monperrus, Martin (2010):
Mining Subclassing Directives to Improve Framework Reuse.
In: Proceedings of the 7th IEEE Working Conference on Mining Software Repositories (MSR'2010), [Conference item]

Dinkelaker, Tom ; Eichberg, Michael ; Mezini, Mira (2010):
An Architecture for Composing Embedded Domain-Specific Languages.
In: ACM, In: AOSD '10: Proceedings of the 9th International Conference on Aspect-Oriented Software Development, New York, NY, USA, ACM, In: International Conference on Aspect-Oriented Software Development, ST Malo, France, March 16-19, S. 49-60, [Conference item]

Dinkelaker, Tom ; Monperrus, Martin ; Mezini, Mira (2010):
Supporting Variability with Late Semantic Adaptations of Domain-Specific Modeling Languages.
In: Proceedings of the First International Workshop on Composition and Variability co-located with AOSD'2010, [Online-Edition: http://www.monperrus.net/martin/Supporting-Variability-with-...],
[Conference item]

Eichberg, Michael ; Monperrus, Martin ; Kloppenburg, Sven ; Mezini, Mira (2010):
Model-Driven Engineering of Machine Executable Code.
In: Proceedings of the 6th European Conference on Modelling Foundations and Applications (ECMFA'2010), S. 104, [Online-Edition: http://dx.doi.org/10.1007/978-3-642-13595-8_10],
[Conference item]

Heinzl, Steffen ; Schmeling, Benjamin ; Freisleben, Bernd (2010):
Using temporal policies for managing changing meta-data of Web Services.
In: International Journal of Web and Grid Services (IJWGS), 6 (4), Inderscience Publishers, S. 331-356, [Online-Edition: http://www.inderscience.com/offer.php?id=36402],
[Article]

Monperrus, Martin ; Bruch, Marcel ; Mezini, Mira (2010):
Detecting Missing Method Calls in Object-Oriented Software.
In: Proceedings of the 24th European Conference on Object-Oriented Programming (ECOOP'2010), [Conference item]

Monperrus, Martin ; Jézéquel, Jean-Marc ; Baudry, Benoit ; Champeau, Joël ; Hoeltzener, Brigitte (2010):
Model-driven generative development of measurement software.
In: Software & Systems Modeling, ISSN 1619-1366,
[Online-Edition: http://dx.doi.org/10.1007/s10270-010-0165-9],
[Article]

Sewe, Andreas Krall, Andreas (Hrsg.) (2010):
Scala = Java (mod JVM)?
692In: CEUR Workshop Proceedings, In: Proceedings of the Work-in-Progress Session at the 8th International Conference on the Principles and Practice of Programming in Java (PPPJ 2010), Vienna, Austria, [Conference item]

Sewe, Andreas ; Yuan, Dingwen ; Sinschek, Jan ; Mezini, Mira (2010):
Headroom-based pretenuring: dynamically pretenuring objects that live “long enough”.
In: Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java - PPPJ '10, In: 8th International Conference on the Principles and Practice of Programming in Java - PPPJ '10, Vienna, Austria, 15-17 Sep 2010, S. 29-38, [Online-Edition: http://dx.doi.org/10.1145/1852761.1852767],
[Conference item]

2009

Kloppenburg, Sven (2009):
Incrementalization of Analyses for Next Generation IDEs.
TU Darmstadt - Fachbereich Informatik, [Online-Edition: urn:nbn:de:tuda-tuprints-19605],
[PhD thesis]

Kallel, Slim ; Charfi, Anis ; Dinkelaker, Tom ; Mezini, Mira ; Jmaiel, Mohamed (2009):
Specifying and Monitoring Temporal Properties in Web Services Compositions.
In: Proceedings of the 7th IEEE European Conference on Web Services (ECOWS), Eindhoven, The Netherland, IEEE computer society, [Book section]

Dinkelaker, Tom ; Wende, Christian ; Lochmann, Henrik (2009):
Implementing and Composing MDSD-Typical DSLs.
Darmstadt, Technische Universität, [Online-Edition: urn:nbn:de:tuda-tuprints-19394],
[Report]

Weimer, Markus ; Karatzoglou, Alexandros ; Bruch, Marcel (2009):
Maximum Margin Code Recommendation.
In: RecSys '09: Proceedings of the 2009 ACM conference on Recommender systems, In: RecSys '09: Third ACM Conference on Recommender Systems, New York, NY, USA, 23-25.10.2009, [Online-Edition: http://recsys.acm.org/],
[Conference item]

Bruch, Marcel ; Monperrus, Martin ; Mezini, Mira (2009):
Learning from Examples to Improve Code Completion Systems.
In: Proceedings of 17th ACM SIGSOFT Symposium on the Foundations of Software Engineering, In: 17th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-17), Amsterdam , Netherlands, 24.-28. Aug 2009, [Conference item]

Anquetil, Nicolas ; Kulesza, Uirá ; Mitschke, Ralf ; Moreira, Ana ; Royer, Jean-Claude ; Rummler, Andreas ; Sousa, André (2009):
A model-driven traceability framework for software product lines.
In: Software and Systems Modeling, Springer Berlin / Heidelberg, ISSN 1619-1366 (Print) 1619-1374 (Online),
[Online-Edition: http://www.springerlink.com/content/wvm4hv8r78117785/],
[Article]

Bockisch, Christoph-Matthias (2009):
An Efficient and Flexible Implementation of Aspect-Oriented Languages.
Darmstadt, Technische Universität, TU Darmstadt, [Online-Edition: urn:nbn:de:tuda-tuprints-13147],
[PhD thesis]

Charfi, Anis ; Dinkelaker, Tom ; Mezini, Mira (2009):
A Plug-in Architecture for Self-Adaptive Web Service Compositions.
In: Proceedings of the IEEE 7th International Conference on Web Services (ICWS 2009), IEEE, In: IEEE 7th International Conference on Web Services (ICWS 2009), [Conference item]

Dinkelaker, Tom ; Mezini, Mira ; Bockisch, Christoph (2009):
The Art of the Meta-Aspect Protocol.
In: Proceedings of the 8th ACM International Conference on Aspect-Oriented Software Development, New York, NY, USA, S. 51-62, [Online-Edition: http://doi.acm.org/10.1145/1509239.1509248],
[Book section]

Dinkelaker, Tom ; Monperrus, Martin ; Mezini, Mira (2009):
Untangling Cross-Cutting Concerns in Domain-Specific Languages with Domain-Specific Join Points.
In: Proceedings of the 4th Workshop on Domain-Specific Aspect Languages, ACM New York, NY, USA, In: 4th Workshop on Domain-Specific Aspect Languages, S. 1-6, [Conference item]

Kallel, Slim ; Charfi, Anis ; Mezini, Mira ; Jmaiel, Mohamed ; Klose, Karl (2009):
From Formal Access Control Policies to Runtime Enforcement Aspects.
In: Lecture Notes In Computer Science, In: Proceedings of the 1st International Symposium on Engineering Secure Software and Systems, Berlin/Heidelberg, Germany, S. 16-31, [Online-Edition: http://www.springerlink.com/content/c0477883j1j39082/],
[Book section]

Kallel, Slim ; Charfi, Anis ; Mezini, Mira ; Jmaiel, Mohamed ; Sewe, Andreas (2009):
A holistic approach for access control policies: from formal specification to aspect-based enforcement.
In: International Journal of Information and Computer Security, (3/4), 3. Inderscience Publishers, S. 337-354, ISSN 1744-1765,
[Online-Edition: http://dx.doi.org/10.1504/IJICS.2009.031044],
[Article]

Knoell, Roman ; Mezini, Mira (2009):
Pi - A Pattern Language.
In: Onward '09: Proceedings of the Onward Conference, In: Onward Conference, 2009, Orlando, FL, USA, [Conference item]

Monperrus, Martin ; Beugnard, Antoine ; Champeau, Joël (2009):
A Definition of "Abstraction Level" for Metamodels.
In: 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, S. 315-320, [Online-Edition: http://dx.doi.org/10.1109/ECBS.2009.41],
[Conference item]

Monperrus, Martin ; Long, Benoit ; Champeau, Joel ; Hoeltzener, Brigitte ; Marchalot, Gabriel ; Jézéquel, Jean-Marc (2009):
Model-driven architecture of a maritime surveillance system simulator.
In: Systems Engineering, (3), 13. S. 290-297, ISSN 10981241,
[Online-Edition: http://dx.doi.org/10.1002/sys.20149],
[Article]

Nunez, Angel ; Noyé, Jacques ; Gasiunas, Vaidas (2009):
Declarative Definition of Contexts with Polymorphic Events.
In: Proceedings of the International Workshop on Context-Oriented Programming, In: International Workshop on Context-Oriented Programming (COP'09), [Conference item]

Sinschek, Jan ; Sewe, Andreas ; Mezini, Mira (2009):
VM performance evaluation with functional models: An optimist's outlook.
In: Proceedings of the Third Workshop on Virtual Machines and Intermediate Languages - VMIL '09, In: Third Workshop on Virtual Machines and Intermediate Languages, Orlando, FL, USA, [Online-Edition: http://doi.acm.org/10.1145/1711506.1711512],
[Conference item]

2008

Bruch, Marcel ; Mezini, Mira (2008):
Improving Code Recommender Systems using Boolean Factor Analysis and Graphical Models.
ACM, In: International Workshop on Recommendation Systems for Software Engineering (RSSE 2008), Atlanta, Georgia, USA, 14. Nov. 2008, [Conference item]

Bruch, Marcel ; Schäfer, Thorsten ; Mezini, Mira (2008):
On Evaluating Recommender Systems for API Usages.
New York, NY, USA, ACM, In: International Workshop on Recommendation Systems for Software Engineering, Atlanta, Georgia, USA, 14. Nov. 2008, S. 16-20, [Online-Edition: http://doi.acm.org/10.1145/1454247.1454254],
[Conference item]

Bruch, Marcel (2008):
Towards Control-flow Aware Code Recommender Systems.
In: 3rd International Doctoral Symposium on Empirical Software Engineering 2008, Kaiserslautern, Deutschland, 08. Okt. 2008, [Conference item]

Kallel, Slim ; Charfi, Anis ; Mezini, Mira ; Jmaiel, Mohamed (2008):
Aspect-based Enforcement of Formal Delegation Policies.
IEEE, In: Third International Conference on Risks and Security of Internet and Systems (CRiSIS '08), Tozeur, Tunisia, 28.-30. Okt. 2008, S. 9-17, [Conference item]

Eichberg, Michael ; Kloppenburg, Sven ; Klose, Karl ; Mezini, Mira (2008):
Defining and continuous checking of structural program dependencies.
In: Proceedings of the 30th International Conference on Software Engineering, ACM Press, S. 391-400, [Online-Edition: http://doi.acm.org/10.1145/1368088.1368142],
[Book section]

Charfi, Anis (2008):
Aspect-Oriented Workflow Management: Concepts, Languages, Applications.
VDM Verlag Dr. Mueller, TU Darmstadt, [PhD thesis]

Dinkelaker, Tom ; Mezini, Mira (2008):
Dynamically linked Domain-Specific Extensions for Advice Languages.
In: Proceedings of the 2008 AOSD workshop on Domain-Specific Aspect Languages, New York, NY, USA, [Online-Edition: http://doi.acm.org/10.1145/1404927.1404930],
[Book section]

Kallel, Slim ; Charfi, Anis ; Jmaiel, Mohamed (2008):
Using Aspects for Enforcing Formal Architectural Invariants.
215In: Electronic Notes in Theoretical Computer Science, In: Proceedings of the 4th International Workshop on Formal Aspects of Component Software, In: 4th International Workshop on Formal Aspects of Component Software (FACS 2007), Sophia-Antipolis, France, 29. Jun. 2008, S. 5-21, [Conference item]

Mitschke, Ralf ; Eichberg, Michael (2008):
Supporting the Evolution of Software Product Lines.
In: ECMDA Traceability Workshop, Berlin, Germany, 09.-12. Jun. 2008, [Conference item]

Schäfer, Thorsten ; Jonas, Jan ; Mezini, Mira (2008):
Mining framework usage changes from instantiation code.
In: Proceedings of the 30th International Conference on Software engineering, New York, NY, USA, ACM, In: International Conference on Software Engineering (ICSE), Leipzig, Germany, S. 471-480, [Online-Edition: http://doi.acm.org/10.1145/1368088.1368153],
[Conference item]

Sewe, Andreas ; Bockisch, Christoph ; Mezini, Mira (2008):
Aspects and Class-based Security: A Survey of Interactions between Advice Weaving and the Java 2 Security Model.
ProceeIn: ACM Digital Library, New York, NY, USA, In: 2nd Workshop on Virtual Machines and Intermediate Languages for emerging modularization mechanisms (VMIL 2008), Nashville, TN, USA, 19. Okt. 2008, [Online-Edition: http://doi.acm.org/10.1145/1507504.1507507],
[Conference item]

Sewe, Andreas ; Bockisch, Christoph ; Mezini, Mira (2008):
Redundancy-free Residual Dispatch: Using Ordered Binary Decision Diagrams for Efficient Dispatch.
ProceeIn: ACM Digital Library, New York, NY, USA, In: 7th workshop on Foundations of aspect-oriented languages (FOAL 2008), Brussels, Belgium, 1. Apr. 2008, [Online-Edition: http://doi.acm.org/10.1145/1394496.1394497],
[Conference item]

2007

Gasiunas, Vaidas ; Aracic, Ivica (2007):
Dungeon: A Case Study of Feature-Oriented Programming with Virtual Classes.
In: Proceedings of the 2nd Workshop on Aspect-Oriented Product Line Engineering, In: 2nd Workshop on Aspect-Oriented Product Line Engineering (AOPLE), Salzburg, Austria, [Conference item]

Charfi, Anis ; Mezini, Mira (2007):
AO4BPEL: An Aspect-Oriented Extension to BPEL.
In: World Wide Web Journal: Recent Advances on Web Services (special issue), (3), 10. Springer Netherlands, S. 309-344, ISSN 1386-145X,
[Article]

Charfi, Anis ; Berbner, Rainer ; Mezini, Mira ; Steinmetz, Ralf (2007):
On the Management Requirements of Web Service compositions.
In: IEEE ECOWS <Halle, 2007> ; Workshop on Emerging Web Services Technology , 2008, [Conference item]

Bockisch, Christoph ; Mezini, Mira (2007):
A flexible architecture for pointcut-advice language implementations.
In: ACM Digital Library, In: Proceedings of the 1st Workshop on Virtual Machines and Intermediate Languages, New York, NY, USA, ACM Press, In: 1st Workshop on Virtual Machines and Intermediate Languages for emerging modularization mechanisms (VMIL 2007), Vancouver, British Columbia, Canada, 13. Mär. 2007, S. 1-10, [Online-Edition: http://doi.acm.org/10.1145/1230136.1230137],
[Conference item]

Cepa, Vasian (2007):
Attribute Enabled Software Development - Illustrated with mobile software applications.
VDM Verlag Dr. Mueller, [Book]

Charfi, Anis (2007):
Aspect-Oriented Workflow Languages: AO4BPEL and Applications.
Darmstadt, TU Darmstadt, [PhD thesis]

Charfi, Anis ; Schmeling, Benjamin ; Mezini, Mira (2007):
Transactional BPEL Processes with AO4BPEL Aspects.
In: Fifth European Conference on Web Services (ECOWS'07), Halle, Germany, 26.-28. Nov. 2007, S. 149-158, [Online-Edition: http://doi.ieeecomputersociety.org/10.1109/ECOWS.2007.17],
[Conference item]

Dinkelaker, Tom ; Johnstone, Alisdair ; Karabulut, Yuecel ; Nassi, Ike (2007):
Secure Scripting Based Composite Application Development: Framework, Architecture, and Implementation.
In: Proceedings of the 5th International Conference on Collaborative Computing: Networking, Applications and Worksharing, In: The 5th International Conference on Collaborative Computing: Networking, Applications and Worksharing, [Conference item]

Eichberg, Michael ; Kahl, Matthias ; Saha, Diptikalyan ; Mezini, Mira ; Ostermann, Klaus (2007):
Automatic Incrementalization of Prolog Based Static Analyses.
In: Lecture Notes In Computer Science, In: Practical Aspects of Declarative Languages, Heidelberg/Berlin, Germany, S. 109-123, [Book section]

Gasiunas, Vaidas ; Mezini, Mira ; Ostermann, Klaus (2007):
Dependent Classes.
In: Proceedings of the 22nd annual ACM SIGPLAN conference on Object-Oriented Programming, Systems, Languages and Applications, New York, NY, USA, S. 133-152, [Online-Edition: http://doi.acm.org/10.1145/1297027.1297038],
[Book section]

Kallel, Slim ; Charfi, Anis ; Mezini, Mira ; Jmaiel, Mohamed (2007):
Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants.
In: Lecture Notes In Computer Science, In: Coordination Models and Languages, Heidelberg/Berlin, Germany, S. 211-230, [Online-Edition: http://www.springerlink.com/content/617246q4143160q4/],
[Book section]

Schäfer, Thorsten ; Aracic, Ivica ; Mezini, Mira ; Merz, Matthias ; Ostermann, Klaus (2007):
Clustering for Generating Framework Top-Level Views.
In: Proceedings of the 14th Working Conference on Reverse Engineering, Washington, DC, USA, IEEE Computer Society, In: Working Conference on Reverse Engineering (WCRE '07), S. 239-248, [Conference item]

2006

Charfi, Anis ; Schmeling, Benjamin ; Mezini, Mira (2006):
Reliable Messaging for BPEL Processes.
In: Proceedings of the International Conference on Web Services, In: International Conference on Web Services (ICWS '06), Chicago, IL, USA, S. 293-302, [Conference item]

Eichberg, Michael ; Mezini, Mira ; Kloppenburg, Sven ; Ostermann, Klaus ; Rank, B. (2006):
Integrating and Scheduling an Open Set of Static Analyses.
In: Proceedings of the 21st International Conference on Automated Software Engineering, In: 21st IEEE/ACM International Conference on Automated Software Engineering (ASE '06), Tokyo, Japan, S. 113-122, [Conference item]

Charfi, Anis ; Schmeling, Benjamin ; Heizenreder, Andreas ; Mezini, Mira (2006):
Reliable, Secure, and Transacted Web Service Compositions with AO4BPEL.
In: 4th European Conference on Web Services, In: 4th European Conference on Web Services (ECOWS '06), Zurich, Switzerland, S. 23-34, [Conference item]

Charfi, Anis ; Mezini, Mira (2006):
Aspect-Oriented Workflow Languages.
In: Lecture Notes in Computer Science, In: On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE, Berlin/Heidelberg, Germany, S. 183-200, [Book section]

Charfi, Anis ; Mezini, Mira (2006):
Middleware Support for BPEL Workflows in the AO4BPEL Engine.
In: Proceedings of the Demo Session of the 4th International Conference on Business Process Management (BPM), S. 44-51, [Book section]

Regayeg, Amira ; Kallel, Slim ; Kacem, Ahmed Hadj ; Jmaiel, Mohamed (2006):
ForMAAD Method: An Experimental Design for Air Traffic Control.
In: International Transactions on Systems Science and Applications, (4), 1. S. 327-334, [Article]

Haupt, Michael (2006):
Virtual Machine Support for Aspect-Oriented Programming Languages.
Darmstadt, Technische Universität, TU Darmstadt, [Online-Edition: urn:nbn:de:tuda-tuprints-7061],
[PhD thesis]

Charfi, Anis ; Riveill, Michel ; Blay-Fornarino, Mireille ; Pinna-Dery, Anne-Marie (2006):
Transparent and Dynamic Aspect Composition.
In: Workshop on Software Engineering Properties of Languages and Aspect Technologies (SPLAT '06), [Conference item]

Aracic, Ivica ; Gasiunas, Vaidas ; Mezini, Mira ; Ostermann, Klaus (2006):
Overview of CaesarJ.
In: Transactions on aspect oriented software development . - Berlin : Springer T. !, S. 135-173 .- 2006 (Lecture notes in computer science ; 3880) ISBN: 978-3-540-32972-5 3-540-32972-2, Berlin, Springer T. !, [Conference item]

Bockisch, Christoph ; Arnold, Mathew ; Dinkelaker, Tom ; Mezini, Mira (2006):
Adapting Virtual Machine Techniques for Seamless Aspect Support.
In: OOPSLA '06: Proceedings of the 21st ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, 2006, [Conference item]

Bockisch, Christoph ; Haupt, Michael ; Mezini, Mira (2006):
Dynamic Virtual Join Point Dispatch.
In: Workshop on Software Engineering Properties of Languages and Aspect Technologies (SPLAT '06), 2006, [Conference item]

Bockisch, Christoph ; Kanthak, Sebastian ; Haupt, Michael ; Arnold, Mathew ; Mezini, Mira (2006):
Efficient Control Flow Quantification.
In: 'OOPSLA '06 : Proceedings of the 2Ist ACM SIGPLAN Conference on Object-oriented programming, Systems, languages, and applications, [Conference item]

Bruch, Marcel ; Schäfer, Thorsten ; Mezini, Mira (2006):
FrUiT : IDE support for framework understanding.
In: 'eclipse '06 : Proceedings of the 2006 OOPSLA Workshop on Eclipse Technology eXchange, New York, NY : ACM Press, 2006, S. 55-59., [Conference item]

Eichberg, Michael ; Germanus, Daniel ; Mezini, Mira ; Mrokon, Lukas ; Schafer, Thorsten (2006):
QScope : an Open, Extensible Framework for Measuring Software Projects.
In: 'CSMR '06 : Proceedings of the Conference on Software Maintenance and Reengineering', Washington, DC. : IEEE, S. 113-122, [Book section]

Knöll, Roman ; Mezini, Mira (2006):
Pegasus : first steps toward a naturlaistic progamming language.
In: Proceedings of the 21st International Conference on Object-Oriented Programming, Systems, Languages, and Applications : October 22 - 26, 2006, Portland Convention Center, Portland, Oregon, USA ; - New York, NY, 2006 Schriftenreihe: ACM SIGPLAN notices ; 4, [Conference item]

Schäfer, Thorsten ; Eichberg, Michael ; Haupt, Michael ; Mezini, Mira (2006):
The SEXTANT software exploration tool.
In: IEEE Transactions on Software Engineering, 32. S. 753-768, [Article]

Eichberg, Michael ; Kanthak, Sebastian ; Kloppenburg, Sven ; Mezini, Mira ; Schuh, Tobias (2006):
Incremental Confined Types Analysis.
In: Electronic Notes in Theoretical Computer Science, In: Proceedings of the Sixth Workshop on Language Descriptions, Tools, and Applications (LDTA 2006), Elsevier, [Book section]

Gasiunas, Vaidas ; Bartolomei, Thiago Tonelli (2006):
Towards Goal-Driven Design.
In: Workshop on Software Engineering Properties of Languages and Aspect Technologies (SPLAT) at AOSD, [Conference item]

Haupt, Michael (2006):
Virtual Machine Support for Aspect-Oriented Programming Languages.
Darmstadt, Technische Universität Darmstadt, Software Technology Group, Darmstadt University of Technology, [PhD thesis]

2005

Bockisch, Christoph ; Mezini, Mira ; Ostermann, Klaus (2005):
Quantifying over Dynamic Properties of Program Execution.
In: Proceedings of the Second Dynamic Aspects Workshop, In: Second Dynamic Aspects Workshop (DAW05), Chicago, Illinois, USA, S. 71-76, [Online-Edition: http://aosd.net/2005/workshops/daw/tr-daw2005-proceedings.pd...],
[Conference item]

Bockisch, Christoph ; Haupt, Michael ; Mezini, Mira ; Mitschke, Ralf (2005):
Envelope-based weaving for faster aspect compilers.
In: Conference proceedings / NODe [Net.ObjectDays] 2005, GSEM 2005 : Erfurt, Germany, September 20 - 22, 2005 / Robert Hirschfeld ... (Hrsg.). - Bonn : Ges. für Informatik, 2005 . - S. 3-18 (GI-Edition : Proceedings ; 69) ISBN: 3-88579-398-9, Bonn, Ges. für Informatik, [Conference item]

Cepa, Vasian ; Mezini, Mira (2005):
MobCon : a generative middleware framework for Java mobile applications.
In: Proceedings of the 38th Annual Hawaii International Conference on System Sciences : 3 - 6 January 2005, Big Island, Hawaii, [Hilton Waikoloa] ; abstracts and CD-ROM of full papers / ed. by Ralph H. Sprague. - Los Alamitos, Calif. [u.a.] : IEEE Computer So, Los Alamitos, Calif. [u.a.], IEEE Computer Society, [Conference item]

Charfi, Anis ; Mezini, Mira (2005):
Application of aspect-oriented programming to workflows : the case of web service composition with AO4BPEL.
In: Journées Scientifiques de Jeunes Chercheurs en Génie Electrique et Informatique (GEI), Sousse, Tunesien, 2005, [Conference item]

Charfi, Anis ; Mezini, Mira (2005):
Using aspects for security engineering of web service compositions.
In: : Proceedings / 2005 IEEE International Conference on Web Services, ICWS 2005 : July 11 - 15, 2005, Orlando, Florida / sponsored by IEEE Computer Society Technical Committee on Services Computing ... Los Alamitos, Calif. [u.a.] : IEEE Computer Society, 20, [Conference item]

Eichberg, Michael ; Mezini, Mira ; Haupt, Michael ; Schäfer, Thorsten (2005):
Comprehensive software understanding with Sextant.
In: Proceedings of the 21st IEEE International Conference on Software Maintenance : [Budapest, Hungary, 26 - 29 September 2005] / sponsored by University of Szeged. In cooperation with Reengineering Forum. - Los Alamitos, Calif. [u.a.] : IEEE Computer Society, Los Alamitos, Calif. [u.a.], IEEE Computer Society, [Conference item]

Eichberg, Michael ; Schäfer, Thorsten ; Mezini, Mira (2005):
Using annotations to check structural properties of classes.
In: 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 / Maura Cerioli (ed.). -, Berlin ; Heidelberg [u.a.], Springer, [Conference item]

Haupt, Michael ; Mezini, Mira (2005):
Virtual machine support for aspects with advice instance tables.
In: L'Objet, 11. S. 9-30, [Article]

Haupt, Michael ; Mezini, Mira ; Bockisch, Christoph ; Dinkelaker, Tom ; Eichberg, Michael ; Krebs, Michael (2005):
An execution layer for aspect-oriented programmjing languages.
In: VEE'05 : proceedings of the First ACM/USENIX International Conference on Virtual Execution Environments; June 11 - 12, 2005, Chicago, Illinois, USA. - New York, NY : ACM Pr., 2005 ISBN: 1-59593-047-7, New York, NY, ACM Pr., [Conference item]

Kiczales, Gregor ; Mezini, Mira (2005):
Aspect-oriented programming and modular reasoning.
In: Proceedings : 27th International Conference on Software Engineering, May 15 - 21, 2005, St. Louis, MO, USA / ICSE 05. - New York, NY : ACM, 2005, S. 49-58 ISBN: 1-59593-963-2, New York, NY, ACM, [Conference item]

Kiczales, Gregor ; Mezini, Mira (2005):
Separation of concerns wth procedures, annotations, advice and pointcuts.
In: ECOOP 2005 - Object-Oriented Programming : 19th European conference, Glasgow, UK, July 25 - 29, 2005 ; proceedings / Andrew P. Black (ed.). - Berlin [u.a.] : Springer, 2005. - 195-213 (Lecture notes in computer science ; 3586) ISBN: 3-540-27992-X, Berlin [u.a.], Springer, [Conference item]

Mezini, Mira ; Ostermann, Klaus (2005):
Untangling crosscutting models with Caesar.
In: Aspect-oriented software development / Robert E. Filman .... - Boston [u.a.] : Addison-Wesley, 2005. - S. 165-200 ISBN: 0-321-21976-7, Boston [u.a.], Addison-Wesley, [Book section]

Ostermann, Klaus ; Mezini, Mira ; Bockisch, Christoph (2005):
Expressive pointcuts for increased modularity.
In: ECOOP 2005 - Object-Oriented Programming : 19th European conference, Glasgow, UK, July 25 - 29, 2005 ; proceedings / Andrew P. Black (ed.). - Berlin [u.a.] : Springer, 2005. - S. 214-241 (Lecture notes in computer science ; 3586) ISBN: 3-540-27992-X, Berlin [u.a.], Springer, [Conference item]

Mezini, Mira ; Tarr, Peri (Hrsg.) (2005):
Proceedings of the 4th International Conference on Aspect-Oriented Software Development.
New York, NY, USA, ACM, ISBN 1-59593-042-6,
[Book]

Bruch, Marcel ; Bockisch, Christoph ; Schäfer, Thorsten ; Mezini, Mira (2005):
eAssignment: a case for EMF.
In: Proceedings of the 2005 OOPSLA workshop on Eclipse technology eXchange, New York, NY, USA, In: OOPSLA workshop on eclipse technology eXchange, San Diego, CA, USA, S. 110-114, [Online-Edition: http://doi.acm.org/10.1145/1117696.1117719],
[Conference item]

Charfi, Anis ; Mezini, Mira (2005):
An Aspect based Process Container for BPEL.
In: Proceedings of the 1st workshop on Aspect oriented middleware development, In: AOMD, Grenoble, France, 28. Nov. - 02. Dez 2005, S. 1-6, [Online-Edition: http://doi.acm.org/10.1145/1101560.1101564],
[Conference item]

Charfi, Anis ; Mezini, Mira (2005):
Middleware services for web service compositions.
In: Special Interest Tracks and Posters of the 14th International Conference on World Wide Web, New York, NY, USA, S. 1132-1133, [Conference item]

Mezini, Mira ; Ostermann, Klaus (2005):
A Comparison of Program Generation with Aspect-Oriented Programming.
In: Lecture Notes in Computer Science, In: Unconventional Programming Paradigms, Heidelberg/Berlin, Germany, Springer Verlag, LNCS 3566, S. 342-354, [Book section]

Schäfer, Thorsten ; Eichberg, Michael ; Mezini, Mira (2005):
Towards exploring cross-cutting concerns.
In: Proceedings of the Workshop on Linking Aspect Technology and Evolution, In: AOSD '05 Workshop on Linking Aspect Technology and Evolution (LATE), Chicago, IL, USA, [Conference item]

Schäfer, Thorsten ; Mezini, Mira (2005):
Towards more flexibility in software visualization tools.
In: VISSOFT '05: Proceedings of the 3rd IEEE International Workshop on Visualizing Software for Understanding and Analysis, Washington, DC, USA, S. 64-69, [Conference item]

2004

Filmann, Robert ; Haupt, Michael ; Mehner, Katharina ; Mezini, Mira (Hrsg.) (2004):
Proceedings of the 2004 Dynamic Aspects Workshop (DAW04).
[Book]

Bockisch, Christoph ; Haupt, Michael ; Mezini, Mira ; Ostermann, Klaus (2004):
Virtual machine support for dynamic join ponts.
In: AOSD 2004 : proceedings of the 3rd International Conference on Aspect-Oriented Software Development, Lancaster, UK, March 22 - 26, 2004 / Gail Murphy. - New York, N.Y : Association for Computing Machinery, 2004 , S. 83-92 ISBN 1-581-13842-3, New York, N.Y, Association for Computing Machinery, [Conference item]

Cepa, Vasian ; Mezini, Mira (2004):
Declaring and enforcing dependencies between .NET custom attributes.
In: Generative programming and component engineering : third international conference, GPCE 2004, Vancouver, Canada, October 24 - 28, 2004 ; proceedings / Gabor Karsai .. (ed.). - Berlin [u.a.] : Springer, 2004, S. 283-297 (Lecture notes in computer science ;, Berlin [u.a.], Springer, [Conference item]

Cepa, Vasian ; Mezini, Mira (2004):
Language support for model-driven development.
In: Model Driven Architecture: Foundations and Applications, Special issue of the journal Science of Computer Programming (Elsevier) einger. Mai, 2004 . 25 S. (to appear), [Article]

Charfi, Anis ; Mezini, Mira (2004):
Aspect-oriented web service composition with AO4BPEL.
In: Web services : European conference, ECOWS 2004, Erfurt, Germany, September 27 - 30, 2004 ; proceedings / Liang-Jie Zhang ... (ed.). - Berlin [u.a.] : Springer, 2004, S. 168-182 (Lecture notes in computer science ; 3250) ISBN: 3-540-23202-8, Berlin [u.a.], Springer, [Conference item]

Charfi, Anis ; Mezini, Mira (2004):
Hybrid web service composition : business processes meet business rules.
In: Proceedings of the Second International Conference on Service Oriented Computing : November 15 - 19, 2004, New York City, NY, USA / ICSOC'04. Marco Aiello ..., eds.. - New York, NY : ACM Press, 2004 .- S. 30-38 ISBN: 1-581-13871-7, New York, NY, ACM Press, [Conference item]

Eichberg, Michael ; Mezini, Mira (2004):
Alice : modularization of middleware using aspect-oriented programming.
In: Software engineering and middleware : 4th international workshop, SEM 2004, Linz, Austria, September 20 - 21, 2004 ; revised selected papers / Thomas Gschwind; Cecilia Mascolo (eds.). - Berlin [u.a.] : Springer, 2005, S. 47-63 (Lecture notes in computer s, Berlin [u.a.], Springer, [Conference item]

Eichberg, Michael ; Mezini, Mira ; Ostermann, Klaus (2004):
Pointcuts as functional queries.
In: Programming languages and systems : second Asian symposium, APLAS 2004, Taipei, Taiwan, November 4 - 6, 2004 ; proceedings / Wei-Ngan Chin (ed.). - Berlin [u.a.] : Springer, 2004. - S. 366-381 (Lecture notes in computer science ; 3302) ISBN -540-23724-0, Berlin [u.a.], Springer, [Conference item]

Eichberg, Michael ; Mezini, Mira ; Ostermann, Klaus ; Schäfer, Thorsten (2004):
XIRC : a kernel for cross-artifact information engineering in software development environments.
In: Working Conference on Reverse Engineering ; 11 (Delft) : 2004.11.08-12 WCRE 2004 ; 11 (Delft) : 2004.11.08-12 .- Los Alamitos, Calif. [u.a.] : IEEE Computer Society, 2004, S. 182-191 ISBN 0-7695-2243-2, Los Alamitos, Calif. [u.a.], IEEE Computer Society, [Conference item]

Eichberg, Michael ; Mezini, Mira ; Schäfer, Thorsten ; Beringer, Claus ; Hamel, Karl Matthias (2004):
Enforcing system-wide properties.
In: : Proceedings / 2004 Australian Software Engineering Conference, 2004 : 13 - 16 April 2004, [Melbourne, Australia] / [sponsored by Australian Computer Society, ACS ... Ed. by Paul Strooper]. - Los Alamitos, Calif. [u.a.] : IEEE Computer Society, 2004, S., Los Alamitos, Calif. [u.a.], IEEE Computer Society, [Conference item]

Haupt, Michael ; Mezini, Mira (2004):
Micro-measurements for dynamic aspect-oriented systems.
In: Object-oriented and internet-based technologies : 5th Annual International Conference on Object-Oriented and Internet-Based Technologies, Concepts, and Applications for a Networked World, Net.ObjectDays 2004, Erfurt, Germany, September 27 - 30, 2004 ; pro, Berlin [u.a.], Springer, [Conference item]

Mezini, Mira ; Ostermann, Klaus (2004):
Variability management with feature-oriented programming and aspects.
In: SIGSOFT 2004 FSE-12 : twelfth ACM SIGSOFT international symposium on the foundations of software engineering : October 31 - November 5, 2004, Newport Beach, California, USA / [Ed. by Matthew Dwyer]. - New York, NY : Association for Computing Machinery, 20, New York, NY, Association for Computing Machinery, [Conference item]

2003

Mezini, Mira ; Ostermann, Klaus (2003):
Modules for Crosscutting Models.
2655In: Lecture Notes in Computer Science, In: Ada-Europe '03: Proceedings of the 8th International Conference on Reliable Software Technologies, In: 8th International Conference on Reliable Software Technologies, Ada-Europe 2003, Toulouse, France, June 16-20, 2003, S. 24-45, [Online-Edition: http://www.springerlink.com/content/wl6yu0g21hhrnyh0/],
[Conference item]

Aksit, Mehmet ; Mezini, Mira ; Unland, Rainer (Hrsg.) (2003):
Objects, Components, Architectures, Services, and Applications for a Networked World.
2591In: Lecture Notes in Computer Science, Berlin/Heidelberg, Germany, Springer, ISBN 978-3540007371,
[Book]

Cilia, Mariano ; Haupt, Michael ; Mezini, Mira ; Buchmann, Alejandro (2003):
The convergence of AOP and active databases: towards reactive middleware.
2830In: Lecture Notes in Computer Science, In: GPCE '03: Proceedings of the 2nd international conference on International Conference on Generative Programming and Component Engineering, In: International Conference on Generative Programming and Component Engineering, GPCE 2003, Erfurt, Germany, September 22-25, 2003, S. 169-188, [Online-Edition: http://www.springerlink.com/content/yat9c8jnrx7h6xx8/],
[Conference item]

Mezini, Mira ; Ostermann, Klaus (2003):
Conquering aspects with Caesar.
In: Aspect-oriented software development, In: AOSD '03: Proceedings of the 2nd International Conference on Aspect-Oriented Software Development, In: International Conference on Aspect-Oriented Software Development, Boston, Massachusetts, USA, March 17 - 21, 2003, S. 90-99, [Online-Edition: http://doi.acm.org/10.1145/643603.643613],
[Conference item]

2002

Fiege, Ludger ; Mezini, Mira ; Mühl, Gero ; Buchmann, Alejandro (2002):
Engineering Event-based Systems with Scopes.
2374 (ISBN 3-540-43759-2)In: LNCS, Springer-Verlag, In: Proceedings of the European Conference on Object-Oriented Programming (ECOOP'02), S. 309-333, [Conference item]

Haupt, Michael ; Mezini, Mira ; Cilia, Mariano ; Buchmann, Alejandro (2002):
Towards event-based aspect-oriented runtime environments.
TUD-STDarmstadt, TUD, [Book]

Mezini, Mira (2002):
Softwaretechnik.
In: 30 Jahre Informatik an deutschen Hochschulen. - Darmstadt : Techn. Univ., Fachbereich Informatik, 2002. - S. 108-109, Darmstadt, Techn. Univ., [Book section]

Mezini, Mira ; Ostermann, Klaus (2002):
Integrating independent components with on-demand remodularization.
In: OOPSLA <17, 2002, Seattle, Wash.>: Conference proceedings November 4-8, 2002 ...- New York: ACM Pr., 2002.- S. 52ff, New York, ACM Pr., [Conference item]

Mezini, Mira (2002):
Towards Variational Object-Oriented Programming: the RONDO Model.
Software Technology Group, Darmstadt University of Technology, [Report]

2001

Ostermann, Klaus ; Mezini, Mira (2001):
Object-oriented composition untangled.
In: OOPSLA '01: Proceedings of the 16th ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages and Applications, In: International Conference on Object Oriented Programming, Systems, Languages and Applications, OOPSLA 2001, Tampa Bay, Florida, USA, October 14 – 18, 2001, S. 283-299, [Online-Edition: http://doi.acm.org/10.1145/504282.504303],
[Conference item]

Hermann, Stephan ; Mezini, Mira (2001):
Combining Composition Styles in the Evolvable Language LAC.
In: International Workshop on Advanced Separation of Concerns, Toronto, ON, Canada, 15. Mai 2001, [Conference item]

Hermann, Stephan ; Mezini, Mira ; Ostermann, Klaus (2001):
Joint efforts to dispel an approaching modularity crisis: Divide et impera, quo vadis?
In: 6th International Workshop on Component- Oriented Programming (WCOP), Budapest, Hungary, 19. Jun. 2001, [Conference item]

Mezini, Mira ; Haupt, Michael (2001):
Neue Programmierparadigmen: Integrationsorientierte Programmierung.
In: OBJEKTspektrum, 2. S. 48-53, ISSN 0945-0491,
[Article]

2000

Herrmann, Stephan ; Mezini, Mira (2000):
PIROL: a case study for multidimensional separation of concerns in software engineering environments.
In: OOPSLA '00: Proceedings of the 15th ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages and Applications, In: Conference on Object Oriented Programming, Systems, Languages and Applications, OOPSLA 2000, Minneapolis, Minnesota USA, October 15-19, 2000, S. 188-207, [Online-Edition: http://doi.acm.org/10.1145/354222.353185],
[Conference item]

Pipka, Jens Uwe ; Mezini, Mira (2000):
Weiterentwicklung objektorientierter Softwaresysteme: Risiken und deren Vermeidung.
In: Softwaretechnik-Trends, (3), 20. ISSN 0720-8928,
[Article]

Pullvermüller, Elrike ; Speck, Andreas ; Mezini, Mira (2000):
Reusability of Concerns.
In: International Workshop on Aspects and Dimensions of Concerns, co-hosted with the 14th European Conference on Object-Oriented Programming (ECOOP), 2000, Sophia Antipolis, France, June 11 - 12, 2000, [Conference item]

1999

Mezini, Mira ; Pipka, Jens Uwe (1999):
A Study of Java's Binary Compatibility.
1799In: Lecture Notes in Computer Science, In: STJA '99: Proceedings of Smalltalk and Java in Academia and Industry, In: Smalltalk and Java in Academia and Industry, Erfurt, Germany, September 28-30, 1999, [Conference item]

Seiter, Linda M. ; Mezini, Mira ; Lieberherr, Karl (1999):
Dynamic Component Gluing.
1799In: Lecture Notes in Computer Science, In: GCSE'99: Proceedings of the 1st International Conference on Generative and Component-Based Software Engineering, In: International Conference on Generative and Component-Based Software Engineering, First International Symposium, GCSE 1999, Erfurt, Germany, September 28-30, 1999, S. 134-164, [Online-Edition: http://www.springerlink.com/content/v9ml6j43fqnlpjdr/],
[Conference item]

Mezini, Mira ; Pipka, Jens Uwe ; Dittmar, Thorsten ; Boot, Wim (1999):
Detecting Evolution Incompatibilities by Analyzing Java Binaries.
In: Proceedings of the Technology of Object-Oriented Languages and Systems, In: Technology of Object-Oriented Languages and Systems (TOOLS '99), Santa Barbara, CA, USA, 01-05.08.1999, S. 126-135, [Online-Edition: http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=7875...],
[Conference item]

Lieberherr, Karl ; Lorenz, David ; Mezini, Mira (1999):
Programming with Aspectual Components.
College of Computer Science, Northeastern University, [Online-Edition: http://www.ccs.neu.edu/home/lorenz/papers/reports/NU-CCS-99-...],
[Report]

Blando, Luis ; Lieberherr, Karl ; Mezini, Mira (1999):
Modeling Behavior with Personalities.
In: SEKE '99: Proceedings of the International Conference on Software Engineering and Knowledge Engineering, In: 11th International Conference on Software Engineering and Knowledge Engineering (SEKE '99), Kaiserslautern, Germany, 16.-19. June 1999, [Conference item]

Seiter, Linda ; Mezini, Mira ; Lieberherr, Karl (1999):
Dynamic Integration of Concerns.
In: International Workshop on Multi-Dimensional Separation of Concerns in Object-Oriented Systems, co-hosted with the ACM International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA '99),1999, Denver, CO, USA, [Conference item]

1998

Mezini, Mira (1998):
Variational Object-Oriented Programming Beyond Classes and Inheritance.
In: Kluwer International Series in Engineering & Computer Science, Kluwer Academic Publishers, ISBN 978-0792383130,
[Book]

Blando, Luis ; Lieberherr, Karl ; Mezini, Mira (1998):
Micro-Frameworks and Personalities.
In: International Workshop on Pragmatic Issues in Framework Design, co-hosted with the ACM International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA '98),1998, Denver, CO, USA, [Conference item]

Mezini, Mira ; Lieberherr, Karl (1998):
Adaptive Plug and Play Components for Evolutionary Software Development.
In: Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, In: Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA '98), Vancouver, British Columbia, Canada, S. 97-116, [Online-Edition: http://doi.acm.org/10.1145/286936.286950],
[Conference item]

1997

Mezini, Mira (1997):
Dynamic Object Modification Without Name Collisions.
In: Lecture Notes in Computer Science, In: ECOOP'97 — Object-Oriented Programming, S. 190-219, [Online-Edition: http://www.springerlink.com/content/uw5317n267562720/],
[Book section]

Mezini, Mira (1997):
Maintaining the Consistency of Class Libraries During Evolution.
In: Proceedings of OOPSLA'97: 12th Annual Conference on Object-Oriented Programming, Systems, Languages, and Applications, In: 12th Annual Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'97), Atlanta, GA, USA, 05-09.10.1997, S. 1-21, [Conference item]

1996

Mezini, Mira (1996):
Dynamic Metaclass Construction for an Explicit Specialization Interface.
In: Proceedings of the 1st International Conference on Reflection, In: 1st International Conference on Reflection (Reflection '96), San Francisco, California, 21-23. April 1996, S. 203-219, [Conference item]

1995

Mezini, Mira (1995):
Supporting Evolving Objects Without Giving Up Classes.
In: Proceedings of Technology of Object-Oriented Languages and Systems 1995, In: 18th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS '95), S. 183-197, [Conference item]

1994

Mezini, Mira (1994):
A Framework for Supporting Subject-Oriented Programming.
In: Workshop on Subject-Oriented Programming, co-hosted with the ACM International Conference on Object-Oriented Programming, System, Languages and Applications (OOPSLA '94),1994, Denver, CO, USA, [Conference item]