Malte Lochau

According to our database, Malte Lochau authored at least 97 papers between 2008 and 2024.

Collaborative distances:

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

2024

Sampling Cardinality-Based Feature Models.

Lukas Güthing, Mathis Weiß, Ina Schaefer, Malte Lochau

Proceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems, 2024

Incremental Identification of T-Wise Feature Interactions.

Sabrina Böhm, Sebastian Krieter, Tobias Heß, Thomas Thüm, Malte Lochau

Proceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems, 2024

2023

Software Engineering Challenges for Quantum Computing: Report from the First Working Seminar on Quantum Software Engineering (WSQSE 22).

Michael Felderer, Davide Taibi, Fabio Palomba, Michael Epping, Malte Lochau, Benjamin Weder

ACM SIGSOFT Softw. Eng. Notes, April, 2023

Precomputing Reconfiguration Strategies based on Stochastic Timed Game Automata.

Hendrik Göttmann, Birte Caesar, Lasse Beers, Malte Lochau, Andy Schürr, Alexander Fay

Proceedings of the Software Engineering 2023, 2023

Abstract Domains for Database Manipulating Processes.

Tobias Schüler, Stephan Mennicke, Malte Lochau

Proceedings of the Rules and Reasoning - 7th International Joint Conference, 2023

Mutant Equivalence as Monotonicity in Parametric Timed Games.

Davide Basile, Maurice H. ter Beek, Hendrik Göttmann, Malte Lochau

Proceedings of the 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2023

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

On the Interaction between Test-Suite Reduction and Regression-Test Selection Strategies.

Sebastian Ruland, Malte Lochau

CoRR, 2022

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

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

Stability of Product-Line Samplingin Continuous Integration.

Tobias Pett, Sebastian Krieter, Tobias Runge, Thomas Thüm, Malte Lochau, Ina Schaefer

Proceedings of the VaMoS'21: 15th International Working Conference on Variability Modelling of Software-Intensive Systems, 2021

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

Hendrik Göttmann, Isabelle Bacher, Nicolas Gottwald, Malte Lochau

Proceedings of the VaMoS'21: 15th International Working Conference on Variability Modelling of Software-Intensive Systems, 2021

AutoSMP: an evaluation platform for sampling algorithms.

Tobias Pett, Sebastian Krieter, Thomas Thüm, Malte Lochau, Ina Schaefer

Proceedings of the SPLC '21: 25th ACM International Systems and Software Product Line Conference, 2021

2020

A calculus of concurrent graph-rewriting processes.

Géza Kulcsár, Andrea Corradini, 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, Andy Schürr

Proceedings of the SPLC '20: 24th ACM International Systems and Software Product Line Conference, 2020

On Controlling the Attack Surface of Object-Oriented Refactorings.

Sebastian Ruland, Géza Kulcsár, Erhan Leblebici, Sven Peldszus, Malte Lochau

Proceedings of the Software Engineering 2020, 2020

Parametric Timed Bisimulation.

Malte Lochau, Lars Luthmann, Hendrik Göttmann, Isabelle Bacher

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 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

Proceedings of the Fundamental Approaches to Software Engineering, 2020

Testing Conformance in Multi-component Enterprise Application Management.

Jacopo Soldani, Lars Luthmann, Malte Lochau, Antonio Brogi

Proceedings of the Service-Oriented and Cloud Computing, 2020

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

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

Lars Luthmann, Timo Gerecht, Malte Lochau

Int. J. Softw. Tools Technol. Transf., 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

Unifying modal interface theories and compositional input/output conformance testing.

Lars Luthmann, Stephan Mennicke, Malte Lochau

Sci. Comput. Program., 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

Software variability in dynamic environments.

Rafael Capilla, Lidia Fuentes, Malte Lochau

J. Syst. Softw., 2019

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

Dennis Reuling, Malte Lochau, Udo Kelter

J. Object Technol., 2019

Modal transition system encoding of featured transition systems.

Mahsa Varshosaz, Lars Luthmann, Paul Mohr, Malte Lochau, Mohammad Reza Mousavi

J. Log. Algebraic Methods Program., 2019

Checking Timed Bisimulation with Bounded Zone-History Graphs - Technical Report.

Lars Luthmann, Hendrik Göttmann, Malte Lochau

CoRR, 2019

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

Lars Luthmann, Hendrik Göttmann, Malte Lochau

CoRR, 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

CoRR, 2019

Product sampling for product lines: the scalability challenge.

Tobias Pett, Thomas Thüm, Tobias Runge, Sebastian Krieter, Malte Lochau, Ina Schaefer

Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

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

Dennis Reuling, Udo Kelter, Sebastian Ruland, Malte Lochau

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata.

Lars Luthmann, Hendrik Göttmann, Malte Lochau

Proceedings of the Formal Aspects of Component Software - 16th International Conference, 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

Proceedings of the 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

Proceedings of the Managed Software Evolution., 2019

