A Static Aspect Language for Modelica Models. - Malte Lochau; Henning Günther (EOOLT, 2008)

Modeling and Validation of Executable Requirements Using Live Activity Diagrams. - Christoph Knieke; Michaela Huhn; Malte Lochau (SERA, 2008)

Executable Requirements Specification: Formal Semantics of Live Activity Diagrams. - Christoph Knieke; Michaela Huhn; Malte Lochau (TASE, 2008)

Feature Interaction Aware Test Case Generation for Embedded Control Systems. - Malte Lochau; Ursula Goltz (MBT@ETAPS, 2010)

Evolving Adaptable Systems: Potential and Challenges. - Klaus Schmid; Holger Eichelberger; Ursula Goltz; Malte Lochau (Softwaretechnik-Trends, 2010)

Model-Based Coverage-Driven Test Suite Generation for Software Product Lines. - Harald Cichos; Sebastian Oster; Malte Lochau; Andy Schürr (MoDELS, 2011)

Pairwise feature-interaction testing for SPLs: potentials and limitations. - Sebastian Oster; Marius Zink; Malte Lochau; Mark Grechanik (SPLC Workshops, 2011)

MoSo-PoLiTe: tool support for pairwise and model-based software product line testing. - Sebastian Oster; Ivan Zorcic; Florian Markert; Malte Lochau (VaMoS, 2011)

Conditioned model slicing of feature-annotated state machines. - Jochen Kamischke; Malte Lochau; Hauke Baller (FOSD, 2012)

Delta-oriented model-based SPL regression testing. - Sascha Lity; Malte Lochau; Ina Schaefer; Ursula Goltz (PLEASE@ICSE, 2012)

Parameterized Preorder Relations for Model-Based Testing of Software Product Lines. - Malte Lochau; Jochen Kamischke (ISoLA (1), 2012)

Approaches for Mastering Change. - Ina Schaefer; Malte Lochau; Martin Leucker (ISoLA (1), 2012)

Multi-perspectives on Feature Models. - Julia Schroeter; Malte Lochau; Tim Winkelmann (MoDELS, 2012)

Reduktion von Testsuiten für Software-Produktlinien. - Harald Cichos; Malte Lochau; Sebastian Oster; Andy Schürr (Software Engineering, 2012)

Reducing feature models to improve runtime adaptivity on resource limited devices. - Karsten Saller; Sebastian Oster; Andy Schürr; Julia Schroeter; Malte Lochau (SPLC (2), 2012)

Dynamic configuration management of cloud-based applications. - Julia Schroeter; Peter Mucha; Marcel Muth; Kay Jugel; Malte Lochau (SPLC (2), 2012)

Incremental Model-Based Testing of Delta-Oriented Software Product Lines. - Malte Lochau; Ina Schaefer; Jochen Kamischke; Sascha Lity (TAP@TOOLS, 2012)

Industrial evaluation of pairwise SPL testing with MoSo-PoLiTe. - Michaela Steffens; Sebastian Oster; Malte Lochau; Thomas Fogdal (VaMoS, 2012)

Arden2ByteCode: A one-pass Arden Syntax compiler for service-oriented decision support systems based on the OSGi platform. - Matthias Gietzelt; Ursula Goltz; Daniel Grunwald; Malte Lochau; Michael Marschollek; Bianying Song; Klaus-Hendrik Wolf (Comput. Methods Programs Biomed., 2012)

Model-based pairwise testing for feature interaction coverage in software product line engineering. - Malte Lochau; Sebastian Oster; Ursula Goltz; Andy Schürr (Softw. Qual. J., 2012)

Implementing refactorings for FOP: lessons learned and challenges ahead. - Sandro Schulze; Malte Lochau; Saskia Brunswig (FOSD, 2013)

Requirements-based delta-oriented SPL testing. - Michael Dukaczewski; Ina Schaefer; Remo Lachmann; Malte Lochau (PLEASE@ICSE, 2013)

Context-aware DSPLs: model-based runtime adaptation for resource-constrained systems. - Karsten Saller; Malte Lochau; Ingo Reimund (SPLC Workshops, 2013)

Model-Based Conformance Testing of Software Product Lines. - Malte Lochau (Verlag Dr. Hut, 2013)

Modularizing Triple Graph Grammars Using Rule Refinement. - Anthony Anjorin; Karsten Saller; Malte Lochau; Andy Schürr (FASE, 2014)

Towards incremental test suite optimization for software product lines. - Hauke Baller; Malte Lochau (FOSD, 2014)

