TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 270.

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

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

Bračevac, Oliver and Amin, Nada and Salvaneschi, Guido and Erdweg, Sebastian and Eugster, Patrick and 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 and Kübler, Florian and Eichberg, Michael and Reif, Michael and 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 or Workshop Item] , (2018)

Cergani, Ervina and Proksch, Sebastian and Nadi, Sarah and 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 or Workshop Item] , (2018)

Krüger, Stefan and Späth, Johannes and Ali, Karim and Bodden, Eric and 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 or Workshop Item] , (2018)

Eichberg, Michael and Kübler, Florian and Helm, Dominik and Reif, Michael and Salvaneschi, Guido and 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 or Workshop Item] , (2018)

Reif, Michael and Eichberg, Michael and Kübler, Florian and 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 or Workshop Item] , (2018)

Graubner, Pablo and Lampe, Patrick and Höchst, Jonas and Baumgärtner, Lars and Mezini, Mira and 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 or Workshop Item] , (2018)

Glanz, Leonid and Amann, Sven and Eichberg, Michael and Reif, Michael and Mezini, Mira
Tichy, Matthias and Bodden, Eric and Kuhrmann, Marco and Wagner, Stefan and Steghöfer, Jan-Philipp (eds.) :

CodeMatch: Obfuscation Won't Conceal Your Repackaged App.
In: Software Engineering und Software Management 2018. Gesellschaft für Informatik , pp. 117-118.
[Book Section] , (2018)

Reif, Michael and Eichberg, Michael and Mezini, Mira
Tichy, Matthias and Bodden, Eric and Kuhrmann, Marco and Wagner, Stefan and 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 or Workshop Item] , (2018)

Graubner, Pablo and Thelen, Christoph and Körber, Michael and Sterz, Artur and Salvaneschi, Guido and Mezini, Mira and Seeger, Bernhard and 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 or Workshop Item] , (2018)

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

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

Eichholz, Matthias and Salvaneschi, Guido and Mezini, Mira :
Towards Safe Modular Composition of Network Functions.
In: Proc.\ Companion. ACM
[Conference or Workshop Item] , (2018)

Krüger, Stefan and Nadi, Sarah and Reif, Michael and Ali, Karim and Mezini, Mira and Bodden, Eric and Göpfert, Florian and Günther, Felix and Weinert, Christian and Demmler, Daniel and 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 or Workshop Item] , (2017)

Glanz, Leonid and Amann, Sven and Eichberg, Michael and Reif, Michael and Hermann, Ben and Lerch, Johannes and 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 or Workshop Item] , (2017)

Reif, Michael and Eichberg, Michael and Hermann, Ben and 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. , pp. 43-48.
[Book Section] , (2017)

Kuci, Edlira and Erdweg, Sebastian and Bračevac, Oliver and Bejleri, Andi and 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)

Sterz, Artur and Baumgärtner, Lars and Mogk, Ragnar and Mezini, Mira and Freisleben, Bernd :
DTN-RPC: Remote Procedure Calls for Disruption-Tolerant Networking.
[Online-Edition: http://networking.ifip.org/2017/]
In: 16th International IFIP TC6 Networking Conference, Networking 2017, June 12-16, 2017, Stockholm.
[Conference or Workshop Item] , (2017)

Holzinger, Philipp and Hermann, Ben and Lerch, Johannes and Bodden, Eric and Mezini, Mira :
Hardening Java's Access Control by Abolishing Implicit Privilege Elevation.
2017 IEEE Symposium on Security and Privacy (SP 2017) Curran Associates, Inc
[Conference or Workshop Item] , (2017)

Grewe, Sylvia and Erdweg, Sebastian and Mezini, Mira
Kovacs, Laura and 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. , pp. 33-45.
[Book Section] , (2017)

Proksch, Sebastian and Nadi, Sarah and Amann, Sven and 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 or Workshop Item] , (2017)

Salvaneschi, Guido and Proksch, Sebastian and Amann, Sven and Nadi, Sarah and 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
[Journal] , (2017) (In Press)

Hermann, Ben and Li, Ximeng and Mantel, Heiko and Mezini, Mira and Tasch, Markus and Wendel, Florian and 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)

Hauck, Markus and Savvides, Savvas and Eugster, Patrick and Mezini, Mira and Salvaneschi, Guido :
SecureScala: Scala embedding of secure computations.
Proceedings of the 2016 7th ACM SIGPLAN Symposium on Scala ACM
[Conference or Workshop Item] , (2016)

Grewe, Sylvia and Erdweg, Sebastian and Raulf, Michael and 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 , pp. 104-117.
[Book Section] , (2016)

Proksch, Sebastian and Amann, Sven and Nadi, Sarah and 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 pp. 111-121. ISSN 978-1-4503-3845-5
[Article] , (2016)

