Malte Lochau

Malte Lochau, Christoph Knieke, Michaela Huhn, 2008, 2008 Sixth International Conference on Software Engineering Research, Management and Applications.

A Solution to the Java Refactoring Case Study using eMoflon

Malte Lochau, Géza Kulcsár, Sven Peldszus, 2015, TTC@STAF.

Applying Model-based Software Product Line Testing Approaches to the Automation Engineering Domain

Andy Schürr, Matthias Hagner, Malte Lochau, 2014, Autom..

Industrial evaluation of pairwise SPL testing with MoSo-PoLiTe

Malte Lochau, Sebastian Oster, Michaela Steffens, 2012, VaMoS.

Real-time-aware reconfiguration decisions for dynamic software product lines

Malte Lochau, Hendrik Göttmann, Andy Schürr, 2020, SPLC.

MoSo-PoLiTe: tool support for pairwise and model-based software product line testing

Malte Lochau, Sebastian Oster, Florian Markert, 2011, VaMoS '11.

Automated verification of feature model configuration processes based on workflow Petri nets

Malte Lochau, Stephan Mennicke, Julia Schroeter, 2014, SPLC.

Approaches for Mastering Change

Malte Lochau, Ina Schaefer, Martin Leucker, 2012, ISoLA.

CardyGAn: Tool Support for Cardinality-based Feature Models

Andy Schürr, Malte Lochau, Roland Kluge, 2016, VaMoS.

Staged configuration of dynamic software product lines with complex binding time constraints

Andy Schürr, Malte Lochau, Johannes Bürdek, 2014, VaMoS.

Reduktion von Testsuiten für Software-Produktlinien

Andy Schürr, Malte Lochau, Sebastian Oster, 2012, Software Engineering.

Performance Analysis Strategies for Software Variants and Versions

Sven Apel, Robert Heinrich, André van Hoorn, 2019, Managed Software Evolution.

CPA/Tiger-MGP: test-goal set partitioning for efficient multi-goal test-suite generation

Malte Lochau, Sebastian Ruland, Andy Schürr, 2020, International Journal on Software Tools for Technology Transfer.

IncLing: efficient product-line testing using incremental pairwise sampling

Sebastian Krieter, Gunter Saake, Mustafa Al-Hajjaji, 2016, GPCE.

Continuous detection of design flaws in evolving object-oriented programs using incremental multi-pattern matching

Malte Lochau, Sandro Schulze, Géza Kulcsár, 2016, 2016 31st IEEE/ACM International Conference on Automated Software Engineering (ASE).

Incremental Model-Based Testing of Delta-Oriented Software Product Lines

Malte Lochau, Ina Schaefer, Sascha Lity, 2012, TAP@TOOLS.

Software variability in dynamic environments

Lidia Fuentes, Rafael Capilla, Malte Lochau, 2019, J. Syst. Softw..

Mind the Gap! Automated Anomaly Detection for Potentially Unbounded Cardinality-Based Feature Models

Andy Schürr, Malte Lochau, Björn Richerzhagen, 2016, FASE.

Dynamic configuration management of cloud-based applications

Malte Lochau, Julia Schroeter, Peter Mucha, 2012, SPLC '12.

Model-Based Testing

Malte Lochau, Ina Schaefer, Sven Peldszus, 2014, SFM.

Re-Engineering Automation Systems as Dynamic Software Product Lines

Malte Lochau, Johannes Bürdek, Ina Schaefer, 2015 .

A Static Aspect Language for Modelica Models

Malte Lochau, Henning Günther, 2008, EOOLT.

On Controlling the Attack Surface of Object-Oriented Refactorings

Malte Lochau, Sebastian Ruland, Géza Kulcsár, 2020, SE.

Pairwise feature-interaction testing for SPLs: potentials and limitations

Malte Lochau, Mark Grechanik, Sebastian Oster, 2011, SPLC '11.

Model-Based Conformance Testing of Software Product Lines

Malte Lochau, Malte Lochau, 2012 .

Conditioned model slicing of feature-annotated state machines

Malte Lochau, Hauke Baller, Jochen Kamischke, 2012, FOSD '12.

Evolving Adaptable Systems: Potential and Challenges

Klaus Schmid, Malte Lochau, Ursula Goltz, 2010, Softwaretechnik-Trends.

Multi-objective Test Suite Optimization for Incremental Product Family Testing

Malte Lochau, Hauke Baller, Ina Schaefer, 2014, 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation.

Gunter Saake, Mustafa Al-Hajjaji, Malte Lochau, 2014, SPLC.

Extended Version of Multi-Perspectives on Feature Models

Malte Lochau, Julia Schroeter, Tim Winkelmann, 2012 .

Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines

Sven Apel, Dirk Beyer, Malte Lochau, 2015, FASE.

Optimierung von AUTOSAR-Systemen durch automatisierte Architektur-Evaluation / Optimization of AUTOSAR systems using automated architecture evaluation

