![]() | Ebene hoch |
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)