2019

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

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

2018

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

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

Bračevac, Oliver ; Amin, Nada ; Salvaneschi, Guido ; Erdweg, Sebastian ; Eugster, Patrick ; Mezini, Mira :
Versatile Event Correlation with Algebraic Effects.
[Online-Edition: https://doi.org/10.1145/3236762]
In: Proceedings of the ACM on Programming Languages. PACMPL, Volume 2 (Issue ICFP). ACM , 67:1-67:31.
[Book section] , (2018)

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

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

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

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

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

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

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

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

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

Weisenburger, Pascal ; Reinhard, Tobias ; Salvaneschi, Guido :
Static Latency Tracking with Placement Types.
[Online-Edition: http://doi.acm.org/10.1145/3236454.3236486]
In: FTFJP'18 . ACM , New York, NY, USA
[ Conference item] , (2018)

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

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

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

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

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

Mogk, Ragnar ; Salvaneschi, Guido ; Mezini, Mira :
Reactive Programming Experience with REScala.
In: Programming'18 Companion . ACM , New York, NY, USA
[ Conference item] , (2018)

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

2017

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

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

Beller, Moritz ; Gousios, Georgius ; Panichella, Annibale ; Proksch, Sebastian ; Amann, Sven ; Zaidman, Andy :
Developer Testing in the IDE: Patterns, Beliefs, and Behavior.
In: IEEE Transactions on Software Engineering
[Article] , (2017) (Im Druck)

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

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 :
CogniCrypt: Supporting Developers in using Cryptography.
[Online-Edition: http://dl.acm.org/citation.cfm?id=3155562.3155681]
Automated Software Engineering (ASE'17) ACM , Piscataway, NJ, USA
[ Conference item] , (2017)

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

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

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

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

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

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

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

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

Hermann, Ben ; Li, Ximeng ; Mantel, Heiko ; Mezini, Mira ; Tasch, Markus ; Wendel, Florian ; Weber, Friedrich :
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] , (2017)

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

2016

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

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

Grewe, Sylvia :
VeriTaS: Verification of type system specifications: Mechanizing domain knowledge about progress and preservation proofs.
[Online-Edition: http://doi.acm.org/10.1145/2984043]
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.
[Book section] , (2016)

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

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

Grewe, Sylvia ; Erdweg, Sebastian ; Raulf, Michael ; Mezini, Mira :
Exploration of language specifications by compilation to first-order logic.
[Online-Edition: http://doi.acm.org/10.1145/2967973.2968606]
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.
[Book section] , (2016)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Weisenburger, Pascal :
Multitier Reactive Abstractions.
[Online-Edition: http://doi.acm.org/10.1145/2984043.2984051]
In: SPLASH Companion 2016 . ACM , New York, NY, USA
[ Conference item] , (2016)

2015

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

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

Amann, Sven ; Beyer, Stefanie ; Kevic, Katja ; Gall, Harald
Meyer, Bertrand ; Nordio, Martin (eds.) :
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] , (2015)

Grewe, Sylvia ; Erdweg, Sebastian ; Wittmann, Pascal ; Mezini, Mira :
Type Systems for the Masses: Deriving Soundness Proofs and Efficient Checkers.
[Online-Edition: http://doi.acm.org/10.1145/2814228.2814239]
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.
[Book section] , (2015)

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

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

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

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

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

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

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

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

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

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

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

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

2014

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

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

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

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

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

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

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

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

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

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

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

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

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

2013

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

2012

Bodden, Eric ; Tolêdo, Társis ; Ribeiro, Márcio ; Brabrand, Claus ; Borba, Paulo ; Mezini, Mira :
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] , (2012)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

2011

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Bockisch, Christoph ; Sewe, Andreas ; Zandberg, Martin :
ALIA4J's (just-in-time) compile-time MOP for advanced dispatching.
[Online-Edition: http://doi.acm.org/10.1145/2095050.2095101]
In: 5th workshop on Virtual Machines and Intermediate Languages, 24 Oct 2011, Portland, OR, USA. In: SPLASH '11 Workshops . ACM , New York, NY, USA
[ Conference item] , (2011)

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

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

Dinkelaker, Tom :
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] , (2011)

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

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

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

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

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

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

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

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

2010

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

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

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

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

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

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

Dinkelaker, Tom :
Review of the Support for Modular Language Implementation in Embedding Approaches.

[Report] , (2010)

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

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

Sewe, Andreas ; Yuan, Dingwen ; Sinschek, Jan ; Mezini, Mira :
Headroom-based Pretenuring.
Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java (PPPJ 2010) ACM Press
[ Conference item] , (2010)

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

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

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

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

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

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

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

Bodden, Eric ; Sewe, Andreas ; Sinschek, Jan ; Mezini, Mira :
Taming Reflection: Static Analysis in the Presence of Reflection and Custom Class Loaders.

[Report] , (2010)

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

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

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

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

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

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

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

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

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

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

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

Sewe, Andreas
Krall, Andreas (ed.) :
Scala = Java (mod JVM)?
In: CEUR Workshop Proceedings , 692 .
[ Conference item] , (2010)

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

2009

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

2008

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

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

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

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

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

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

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

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

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

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

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

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

2007

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

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

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

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

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

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

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

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

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

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

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

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

2006

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

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

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

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

Charfi, Anis ; Mezini, Mira :
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] , (2006)

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

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

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

Aracic, Ivica ; Gasiunas, Vaidas ; Mezini, Mira ; Ostermann, Klaus :
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 . Springer T. ! , Berlin
[ Conference item] , (2006)

Bockisch, Christoph ; Arnold, Mathew ; Dinkelaker, Tom ; Mezini, Mira :
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] , (2006)

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

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

Bruch, Marcel ; Schäfer, Thorsten ; Mezini, Mira :
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] , (2006)

Eichberg, Michael ; Germanus, Daniel ; Mezini, Mira ; Mrokon, Lukas ; Schafer, Thorsten :
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] , (2006)

Knöll, Roman ; Mezini, Mira :
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] , (2006)

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

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

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