Addressed Challenges.

Reiner Jung, Lukas Märtin, Jan Ole Johanssen, Barbara Paech, Malte Lochau, Thomas Thüm, Kurt Schneider, Matthias Tichy, Mattias Ulbrich

Proceedings of the Managed Software Evolution., 2019

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

Proceedings of the Software Engineering und Software Management 2018, 2018

Mathematical Programming for Anomaly Analysis of Clafer Models.

Markus Weckesser, Malte Lochau, Michael Ries, Andy Schürr

Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 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

Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2018

Graph-Rewriting Petri Nets.

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

Proceedings of the Graph Transformation - 11th International Conference, 2018

Equivalence and Independence in Controlled Graph-Rewriting Processes.

Géza Kulcsár, Andrea Corradini, Malte Lochau

Proceedings of the Graph Transformation - 11th International Conference, 2018

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

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

Lars Luthmann, Andreas Stephan, Johannes Bürdek, Malte Lochau

Proceedings of the 21st International Systems and Software Product Line Conference, 2017

On Automated Anomaly Detection for Potentially Unbounded Cardinality based Feature Models.

Markus Weckesser, Malte Lochau, Thomas Schnabel, Björn Richerzhagen, Andy Schürr

Proceedings of the Software Engineering 2017, 2017

Towards complete consistency checks of Clafer models.

Markus Weckesser, Malte Lochau, Michael Ries, Andy Schürr

Proceedings of the 8th ACM SIGPLAN International Workshop on Feature-Oriented Software Development, 2017

2016

Incremental model checking of delta-oriented software product lines.

Malte Lochau, Stephan Mennicke, Hauke Baller, Lars Ribbeck

J. Log. Algebraic Methods Program., 2016

Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing - Technical Report.

Lars Luthmann, Stephan Mennicke, Malte Lochau

CoRR, 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

Proceedings of the Proceedings 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering, 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

CardyGAn: Tool Support for Cardinality-based Feature Models.

Thomas Schnabel, Markus Weckesser, Roland Kluge, Malte Lochau, Andy Schürr

Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems, Salvador, Brazil, January 27, 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

Proceedings of the Software Engineering 2016, 2016

FESAS IDE: An Integrated Development Environment for Autonomic Computing.

Christian Krupitzer, Felix Maximilian Roth, Christian Becker, Markus Weckesser, Malte Lochau, Andy Schürr

Proceedings of the 2016 IEEE International Conference on Autonomic Computing, 2016

IncLing: efficient product-line testing using incremental pairwise sampling.

Mustafa Al-Hajjaji, Sebastian Krieter, Thomas Thüm, Malte Lochau, Gunter Saake

Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 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

Proceedings of the Fundamental Approaches to Software Engineering, 2016

Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing.

Lars Luthmann, Stephan Mennicke, Malte Lochau

Proceedings of the Formal Aspects of Component Software - 13th International Conference, 2016

2015

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

Lars Luthmann, Stephan Mennicke, Malte Lochau

Proceedings of the Proceedings 6th Workshop on Formal Methods and Analysis in SPL Engineering, 2015

Improved Conflict Detection for Graph Transformation with Attributes.

Géza Kulcsár, Frederik Deckwerth, Malte Lochau, Gergely Varró, Andy Schürr

Proceedings of the Proceedings Graphs as Models, 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

Proceedings of the Ninth International Workshop on Variability Modelling of Software-intensive Systems, 2015

A Solution to the Java Refactoring Case Study using eMoflon.

Sven Peldszus, Géza Kulcsár, Malte Lochau

Proceedings of the 8th Transformation Tool Contest, 2015

Object-oriented Refactoring of Java Programs using Graph Transformation.

Géza Kulcsár, Sven Peldszus, Malte Lochau

Proceedings of the 8th Transformation Tool Contest, 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

Proceedings of the 19th International Conference on Software Product Line, 2015

On Modularizing Triple Graph Grammars with Rule Refinement.

Anthony Anjorin, Karsten Saller, Malte Lochau, Andy Schürr

Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

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

Sven Peldszus, Géza Kulcsár, Malte Lochau, Sandro Schulze

Proceedings of the Principles and Practices of Programming on The Java Platform, 2015

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

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

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

Proceedings of the Eighth International Workshop on Variability Modelling of Software-intensive Systems, 2014

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

Stephan Mennicke, Malte Lochau, Julia Schroeter, Tim Winkelmann

Proceedings of the 18th International Software Product Line Conference, 2014

Similarity-based prioritization in software product-line testing.

Mustafa Al-Hajjaji, Thomas Thüm, Jens Meinicke, Malte Lochau, Gunter Saake

Proceedings of the 18th International Software Product Line Conference, 2014

Model-Based Testing.

Malte Lochau, Sven Peldszus, Matthias Kowal, Ina Schaefer

Proceedings of the Formal Methods for Executable Software Models, 2014

DeltaCCS: A Core Calculus for Behavioral Change.