Salvaneschi, Guido and Mezini, Mira :
Debugging for reactive programming.
ICSE '16 Proceedings of the 38th International Conference on Software Engineering ACM
[Conference or Workshop Item] , (2016)

Nadi, Sarah and Krüger, Stefan and Mezini, Mira and Bodden, Eric :
"Jumping Through Hoops" Why do Java Developers Struggle With Cryptography APIs?
International Conference on Software Engineering ACM
[Conference or Workshop Item] , (2016)

Nadi, Sarah and Krüger, Stefan and Mezini, Mira and Bodden, Eric :
Jumping through hoops: why do Java developers struggle with cryptography APIs?
ICSE '16 Proceedings of the 38th International Conference on Software Engineering ACM
[Conference or Workshop Item] , (2016)

Bračevac, Oliver and Erdweg, Sebastian and Salvaneschi, Guido and 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 , pp. 94-105. ISBN 978-1-4503-3995-7
[Book Section] , (2016)

Proksch, Sebastian and Amann, Sven and Nadi, Sarah and 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 or Workshop Item] , (2016)

Amann, Sven and Nadi, Sarah and Nguyen, Hoan A. and Nguyen, Tien N. and 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 or Workshop Item] , (2016)

Grewe, Sylvia and Erdweg, Sebastian and Mezini, Mira
Kovács, Laura and 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 or Workshop Item] , (2016)

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

Amann, Sven and Proksch, Sebastian and Nadi, Sarah and 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 or Workshop Item] , (2016)

Cergani, Ervina and Proksch, Sebastian and Nadi, Sarah and 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 or Workshop Item] , (2016)

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

Proksch, Sebastian and Lerch, Johannes and 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 and Späth, Johannes and Bodden, Eric and 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 or Workshop Item] , (2015)

Grewe, Sylvia and Erdweg, Sebastian and Wittmann, Pascal and 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 , pp. 137-150.
[Book Section] , (2015)

Erdweg, Sebastian and Bračevac, Oliver and Kuci, Edlira and Krebs, Matthias and 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 , pp. 880-897. ISBN 978-1-4503-3689-5
[Book Section] , (2015)

Arzt, Steven and Nadi, Sarah and Ali, Karim and Bodden, Eric and Erdweg, Sebastian and Mezini, Mira :
Towards Secure Integration of Cryptographic Software.
[Online-Edition: http://2015.splashcon.org/track/onward2015-papers]
In: OOPSLA Onward!, 25.10.2015, Piitsburgh. In: Proceedings of the 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software .
[Conference or Workshop Item] , (2015)

Hermann, Ben and Reif, Michael and Eichberg, Michael and 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 or Workshop Item] , (2015)

Eichberg, Michael and Hermann, Ben and Mezini, Mira and 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 or Workshop Item] , (2015)

Lerch, Johannes and Hermann, Ben and Bodden, Eric and 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 or Workshop Item] , (2014)

Mitschke, Ralf and Erdweg, Sebastian and Köhler, Mirko and Mezini, Mira and Salvaneschi, Guido :
i3QL: Language-Integrated Live Data Views.
In: OOPSLA '14 . ACM
[Conference or Workshop Item] , (2014)

Proksch, Sebastian and Amann, Sven and 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 or Workshop Item] , (2014)

Amann, Sven and Proksch, Sebastian and 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 or Workshop Item] , (2014)

Drechsler, Joscha and Salvaneschi, Guido and Mogk, Ragnar and 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 or Workshop Item] , (2014)

Erdweg, Sebastian and Vergu, Vlad and Mezini, Mira and 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 or Workshop Item] , (2014)

Van Ham, Jurgen M. and Salvaneschi, Guido and Mezini, Mira and 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 or Workshop Item] , (2014)

Salvaneschi, Guido and Hintz, Gerold and 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 or Workshop Item] , (2014)

Weiel, Manuel and Maier, Ingo and Erdweg, Sebastian and Eichberg, Michael and 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 or Workshop Item] , (2014)

Salvaneschi, Guido and Amann, Sven and Proksch, Sebastian and 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 or Workshop Item] , (2014)

Bodden, Eric and Hermann, Ben and Lerch, Johannes and Mezini, Mira :
Reducing human factors in software security architectures.
[Online-Edition: http://www.bodden.de/pubs/blh+13reducing.pdf]
In: Future Security Conference 2013.
[Conference or Workshop Item] , (2013)

Aly, Mohamed and Charfi, Anis and Erdweg, Sebastian and 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 or Workshop Item] , (2013)

Bodden, Eric and Mezini, Mira and Brabrand, Claus and Tolêdo, Társis and Ribeiro, Márcio and Borba, Paulo :
SPLlift - Statically Analyzing Software Product Lines in Minutes Instead of Years.
[Online-Edition: http://www.bodden.de/pubs/bmb+13spllift.pdf]
In: ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2013).
[Conference or Workshop Item] , (2013)

