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: 61.

Reif, Michael and Kübler, Florian and Eichberg, Michael and Helm, Dominik and Mezini, Mira (2019):
Judge: Identifying, Understanding, and Evaluating Sources of Unsoundness in Call Graphs.
In: 28th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'19), Beijing, China, 15.07.-19.0.7. 2019, ISBN 978-1-4503-6224-5,
DOI: 10.1145/3293882.3330555,
[Online-Edition: https://dl.acm.org/citation.cfm?id=3293882&picked=prox],
[Conference or Workshop Item]

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

Helm, Dominik and Kübler, Florian and Eichberg, Michael and Reif, Michael and Mezini, Mira
Becker, Steffen and Bogicevic, Ivan and Herzwurm, Georg and Wagner, Stefan (eds.) (2019):
A unified lattice model and framework for purity analyses.
In: Software Engineering and Software Management 2019, Bonn, Gesellschaft für Informatik e.V., ISSN 16175468,
ISBN 9783885796862,
DOI: 10.18420/se2019-10,
[Online-Edition: https://dl.gi.de/handle/20.500.12116/20868],
[Conference or Workshop Item]

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

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

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

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

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.) (2018):
Call Graph Construction for Java Libraries.
Bonn, Gesellschaft für Informatik, In: Software Engineering und Software Management 2018, Bonn, [Conference or Workshop Item]

Glanz, Leonid and Amann, Sven and Eichberg, Michael and Reif, Michael and Hermann, Ben and Lerch, Johannes and Mezini, Mira (2017):
CodeMatch: Obfuscation Won’t Conceal Your Repackaged App.
In: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, Paderborn, Germany, In: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ISBN 978-1-4503-5105-8,
DOI: 10.1145/3106237.3106305,
[Online-Edition: http://dl.acm.org/citation.cfm?id=3106305],
[Conference or Workshop Item]

Reif, Michael and Eichberg, Michael and Hermann, Ben and 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, pp. 43-48, [Online-Edition: http://dl.acm.org/citation.cfm?id=3088523&CFID=886861998&CFT...],
[Book Section]

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.) (2016):
Don't let data Go astray - A Context-Sensitive Taint Analysis for Concurrent Programs in Go.
Aalborg, In: Nordic Workshop on Programming Theory (NWPT'16), [Conference or Workshop Item]

Haller, Philipp and Geries, Simon and Eichberg, Michael and Salvaneschi, Guido (2016):
Reactive Async: Expressive Deterministic Concurrency.
In: Proceedings of the 2016 7th ACM SIGPLAN Symposium on Scala, New York, ACM, In: SCALA 2016, Amsterdam, Netherlands, 30.-31.10.2016, ISBN 978-1-4503-4648-1,
DOI: 10.1145/2998392.2998396,
[Online-Edition: https://dl.acm.org/citation.cfm?id=2998396],
[Conference or Workshop Item]

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

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

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

Eichberg, Michael and Hermann, Ben (2014):
A Software Product Line for Static Analyses: The OPAL Framework.
New York, NY, USA, ACM, 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, ISBN 978-1-4503-2919-4,
[Online-Edition: http://doi.acm.org/10.1145/2614628.2614630],
[Conference or Workshop Item]

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

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

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

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

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

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

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

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

Eichberg, Michael and Klose, Karl and Mitschke, Ralf and Mezini, Mira (2010):
Component Composition Using Feature Models.
In: Component-Based Software Engineering, 6092, ISSN 0302-9743,
[Online-Edition: http://dx.doi.org/10.1007/978-3-642-13238-4_12],
[Conference or Workshop Item]

Dinkelaker, Tom and Eichberg, Michael and Mezini, Mira (2010):
An Architecture for Composing Embedded Domain-Specific Languages.
In: AOSD '10: Proceedings of the 9th International Conference on Aspect-Oriented Software Development, New York, NY, USA, ACM, In: International Conference on Aspect-Oriented Software Development, ST Malo, France, March 16-19, In: ACM, [Conference or Workshop Item]

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

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

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

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

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

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

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

Eichberg, Michael and Germanus, Daniel and Mezini, Mira and Mrokon, Lukas and Schafer, Thorsten (2006):
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]

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

Eichberg, Michael and Kanthak, Sebastian and Kloppenburg, Sven and Mezini, Mira and Schuh, Tobias (2006):
Incremental Confined Types Analysis.
In: Proceedings of the Sixth Workshop on Language Descriptions, Tools, and Applications (LDTA 2006), Elsevier, [Book Section]

Eichberg, Michael and Germanus, Daniel and Mezini, Mira and Mrokon, Lukas and Schäfer, Thorsten (2006):
QScope: an Open, Extensible Framework for Measuring Software Projects.
In: CSMR '06: Proceedings of the Conference on Software Maintenance and Reengineering, IEEE Computer Society, ISBN 0-7695-2536-9,
[Conference or Workshop Item]

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

Eichberg, Michael and Mezini, Mira (2005):
Alice: Modularization of Middleware Using Aspect-Oriented Programming.
In: SEM '04: 4th International Workshop of Software Engineering and Middleware, Springer-Verlag GmbH, 3437, ISBN 3-540-25328-9,
[Conference or Workshop Item]

Schäfer, Thorsten and Eichberg, Michael and Mezini, Mira (2005):
Towards exploring cross-cutting concerns.
[Other]

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

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

Eichberg, Michael and Mezini, Mira and Haupt, Michael and Schäfer, Thorsten (2005):
Comprehensive software understanding with Sextant.
Los Alamitos, Calif. [u.a.], IEEE Computer Society, 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, [Conference or Workshop Item]

Eichberg, Michael and Schäfer, Thorsten and Mezini, Mira (2005):
Using annotations to check structural properties of classes.
Berlin ; Heidelberg [u.a.], Springer, 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.). -, [Conference or Workshop Item]

Haupt, Michael and Mezini, Mira and Bockisch, Christoph and Dinkelaker, Tom and Eichberg, Michael and Krebs, Michael (2005):
An execution layer for aspect-oriented programmjing languages.
New York, NY, ACM Pr., 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, [Conference or Workshop Item]

Eichberg, Michael and Mezini, Mira
Gschwind, Thomas and Mascolo, Cecilia (eds.) (2005):
Alice: Modularization of Middleware Using Aspect-Oriented Programming.
In: Software Engineering and Middleware: 4th International Workshop, SEM 2004, Berlin ; Heidelberg, Springer-Verlag GmbH, pp. 47-63, [Online-Edition: https://doi.org/10.1007/11407386_5],
[Book Section]

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

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

Schäfer, Thorsten and Eichberg, Michael and Mezini, Mira (2005):
Towards exploring cross-cutting concerns.
[Other]

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

Haupt, Michael and Mezini, Mira and Bockisch, Christoph and Dinkelaker, Tom and Eichberg, Michael and Krebs, Michael (2005):
An execution layer for aspect-oriented programming languages.
In: VEE '05: Proceedings of the 1st ACM/USENIX international conference on Virtual execution environments, ACM Press, Chicago, IL, USA, ISBN 1-59593-047-7,
[Conference or Workshop Item]

Eichberg, Michael (2004):
The Proxy Inter-Type Declaration.
(NU-CCIS-04-04), [Report]

Eichberg, Michael and Mezini, Mira (2004):
Alice : modularization of middleware using aspect-oriented programming.
Berlin [u.a.], Springer, 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, [Conference or Workshop Item]

Eichberg, Michael and Mezini, Mira and Schäfer, Thorsten and Beringer, Claus and Hamel, Karl Matthias (2004):
Enforcing system-wide properties.
Los Alamitos, Calif. [u.a.], IEEE Computer Society, 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., [Conference or Workshop Item]

Eichberg, Michael and Mezini, Mira and Ostermann, Klaus (2004):
Pointcuts as functional queries.
Berlin [u.a.], Springer, 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, [Conference or Workshop Item]

Eichberg, Michael and Mezini, Mira and Ostermann, Klaus and Schäfer, Thorsten (2004):
XIRC : a kernel for cross-artifact information engineering in software development environments.
Los Alamitos, Calif. [u.a.], IEEE Computer Society, 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, [Conference or Workshop Item]

Eichberg, Michael
Coady, Yvonne and Lorenz, David (eds.) (2004):
The Proxy Inter-Type Declaration.
(NU-CCIS-04-04), [Report]

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

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

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

Eichberg, Michael (2002):
MDA and programming languages.
New York, ACM Pr., 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, [Conference or Workshop Item]

This list was generated on Tue Oct 15 00:50:46 2019 CEST.