Multi-objective Test Suite Optimization for Incremental Product Family Testing. - Hauke Baller; Sascha Lity; Malte Lochau; Ina Schaefer (ICST, 2014)

DeltaCCS: A Core Calculus for Behavioral Change. - Malte Lochau; Stephan Mennicke; Hauke Baller; Lars Ribbeck (ISoLA (1), 2014)

Model-Based Testing. - Malte Lochau; Sven Peldszus; Matthias Kowal; Ina Schaefer (SFM, 2014)

Similarity-based prioritization in software product-line testing. - Mustafa Al-Hajjaji; Thomas Thüm; Jens Meinicke; Malte Lochau; Gunter Saake (SPLC, 2014)

Automated verification of feature model configuration processes based on workflow Petri nets. - Stephan Mennicke; Malte Lochau; Julia Schroeter; Tim Winkelmann (SPLC, 2014)

Staged configuration of dynamic software product lines with complex binding time constraints. - Johannes Bürdek; Sascha Lity; Malte Lochau; Markus Berens; Ursula Goltz; Andy Schürr (VaMoS, 2014)

Applying Model-based Software Product Line Testing Approaches to the Automation Engineering Domain. - Malte Lochau; Johannes Bürdek; Sascha Lity; Matthias Hagner; Christoph Legat; Ursula Goltz; Andy Schürr (Autom., 2014)

Delta-oriented model-based integration testing of large-scale systems. - Malte Lochau; Sascha Lity; Remo Lachmann; Ina Schaefer; Ursula Goltz (J. Syst. Softw., 2014)

Incremental Co-Evolution of Java Programs based on Bidirectional Graph Transformation. - Sven Peldszus; Géza Kulcsár; Malte Lochau; Sandro Schulze (PPPJ, 2015)

On Modularizing Triple Graph Grammars with Rule Refinement. - Anthony Anjorin; Karsten Saller; Malte Lochau; Andy Schürr (Software Engineering & Management, 2015)

Fault-based product-line testing: effective sample generation based on feature-diagram mutation. - Dennis Reuling; Johannes Bürdek; Serge Rotärmel; Malte Lochau; Udo Kelter (SPLC, 2015)

Object-oriented Refactoring of Java Programs using Graph Transformation. - Géza Kulcsár; Sven Peldszus; Malte Lochau (TTC@STAF, 2015)

A Solution to the Java Refactoring Case Study using eMoflon. - Sven Peldszus; Géza Kulcsár; Malte Lochau (TTC@STAF, 2015)

A Survey on Modeling Techniques for Formal Behavioral Verification of Software Product Lines. - Fabian Benduhn; Thomas Thüm; Malte Lochau; Thomas Leich; Gunter Saake (VaMoS, 2015)

Improved Conflict Detection for Graph Transformation with Attributes. - Géza Kulcsár; Frederik Deckwerth; Malte Lochau; Gergely Varró; Andy Schürr (GaM, 2015)

Towards an I/O Conformance Testing Theory for Software Product Lines based on Modal Interface Automata. - Lars Luthmann; Stephan Mennicke; Malte Lochau (FMSPLE, 2015)

Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing. - Lars Luthmann; Stephan Mennicke; Malte Lochau (FACS, 2016)

Mind the Gap! Automated Anomaly Detection for Potentially Unbounded Cardinality-Based Feature Models. - Markus Weckesser; Malte Lochau; Thomas Schnabel; Björn Richerzhagen; Andy Schürr (FASE, 2016)

IncLing: efficient product-line testing using incremental pairwise sampling. - Mustafa Al-Hajjaji; Sebastian Krieter; Thomas Thüm; Malte Lochau; Gunter Saake (GPCE, 2016)

FESAS IDE: An Integrated Development Environment for Autonomic Computing. - Christian Krupitzer; Felix Maximilian Roth; Christian Becker 001; Markus Weckesser; Malte Lochau; Andy Schürr (ICAC, 2016)

On facilitating reuse in multi-goal test-suite generation for software product lines. - Malte Lochau; Johannes Bürdek; Stefan Bauregger; Andreas Holzer; Alexander von Rhein; Sven Apel; Dirk Beyer 001 (Software Engineering, 2016)

CardyGAn: Tool Support for Cardinality-based Feature Models. - Thomas Schnabel; Markus Weckesser; Roland Kluge; Malte Lochau; Andy Schürr (VaMoS, 2016)

Reasoning about product-line evolution using complex feature model differences. - Johannes Bürdek; Timo Kehrer; Malte Lochau; Dennis Reuling; Udo Kelter; Andy Schürr (Autom. Softw. Eng., 2016)

