Dr.-Ing. Michael Eichberg

Dr.-Ing. Michael Eichberg

I'm currently doing research in the area of software architectures and static analyses. Additionally, I'm regularly giving lectures on various software engineering related topics.

I'm the main author of the static analysis framework OPAL.

My complete CV can be found here.

Short Biography

since Aug. 10 Member of the Software Technology Group
Mar. 13 – Mar. 14 Member of the expert-team on software architecture and software modernization. (GFFT e.V.)
July 09 – Jul. 10 Interim Professor – Software Engineering
Oct. 08 – June 09 Coordinator of Study Affairs of the CASED Advisory Board
Aug. 08 – Sep. 08 Business IT Consultant – Senacor
May 02 – Jul. 08 Researcher in the Software Technology Group

Publications

Group by: Date | Item type | No grouping
Jump to: 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2008 | 2007 | 2006 | 2005 | 2004 | 2002
Number of items: 35.

2016

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

2015

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

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

2014

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

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

2013

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

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

2012

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 , -.
[Book section], (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 pp. 1-35. ISSN 1382-3256
[Article], (2012)

2011

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

Eichberg, Michael
Gallagher, John ; Gelfond, Michael (eds.) :

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

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

2010

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

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

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

2008

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

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

2007

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 ; 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 , pp. 109-123.
[Book section], (2007)

2006

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

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

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

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

2005

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

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

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

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

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

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

2004

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

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

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

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

2002

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)

This list was generated on Fri May 26 08:44:46 2017 CEST.