Haupt, Michael :
Virtual Machine Support for Aspect-Oriented Programming Languages.
Technische Universität Darmstadt , Darmstadt
[PhD thesis]

2005

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

Bockisch, Christoph ; Haupt, Michael ; Mezini, Mira ; Mitschke, Ralf :
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 . Ges. für Informatik , Bonn
[ Conference item] , (2005)

Cepa, Vasian ; Mezini, Mira :
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 . IEEE Computer Society , Los Alamitos, Calif. [u.a.]
[ Conference item] , (2005)

Charfi, Anis ; Mezini, Mira :
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] , (2005)

Charfi, Anis ; Mezini, Mira :
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] , (2005)

Eichberg, Michael ; Mezini, Mira ; Haupt, Michael ; Schäfer, Thorsten :
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 . IEEE Computer Society , Los Alamitos, Calif. [u.a.]
[ Conference item] , (2005)

Eichberg, Michael ; Schäfer, Thorsten ; Mezini, Mira :
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.). - . Springer , Berlin ; Heidelberg [u.a.]
[ Conference item] , (2005)

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

Haupt, Michael ; Mezini, Mira ; Bockisch, Christoph ; Dinkelaker, Tom ; Eichberg, Michael ; Krebs, Michael :
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 . ACM Pr. , New York, NY
[ Conference item] , (2005)

Kiczales, Gregor ; Mezini, Mira :
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 . ACM , New York, NY
[ Conference item] , (2005)

Kiczales, Gregor ; Mezini, Mira :
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 . Springer , Berlin [u.a.]
[ Conference item] , (2005)

Mezini, Mira ; Ostermann, Klaus :
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. Addison-Wesley, Boston [u.a.]
[Book section] , (2005)

Ostermann, Klaus ; Mezini, Mira ; Bockisch, Christoph :
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 . Springer , Berlin [u.a.]
[ Conference item] , (2005)

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

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

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

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

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

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

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

2004

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

[Book] , (2004)

Bockisch, Christoph ; Haupt, Michael ; Mezini, Mira ; Ostermann, Klaus :
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 . Association for Computing Machinery , New York, N.Y
[ Conference item] , (2004)

Cepa, Vasian ; Mezini, Mira :
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 ; . Springer , Berlin [u.a.]
[ Conference item] , (2004)

Cepa, Vasian ; Mezini, Mira :
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] , (2004)

Charfi, Anis ; Mezini, Mira :
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 . Springer , Berlin [u.a.]
[ Conference item] , (2004)

Charfi, Anis ; Mezini, Mira :
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 . ACM Press , New York, NY
[ Conference item] , (2004)

Eichberg, Michael ; Mezini, Mira :
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 . Springer , Berlin [u.a.]
[ Conference item] , (2004)

Eichberg, Michael ; Mezini, Mira ; Ostermann, Klaus :
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 . Springer , Berlin [u.a.]
[ Conference item] , (2004)

Eichberg, Michael ; Mezini, Mira ; Ostermann, Klaus ; Schäfer, Thorsten :
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 . IEEE Computer Society , Los Alamitos, Calif. [u.a.]
[ Conference item] , (2004)

Eichberg, Michael ; Mezini, Mira ; Schäfer, Thorsten ; Beringer, Claus ; Hamel, Karl Matthias :
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. . IEEE Computer Society , Los Alamitos, Calif. [u.a.]
[ Conference item] , (2004)

Haupt, Michael ; Mezini, Mira :
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 . Springer , Berlin [u.a.]
[ Conference item] , (2004)

Mezini, Mira ; Ostermann, Klaus :
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 . Association for Computing Machinery , New York, NY
[ Conference item] , (2004)

2003

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

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

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

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

2002

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

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

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

Mezini, Mira ; Ostermann, Klaus :
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 . ACM Pr. , New York
[ Conference item] , (2002)

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

2001

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

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

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

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

2000

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

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

Pullvermüller, Elrike ; Speck, Andreas ; Mezini, Mira :
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, June 11 - 12, 2000, Sophia Antipolis, France.
[ Conference item] , (2000)

1999

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

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

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

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

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

Seiter, Linda ; Mezini, Mira ; Lieberherr, Karl :
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] , (1999)

1998

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

Blando, Luis ; Lieberherr, Karl ; Mezini, Mira :
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] , (1998)

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

1997

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

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

1996

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

1995

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

1994

Mezini, Mira :
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] , (1994)