Conflict Detection for Edits on Extended Feature Models using Symbolic Graph Transformation. - Frederik Deckwerth; Géza Kulcsár; Malte Lochau; Gergely Varró; Andy Schürr (FMSPLE, 2016)

Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing - Technical Report. - Lars Luthmann; Stephan Mennicke; Malte Lochau (CoRR, 2016)

Incremental model checking of delta-oriented software product lines. - Malte Lochau; Stephan Mennicke; Hauke Baller; Lars Ribbeck (J. Log. Algebraic Methods Program., 2016)

Towards complete consistency checks of Clafer models. - Markus Weckesser; Malte Lochau; Michael Ries; Andy Schürr (FOSD, 2017)

On Automated Anomaly Detection for Potentially Unbounded Cardinality based Feature Models. - Markus Weckesser; Malte Lochau; Thomas Schnabel; Björn Richerzhagen; Andy Schürr (Software Engineering, 2017)

Modeling and Testing Product Lines with Unbounded Parametric Real-Time Constraints. - Lars Luthmann; Andreas Stephan; Johannes Bürdek; Malte Lochau (SPLC (A), 2017)

Specification and automated validation of staged reconfiguration processes for dynamic software product lines. - Malte Lochau; Johannes Bürdek; Stefan Hölzle; Andy Schürr (Softw. Syst. Model., 2017)

Equivalence and Independence in Controlled Graph-Rewriting Processes. - Géza Kulcsár; Andrea Corradini 001; Malte Lochau (ICGT, 2018)

Graph-Rewriting Petri Nets. - Géza Kulcsár; Malte Lochau; Andy Schürr (ICGT, 2018)

Measuring effectiveness of sample-based product-line testing. - Sebastian Ruland; Lars Luthmann; Johannes Bürdek; Sascha Lity; Thomas Thüm; Malte Lochau; Márcio Ribeiro 001 (GPCE, 2018)

Mathematical Programming for Anomaly Analysis of Clafer Models. - Markus Weckesser; Malte Lochau; Michael Ries; Andy Schürr (MoDELS, 2018)

On Continuous Detection of Design Flaws in Evolving Object-Oriented Programs using Incremental Multi-Pattern Matching. - Sven Peldszus; Géza Kulcsár; Malte Lochau; Sandro Schulze (Software Engineering, 2018)

Addressed Challenges. - Reiner Jung; Lukas Märtin; Jan Ole Johanssen; Barbara Paech; Malte Lochau; Thomas Thüm; Kurt Schneider; Matthias Tichy; Mattias Ulbrich (Managed Software Evolution, 2019)

Model-Based Round-Trip Engineering and Testing of Evolving Software Product Lines. - Malte Lochau; Dennis Reuling; Johannes Bürdek; Timo Kehrer; Sascha Lity; Andy Schürr; Udo Kelter (Managed Software Evolution, 2019)

Performance Analysis Strategies for Software Variants and Versions. - Thomas Thüm; André van Hoorn; Sven Apel; Johannes Bürdek; Sinem Getir; Robert Heinrich; Reiner Jung; Matthias Kowal; Malte Lochau; Ina Schaefer; Jürgen Walter (Managed Software Evolution, 2019)

Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata. - Lars Luthmann; Hendrik Göttmann; Malte Lochau (FACS, 2019)

SiMPOSE - Configurable N-Way Program Merging Strategies for Superimposition-Based Analysis of Variant-Rich Software. - Dennis Reuling; Udo Kelter; Sebastian Ruland; Malte Lochau (ASE, 2019)

Product sampling for product lines: the scalability challenge. - Tobias Pett; Thomas Thüm; Tobias Runge; Sebastian Krieter; Malte Lochau; Ina Schaefer (SPLC (A), 2019)

Explainable Software for Cyber-Physical Systems (ES4CPS): Report from the GI Dagstuhl Seminar 19023, January 06-11 2019, Schloss Dagstuhl. - Joel Greenyer; Malte Lochau; Thomas Vogel 001 (CoRR, 2019)

Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata - Technical Report. - Lars Luthmann; Hendrik Göttmann; Malte Lochau (CoRR, 2019)

Checking Timed Bisimulation with Bounded Zone-History Graphs - Technical Report. - Lars Luthmann; Hendrik Göttmann; Malte Lochau (CoRR, 2019)

Modal transition system encoding of featured transition systems. - Mahsa Varshosaz; Lars Luthmann; Paul Mohr; Malte Lochau; Mohammad Reza Mousavi 001 (J. Log. Algebraic Methods Program., 2019)

