Blättern nach Person

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Dinkelaker, Tom ; Eichberg, Michael ; 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 , -.
[Buchkapitel] , (2012)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Eichberg, Michael ; Germanus, Daniel ; Mezini, Mira ; Mrokon, Lukas ; 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
[ Konferenzveröffentlichung] , (2006)

Eichberg, Michael ; Germanus, Daniel ; Mezini, Mira ; Mrokon, Lukas ; 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
[ Konferenzveröffentlichung] , (2006)

Eichberg, Michael ; Mezini, Mira :
Alice: Modularization of Middleware Using Aspect-Oriented Programming.
SEM '04: 4th International Workshop of Software Engineering and Middleware Springer-Verlag GmbH
[ Konferenzveröffentlichung] , (2005)

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

[Anderes] , (2005)

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

Eichberg, Michael :
Component-based software development with aspect-oriented programming.
In: Journal of Object Technology, 4 S. 33-38.
[Artikel] , (2005)

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

Eichberg, Michael ; Schäfer, Thorsten ; Mezini, Mira :
Using annotations to check structural properties of classes.
In: Fundamental approaches to software engineering : 8th International Conference, FASE 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4 - 8, 2005; proceedings / Maura Cerioli (ed.). - . Springer , Berlin ; Heidelberg [u.a.]
[ Konferenzveröffentlichung] , (2005)

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

Eichberg, Michael ; Mezini, Mira
Gschwind, Thomas ; 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 , S. 47-63. ISBN 3-540-25328-9
[Buchkapitel] , (2005)

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

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

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

[Anderes] , (2005)

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

Haupt, Michael ; Mezini, Mira ; Bockisch, Christoph ; Dinkelaker, Tom ; Eichberg, Michael ; 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
[ Konferenzveröffentlichung] , (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 ; 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.]
[ Konferenzveröffentlichung] , (2004)

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

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

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

Eichberg, Michael
Coady, Yvonne ; 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 ; 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
[ Konferenzveröffentlichung] , (2004)

Eichberg, Michael ; Schäfer, Thorsten :
XIRC: cross-artifact information retrieval [GPCE].
OOPSLA Companion
[ Konferenzveröffentlichung] , (2004)

Mezini, Mira ; Eichberg, Michael ; Haupt, Michael :
Komponentenbasierte Softwaresysteme: Historischer Abriss.
In: Thema Forschung: Vom Wort zum Bauelement - Komponententechnologien in den Ingenieurwissenschaften
[Artikel] , (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
[ Konferenzveröffentlichung] , (2002)