Bodden, Eric and Mezini, Mira and Brabrand, Claus and Tolêdo, Társis and Ribeiro, Márcio and Borba, Paulo :
SPLlift – Statically Analyzing Software Product Lines in Minutes Instead of Years.
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2013)
[Conference or Workshop Item] , (2013)

Aly, Mohamed and Charfi, Anis and 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 or Workshop Item] , (2013)

Aly, Mohamed and Charfi, Anis and 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 or Workshop Item] , (2013)

Lerch, Johannes and 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 or Workshop Item] , (2013)

Oetting, Andreas and Katzenbeisser, Stefan and Hähnle, Reiner and Hofmann, Klaus and Klingauf, Uwe and Mezini, Mira and Schön, Sebastian and Schütz, Ingo :
Langlebige sicherheitskritische Infrastrukturen.
In: Proceedings 13th International SIGNAL+DRAHT Congress, Fulda
[Conference or Workshop Item] , (2013)

Mitschke, Ralf and Eichberg, Michael and Mezini, Mira and Garcia, Alessandro and 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 or Workshop Item] , (2013)

Salvaneschi, Guido and 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 or Workshop Item] , (2013)

Salvaneschi, Guido and 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 or Workshop Item] , (2013)

Salvaneschi, Guido and Drechsler, Joscha and 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 or Workshop Item] , (2013)

Aly, Mohamed and Charfi, Anis and Wu, Di and 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 or Workshop Item] , (2013)

Aly, Mohamed and Charfi, Anis and Wu, Di and 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 or Workshop Item] , (2013)

Aly, Mohamed and Charfi, Anis and Erdweg, Sebastian and 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 or Workshop Item] , (2013)

Dinkelaker, Tom and Eichberg, Michael and Mezini, Mira :
Incremental concrete syntax for embedded languages with support for separate compilation.
[Online-Edition: http://www.sciencedirect.com/science/article/pii/S0167642312...]
In: Science of Computer Programming. Elsevier , -.
[Book Section] , (2012)

Bodden, Eric and Tolêdo, Társis and Ribeiro, Márcio and Brabrand, Claus and Borba, Paulo and 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)

Alsouri, Sami and Sinschek, Jan and Sewe, Andreas and Bodden, Eric and Mezini, Mira and 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 or Workshop Item] , (2012)

Henß, Stefan and Monperrus, Martin and Mezini, Mira :
Semi-automatically extracting FAQs to improve accessibility of software development knowledge.
In: ICSE '12 . IEEE Press
[Conference or Workshop Item] , (2012)

Sewe, Andreas and Mezini, Mira and Sarimbekov, Aibek and Ansaloni, Danilo and Binder, Walter and Ricci, Nathan and 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 or Workshop Item] , (2012)

Zheng, Yudi and Ansaloni, Danilo and Marek, Lukas and Sewe, Andreas and Binder, Walter and Villazón, Alex and Tuma, Petr and Qi, Zhengwei and 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 , pp. 353-368. ISBN 9783642305603
[Book Section] , (2012)

Bockisch, Christoph and Sewe, Andreas and Yin, Haihan and Mezini, Mira and 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) pp. 1-28. ISSN 1660-1769
[Article] , (2012)

Monperrus, Martin and Eichberg, Michael and Tekes, Elif and 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 pp. 1-35. ISSN 1382-3256
[Article] , (2012)

Sarimbekov, Aibek and Sewe, Andreas and Binder, Walter and Moret, Philippe and 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)

Robillard, Martin P. and Bodden, Eric and Kawrykow, David and Mezini, Mira and Ratchford, Tristan :
Automated API Property Inference Techniques.
[Online-Edition: http://www.bodden.de/pubs/rbk+12automated.pdf]
In: IEEE Transactions on Software Engineering (TSE)
[Article] , (2012)

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

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

Aly, Mohamed and Charfi, Anis and 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 or Workshop Item] , (2012)

Schmeling, Benjamin and Charfi, Anis and Martin, Marko and Mezini, Mira
Ralyté, Jolita and Franch, Xavier and Brinkkemper, Sjaak and 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 or Workshop Item] , (2012)

Bodden, Eric and Toledo, Tarsis and Ribeiro, Marcio and Brabrand, Claus and Borba, Paulo and Mezini, Mira :
Transparent and Efficient Reuse of IFDS-based Static Program Analyses for Software Product Lines.

[Report] , (2012)

Schmeling, Benjamin and Charfi, Anis and Heinzl, Steffen and 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) pp. 5-31.
[Article] , (2012)

Sarimbekov, Aibek and Moret, Philippe and Binder, Walter and Sewe, Andreas and 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 or Workshop Item] , (2011)

Sewe, Andreas and Mezini, Mira and Sarimbekov, Aibek and 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 or Workshop Item] , (2011)