From Imprecise N-Way Model Matching to Precise N-Way Model Merging. - Dennis Reuling; Malte Lochau; Udo Kelter (J. Object Technol., 2019)

Software variability in dynamic environments. - Rafael Capilla; Lidia Fuentes; Malte Lochau (J. Syst. Softw., 2019)

Minimum/maximum delay testing of product lines with unbounded parametric real-time constraints. - Lars Luthmann; Timo Gerecht; Andreas Stephan; Johannes Bürdek; Malte Lochau (J. Syst. Softw., 2019)

Unifying modal interface theories and compositional input/output conformance testing. - Lars Luthmann; Stephan Mennicke; Malte Lochau (Sci. Comput. Program., 2019)

Effective product-line testing using similarity-based product prioritization. - Mustafa Al-Hajjaji; Thomas Thüm; Malte Lochau; Jens Meinicke; Gunter Saake (Softw. Syst. Model., 2019)

Sampling strategies for product lines with unbounded parametric real-time constraints. - Lars Luthmann; Timo Gerecht; Malte Lochau (Int. J. Softw. Tools Technol. Transf., 2019)

Automated N-way Program Merging for Facilitating Family-based Analyses of Variant-rich Software. - Dennis Reuling; Udo Kelter; Johannes Bürdek; Malte Lochau (ACM Trans. Softw. Eng. Methodol., 2019)

Testing Conformance in Multi-component Enterprise Application Management. - Jacopo Soldani; Lars Luthmann; Malte Lochau; Antonio Brogi (ESOCC, 2020)

HybridTiger: Hybrid Model Checking and Domination-based Partitioning for Efficient Multi-Goal Test-Suite Generation (Competition Contribution). - Sebastian Ruland; Malte Lochau; Marie-Christine Jakobs (FASE, 2020)

Parametric Timed Bisimulation. - Malte Lochau; Lars Luthmann; Hendrik Göttmann; Isabelle Bacher (ISoLA (2), 2020)

On Controlling the Attack Surface of Object-Oriented Refactorings. - Sebastian Ruland; Géza Kulcsár; Erhan Leblebici; Sven Peldszus; Malte Lochau (SE, 2020)

Real-time-aware reconfiguration decisions for dynamic software product lines. - Hendrik Göttmann; Lars Luthmann; Malte Lochau; Andy Schürr (SPLC (A), 2020)

A calculus of concurrent graph-rewriting processes. - Géza Kulcsár; Andrea Corradini 001; Malte Lochau (J. Log. Algebraic Methods Program., 2020)

Real-Time-Aware Reconfiguration Decisions for Dynamic Software Product Lines. - Hendrik Göttmann; Lars Luthmann; Malte Lochau; Andreas Schürr (Zenodo, 2020)

AutoSMP: an evaluation platform for sampling algorithms. - Tobias Pett; Sebastian Krieter; Thomas Thüm; Malte Lochau; Ina Schaefer (SPLC (B), 2021)

Static Analysis Techniques for Efficient Consistency Checking of Real-Time-Aware DSPL Specifications. - Hendrik Göttmann; Isabelle Bacher; Nicolas Gottwald; Malte Lochau (VaMoS, 2021)

Stability of Product-Line Samplingin Continuous Integration. - Tobias Pett; Sebastian Krieter; Tobias Runge; Thomas Thüm; Malte Lochau; Ina Schaefer (VaMoS, 2021)

CPA/Tiger-MGP: test-goal set partitioning for efficient multi-goal test-suite generation. - Sebastian Ruland; Malte Lochau; Oliver Fehse; Andy Schürr (Int. J. Softw. Tools Technol. Transf., 2021)

T-Wise Presence Condition Coverage and Sampling for Configurable Systems. - Sebastian Krieter; Thomas Thüm; Sandro Schulze; Sebastian Ruland; Malte Lochau; Gunter Saake; Thomas Leich (CoRR, 2022)

On the Interaction between Test-Suite Reduction and Regression-Test Selection Strategies. - Sebastian Ruland; Malte Lochau (CoRR, 2022)

Compositional testing of management conformance for multi-component enterprise applications. - Jacopo Soldani; Lars Luthmann; Nicolas Gottwald; Malte Lochau; Antonio Brogi (Serv. Oriented Comput. Appl., 2022)

Precomputing Reconfiguration Strategies based on Stochastic Timed Game Automata. - Hendrik Göttmann; Birte Caesar; Lasse Beers; Malte Lochau; Andy Schürr; Alexander Fay (Zenodo, 2022)