Malte Lochau, Stephan Mennicke, Hauke Baller, Lars Ribbeck

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

Multi-objective Test Suite Optimization for Incremental Product Family Testing.

Hauke Baller, Sascha Lity, Malte Lochau, Ina Schaefer

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

Towards incremental test suite optimization for software product lines.

Hauke Baller, Malte Lochau

Proceedings of the Sixth International Workshop on Feature-Oriented Software Development, 2014

Modularizing Triple Graph Grammars Using Rule Refinement.

Anthony Anjorin, Karsten Saller, Malte Lochau, Andy Schürr

Proceedings of the Fundamental Approaches to Software Engineering, 2014

2013

Model-Based Conformance Testing of Software Product Lines.

Malte Lochau

PhD thesis, 2013

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

Karsten Saller, Malte Lochau, Ingo Reimund

Proceedings of the 17th International Software Product Line Conference co-located workshops, 2013

Requirements-based delta-oriented SPL testing.

Michael Dukaczewski, Ina Schaefer, Remo Lachmann, Malte Lochau

Proceedings of the 4th International Workshop on Product LinE Approaches in Software Engineering, 2013

Implementing refactorings for FOP: lessons learned and challenges ahead.

Sandro Schulze, Malte Lochau, Saskia Brunswig

Proceedings of the 5th International Workshop on Feature-Oriented Software Development, 2013

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

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

Industrial evaluation of pairwise SPL testing with MoSo-PoLiTe.

Michaela Steffens, Sebastian Oster, Malte Lochau, Thomas Fogdal

Proceedings of the Sixth International Workshop on Variability Modelling of Software-Intensive Systems, 2012

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

Malte Lochau, Ina Schaefer, Jochen Kamischke, Sascha Lity

Proceedings of the Tests and Proofs - 6th International Conference, 2012

Dynamic configuration management of cloud-based applications.

Julia Schroeter, Peter Mucha, Marcel Muth, Kay Jugel, Malte Lochau

Proceedings of the 16th International Software Product Line Conference, 2012

Reducing feature models to improve runtime adaptivity on resource limited devices.

Karsten Saller, Sebastian Oster, Andy Schürr, Julia Schroeter, Malte Lochau

Proceedings of the 16th International Software Product Line Conference, 2012

Reduktion von Testsuiten für Software-Produktlinien.

Harald Cichos, Malte Lochau, Sebastian Oster, Andy Schürr

Proceedings of the Software Engineering 2012: Fachtagung des GI-Fachbereichs Softwaretechnik, 27. Februar, 2012

Multi-perspectives on Feature Models.

Julia Schroeter, Malte Lochau, Tim Winkelmann

Proceedings of the Model Driven Engineering Languages and Systems, 2012

Approaches for Mastering Change.

Ina Schaefer, Malte Lochau, Martin Leucker

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

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

Malte Lochau, Jochen Kamischke

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Delta-oriented model-based SPL regression testing.

Sascha Lity, Malte Lochau, Ina Schaefer, Ursula Goltz

Proceedings of the Third International Workshop on Product LinE Approaches in Software Engineering, 2012

Conditioned model slicing of feature-annotated state machines.

Jochen Kamischke, Malte Lochau, Hauke Baller

Proceedings of the 4th International Workshop on Feature-Oriented Software Development, 2012

2011

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

Sebastian Oster, Ivan Zorcic, Florian Markert, Malte Lochau

Proceedings of the Fifth International Workshop on Variability Modelling of Software-Intensive Systems, 2011

Pairwise feature-interaction testing for SPLs: potentials and limitations.

Sebastian Oster, Marius Zink, Malte Lochau, Mark Grechanik

Proceedings of the Software Product Lines - 15th International Conference, 2011

Model-Based Coverage-Driven Test Suite Generation for Software Product Lines.

Harald Cichos, Sebastian Oster, Malte Lochau, Andy Schürr

Proceedings of the Model Driven Engineering Languages and Systems, 2011

2010

Evolving Adaptable Systems: Potential and Challenges.

Klaus Schmid, Holger Eichelberger, Ursula Goltz, Malte Lochau

Softwaretechnik-Trends, 2010

Feature Interaction Aware Test Case Generation for Embedded Control Systems.

Malte Lochau, Ursula Goltz

Proceedings of the Sixth Workshop on Model-Based Testing, 2010

2008

Executable Requirements Specification: Formal Semantics of Live Activity Diagrams.

Christoph Knieke, Michaela Huhn, Malte Lochau

Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

Modeling and Validation of Executable Requirements Using Live Activity Diagrams.

Christoph Knieke, Michaela Huhn, Malte Lochau

Proceedings of the 6th ACIS International Conference on Software Engineering Research, 2008

A Static Aspect Language for Modelica Models.

Malte Lochau, Henning Günther

Proceedings of the 2nd International Workshop on Equation-Based Object-Oriented Languages and Tools, 2008