| 2025 | ICST | Coverage Metrics for T-Wise Feature Interactions. | Sabrina Bhm, Tim Jannik Schmidt, Sebastian Krieter, Tobias Pett, Thomas Thm, Malte Lochau |
| 2025 | SPLC | Finding Optimal Configurations of Cardinality-based Feature Models using Weighted Automata. | Robert Mller, Mathis Wei, Malte Lochau |
| 2025 | SPLC | Automated Learning of Software Configuration Spaces is not Easy. | Mathis Wei, Robert Mller, Lukas Gthing, Tobias Vente, Lukas Wegmeth, Ina Schaefer, Malte Lochau |
| 2025 | SPLC | On Reverse Engineering Cardinality-Based Feature Models. | Mathis Wei, Simon Imran Butt, Malte Lochau |
| 2024 | SPLC | Mapping Cardinality-based Feature Models to Weighted Automata over Featured Multiset Semirings. | Robert Mller, Mathis Wei, Malte Lochau |
| 2024 | TAP | Model-Based Testing of Quantum Computations. | Malte Lochau, Ina Schaefer |
| 2022 | MODELS | Precomputing reconfiguration strategies based on stochastic timed game automata. | Hendrik Gttmann, Birte Caesar, Lasse Beers, Malte Lochau, Andy Schrr, Alexander Fay |
| 2021 | SPLC | AutoSMP: an evaluation platform for sampling algorithms. | Tobias Pett, Sebastian Krieter, Thomas Thm, Malte Lochau, Ina Schaefer |
| 2020 | FASE | HybridTiger: Hybrid Model Checking and Domination-based Partitioning for Efficient Multi-Goal Test-Suite Generation (Competition Contribution). | Sebastian Ruland, Malte Lochau, Marie-Christine Jakobs |
| 2020 | ISoLA | Parametric Timed Bisimulation. | Malte Lochau, Lars Luthmann, Hendrik Gttmann, Isabelle Bacher |
| 2020 | SPLC | Real-time-aware reconfiguration decisions for dynamic software product lines. | Hendrik Gttmann, Lars Luthmann, Malte Lochau, Andy Schrr |
| 2019 | SPLC | Product sampling for product lines: the scalability challenge. | Tobias Pett, Thomas Thm, Tobias Runge, Sebastian Krieter, Malte Lochau, Ina Schaefer |
| 2018 | FASE | Controlling the Attack Surface of Object-Oriented Refactorings. | Sebastian Ruland, Gza Kulcsr, Erhan Leblebici, Sven Peldszus, Malte Lochau |
| 2018 | GPCE | Measuring effectiveness of sample-based product-line testing. | Sebastian Ruland, Lars Luthmann, Johannes Brdek, Sascha Lity, Thomas Thm, Malte Lochau, Mrcio Ribeiro |
| 2018 | MODELS | Mathematical Programming for Anomaly Analysis of Clafer Models. | Markus Weckesser, Malte Lochau, Michael Ries, Andy Schrr |
| 2017 | OOPSLA | Towards complete consistency checks of Clafer models. | Markus Weckesser, Malte Lochau, Michael Ries, Andy Schrr |
| 2017 | SPLC | Modeling and Testing Product Lines with Unbounded Parametric Real-Time Constraints. | Lars Luthmann, Andreas Stephan, Johannes Brdek, Malte Lochau |
| 2016 | FASE | Mind the Gap! Automated Anomaly Detection for Potentially Unbounded Cardinality-Based Feature Models. | Markus Weckesser, Malte Lochau, Thomas Schnabel, Bjrn Richerzhagen, Andy Schrr |
| 2016 | GPCE | IncLing: efficient product-line testing using incremental pairwise sampling. | Mustafa Al-Hajjaji, Sebastian Krieter, Thomas Thm, Malte Lochau, Gunter Saake |
| 2015 | FASE | Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines. | Johannes Brdek, Malte Lochau, Stefan Bauregger, Andreas Holzer, Alexander von Rhein, Sven Apel, Dirk Beyer |
| 2015 | SPLC | Fault-based product-line testing: effective sample generation based on feature-diagram mutation. | Dennis Reuling, Johannes Brdek, Serge Rotrmel, Malte Lochau, Udo Kelter |
| 2014 | FASE | Modularizing Triple Graph Grammars Using Rule Refinement. | Anthony Anjorin, Karsten Saller, Malte Lochau, Andy Schrr |
| 2014 | GPCE | Towards incremental test suite optimization for software product lines. | Hauke Baller, Malte Lochau |
| 2014 | ICST | Multi-objective Test Suite Optimization for Incremental Product Family Testing. | Hauke Baller, Sascha Lity, Malte Lochau, Ina Schaefer |
| 2014 | ISoLA | DeltaCCS: A Core Calculus for Behavioral Change. | Malte Lochau, Stephan Mennicke, Hauke Baller, Lars Ribbeck |
| 2014 | SPLC | Similarity-based prioritization in software product-line testing. | Mustafa Al-Hajjaji, Thomas Thm, Jens Meinicke, Malte Lochau, Gunter Saake |
| 2014 | SPLC | Automated verification of feature model configuration processes based on workflow Petri nets. | Stephan Mennicke, Malte Lochau, Julia Schroeter, Tim Winkelmann |
| 2013 | GPCE | Implementing refactorings for FOP: lessons learned and challenges ahead. | Sandro Schulze, Malte Lochau, Saskia Brunswig |
| 2013 | ICSE | Requirements-based delta-oriented SPL testing. | Michael Dukaczewski, Ina Schaefer, Remo Lachmann, Malte Lochau |
| 2013 | SPLC | Context-aware DSPLs: model-based runtime adaptation for resource-constrained systems. | Karsten Saller, Malte Lochau, Ingo Reimund |
| 2012 | GPCE | Conditioned model slicing of feature-annotated state machines. | Jochen Kamischke, Malte Lochau, Hauke Baller |
| 2012 | ICSE | Delta-oriented model-based SPL regression testing. | Sascha Lity, Malte Lochau, Ina Schaefer, Ursula Goltz |
| 2012 | ISoLA | Parameterized Preorder Relations for Model-Based Testing of Software Product Lines. | Malte Lochau, Jochen Kamischke |
| 2012 | ISoLA | Approaches for Mastering Change. | Ina Schaefer, Malte Lochau, Martin Leucker |
| 2012 | MODELS | Multi-perspectives on Feature Models. | Julia Schroeter, Malte Lochau, Tim Winkelmann |
| 2012 | SPLC | Reducing feature models to improve runtime adaptivity on resource limited devices. | Karsten Saller, Sebastian Oster, Andy Schrr, Julia Schroeter, Malte Lochau |
| 2012 | SPLC | Dynamic configuration management of cloud-based applications. | Julia Schroeter, Peter Mucha, Marcel Muth, Kay Jugel, Malte Lochau |
| 2012 | TAP | Incremental Model-Based Testing of Delta-Oriented Software Product Lines. | Malte Lochau, Ina Schaefer, Jochen Kamischke, Sascha Lity |
| 2011 | MODELS | Model-Based Coverage-Driven Test Suite Generation for Software Product Lines. | Harald Cichos, Sebastian Oster, Malte Lochau, Andy Schrr |
| 2011 | SPLC | Pairwise feature-interaction testing for SPLs: potentials and limitations. | Sebastian Oster, Marius Zink, Malte Lochau, Mark Grechanik |
| 2008 | SERA | Modeling and Validation of Executable Requirements Using Live Activity Diagrams. | Christoph Knieke, Michaela Huhn, Malte Lochau |
| 2008 | TASE | Executable Requirements Specification: Formal Semantics of Live Activity Diagrams. | Christoph Knieke, Michaela Huhn, Malte Lochau |