Sarimbekov, Aibek and Binder, Walter and Sewe, Andreas and Mezini, Mira and 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 or Workshop Item] , (2011)

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

Schmeling, Benjamin and Charfi, Anis and Thome, Rainer and 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 or Workshop Item] , (2011)

Gasiunas, Vaidas and Núñez, Angel and Noyé, Jacques and Mezini, Mira
Rashid, Awais and Royer, Jean-Claude and Rummler, Andreas (eds.) :

Product line implementation with ECaesarJ.
In: Aspect-oriented, model-driven software product lines. Cambridge University Press, New York, NY, USA , pp. 161-196. ISBN 978-0-521-76722-4
[Book Section] , (2011)

Schmeling, Benjamin and Charfi, Anis and 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 or Workshop Item] , (2011)

Gasiunas, Vaidas and Satabin, Lucas and Mezini, Mira and Núñez, Angel and 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 or Workshop Item] , (2011)

Dinkelaker, Tom and Eichberg, Michael and 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 or Workshop Item] , (2011)

Mitschke, Ralf and Sewe, Andreas and 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 or Workshop Item] , (2011)

Sewe, Andreas and Jochem, Jannik and 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 or Workshop Item] , (2011)

Bockisch, Christoph and Sewe, Andreas and Mezini, Mira and Akşit, Mehmet
Bishop, Judith and 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 , pp. 131-146. ISSN 0302-9743
[Book Section] , (2011)

Sarimbekov, Aibek and Sewe, Andreas and Binder, Walter and Moret, Philippe and Schoeberl, Martin and 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 or Workshop Item] , (2011)

Kimmig, Markus and Monperrus, Martin and Mezini, Mira :
Querying Source Code with Natural Language.
[Online-Edition: http://www.monperrus.net/martin/Querying-Source-Code-with-Na...]
In: Proceedings of the 26th IEEE/ACM International Conference On Automated Software Engineering.
[Conference or Workshop Item] , (2011)

Bodden, Eric and Sewe, Andreas and Sinschek, Jan and Oueslati, Hela and 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 or Workshop Item] , (2011)

Bruch, Marcel and Bodden, Eric and Monperrus, Martin and 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 or Workshop Item] , (2010)

Schmeling, Benjamin and Charfi, Anis and 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 or Workshop Item] , (2010)

Sewe, Andreas and Yuan, Dingwen and Sinschek, Jan and 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 or Workshop Item] , (2010)

Charfi, Anis and Müller, Heiko and 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 or Workshop Item] , (2010)

Eichberg, Michael and Klose, Karl and Mitschke, Ralf and 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 or Workshop Item] , (2010)

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

Dinkelaker, Tom and Mitschke, Ralf and Fetzer, Karin and 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 or Workshop Item] , (2010)

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

[Report] , (2010)

Dinkelaker, Tom and Eichberg, Michael and 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 or Workshop Item] , (2010)

Katz, Shmuel and Mezini, Mira and Kienzle, Jörg
Katz, Shmuel and Mezini, Mira and Kienzle, Jörg (eds.) :

A Common Case Study for Aspect-Oriented Modeling.
In: Transactions on Aspect-Oriented Software Development VII, 6210
[Article] , (2010)

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

Sewe, Andreas and Yuan, Dingwen and Sinschek, Jan and 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 or Workshop Item] , (2010)

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

Eichberg, Michael and Monperrus, Martin and Kloppenburg, Sven and 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 or Workshop Item] , (2010)

Dinkelaker, Tom and Monperrus, Martin and 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 or Workshop Item] , (2010)

Kallel, Slim and Charfi, Anis and Dinkelaker, Tom and Mezini, Mira and 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)

Bruch, Marcel and Monperrus, Martin and 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 or Workshop Item] , (2009)

Charfi, Anis and Dinkelaker, Tom and Mezini, Mira :
A Plugin-Architecture for Self-Adaptive WS Compositions.
Proceedings of the IEEE 7th International Conference on Web Services (ICWS 2009) IEEE
[Conference or Workshop Item] , (2009)

Kallel, Slim and Charfi, Anis and Mezini, Mira and Klose, Karl and Jmaiel, Mohamed :
From Formal Access Control Policies to Runtime Enforcement Aspects.
Proc. of the International Symposium on Engineering Secure Software and Systems (ESSOS) Springer Verlag
[Conference or Workshop Item] , (2009)

Dinkelaker, Tom and Mezini, Mira and 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 , pp. 51-62.
[Book Section] , (2009)

Kallel, Slim and Charfi, Anis and Mezini, Mira and Jmaiel, Mohamed and 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 , pp. 16-31.
[Book Section] , (2009)

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

Charfi, Anis and Dinkelaker, Tom and 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 or Workshop Item] , (2009)

Dinkelaker, Tom and Monperrus, Martin and 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 or Workshop Item] , (2009)

