Malte Lochau

ORCID

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 67

Top Venues

University of Braunschweig - Institute of Technology (PHD)

Education History

University of Braunschweig - Institute of Technology

PHD

Publications

Sabrina Böhm, Sebastian Krieter, Tobias Heß, Thomas Thüm, Malte Lochau
Incremental Identification of T-Wise Feature Interactions. VaMoS (2024)
Lukas Güthing, Mathis Weiß, Ina Schaefer, Malte Lochau
Sampling Cardinality-Based Feature Models. VaMoS (2024)
Tobias Schüler, Stephan Mennicke, Malte Lochau
Abstract Domains for Database Manipulating Processes. RuleML+RR (2023)
Hendrik Göttmann, Birte Caesar, Lasse Beers, Malte Lochau, Andy Schürr, Alexander Fay
Precomputing Reconfiguration Strategies based on Stochastic Timed Game Automata. Software Engineering (2023)
Tobias Schüler, Stephan Mennicke, Malte Lochau
Abstract Domains for Database Manipulating Processes. CoRR (2023)
Michael Felderer, Davide Taibi, Fabio Palomba, Michael Epping, Malte Lochau, Benjamin Weder
Software Engineering Challenges for Quantum Computing: Report from the First Working Seminar on Quantum Software Engineering (WSQSE 22). ACM SIGSOFT Softw. Eng. Notes 48 (2) (2023)
Davide Basile, Maurice H. ter Beek, Hendrik Göttmann, Malte Lochau
Mutant Equivalence as Monotonicity in Parametric Timed Games. FormaliSE (2023)
Sebastian Krieter, Thomas Thüm, Sandro Schulze, Sebastian Ruland, Malte Lochau, Gunter Saake, Thomas Leich
T-Wise Presence Condition Coverage and Sampling for Configurable Systems. CoRR (2022)
Hendrik Göttmann, Birte Caesar, Lasse Beers, Malte Lochau, Andy Schürr, Alexander Fay
Precomputing reconfiguration strategies based on stochastic timed game automata. MoDELS (2022)
Sebastian Ruland, Malte Lochau
On the Interaction between Test-Suite Reduction and Regression-Test Selection Strategies. CoRR (2022)
Jacopo Soldani, Lars Luthmann, Nicolas Gottwald, Malte Lochau, Antonio Brogi
Compositional testing of management conformance for multi-component enterprise applications. Serv. Oriented Comput. Appl. 16 (3) (2022)
Tobias Pett, Sebastian Krieter, Thomas Thüm, Malte Lochau, Ina Schaefer
AutoSMP: an evaluation platform for sampling algorithms. SPLC (B) (2021)
Tobias Pett, Sebastian Krieter, Tobias Runge, Thomas Thüm, Malte Lochau, Ina Schaefer
Stability of Product-Line Samplingin Continuous Integration. VaMoS (2021)
Sebastian Ruland, Malte Lochau, Oliver Fehse, Andy Schürr
CPA/Tiger-MGP: test-goal set partitioning for efficient multi-goal test-suite generation. Int. J. Softw. Tools Technol. Transf. 23 (6) (2021)
Hendrik Göttmann, Isabelle Bacher, Nicolas Gottwald, Malte Lochau
Static Analysis Techniques for Efficient Consistency Checking of Real-Time-Aware DSPL Specifications. VaMoS (2021)
Jacopo Soldani, Lars Luthmann, Malte Lochau, Antonio Brogi
Testing Conformance in Multi-component Enterprise Application Management. ESOCC (2020)
Hendrik Göttmann, Lars Luthmann, Malte Lochau, Andy Schürr
Real-time-aware reconfiguration decisions for dynamic software product lines. SPLC (A) (2020)
Géza Kulcsár, Andrea Corradini, Malte Lochau
A calculus of concurrent graph-rewriting processes. J. Log. Algebraic Methods Program. 110 (2020)
Dennis Reuling, Udo Kelter, Johannes Bürdek, Malte Lochau
On Automated N-way Program Merging for Facilitating Family-based Analyses of Variant-rich Software. SE (2020)
Malte Lochau, Lars Luthmann, Hendrik Göttmann, Isabelle Bacher
Parametric Timed Bisimulation. ISoLA (2) (2020)
Sebastian Ruland, Géza Kulcsár, Erhan Leblebici, Sven Peldszus, Malte Lochau
On Controlling the Attack Surface of Object-Oriented Refactorings. SE (2020)
Sebastian Ruland, Malte Lochau, Marie-Christine Jakobs
HybridTiger: Hybrid Model Checking and Domination-based Partitioning for Efficient Multi-Goal Test-Suite Generation (Competition Contribution). FASE (2020)
Tobias Pett, Thomas Thüm, Tobias Runge, Sebastian Krieter, Malte Lochau, Ina Schaefer
Product sampling for product lines: the scalability challenge. SPLC (A) (2019)
Lars Luthmann, Timo Gerecht, Malte Lochau
Sampling strategies for product lines with unbounded parametric real-time constraints. Int. J. Softw. Tools Technol. Transf. 21 (6) (2019)
Lars Luthmann, Stephan Mennicke, Malte Lochau
Unifying modal interface theories and compositional input/output conformance testing. Sci. Comput. Program. 172 (2019)
Dennis Reuling, Malte Lochau, Udo Kelter
From Imprecise N-Way Model Matching to Precise N-Way Model Merging. J. Object Technol. 18 (2) (2019)
Mahsa Varshosaz, Lars Luthmann, Paul Mohr, Malte Lochau, Mohammad Reza Mousavi
Modal transition system encoding of featured transition systems. J. Log. Algebraic Methods Program. 106 (2019)
Dennis Reuling, Udo Kelter, Johannes Bürdek, Malte Lochau
Automated N-way Program Merging for Facilitating Family-based Analyses of Variant-rich Software. ACM Trans. Softw. Eng. Methodol. 28 (3) (2019)
Lars Luthmann, Hendrik Göttmann, Malte Lochau
Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata. FACS (2019)
Lars Luthmann, Hendrik Göttmann, Malte Lochau
Checking Timed Bisimulation with Bounded Zone-History Graphs - Technical Report. CoRR (2019)
Dennis Reuling, Udo Kelter, Sebastian Ruland, Malte Lochau
SiMPOSE - Configurable N-Way Program Merging Strategies for Superimposition-Based Analysis of Variant-Rich Software. ASE (2019)
Rafael Capilla, Lidia Fuentes, Malte Lochau
Software variability in dynamic environments. J. Syst. Softw. 156 (2019)
Lars Luthmann, Hendrik Göttmann, Malte Lochau
Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata - Technical Report. CoRR (2019)
Mustafa Al-Hajjaji, Thomas Thüm, Malte Lochau, Jens Meinicke, Gunter Saake
Effective product-line testing using similarity-based product prioritization. Softw. Syst. Model. 18 (1) (2019)
Joel Greenyer, Malte Lochau, Thomas Vogel
Explainable Software for Cyber-Physical Systems (ES4CPS): Report from the GI Dagstuhl Seminar 19023, January 06-11 2019, Schloss Dagstuhl. CoRR (2019)
Lars Luthmann, Timo Gerecht, Andreas Stephan, Johannes Bürdek, Malte Lochau
Minimum/maximum delay testing of product lines with unbounded parametric real-time constraints. J. Syst. Softw. 149 (2019)
Géza Kulcsár, Malte Lochau, Andy Schürr
Graph-Rewriting Petri Nets. ICGT (2018)
Sven Peldszus, Géza Kulcsár, Malte Lochau, Sandro Schulze
On Continuous Detection of Design Flaws in Evolving Object-Oriented Programs using Incremental Multi-Pattern Matching. Software Engineering (2018)
Géza Kulcsár, Andrea Corradini, Malte Lochau
Equivalence and Independence in Controlled Graph-Rewriting Processes. ICGT (2018)
Sebastian Ruland, Géza Kulcsár, Erhan Leblebici, Sven Peldszus, Malte Lochau
Controlling the Attack Surface of Object-Oriented Refactorings. FASE (2018)
Markus Weckesser, Malte Lochau, Michael Ries, Andy Schürr
Mathematical Programming for Anomaly Analysis of Clafer Models. MoDELS (2018)
Sebastian Ruland, Lars Luthmann, Johannes Bürdek, Sascha Lity, Thomas Thüm, Malte Lochau, Márcio Ribeiro
Measuring effectiveness of sample-based product-line testing. GPCE (2018)
Malte Lochau, Johannes Bürdek, Stefan Hölzle, Andy Schürr
Specification and automated validation of staged reconfiguration processes for dynamic software product lines. Softw. Syst. Model. 16 (1) (2017)
Markus Weckesser, Malte Lochau, Thomas Schnabel, Björn Richerzhagen, Andy Schürr
On Automated Anomaly Detection for Potentially Unbounded Cardinality based Feature Models. Software Engineering (2017)
Johannes Bürdek, Timo Kehrer, Malte Lochau, Dennis Reuling, Udo Kelter, Andy Schürr
Reasoning about Product-Line Evolution using Complex Feature Model Differences. Software Engineering (2017)
Markus Weckesser, Malte Lochau, Michael Ries, Andy Schürr
Towards complete consistency checks of Clafer models. FOSD (2017)
Lars Luthmann, Andreas Stephan, Johannes Bürdek, Malte Lochau
Modeling and Testing Product Lines with Unbounded Parametric Real-Time Constraints. SPLC (A) (2017)
Mustafa Al-Hajjaji, Sebastian Krieter, Thomas Thüm, Malte Lochau, Gunter Saake
IncLing: efficient product-line testing using incremental pairwise sampling. GPCE (2016)
Lars Luthmann, Stephan Mennicke, Malte Lochau
Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing - Technical Report. CoRR (2016)
Lars Luthmann, Stephan Mennicke, Malte Lochau
Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing. FACS (2016)
Malte Lochau, Stephan Mennicke, Hauke Baller, Lars Ribbeck
Incremental model checking of delta-oriented software product lines. J. Log. Algebraic Methods Program. 85 (1) (2016)
Markus Weckesser, Malte Lochau, Thomas Schnabel, Björn Richerzhagen, Andy Schürr
Mind the Gap! Automated Anomaly Detection for Potentially Unbounded Cardinality-Based Feature Models. FASE (2016)
Johannes Bürdek, Timo Kehrer, Malte Lochau, Dennis Reuling, Udo Kelter, Andy Schürr
Reasoning about product-line evolution using complex feature model differences. Autom. Softw. Eng. 23 (4) (2016)
Malte Lochau, Johannes Bürdek, Stefan Bauregger, Andreas Holzer, Alexander von Rhein, Sven Apel, Dirk Beyer
On facilitating reuse in multi-goal test-suite generation for software product lines. Software Engineering (2016)
Sven Peldszus, Géza Kulcsár, Malte Lochau, Sandro Schulze
Continuous detection of design flaws in evolving object-oriented programs using incremental multi-pattern matching. ASE (2016)
Thomas Schnabel, Markus Weckesser, Roland Kluge, Malte Lochau, Andy Schürr
CardyGAn: Tool Support for Cardinality-based Feature Models. VaMoS (2016)
Christian Krupitzer, Felix Maximilian Roth, Christian Becker, Markus Weckesser, Malte Lochau, Andy Schürr
FESAS IDE: An Integrated Development Environment for Autonomic Computing. ICAC (2016)
Frederik Deckwerth, Géza Kulcsár, Malte Lochau, Gergely Varró, Andy Schürr
Conflict Detection for Edits on Extended Feature Models using Symbolic Graph Transformation. FMSPLE (2016)
Géza Kulcsár, Sven Peldszus, Malte Lochau
Object-oriented Refactoring of Java Programs using Graph Transformation. TTC@STAF (2015)
Sven Peldszus, Géza Kulcsár, Malte Lochau
A Solution to the Java Refactoring Case Study using eMoflon. TTC@STAF (2015)
Johannes Bürdek, Malte Lochau, Stefan Bauregger, Andreas Holzer, Alexander von Rhein, Sven Apel, Dirk Beyer
Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines. FASE (2015)
Fabian Benduhn, Thomas Thüm, Malte Lochau, Thomas Leich, Gunter Saake
A Survey on Modeling Techniques for Formal Behavioral Verification of Software Product Lines. VaMoS (2015)
Anthony Anjorin, Karsten Saller, Malte Lochau, Andy Schürr
On Modularizing Triple Graph Grammars with Rule Refinement. Software Engineering & Management (2015)
Dennis Reuling, Johannes Bürdek, Serge Rotärmel, Malte Lochau, Udo Kelter
Fault-based product-line testing: effective sample generation based on feature-diagram mutation. SPLC (2015)
Sven Peldszus, Géza Kulcsár, Malte Lochau, Sandro Schulze
Incremental Co-Evolution of Java Programs based on Bidirectional Graph Transformation. PPPJ (2015)
Lars Luthmann, Stephan Mennicke, Malte Lochau
Towards an I/O Conformance Testing Theory for Software Product Lines based on Modal Interface Automata. FMSPLE (2015)
Géza Kulcsár, Frederik Deckwerth, Malte Lochau, Gergely Varró, Andy Schürr
Improved Conflict Detection for Graph Transformation with Attributes. GaM (2015)
Anthony Anjorin, Karsten Saller, Malte Lochau, Andy Schürr
Modularizing Triple Graph Grammars Using Rule Refinement. FASE (2014)
Mustafa Al-Hajjaji, Thomas Thüm, Jens Meinicke, Malte Lochau, Gunter Saake
Similarity-based prioritization in software product-line testing. SPLC (2014)
Malte Lochau, Sven Peldszus, Matthias Kowal, Ina Schaefer
Model-Based Testing. SFM (2014)
Hauke Baller, Malte Lochau
Towards incremental test suite optimization for software product lines. FOSD (2014)
Malte Lochau, Johannes Bürdek, Sascha Lity, Matthias Hagner, Christoph Legat, Ursula Goltz, Andy Schürr
Applying Model-based Software Product Line Testing Approaches to the Automation Engineering Domain. Autom. 62 (11) (2014)
Johannes Bürdek, Sascha Lity, Malte Lochau, Markus Berens, Ursula Goltz, Andy Schürr
Staged configuration of dynamic software product lines with complex binding time constraints. VaMoS (2014)
Malte Lochau, Stephan Mennicke, Hauke Baller, Lars Ribbeck
DeltaCCS: A Core Calculus for Behavioral Change. ISoLA (1) (2014)
Stephan Mennicke, Malte Lochau, Julia Schroeter, Tim Winkelmann
Automated verification of feature model configuration processes based on workflow Petri nets. SPLC (2014)
Malte Lochau, Sascha Lity, Remo Lachmann, Ina Schaefer, Ursula Goltz
Delta-oriented model-based integration testing of large-scale systems. J. Syst. Softw. 91 (2014)
Hauke Baller, Sascha Lity, Malte Lochau, Ina Schaefer
Multi-objective Test Suite Optimization for Incremental Product Family Testing. ICST (2014)
Karsten Saller, Malte Lochau, Ingo Reimund
Context-aware DSPLs: model-based runtime adaptation for resource-constrained systems. SPLC Workshops (2013)
Michael Dukaczewski, Ina Schaefer, Remo Lachmann, Malte Lochau
Requirements-based delta-oriented SPL testing. PLEASE@ICSE (2013)
Sandro Schulze, Malte Lochau, Saskia Brunswig
Implementing refactorings for FOP: lessons learned and challenges ahead. FOSD (2013)
Sascha Lity, Malte Lochau, Ina Schaefer, Ursula Goltz
Delta-oriented model-based SPL regression testing. PLEASE@ICSE (2012)
Karsten Saller, Sebastian Oster, Andy Schürr, Julia Schroeter, Malte Lochau
Reducing feature models to improve runtime adaptivity on resource limited devices. SPLC (2) (2012)
Michaela Steffens, Sebastian Oster, Malte Lochau, Thomas Fogdal
Industrial evaluation of pairwise SPL testing with MoSo-PoLiTe. VaMoS (2012)
Harald Cichos, Malte Lochau, Sebastian Oster, Andy Schürr
Reduktion von Testsuiten für Software-Produktlinien. Software Engineering (2012)
Jochen Kamischke, Malte Lochau, Hauke Baller
Conditioned model slicing of feature-annotated state machines. FOSD (2012)
Malte Lochau, Sebastian Oster, Ursula Goltz, Andy Schürr
Model-based pairwise testing for feature interaction coverage in software product line engineering. Softw. Qual. J. 20 (3-4) (2012)
Malte Lochau, Jochen Kamischke
Parameterized Preorder Relations for Model-Based Testing of Software Product Lines. ISoLA (1) (2012)
Julia Schroeter, Malte Lochau, Tim Winkelmann
Multi-perspectives on Feature Models. MoDELS (2012)
Matthias Gietzelt, Ursula Goltz, Daniel Grunwald, Malte Lochau, Michael Marschollek, Bianying Song, Klaus-Hendrik Wolf
Arden2ByteCode: A one-pass Arden Syntax compiler for service-oriented decision support systems based on the OSGi platform. Comput. Methods Programs Biomed. 106 (2) (2012)
Malte Lochau, Ina Schaefer, Jochen Kamischke, Sascha Lity
Incremental Model-Based Testing of Delta-Oriented Software Product Lines. TAP@TOOLS (2012)
Julia Schroeter, Peter Mucha, Marcel Muth, Kay Jugel, Malte Lochau
Dynamic configuration management of cloud-based applications. SPLC (2) (2012)
Ina Schaefer, Malte Lochau, Martin Leucker
Approaches for Mastering Change. ISoLA (1) (2012)
Sebastian Oster, Ivan Zorcic, Florian Markert, Malte Lochau
MoSo-PoLiTe: tool support for pairwise and model-based software product line testing. VaMoS (2011)
Harald Cichos, Sebastian Oster, Malte Lochau, Andy Schürr
Model-Based Coverage-Driven Test Suite Generation for Software Product Lines. MoDELS (2011)
Sebastian Oster, Marius Zink, Malte Lochau, Mark Grechanik
Pairwise feature-interaction testing for SPLs: potentials and limitations. SPLC Workshops (2011)
Klaus Schmid, Holger Eichelberger, Ursula Goltz, Malte Lochau
Evolving Adaptable Systems: Potential and Challenges. Softwaretechnik-Trends 30 (2) (2010)
Malte Lochau, Ursula Goltz
Feature Interaction Aware Test Case Generation for Embedded Control Systems. Electron. Notes Theor. Comput. Sci. 264 (3) (2010)
Christoph Knieke, Michaela Huhn, Malte Lochau
Modeling and Validation of Executable Requirements Using Live Activity Diagrams. SERA (2008)
Christoph Knieke, Michaela Huhn, Malte Lochau
Executable Requirements Specification: Formal Semantics of Live Activity Diagrams. TASE (2008)
Malte Lochau, Henning Günther
A Static Aspect Language for Modelica Models. EOOLT (2008)

Malte Lochau.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Malte Lochau