Malte Lochau, Ursula Goltz, T C Mueller, 2009 .

Modeling and Testing Product Lines with Unbounded Parametric Real-Time Constraints

Malte Lochau, Johannes Bürdek, Lars Luthmann, 2017, SPLC.

Model-based Quality Assurance of Cyber-Physical Systems with Variability in Space, over Time and at Runtime

Malte Lochau, 2017 .

Testing Conformance in Multi-component Enterprise Application Management

Antonio Brogi, Malte Lochau, Jacopo Soldani, 2020, ESOCC.

Effective product-line testing using similarity-based product prioritization

Gunter Saake, Mustafa Al-Hajjaji, Malte Lochau, 2016, Software & Systems Modeling.

Towards complete consistency checks of Clafer models

Andy Schürr, Malte Lochau, Markus Weckesser, 2017, FOSD@SPLASH.

Conflict Detection for Edits on Extended Feature Models using Symbolic Graph Transformation

Andy Schürr, Malte Lochau, Gergely Varró, 2016, FMSPLE.

Extended Version of Model-based Coverage-Driven Test Suite Generation for Software Product Lines

Andy Schürr, Malte Lochau, Sebastian Oster, 2011 .

Reducing feature models to improve runtime adaptivity on resource limited devices

Andy Schürr, Malte Lochau, Karsten Saller, 2012, SPLC '12.

Model-based pairwise testing for feature interaction coverage in software product line engineering

Andy Schürr, Malte Lochau, Ursula Goltz, 2011, Software Quality Journal.

Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing

Malte Lochau, Stephan Mennicke, Lars Luthmann, 2016, FACS.

On Modularizing Triple Graph Grammars with Rule Refinement

Andy Schürr, Malte Lochau, Karsten Saller, 2015, Software Engineering & Management.

A calculus of concurrent graph-rewriting processes

Malte Lochau, Andrea Corradini, Géza Kulcsár, 2020, J. Log. Algebraic Methods Program..

FESAS IDE: An Integrated Development Environment for Autonomic Computing

Christian Becker, Andy Schürr, Malte Lochau, 2016, 2016 IEEE International Conference on Autonomic Computing (ICAC).

Equivalence and Independence in Controlled Graph-Rewriting Processes

Malte Lochau, Andrea Corradini, Géza Kulcsár, 2018, ICGT.

Requirements-based delta-oriented SPL testing

Malte Lochau, Ina Schaefer, Remo Lachmann, 2013, 2013 4th International Workshop on Product LinE Approaches in Software Engineering (PLEASE).

Addressed Challenges

Jan Ole Johanssen, Mattias Ulbrich, Barbara Paech, 2019, Managed Software Evolution.

Mathematical Programming for Anomaly Analysis of Clafer Models

Andy Schürr, Malte Lochau, Markus Weckesser, 2018, MoDELS.

Model-Based Round-Trip Engineering and Testing of Evolving Software Product Lines

Udo Kelter, Andy Schürr, Malte Lochau, 2019, Managed Software Evolution.

HybridTiger: Hybrid Model Checking and Domination-based Partitioning for Efficient Multi-Goal Test-Suite Generation (Competition Contribution)

Malte Lochau, Sebastian Ruland, Marie-Christine Jakobs, 2020, FASE.

Product Sampling for Product Lines: The Scalability Challenge

Sebastian Krieter, Malte Lochau, Thomas Thüm, 2019, SPLC.

Modal transition system encoding of featured transition systems

Mahsa Varshosaz, Malte Lochau, Mohammad Reza Mousavi, 2019, J. Log. Algebraic Methods Program..

Unifying modal interface theories and compositional input/output conformance testing

Malte Lochau, Stephan Mennicke, Lars Luthmann, 2019, Sci. Comput. Program..

Parameterized Preorder Relations for Model-Based Testing of Software Product Lines

Malte Lochau, Jochen Kamischke, 2012, ISoLA.

Improved Conflict Detection for Graph Transformation with Attributes

Andy Schürr, Malte Lochau, Gergely Varró, 2015, GaM.

Graph-Rewriting Petri Nets

Andy Schürr, Malte Lochau, Géza Kulcsár, 2018, ICGT.

SiMPOSE - Configurable N-Way Program Merging Strategies for Superimposition-Based Analysis of Variant-Rich Software

Udo Kelter, Malte Lochau, Dennis Reuling, 2019, 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE).

Specification and automated validation of staged reconfiguration processes for dynamic software product lines

Andy Schürr, Malte Lochau, Johannes Bürdek, 2017, Software & Systems Modeling.

An Abstract State Machine Model for the Generic Java Type System

Malte Lochau, Egon Börger, Ursula Goltz, 2010 .

A Survey on Modeling Techniques for Formal Behavioral Verification of Software Product Lines

Thomas Leich, Gunter Saake, Malte Lochau, 2015, VaMoS.

Modularizing Triple Graph Grammars Using Rule Refinement

