Michael Eichberg

According to our database, Michael Eichberg authored at least 49 papers between 2004 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

SePass: Semantic Password Guessing Using k-nn Similarity Search in Word Embeddings.

Maximilian Hünemörder, Levin Schäfer, Nadine Sarah Schüler, Michael Eichberg, Peer Kröger

Proceedings of the Advanced Data Mining and Applications - 18th International Conference, 2022

2020

Modular collaborative program analysis in OPAL.

Dominik Helm, Florian Kübler, Michael Reif, Michael Eichberg, Mira Mezini

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

TACAI: an intermediate representation based on abstract interpretation.

Michael Reif, Florian Kübler, Dominik Helm, Ben Hermann, Michael Eichberg, Mira Mezini

Proceedings of the 9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2020

A programming model for semi-implicit parallelization of static analyses.

Dominik Helm, Florian Kübler, Jan Thomas Kölzer, Philipp Haller, Michael Eichberg, Guido Salvaneschi, Mira Mezini

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

2019

A Unified Lattice Model and Framework for Purity Analyses.

Dominik Helm, Florian Kübler, Michael Eichberg, Michael Reif, Mira Mezini

Proceedings of the Software Engineering and Software Management, 2019

A dataset of parametric cryptographic misuses.

Anna-Katharina Wickert, Michael Reif, Michael Eichberg, Anam Dodhy, Mira Mezini

Proceedings of the 16th International Conference on Mining Software Repositories, 2019

Judge: identifying, understanding, and evaluating sources of unsoundness in call graphs.

Michael Reif, Florian Kübler, Michael Eichberg, Dominik Helm, Mira Mezini

Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

2018

Call Graph Construction for Java Libraries.

Michael Reif, Michael Eichberg, Mira Mezini

Proceedings of the Software Engineering und Software Management 2018, 2018

CodeMatch.

Leonid Glanz, Sven Amann, Michael Eichberg, Michael Reif, Mira Mezini

Proceedings of the Software Engineering und Software Management 2018, 2018

Systematic evaluation of the unsoundness of call graph construction algorithms for Java.

Michael Reif, Florian Kübler, Michael Eichberg, Mira Mezini

Proceedings of the Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 2018

Lattice based modularization of static analyses.

Michael Eichberg, Florian Kübler, Dominik Helm, Michael Reif, Guido Salvaneschi, Mira Mezini

Proceedings of the Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 2018

2017

CodeMatch: obfuscation won't conceal your repackaged app.

Leonid Glanz, Sven Amann, Michael Eichberg, Michael Reif, Ben Hermann, Johannes Lerch, Mira Mezini

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Hermes: assessment and creation of effective test corpora.

Michael Reif, Michael Eichberg, Ben Hermann, Mira Mezini

Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 2017

2016

Call graph construction for Java libraries.

Michael Reif, Michael Eichberg, Ben Hermann, Johannes Lerch, Mira Mezini

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Getting to know you: towards a capability model for Java.

Ben Hermann, Michael Reif, Michael Eichberg, Mira Mezini

Proceedings of the Software Engineering 2016, 2016

Hidden Truths in Dead Software Paths.

Michael Eichberg, Ben Hermann, Mira Mezini, Leonid Glanz

Proceedings of the Software Engineering 2016, 2016

Reactive Async: expressive deterministic concurrency.

Philipp Haller, Simon Geries, Michael Eichberg, Guido Salvaneschi

Proceedings of the 7th ACM SIGPLAN Symposium on Scala, 2016

Toward an automated benchmark management system.

Lisa Nguyen Quang Do, Michael Eichberg, Eric Bodden

Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 2016

2014

A software product line for static analyses: the OPAL framework.

Michael Eichberg, Ben Hermann

Proceedings of the 3rd ACM SIGPLAN International Workshop on the State Of the Art in Java Program analysis, 2014

Towards virtual traits in Scala.

Manuel Weiel, Ingo Maier, Sebastian Erdweg, Michael Eichberg, Mira Mezini

Proceedings of the Fifth Annual Scala Workshop, 2014

Blending and reusing rules for architectural degradation prevention.

Alessandro Cavalcante Gurgel, Isela Macia Bertran, Alessandro Garcia, Arndt von Staa, Mira Mezini, Michael Eichberg, Ralf Mitschke

Proceedings of the 13th International Conference on Modularity, 2014

2013

Modular Specification and Checking of Structural Dependencies.

Ralf Mitschke, Michael Eichberg, Mira Mezini, Alessandro Garcia, Isela Macia Bertran

LNCS Trans. Aspect Oriented Softw. Dev., 2013

Incremental concrete syntax for embedded languages with support for separate compilation.

Tom Dinkelaker, Michael Eichberg, Mira Mezini

Sci. Comput. Program., 2013

Reify your collection queries for modularity and speed!

Paolo G. Giarrusso, Klaus Ostermann, Michael Eichberg, Ralf Mitschke, Tillmann Rendel, Christian Kästner