Sinschek, Jan and Sewe, Andreas and 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 or Workshop Item] , (2009)

Kallel, Slim and Charfi, Anis and Mezini, Mira and Jmaiel, Mohamed and 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) pp. 337-354. ISSN 1744-1765
[Article] , (2009)

Bruch, Marcel and 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 or Workshop Item] , (2008)

Bruch, Marcel and Schäfer, Thorsten and 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 or Workshop Item] , (2008)

Kallel, Slim and Charfi, Anis and Mezini, Mira and 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 or Workshop Item] , (2008)

Eichberg, Michael and Kloppenburg, Sven and Klose, Karl and 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 , pp. 391-400. ISBN 978-1-60558-079-1
[Book Section] , (2008)

Sewe, Andreas and Bockisch, Christoph and 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 or Workshop Item] , (2008)

Dinkelaker, Tom and 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)

Bruch, Marcel and Mezini, Mira :
Improving Code Recommender Systems using Boolean Factor Analysis and Graphical Models.
RSSE '08: Proceedings of the 2008 international workshop on Recommendation systems for software engineering ACM
[Conference or Workshop Item] , (2008)

Cepa, Vasian and Mezini, Mira :
Language Support for Model-Driven Software Development.
In: Science of Computer Programming (Elsevier)
[Article] , (2008)

Schäfer, Thorsten and Jonas, Jan and 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 or Workshop Item] , (2008)

Sewe, Andreas and Bockisch, Christoph and Mezini, Mira :
Redundancy-free Residual Dispatch.
FOAL '08: Proceedings of the 7th workshop on Foundations of Aspect-Oriented Languages ACM Press
[Conference or Workshop Item] , (2008)

Sewe, Andreas and Bockisch, Christoph and 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 or Workshop Item] , (2008)

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

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

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

Schäfer, Thorsten and Aracic, Ivica and Mezini, Mira and Merz, Matthias and 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 or Workshop Item] , (2007)

Kallel, Slim and Charfi, Anis and Mezini, Mira and 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 , pp. 211-230.
[Book Section] , (2007)

Gasiunas, Vaidas and Mezini, Mira and 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 , pp. 133-152.
[Book Section] , (2007)

Charfi, Anis and Schmeling, Benjamin and 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 or Workshop Item] , (2007)

Bockisch, Christoph and 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 or Workshop Item] , (2007)

Charfi, Anis and Schmeling, Benjamin and 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 or Workshop Item] , (2006)

Eichberg, Michael and Mezini, Mira and Kloppenburg, Sven and Ostermann, Klaus and 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 or Workshop Item] , (2006)

Charfi, Anis and Schmeling, Benjamin and Heizenreder, Andreas and 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 or Workshop Item] , (2006)

Charfi, Anis and 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 , pp. 183-200.
[Book Section] , (2006)

Charfi, Anis and 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). , pp. 44-51.
[Book Section] , (2006)

Charfi, Anis and Mezini, Mira :
Middlware Support for BPEL Workflows in the AO4BPEL Engine.
BPM &#039;06 Demo Paper, 4th International Conference on Business Process Management
[Conference or Workshop Item] , (2006)

Bockisch, Christoph and Arnold, Mathew and Dinkelaker, Tom and 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 or Workshop Item] , (2006)

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

Bockisch, Christoph and Kanthak, Sebastian and Haupt, Michael and Arnold, Mathew and 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 or Workshop Item] , (2006)

Bruch, Marcel and Schäfer, Thorsten and 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 or Workshop Item] , (2006)

Aracic, Ivica and Gasiunas, Vaidas and Mezini, Mira and 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 or Workshop Item] , (2006)

Knöll, Roman and 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 or Workshop Item] , (2006)

Eichberg, Michael and Germanus, Daniel and Mezini, Mira and Mrokon, Lukas and 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. , pp. 113-122.
[Book Section] , (2006)

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

Bruch, Marcel and Schäfer, Thorsten and Mezini, Mira :
FrUiT: IDE support for framework understanding.
eclipse &#039;06: Proceedings of the 2006 OOPSLA Workshop on Eclipse Technology eXchange ACM Press
[Conference or Workshop Item] , (2006)

Eichberg, Michael and Kanthak, Sebastian and Kloppenburg, Sven and Mezini, Mira and 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)

Charfi, Anis and Mezini, Mira :
Middlware Support for BPEL Workflows in the AO4BPEL Engine.
Demo Paper, 4th International Conference on Business Process Management (BPM)
[Conference or Workshop Item] , (2006)

Gasiunas, Vaidas and Ostermann, Klaus and Mezini, Mira :
Multidimensional Virtual Classes.

[Report] , (2006)

Knöll, Roman and Mezini, Mira :
Pegasus: First Steps Toward a Naturalistic Programming Language.
OOPSLA &#039;06: Proceedings of the 21st ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
[Conference or Workshop Item] , (2006)

