Browse by Person

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)

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)

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)

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)

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)

I Pun, Ka and Steffen, Martin and Stolz, Volker and Wickert, Anna-Katharina and Bodden, Eric and Eichberg, Michael
Larsen, Kim G. and 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 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)

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)

Eichberg, Michael and 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 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)

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)

Giarrusso, Paolo G. and Ostermann, Klaus and Eichberg, Michael and Mitschke, Ralf and Rendel, Tillmann and 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 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)

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)

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

Eichberg, Michael
Gallagher, John and 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 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)

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)

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)

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)

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)

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

Eichberg, Michael :
Open Integrated Development and Analysis Environments.
[Online-Edition: urn:nbn:de:tuda-tuprints-8080]
Technische Universität , Darmstadt
[Ph.D. Thesis], (2007)

Eichberg, Michael :
Open integrated development and analysis environments.
Technische Universität , Darmstadt
[Ph.D. Thesis]

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)

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)

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)

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)

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 '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 '04: 4th International Workshop of Software Engineering and Middleware Springer-Verlag GmbH
[Conference or Workshop Item] , (2005)

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

[Other] , (2005)

Eichberg, Michael :
BAT2XML : XML-based Java bytecode representation.
In: Electronic Notes in Theoretical Computer Science, 141 pp. 93-107.
[Article] , (2005)

Eichberg, Michael :
Component-based software development with aspect-oriented programming.
In: Journal of Object Technology, 4 pp. 33-38.
[Article] , (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)

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)

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)

Eichberg, Michael :
BAT2XML: XML-based Java Bytecode Representation.
In: Electronic Notes in Theoretical Computer Science, 141 (1) 93--107.
[Article] , (2005)

Eichberg, Michael :
BAT2XML: XML-based Java Bytecode Representation.
In: Electronic Notes in Theoretical Computer Science, 141 (1) 93--107.
[Article] , (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)

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 '05: Proceedings of the 1st ACM/USENIX international conference on Virtual execution environments ACM Press
[Conference or Workshop Item] , (2005)

Eichberg, Michael :
The Proxy Inter-Type Declaration.
Proceedings of the 3rd AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software
[Report] , (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)

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)

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)

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)

Eichberg, Michael
Coady, Yvonne and Lorenz, David (eds.) :
The Proxy Inter-Type Declaration.
Proceedings of the Third AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software
[Report] , (2004)

Eichberg, Michael and Schäfer, Thorsten :
XIRC: cross-artifact information retrieval [GPCE].
OOPSLA '04: Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications ACM Press
[Conference or Workshop Item] , (2004)

Eichberg, Michael and Schäfer, Thorsten :
XIRC: cross-artifact information retrieval [GPCE].
OOPSLA Companion
[Conference or Workshop Item] , (2004)

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)

Eichberg, Michael :
MDA and programming languages.
In: OOPSLA <17, 2002, Seattle, Wash.> / Workshop on Generative Techniques in the Context of Model Driven Architecture: Conference proceedings November 4-8, 2002 ...- New York: ACM Pr., 2002 . ACM Pr. , New York
[Conference or Workshop Item] , (2002)