Proceedings of the Aspect-Oriented Software Development, 2013

2012

What should developers be aware of? An empirical study on the directives of API documentation.

Martin Monperrus, Michael Eichberg, Elif Tekes, Mira Mezini

Empir. Softw. Eng., 2012

Reifying and optimizing collection queries for modularity.

Paolo G. Giarrusso, Klaus Ostermann, Michael Eichberg, Tillmann Rendel, Christian Kästner

Proceedings of the SPLASH'12, 2012

2011

Incremental concrete syntax for embedded languages.

Tom Dinkelaker, Michael Eichberg, Mira Mezini

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Compiling Prolog to Idiomatic Java.

Michael Eichberg

Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011

2010

Encoding the Java Virtual Machine's Instruction Set.

Michael Eichberg, Andreas Sewe

Proceedings of the Fifth Workshop on Bytecode Semantics, 2010

Model-Driven Engineering of Machine Executable Code.

Michael Eichberg, Martin Monperrus, Sven Kloppenburg, Mira Mezini

Proceedings of the Modelling Foundations and Applications - 6th European Conference, 2010

Component Composition Using Feature Models.

Michael Eichberg, Karl Klose, Ralf Mitschke, Mira Mezini

Proceedings of the Component-Based Software Engineering, 13th International Symposium, 2010

An architecture for composing embedded domain-specific languages.

Tom Dinkelaker, Michael Eichberg, Mira Mezini

Proceedings of the 9th International Conference on Aspect-Oriented Software Development, 2010

2008

Defining and continuous checking of structural program dependencies.

Michael Eichberg, Sven Kloppenburg, Karl Klose, Mira Mezini

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

2007

Open integrated development and analysis environments.

Michael Eichberg

PhD thesis, 2007

Automatic Incrementalization of Prolog Based Static Analyses.

Michael Eichberg, Matthias Kahl, Diptikalyan Saha, Mira Mezini, Klaus Ostermann

Proceedings of the Practical Aspects of Declarative Languages, 9th International Symposium, 2007

2006

The SEXTANT Software Exploration Tool.

Thorsten Schäfer, Michael Eichberg, Michael Haupt, Mira Mezini

IEEE Trans. Software Eng., 2006

Incremental Confined Types Analysis.

Michael Eichberg, Sebastian Kanthak, Sven Kloppenburg, Mira Mezini, Tobias Schuh

Proceedings of the Sixth Workshop on Language Descriptions, Tools, and Applications, 2006

Integrating and Scheduling an Open Set of Static Analyses.

Michael Eichberg, Mira Mezini, Sven Kloppenburg, Klaus Ostermann, Benjamin Rank

Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006

QScope: an Open, Extensible Framework for Measuring Software Projects.

Michael Eichberg, Daniel Germanus, Mira Mezini, Lukas Mrokon, Thorsten Schäfer

Proceedings of the 10th European Conference on Software Maintenance and Reengineering (CSMR 2006), 2006

2005

BAT₂XML: XML-based Java Bytecode Representation.

Michael Eichberg

Proceedings of the First Workshop on Bytecode Semantics, 2005

An execution layer for aspect-oriented programming languages.

Michael Haupt, Mira Mezini, Christoph Bockisch, Tom Dinkelaker, Michael Eichberg, Michael Krebs

Proceedings of the 1st International Conference on Virtual Execution Environments, 2005

Comprehensive Software Understanding with SEXTANT.

Michael Eichberg, Michael Haupt, Mira Mezini, Thorsten Schäfer

Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM 2005), 2005

Using Annotations to Check Structural Properties of Classes.

Michael Eichberg, Thorsten Schäfer, Mira Mezini

Proceedings of the Fundamental Approaches to Software Engineering, 2005

2004

Component-Based Software Development with Aspect-Oriented Programming.

Michael Eichberg

J. Object Technol., 2004

XIRC: A Kernel for Cross-Artifact Information Engineering in Software Development Environments.

Michael Eichberg, Mira Mezini, Klaus Ostermann, Thorsten Schäfer

Proceedings of the 11th Working Conference on Reverse Engineering, 2004

Alice: Modularization of Middleware Using Aspect-Oriented Programming.

Michael Eichberg, Mira Mezini

Proceedings of the Software Engineering and Middleware, 4th International Workshop, 2004

XIRC: cross-artifact information retrieval [GPCE].

Michael Eichberg, Thorsten Schäfer

Proceedings of the Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004

Enforcing System-Wide Properties.

Michael Eichberg, Mira Mezini, Thorsten Schäfer, Claus Beringer, Karl Matthias Hamel

Proceedings of the 15th Australian Software Engineering Conference (ASWEC 2004), 2004

Pointcuts as Functional Queries.

Michael Eichberg, Mira Mezini, Klaus Ostermann

Proceedings of the Programming Languages and Systems: Second Asian Symposium, 2004