Blättern nach Person
Ebene hoch |
Artikel
Monperrus, Martin ; Eichberg, Michael ; Tekes, Elif ; Mezini, Mira (2012)
What should developers be aware of? An empirical study on the directives of API documentation.
In: Empirical Software Engineering
doi: 10.1007/s10664-011-9186-4
Artikel, Bibliographie
Schäfer, Thorsten ; Eichberg, Michael ; Haupt, Michael ; Mezini, Mira (2006)
The SEXTANT software exploration tool.
In: IEEE Transactions on Software Engineering, 32
Artikel, Bibliographie
Eichberg, Michael ; Kanthak, Sebastian ; Kloppenburg, Sven ; Mezini, Mira ; Schuh, Tobias (2006)
Incremental Confined Types Analysis.
In: Electronic Notes in Theoretical Computer Science, 164 (2)
doi: 10.1016/j.entcs.2006.10.006
Artikel, Bibliographie
Eichberg, Michael (2005)
BAT2XML : XML-based Java bytecode representation.
In: Electronic Notes in Theoretical Computer Science, 141
Artikel, Bibliographie
Eichberg, Michael (2005)
Component-based software development with aspect-oriented programming.
In: Journal of Object Technology, 4
Artikel, Bibliographie
Eichberg, Michael (2005)
BAT2XML: XML-based Java Bytecode Representation.
In: Electronic Notes in Theoretical Computer Science, 141 (1)
Artikel, Bibliographie
Eichberg, Michael (2005)
BAT2XML: XML-based Java Bytecode Representation.
In: Electronic Notes in Theoretical Computer Science, 141 (1)
Artikel, Bibliographie
Mezini, Mira ; Eichberg, Michael ; Haupt, Michael (2003)
Komponentenbasierte Softwaresysteme: Historischer Abriss.
In: Thema Forschung: Vom Wort zum Bauelement - Komponententechnologien
in den Ingenieurwissenschaften
Artikel, Bibliographie
Buchkapitel
Glanz, Leonid ; Amann, Sven ; Eichberg, Michael ; Reif, Michael ; Mezini, Mira
Hrsg.: Tichy, Matthias ; Bodden, Eric ; Kuhrmann, Marco ; Wagner, Stefan ; Steghöfer, Jan-Philipp (2018)
CodeMatch: Obfuscation Won't Conceal Your Repackaged App.
In: Software Engineering und Software Management 2018
Buchkapitel, Bibliographie
Reif, Michael ; Eichberg, Michael ; Hermann, Ben ; Mezini, Mira (2017)
Hermes: assessment and creation of effective test corpora.
In: Proceeding SOAP 2017 Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis
Buchkapitel, Bibliographie
Dinkelaker, Tom ; Eichberg, Michael ; Mezini, Mira (2012)
Incremental concrete syntax for embedded languages with support for separate compilation.
In: Science of Computer Programming
Buchkapitel, Bibliographie
Eichberg, Michael ; Kloppenburg, Sven ; Klose, Karl ; Mezini, Mira (2008)
Defining and continuous checking of structural program dependencies.
In: Proceedings of the 30th International Conference on Software Engineering
Buchkapitel, Bibliographie
Eichberg, Michael ; Kahl, Matthias ; Saha, Diptikalyan ; Mezini, Mira ; Ostermann, Klaus (2007)
Automatic Incrementalization of Prolog Based Static Analyses.
In: Practical Aspects of Declarative Languages
doi: 10.1007/978-3-540-69611-7_7
Buchkapitel, Bibliographie
Eichberg, Michael ; Germanus, Daniel ; Mezini, Mira ; Mrokon, Lukas ; Schafer, Thorsten (2006)
QScope : an Open, Extensible Framework for Measuring Software Projects.
In: CSMR '06 : Proceedings of the Conference on Software Maintenance and Reengineering
Buchkapitel, Bibliographie
Eichberg, Michael ; Mezini, Mira
Hrsg.: Gschwind, Thomas ; Mascolo, Cecilia (2005)
Alice: Modularization of Middleware Using Aspect-Oriented Programming.
In: Software Engineering and Middleware: 4th International Workshop, SEM 2004
Buchkapitel, Bibliographie
Konferenzveröffentlichung
Helm, Dominik ; Kübler, Florian ; Reif, Michael ; Eichberg, Michael ; Mezini, Mira (2020)
Modular Collaborative Program Analysis in OPAL.
28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2020). Virtual Conference (06.11.2020-16.11.2020)
doi: 10.1145/3368089.3409765
Konferenzveröffentlichung, Bibliographie
Helm, Dominik ; Kübler, Florian ; Kölzer, Jan Thomas ; Haller, Philipp ; Eichberg, Michael ; Salvaneschi, Guido ; Mezini, Mira (2020)
A Programming Model for Semi-implicit Parallelization of Static Analyses.
ISSTA '20: 29th SIGSOFT International Symposium on Software Testing and Analysis. virtual Conference (18.07.2020-22.07.2020)
doi: 10.1145/3395363.3397367
Konferenzveröffentlichung, Bibliographie
Reif, Michael ; Kübler, Florian ; Helm, Dominik ; Hermann, Ben ; Eichberg, Michael ; Mezini, Mira (2020)
TACAI: An Intermediate Representation Based on Abstract Interpretation.
SOAP 2020-9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis. London, UK (15.06.2020-19.06.2020)
doi: 10.1145/3394451.3397204
Konferenzveröffentlichung, Bibliographie
Reif, Michael ; Kübler, Florian ; Eichberg, Michael ; Helm, Dominik ; Mezini, Mira (2019)
Judge: Identifying, Understanding, and Evaluating Sources of Unsoundness in Call Graphs.
28th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'19). Beijing, China (15.07.2019-19.07.2019)
doi: 10.1145/3293882.3330555
Konferenzveröffentlichung, Bibliographie
Wickert, Anna-Katharina ; Reif, Michael ; Eichberg, Michael ; Dodhy, Anam ; Mezini, Mira (2019)
A Dataset of Parametric Cryptographic Misuses.
2019 IEEE/ACM 16th International Conference on Mining Software Repositories (MSR).
Konferenzveröffentlichung, Bibliographie
Helm, Dominik ; Kübler, Florian ; Eichberg, Michael ; Reif, Michael ; Mezini, Mira
Hrsg.: Becker, Steffen ; Bogicevic, Ivan ; Herzwurm, Georg ; Wagner, Stefan (2019)
A unified lattice model and framework for purity analyses.
doi: 10.18420/se2019-10
Konferenzveröffentlichung, Bibliographie
Helm, Dominik ; Kübler, Florian ; Eichberg, Michael ; Reif, Michael ; Mezini, Mira (2018)
A unified lattice model and framework for purity analyses.
ASE 2018. Corum, Montpellier, France (03.09.2018-07.09.2018)
doi: 10.1145/3238147.3238226
Konferenzveröffentlichung, Bibliographie
Eichberg, Michael ; Kübler, Florian ; Helm, Dominik ; Reif, Michael ; Salvaneschi, Guido ; Mezini, Mira (2018)
Lattice Based Modularization of Static Analyses.
SOAP 2018. Amsterdam, Netherlands
doi: 10.1145/3236454.3236509
Konferenzveröffentlichung, Bibliographie
Reif, Michael ; Eichberg, Michael ; Kübler, Florian ; Mezini, Mira (2018)
Systematic Evaluation of the Unsoundness of Call Graph Construction Algorithms for Java.
SOAP 2018. Amsterdam, Netherlands
doi: 10.1145/3236454.3236503
Konferenzveröffentlichung, Bibliographie
Reif, Michael ; Eichberg, Michael ; Mezini, Mira
Hrsg.: Tichy, Matthias ; Bodden, Eric ; Kuhrmann, Marco ; Wagner, Stefan ; Steghöfer, Jan-Philipp (2018)
Call Graph Construction for Java Libraries.
Software Engineering und Software Management 2018. Bonn
Konferenzveröffentlichung, Bibliographie
Glanz, Leonid ; Amann, Sven ; Eichberg, Michael ; Reif, Michael ; Hermann, Ben ; Lerch, Johannes ; Mezini, Mira (2017)
CodeMatch: Obfuscation Won’t Conceal Your Repackaged App.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering.
doi: 10.1145/3106237.3106305
Konferenzveröffentlichung, Bibliographie
Pun, Ka I. ; Steffen, Martin ; Stolz, Volker ; Wickert, Anna-Katharina ; Bodden, Eric ; Eichberg, Michael
Hrsg.: Larsen, Kim G. ; Srba, Jiří (2016)
Don't let data Go astray - A Context-Sensitive Taint Analysis for Concurrent Programs in Go.
Nordic Workshop on Programming Theory (NWPT'16).
Konferenzveröffentlichung, Bibliographie
Haller, Philipp ; Geries, Simon ; Eichberg, Michael ; Salvaneschi, Guido (2016)
Reactive Async: Expressive Deterministic Concurrency.
SCALA 2016. Amsterdam, Netherlands (30.10.2016-31.10.2016)
doi: 10.1145/2998392.2998396
Konferenzveröffentlichung, Bibliographie
Reif, Michael ; Eichberg, Michael ; Hermann, Ben ; Lerch, Johannes ; Mezini, Mira (2016)
Call graph construction for Java libraries.
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering.
doi: 10.1145/2950290.2950312
Konferenzveröffentlichung, Bibliographie
Hermann, Ben ; Reif, Michael ; Eichberg, Michael ; Mezini, Mira (2015)
Getting to Know You: Towards a Capability Model for Java.
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering. New York, NY, USA
Konferenzveröffentlichung, Bibliographie
Eichberg, Michael ; Hermann, Ben ; Mezini, Mira ; Glanz, Leonid (2015)
Hidden Truths in Dead Software Paths.
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering. New York, NY, USA
Konferenzveröffentlichung, Bibliographie
Eichberg, Michael ; Hermann, Ben (2014)
A Software Product Line for Static Analyses: The OPAL Framework.
Proceedings of the 3rd ACM SIGPLAN International Workshop on the State of the Art in Java Program Analysis. New York, NY, USA
Konferenzveröffentlichung, Bibliographie
Weiel, Manuel ; Maier, Ingo ; Erdweg, Sebastian ; Eichberg, Michael ; Mezini, Mira (2014)
Towards virtual traits in Scala.
doi: 10.1145/2637647.2637654
Konferenzveröffentlichung, Bibliographie
Mitschke, Ralf ; Eichberg, Michael ; Mezini, Mira ; Garcia, Alessandro ; Macia, Isela (2013)
Modular specification and checking of structural dependencies.
doi: 10.1145/2451436.2451448
Konferenzveröffentlichung, Bibliographie
Giarrusso, Paolo G. ; Ostermann, Klaus ; Eichberg, Michael ; Mitschke, Ralf ; Rendel, Tillmann ; Kästner, Christian (2013)
Reify your collection queries for modularity and speed!
doi: 10.1145/2451436.2451438
Konferenzveröffentlichung, Bibliographie
Eichberg, Michael ; Sewe, Andreas (2011)
Encoding the Java Virtual Machine's Instruction Set.
Fifth Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 2010). Paphos, Cyprus (27.03.2010-27.03.2010)
doi: 10.1016/j.entcs.2011.02.004
Konferenzveröffentlichung, Bibliographie
Eichberg, Michael
Hrsg.: Gallagher, John ; Gelfond, Michael (2011)
Compiling Prolog to Idiomatic Java.
Technical Communications of the 27th International Conference on Logic Programming (ICLP'11). Lexington, KY, USA
Konferenzveröffentlichung, Bibliographie
Dinkelaker, Tom ; Eichberg, Michael ; Mezini, Mira (2011)
Incremental Concrete Syntax for Embedded Languages.
Proceedings of the 26th ACM Symposium on Applied Computing Technical Track on Programming Languages (PL at SAC).
Konferenzveröffentlichung, Bibliographie
Eichberg, Michael ; Klose, Karl ; Mitschke, Ralf ; Mezini, Mira (2010)
Component Composition Using Feature Models.
doi: 10.1007/978-3-642-13238-4_12
Konferenzveröffentlichung, Bibliographie
Dinkelaker, Tom ; Eichberg, Michael ; Mezini, Mira (2010)
An Architecture for Composing Embedded Domain-Specific Languages.
International Conference on Aspect-Oriented Software Development. ST Malo, France (16.03.2010-19.03.2010)
Konferenzveröffentlichung, Bibliographie
Eichberg, Michael ; Monperrus, Martin ; Kloppenburg, Sven ; Mezini, Mira (2010)
Model-Driven Engineering of Machine Executable Code.
doi: 10.1007/978-3-642-13595-8_10
Konferenzveröffentlichung, Bibliographie
Mitschke, Ralf ; Eichberg, Michael (2008)
Supporting the Evolution of Software Product Lines.
ECMDA Traceability Workshop. Berlin, Germany (09.06.2008-12.06.2008)
Konferenzveröffentlichung, Bibliographie
Eichberg, Michael ; Mezini, Mira ; Kloppenburg, Sven ; Ostermann, Klaus ; Rank, B. (2006)
Integrating and Scheduling an Open Set of Static Analyses.
21st IEEE/ACM International Conference on Automated Software Engineering (ASE '06). Tokyo, Japan
doi: 10.1109/ASE.2006.43
Konferenzveröffentlichung, Bibliographie
Eichberg, Michael ; Kanthak, Sebastian ; Kloppenburg, Sven ; Mezini, Mira ; Schuh, Tobias (2006)
Incremental Confined Types Analysis.
6th Workshop on Language Descriptions, Tools, and Applications. Vienna, Austria (01.04.2006-01.04.2006)
Konferenzveröffentlichung, Bibliographie
Eichberg, Michael ; Germanus, Daniel ; Mezini, Mira ; Mrokon, Lukas ; Schäfer, Thorsten (2006)
QScope: an Open, Extensible Framework for Measuring Software Projects.
Konferenzveröffentlichung, Bibliographie
Eichberg, Michael ; Germanus, Daniel ; Mezini, Mira ; Mrokon, Lukas ; Schäfer, Thorsten (2006)
QScope: an Open, Extensible Framework for Measuring Software Projects.
Konferenzveröffentlichung, Bibliographie
Eichberg, Michael ; Mezini, Mira (2005)
Alice: Modularization of Middleware Using Aspect-Oriented Programming.
Konferenzveröffentlichung, Bibliographie
Eichberg, Michael ; Mezini, Mira ; Haupt, Michael ; Schäfer, Thorsten (2005)
Comprehensive software understanding with Sextant.
Konferenzveröffentlichung, Bibliographie
Eichberg, Michael ; Schäfer, Thorsten ; Mezini, Mira (2005)
Using annotations to check structural properties of classes.
Konferenzveröffentlichung, Bibliographie
Haupt, Michael ; Mezini, Mira ; Bockisch, Christoph ; Dinkelaker, Tom ; Eichberg, Michael ; Krebs, Michael (2005)
An execution layer for aspect-oriented programmjing languages.
Konferenzveröffentlichung, Bibliographie
Schäfer, Thorsten ; Eichberg, Michael ; Mezini, Mira (2005)
Towards exploring cross-cutting concerns.
AOSD '05 Workshop on Linking Aspect Technology and Evolution (LATE). Chicago, IL, USA
Konferenzveröffentlichung, Bibliographie
Haupt, Michael ; Mezini, Mira ; Bockisch, Christoph ; Dinkelaker, Tom ; Eichberg, Michael ; Krebs, Michael (2005)
An execution layer for aspect-oriented programming languages.
Chicago, IL, USA
Konferenzveröffentlichung, Bibliographie
Eichberg, Michael ; Mezini, Mira (2004)
Alice : modularization of middleware using aspect-oriented programming.
Konferenzveröffentlichung, Bibliographie
Eichberg, Michael ; Mezini, Mira ; Schäfer, Thorsten ; Beringer, Claus ; Hamel, Karl Matthias (2004)
Enforcing system-wide properties.
Konferenzveröffentlichung, Bibliographie
Eichberg, Michael ; Mezini, Mira ; Ostermann, Klaus (2004)
Pointcuts as functional queries.
Konferenzveröffentlichung, Bibliographie
Eichberg, Michael ; Mezini, Mira ; Ostermann, Klaus ; Schäfer, Thorsten (2004)
XIRC : a kernel for cross-artifact information engineering in software development environments.
Konferenzveröffentlichung, Bibliographie
Eichberg, Michael ; Schäfer, Thorsten (2004)
XIRC: cross-artifact information retrieval [GPCE].
Vancouver, BC, CANADA
Konferenzveröffentlichung, Bibliographie
Eichberg, Michael ; Schäfer, Thorsten (2004)
XIRC: cross-artifact information retrieval [GPCE].
Konferenzveröffentlichung, Bibliographie
Eichberg, Michael (2002)
MDA and programming languages.
Konferenzveröffentlichung, Bibliographie
Report
Eichberg, Michael (2004)
The Proxy Inter-Type Declaration.
Report, Bibliographie
Eichberg, Michael
Hrsg.: Coady, Yvonne ; Lorenz, David (2004)
The Proxy Inter-Type Declaration.
Report, Bibliographie
Dissertation
Eichberg, Michael (2007)
Open Integrated Development and Analysis Environments.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung
Eichberg, Michael (2007)
Open integrated development and analysis environments.
Technische Universität Darmstadt
Dissertation, Bibliographie