Andy Schürr, Malte Lochau, Karsten Saller, 2014, FASE.

Fault-based product-line testing: effective sample generation based on feature-diagram mutation

Udo Kelter, Malte Lochau, Dennis Reuling, 2015, SPLC.

Delta-oriented Software Product Line Test Models - The Body Comfort System Case Study

Malte Lochau, Ina Schaefer, Remo Lachmann, 2013 .

Feature Interaction Aware Test Case Generation for Embedded Control Systems

Malte Lochau, Ursula Goltz, 2010, Electron. Notes Theor. Comput. Sci..

Arden2ByteCode: A one-pass Arden Syntax compiler for service-oriented decision support systems based on the OSGi platform

Malte Lochau, Bianying Song, Michael Marschollek, 2012, Comput. Methods Programs Biomed..

Reasoning about product-line evolution using complex feature model differences

Udo Kelter, Andy Schürr, Malte Lochau, 2016, Automated Software Engineering.

Context-aware DSPLs: model-based runtime adaptation for resource-constrained systems

Malte Lochau, Karsten Saller, Ingo Reimund, 2013, SPLC '13 Workshops.

Towards incremental test suite optimization for software product lines

Malte Lochau, Hauke Baller, 2014, FOSD '14.

Delta-oriented model-based SPL regression testing

Malte Lochau, Ina Schaefer, Ursula Goltz, 2012, 2012 Third International Workshop on Product LinE Approaches in Software Engineering (PLEASE).

Implementing refactorings for FOP: lessons learned and challenges ahead

Malte Lochau, Sandro Schulze, Saskia Brunswig, 2013, FOSD '13.

Executable Requirements Specification: Formal Semantics of Live Activity Diagrams

Malte Lochau, Christoph Knieke, Michaela Huhn, 2008, 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering.

From Imprecise N-Way Model Matching to Precise N-Way Model Merging

Udo Kelter, Malte Lochau, Dennis Reuling, 2019, J. Object Technol..

Delta-oriented model-based integration testing of large-scale systems

Malte Lochau, Ina Schaefer, Remo Lachmann, 2014, J. Syst. Softw..

Incremental Co-Evolution of Java Programs based on Bidirectional Graph Transformation

Malte Lochau, Sandro Schulze, Géza Kulcsár, 2015, PPPJ.

Minimum/maximum delay testing of product lines with unbounded parametric real-time constraints

Malte Lochau, Johannes Bürdek, Lars Luthmann, 2019, J. Syst. Softw..

A Comprehensive Description of a Model-based, Continuous Development Process for AUTOSAR Systems with Integrated Quality Assurance

Malte Lochau, Ursula Goltz, Lukas Märtin, 2009 .

Expressive Power and Encoding of Transition System Models for Software Product Lines

Mahsa Varshosaz, Malte Lochau, Mohammad Reza Mousavi, 2017 .

Parameter Optimization of an Engine Control Unit using Genetic Algorithms

Bo Sun, Malte Lochau, Ursula Goltz, 2009 .

Incremental model checking of delta-oriented software product lines

Malte Lochau, Stephan Mennicke, Hauke Baller, 2016, J. Log. Algebraic Methods Program..

Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata - Technical Report pdf

Malte Lochau, Lars Luthmann, Hendrik Göttmann, 2019, FACS.

Sampling strategies for product lines with unbounded parametric real-time constraints

Malte Lochau, Lars Luthmann, Timo Gerecht, 2019, International Journal on Software Tools for Technology Transfer.

On Automated Anomaly Detection for Potentially Unbounded Cardinality based Feature Models

Andy Schürr, Malte Lochau, Björn Richerzhagen, 2017, Software Engineering.

Conper: Consistent Perspectives on Feature Models

Malte Lochau, Julia Schroeter, Tim Winkelmann, 2012 .

Model-based coverage-driven test suite generation for software product lines

Andy Schürr, Malte Lochau, Sebastian Oster, 2011, MODELS'11.

Towards an I/O Conformance Testing Theory for Software Product Lines based on Modal Interface Automata

Malte Lochau, Stephan Mennicke, Lars Luthmann, 2015, FMSPLE.

Measuring effectiveness of sample-based product-line testing

Márcio Ribeiro, Malte Lochau, Johannes Bürdek, 2018, GPCE.

AutoSMP: an evaluation platform for sampling algorithms

Sebastian Krieter, Malte Lochau, Thomas Thüm, 2021, SPLC.

Static Analysis Techniques for Efficient Consistency Checking of Real-Time-Aware DSPL Specifications

Malte Lochau, Hendrik Göttmann, Isabelle Bacher, 2021, VaMoS.

Stability of Product-Line Samplingin Continuous Integration

Sebastian Krieter, Malte Lochau, Thomas Thüm, 2021, VaMoS.

On Facilitating Reuse in Multigoal Test-Suite Generation for Software Product Lines ∗ †

Sven Apel, Dirk Beyer, Malte Lochau, 2015 .