Precomputing Reconfiguration Strategies based on Stochastic Timed Game Automata. - Hendrik Göttmann; Birte Caesar; Lasse Beers; Malte Lochau; Andy Schürr; Alexander Fay (Zenodo, 2022)

Precomputing Reconfiguration Strategies based on Stochastic Timed Game Automata. - Hendrik Göttmann; Birte Caesar; Lasse Beers; Malte Lochau; Andy Schürr; Alexander Fay (Zenodo, 2022)

Mutant Equivalence as Monotonicity in Parametric Timed Games. - Davide Basile 001; Maurice H. ter Beek; Hendrik Göttmann; Malte Lochau (FormaliSE, 2023)

Abstract Domains for Database Manipulating Processes. - Tobias Schüler; Stephan Mennicke; Malte Lochau (RuleML+RR, 2023)

Precomputing Reconfiguration Strategies based on Stochastic Timed Game Automata. - Hendrik Göttmann; Birte Caesar; Lasse Beers; Malte Lochau; Andy Schürr; Alexander Fay (Software Engineering, 2023)

Software Engineering Challenges for Quantum Computing: Report from the First Working Seminar on Quantum Software Engineering (WSQSE 22). - Michael Felderer; Davide Taibi 001; Fabio Palomba; Michael Epping; Malte Lochau; Benjamin Weder (ACM SIGSOFT Softw. Eng. Notes, 2023)

Cost-Sensitive Precomputation of Real-Time-Aware Reconfiguration Strategies based on Stochastic Priced Timed Games. - Hendrik Göttmann; Birte Caesar; Lasse Beers; Malte Lochau; Andy Schürr; Alexander Fay (Zenodo, 2023)

Challenges for Quantum Software Engineering: An Industrial Application Scenario Perspective. - Cecilia Carbonelli; Michael Felderer; Matthias Jung 001; Elisabeth Lobe; Malte Lochau; Sebastian Luber; Wolfgang Mauerer; Rudolf Ramler; Ina Schaefer; Christoph Schroth (Quantum Software, 2024)

Mapping Cardinality-based Feature Models to Weighted Automata over Featured Multiset Semirings. - Robert Müller 004; Mathis Weiß; Malte Lochau (SPLC (A), 2024)

Model-Based Testing of Quantum Computations. - Malte Lochau; Ina Schaefer (TAP, 2024)

Incremental Identification of T-Wise Feature Interactions. - Sabrina Böhm; Sebastian Krieter; Tobias Heß; Thomas Thüm; Malte Lochau (VaMoS, 2024)

Sampling Cardinality-Based Feature Models. - Lukas Güthing; Mathis Weiß; Ina Schaefer; Malte Lochau (VaMoS, 2024)

Mapping Cardinality-based Feature Models to Weighted Automata over Featured Multiset Semirings (Extended Version). - Robert Müller 004; Mathis Weiß; Malte Lochau (CoRR, 2024)

Checking Timed Bisimilarity with Virtual Clocks. - Alexander Lieb; Hendrik Göttmann; Lars Luthmann; Malte Lochau; Andy Schürr (CoRR, 2024)

Coverage Metrics for T-Wise Feature Interactions. - Sabrina Böhm; Tim Jannik Schmidt; Sebastian Krieter; Tobias Pett; Thomas Thüm; Malte Lochau (ICST, 2025)

QSE 2025 Workshop Summary. - Malte Lochau; Benedikt Fauseweh; Ina Schaefer (Software Engineering Companion, 2025)

Modeling and Analysis of Configurable Job-Shop Scheduling Problems. - Max Breit; Mathis Weiß; Roman Obermaisser; Malte Lochau (VaMoS, 2025)

Covering T-Wise Interactions of Deployed Configurations. - Rahel Sundermann; Sabrina Böhm; Sebastian Krieter; Malte Lochau; Thomas Thüm (VaMoS, 2025)

Cost-sensitive precomputation of real-time-aware reconfiguration strategies based on stochastic priced timed games. - Hendrik Göttmann; Birte Caesar; Lasse Beers; Malte Lochau; Andy Schürr; Alexander Fay (Softw. Syst. Model., 2025)

Correction: Cost-sensitive precomputation of real-time-aware reconfiguration strategies based on stochastic priced timed games. - Hendrik Göttmann; Birte Caesar; Lasse Beers; Malte Lochau; Andy Schürr; Alexander Fay (Softw. Syst. Model., 2025)