Eichberg, Michael and Germanus, Daniel and Mezini, Mira and Mrokon, Lukas and Schäfer, Thorsten :
QScope: an Open, Extensible Framework for Measuring Software Projects.
CSMR &#039;06: Proceedings of the Conference on Software Maintenance and Reengineering IEEE Computer Society
[Conference or Workshop Item] , (2006)

Eichberg, Michael and Germanus, Daniel and Mezini, Mira and Mrokon, Lukas and Schäfer, Thorsten :
QScope: an Open, Extensible Framework for Measuring Software Projects.
Proceedings of 10th European Conference on Software Maintenance and Reengineering (CSMR) IEEE Computer Society
[Conference or Workshop Item] , (2006)

Eichberg, Michael and Mezini, Mira :
Alice: Modularization of Middleware Using Aspect-Oriented Programming.
SEM &#039;04: 4th International Workshop of Software Engineering and Middleware Springer-Verlag GmbH
[Conference or Workshop Item] , (2005)

Charfi, Anis and Mezini, Mira :
Application of Aspect-Oriented Programming to Workflows.
5 eme Journees Scientifiques des Jeunes Chercheurs en Genie Electrique et Informatique (GEI)
[Conference or Workshop Item] , (2005)

Bockisch, Christoph and Mezini, Mira and 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 or Workshop Item] , (2005)

Schäfer, Thorsten and Eichberg, Michael and Mezini, Mira :
Towards exploring cross-cutting concerns.

[Other] , (2005)

Charfi, Anis and 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 or Workshop Item] , (2005)

Kiczales, Gregor and 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 or Workshop Item] , (2005)

Eichberg, Michael and Mezini, Mira and Haupt, Michael and 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 or Workshop Item] , (2005)

Bockisch, Christoph and Haupt, Michael and Mezini, Mira and 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 or Workshop Item] , (2005)

Ostermann, Klaus and Mezini, Mira and 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 or Workshop Item] , (2005)

Cepa, Vasian and 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 or Workshop Item] , (2005)

Kiczales, Gregor and 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 or Workshop Item] , (2005)

Mezini, Mira and 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)

Eichberg, Michael and Schäfer, Thorsten and 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 or Workshop Item] , (2005)

Charfi, Anis and 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 or Workshop Item] , (2005)

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

Haupt, Michael and Mezini, Mira and Bockisch, Christoph and Dinkelaker, Tom and Eichberg, Michael and 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 or Workshop Item] , (2005)

Eichberg, Michael and Mezini, Mira
Gschwind, Thomas and Mascolo, Cecilia (eds.) :

Alice: Modularization of Middleware Using Aspect-Oriented Programming.
[Online-Edition: https://doi.org/10.1007/11407386_5]
In: Software Engineering and Middleware: 4th International Workshop, SEM 2004. Lecture Notes in Computer Science, 3437. Springer-Verlag GmbH, Berlin ; Heidelberg , pp. 47-63. ISBN 3-540-25328-9
[Book Section] , (2005)

Charfi, Anis and Mezini, Mira :
Application of Aspect-Oriented Programming to Workflows.
5 eme Journees Scientifiques des Jeunes Chercheurs en Genie Electrique et Informatique (GEI)
[Conference or Workshop Item] , (2005)

Charfi, Anis and 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 or Workshop Item] , (2005)

Charfi, Anis and Mezini, Mira :
An Aspect-based Process Container for BPEL.
AOMD &#039;05: Proceedings of the 1st workshop on Aspect oriented middleware development ACM Press
[Conference or Workshop Item] , (2005)

Charfi, Anis and Mezini, Mira :
An Aspect-based Process Container for BPEL.
Proceedings of the 1st Workshop on Aspect-Oriented Middleware Development (AOMD) ACM Press
[Conference or Workshop Item] , (2005)

Mezini, Mira and Ostermann, Klaus :
A Comparison of Program Generation with Aspect-Oriented Programming.
Proceedings of the EU-NSF Strategic Research Workshop on Unconventional Programming Paradigms Springer Verlag, LNCS 3566
[Conference or Workshop Item] , (2005)

Mezini, Mira and 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 , pp. 342-354.
[Book Section] , (2005)

Charfi, Anis and 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 or Workshop Item] , (2005)

Cepa, Vasian and Mezini, Mira :
MobCon: A Generative Middleware Framework for Java Mobile Applications.
HICSS &#039;05: Proceedings of the Proceedings of the 38th Annual Hawaii International Conference on System Sciences - Track 9 IEEE Computer Society
[Conference or Workshop Item] , (2005)

Cepa, Vasian and Mezini, Mira :
MobCon: A Generative Middleware Framework for Java Mobile Applications.
In: Proceedings of the 38th Annual Hawaii International Conference on System Sciences (HICSS&#039;05) 283-???.
[Article] , (2005)

Mezini, Mira and 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)

