Johannes Bader

According to our database, Johannes Bader authored at least 21 papers between 2008 and 2020.

Collaborative distances:

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

2020

Gradual verification of recursive heap data structures.

Jenna Wise, Johannes Bader, Cameron Wong, Jonathan Aldrich, Éric Tanter, Joshua Sunshine

Proc. ACM Program. Lang., 2020

What It Would Take to Use Mutation Testing in Industry-A Study at Facebook.

Moritz Beller, Chu-Pan Wong, Johannes Bader, Andrew Scott, Mateusz Machalica, Satish Chandra, Erik Meijer

CoRR, 2020

2019

Getafix: learning to fix bugs automatically.

Johannes Bader, Andrew Scott, Michael Pradel, Satish Chandra

Proc. ACM Program. Lang., 2019

Getafix: Learning to fix bugs automatically.

Andrew Scott, Johannes Bader, Satish Chandra

CoRR, 2019

SapFix: automated end-to-end repair at scale.

Alexandru Marginean, Johannes Bader, Satish Chandra, Mark Harman, Yue Jia, Ke Mao, Alexander Mols, A. Scott

Proceedings of the 41st International Conference on Software Engineering: Software Engineering in Practice, 2019

2018

Gradual Program Verification.

Johannes Bader, Jonathan Aldrich, Éric Tanter

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

2016

Practical Variable Length Gap Pattern Matching.

Johannes Bader, Simon Gog, Matthias Petri

Proceedings of the Experimental Algorithms - 15th International Symposium, 2016

A Comprehensive Measurement Study of Domain Generating Malware.

Daniel Plohmann, Khaled Yakdan, Michael Klatt, Johannes Bader, Elmar Gerhards-Padilla

Proceedings of the 25th USENIX Security Symposium, 2016

2012

Hypervolume-based multiobjective optimization: Theoretical foundations and practical implications.

Anne Auger, Johannes Bader, Dimo Brockhoff, Eckart Zitzler

Theor. Comput. Sci., 2012

2011

HypE: An Algorithm for Fast Hypervolume-Based Many-Objective Optimization.

Johannes Bader, Eckart Zitzler

Evol. Comput., 2011

2010

On Set-Based Multiobjective Optimization.

Eckart Zitzler, Lothar Thiele, Johannes Bader

IEEE Trans. Evol. Comput., 2010

Defining and Optimizing Indicator-Based Diversity Measures in Multiobjective Search.

Tamara Ulrich, Johannes Bader, Lothar Thiele

Proceedings of the Parallel Problem Solving from Nature, 2010

Theoretically Investigating Optimal <i>µ</i>-Distributions for the Hypervolume Indicator: First Results for Three Objectives.

Anne Auger, Johannes Bader, Dimo Brockhoff

Proceedings of the Parallel Problem Solving from Nature, 2010

Integrating decision space diversity into hypervolume-based multiobjective search.

Tamara Ulrich, Johannes Bader, Eckart Zitzler

Proceedings of the Genetic and Evolutionary Computation Conference, 2010

2009

Investigating and exploiting the bias of the weighted hypervolume to articulate user preferences.

Anne Auger, Johannes Bader, Dimo Brockhoff, Eckart Zitzler

Proceedings of the Genetic and Evolutionary Computation Conference, 2009

Articulating user preferences in many-objective problems by sampling the weighted hypervolume.

Anne Auger, Johannes Bader, Dimo Brockhoff, Eckart Zitzler

Proceedings of the Genetic and Evolutionary Computation Conference, 2009

Theory of the hypervolume indicator: optimal μ-distributions and the choice of the reference point.

Anne Auger, Johannes Bader, Dimo Brockhoff, Eckart Zitzler

Proceedings of the Foundations of Genetic Algorithms, 2009

On Using Populations of Sets in Multiobjective Optimization.

Johannes Bader, Dimo Brockhoff, Samuel Welten, Eckart Zitzler

Proceedings of the Evolutionary Multi-Criterion Optimization, 5th International Conference, 2009

2008

SPAM: Set Preference Algorithm for Multiobjective Optimization.

Eckart Zitzler, Lothar Thiele, Johannes Bader

Proceedings of the Parallel Problem Solving from Nature, 2008

Faster Hypervolume-Based Search Using Monte Carlo Sampling.

Johannes Bader, Kalyanmoy Deb, Eckart Zitzler

Proceedings of the Multiple Criteria Decision Making for Sustainable Energy and Transportation Systems, 2008

Reducing Bloat in GP with Multiple Objectives.

Stefan Bleuler, Johannes Bader, Eckart Zitzler

Proceedings of the Multiobjective Problem Solving from Nature, 2008