Kiczales, Gregor and Mezini, Mira :
Separation of Concerns with Procedures, Annotations, Advice and Pointcuts.
In: Lecture Notes in Computer Science , 3586 . Springer
[Conference or Workshop Item] , (2005)

Schäfer, Thorsten and Eichberg, Michael and Mezini, Mira :
Towards exploring cross-cutting concerns.

[Other] , (2005)

Schäfer, Thorsten and Eichberg, Michael and 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 or Workshop Item] , (2005)

Schäfer, Thorsten and 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 or Workshop Item] , (2005)

Bruch, Marcel and Bockisch, Christoph and Schäfer, Thorsten and 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 or Workshop Item] , (2005)

Haupt, Michael and Mezini, Mira and Bockisch, Christoph and Dinkelaker, Tom and Eichberg, Michael and Krebs, Michael :
An execution layer for aspect-oriented programming languages.
VEE &#039;05: Proceedings of the 1st ACM/USENIX international conference on Virtual execution environments ACM Press
[Conference or Workshop Item] , (2005)

Charfi, Anis and Mezini, Mira :
Hybrid Web Service Composition: Business Processes Meet Business Rules.
ICSOC &#039;04: Proceedings of the 2nd international conference on Service oriented computing ACM Press
[Conference or Workshop Item] , (2004)

Charfi, Anis and Mezini, Mira :
Aspect-Oriented Web Service Composition with {AO4BPEL}.
In: LNCS , 3250 . Springer
[Conference or Workshop Item] , (2004)

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

[Book] , (2004)

Eichberg, Michael and 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 or Workshop Item] , (2004)

Charfi, Anis and 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 or Workshop Item] , (2004)

Cepa, Vasian and 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 or Workshop Item] , (2004)

Eichberg, Michael and Mezini, Mira and Schäfer, Thorsten and Beringer, Claus and 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 or Workshop Item] , (2004)

Charfi, Anis and 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 or Workshop Item] , (2004)

Cepa, Vasian and 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)

Haupt, Michael and 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 or Workshop Item] , (2004)

Eichberg, Michael and Mezini, Mira and 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 or Workshop Item] , (2004)

Mezini, Mira and 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 or Workshop Item] , (2004)

Bockisch, Christoph and Haupt, Michael and Mezini, Mira and 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 or Workshop Item] , (2004)

Eichberg, Michael and Mezini, Mira and Ostermann, Klaus and 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 or Workshop Item] , (2004)

Mezini, Mira and Ostermann, Klaus :
Aspect-Oriented Software Development.
In: UNSPECIFIED Addison-Wesley
[Book Section] , (2004)

Charfi, Anis and Mezini, Mira :
Aspect-Oriented Web Service Composition with {AO4BPEL}.
In: LNCS , 3250 . Springer
[Conference or Workshop Item] , (2004)

Charfi, Anis and Mezini, Mira :
Hybrid Web Service Composition: Business Processes Meet Business Rules.
Proceedings of the 2nd International Conference on Service Oriented Computing (ICSOC) ACM Press
[Conference or Workshop Item] , (2004)

Cepa, Vasian and Mezini, Mira :
Language Support for Model-Driven Software Development.
In: Journal Science of Computer Programming (Elsevier): Foundations and Applications Model Driven Architecture
[Article] , (2004)

Filman, Robert and Haupt, Michael and Hirschfeld, Robert and Mezini, Mira :
Proceedings of the 2004 Dynamic Aspects Workshop.

[Report] , (2004)

Bockisch, Christoph and Haupt, Michael and Mezini, Mira and Ostermann, Klaus :
Virtual machine support for dynamic join points.
AOSD &#039;04: Proceedings of the 3rd international conference on Aspect-oriented software development ACM Press
[Conference or Workshop Item] , (2004)

Bockisch, Christoph and Haupt, Michael and Mezini, Mira and Ostermann, Klaus :
Virtual machine support for dynamic join points.
AOSD
[Conference or Workshop Item] , (2004)

Mezini, Mira and 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 or Workshop Item] , (2003)

Cilia, Mariano and Haupt, Michael and Mezini, Mira and Buchmann, Alejandro :
The Convergence of AOP and Active Databases: Towards Reactive Middleware.
In: Proceedings of the International Conference on Generative Programming and Component Engineering (GPEC'03). In: LNCS , 2830 . Springer-Verlag
[Conference or Workshop Item] , (2003)

Cilia, Mariano and Haupt, Michael and Mezini, Mira and Buchmann, Alejandro :
The Convergence of {AOP} and Active Databases: Towards Reactive Middleware.
In: LNCS , 2830 . Springer-Verlag
[Conference or Workshop Item] , (2003)

Fiege, Ludger and Mezini, Mira and Mühl, Gero and Buchmann, Alejandro :
Components in Event-Based Systems.
In: Thema Forschung, 1 pp. 108-114.
[Article] , (2003)

Mezini, Mira and 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 or Workshop Item] , (2003)

Mezini, Mira and Eichberg, Michael and Haupt, Michael :
Komponentenbasierte Softwaresysteme: Historischer Abriss.
In: Thema Forschung: Vom Wort zum Bauelement - Komponententechnologien in den Ingenieurwissenschaften
[Article] , (2003)

Aksit, Mehmet and Mezini, Mira and 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)

Pichler, Roman and Ostermann, Klaus and Mezini, Mira :
On Aspectualizing Component Models.
In: Software: Practice and Experience, 33 (10) 957--974.
[Article] , (2003)

Haupt, Michael and Bockisch, Christoph and Mezini, Mira and Ostermann, Klaus :
Towards Aspect-Aware Execution Models.

[Report] , (2003)

Cilia, Mariano and Haupt, Michael and Mezini, Mira and 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 or Workshop Item] , (2003)

Fiege, Ludger and Mezini, Mira and Mühl, Gero and 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 or Workshop Item] , (2002)

Fiege, Ludger and Mezini, Mira and Mühl, Gero and Buchmann, Alejandro :
Visibility as central abstraction in event-based systems.
In: Concrete Communication Abstractions of the Next 701 Distributed Object Systems (ECOOP 2002 Workshop). In: LNCS , 2548 . Springer-Verlag
[Conference or Workshop Item] , (2002)

Mezini, Mira and 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 or Workshop Item] , (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)

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

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

Ostermann, Klaus and 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 or Workshop Item] , (2001)

Herrmann, Stephan and Mezini, Mira :
LAC: Aspectual Components in Lua.
Workshop on Advanced Separation of Concerns at the 23rd International Conference on Software Engineering
[Conference or Workshop Item] , (2001)

Hermann, Stephan and 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 or Workshop Item] , (2001)

Herrmann, Stephan and Mezini, Mira :
Connectors for bridging mismatches between the components of a software engineering environment.
In: IEE Proceedings - Software, 148 (3) 104--111.
[Article] , (2001)

Herrmann, Stephan and Mezini, Mira and Ostermann, Klaus :
Joint efforts to dispel an approaching modularity crisis.
WCOP &#039;01: Proceedings of the Sixth International Workshop on Component-Oriented Programming
[Conference or Workshop Item] , (2001)

Hermann, Stephan and Mezini, Mira and 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 or Workshop Item] , (2001)

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

Mezini, Mira and Ostermann, Klaus :
Object Creation Aspects with Flexible Aspect Deployment.

[Report] , (2001)

Ostermann, Klaus and Mezini, Mira :
Object-Oriented Composition is Tangled.
Workshop on Advanced Separation of Concerns at the 15th European Conference on Object-Oriented Programming
[Conference or Workshop Item] , (2001)

Herrmann, Stephan and 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 or Workshop Item] , (2000)

Herrmann, Stephan and Mezini, Mira :
Pirol: A Case-Study for Multi-Dimensional Separation of Concerns in Software-Engineering Environments.
In: Sigplan Notices , 35 (10).
[Conference or Workshop Item] , (2000)

Pullvermüller, Elrike and Speck, Andreas and 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 or Workshop Item] , (2000)

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

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

Seiter, Linda M. and Mezini, Mira and 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 or Workshop Item] , (1999)

Mezini, Mira and 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 or Workshop Item] , (1999)

Mezini, Mira and Pipka, Jens Uwe and Dittmar, Thorsten and 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 or Workshop Item] , (1999)

Lieberherr, Karl and Lorenz, David and 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)

Seiter, Linda and Mezini, Mira and 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 or Workshop Item] , (1999)

Blando, Luis and Lieberherr, Karl and 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 or Workshop Item] , (1999)

Mezini, Mira :
Separation of Concerns with Adaptive Plug-n-Play Components.

[Other] , (1999)

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)

Mezini, Mira and 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 or Workshop Item] , (1998)

Mezini, Mira and Lieberherr, Karl :
Adaptive plug-and-play components for evolutionary software development.
OOPSLA &#039;98: Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications ACM Press
[Conference or Workshop Item] , (1998)

Blando, Luis and Lieberherr, Karl and 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 or Workshop Item] , (1998)

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. , pp. 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 or Workshop Item] , (1997)

Mezini, Mira :
Maintaining the consistency of class libraries during their evolution.
OOPSLA &#039;97: Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications ACM Press
[Conference or Workshop Item] , (1997)

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 or Workshop Item] , (1996)

Mezini, Mira :
Advances in Object-Oriented Metalevel Architectures and Reflection.
In: UNSPECIFIED CRC Press , 265--290.
[Book Section] , (1996)

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 or Workshop Item] , (1995)

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 or Workshop Item] , (1994)

This list was generated on Tue Apr 16 02:04:06 2019 CEST.