Publications

Sebastian Ruland ; Malte Lochau ; Oliver Fehse ; Andy Schürr (2020):
CPA/Tiger-MGP: test-goal set partitioning for efficient multi-goal test-suite generation.
In: International Journal on Software Tools for Technology Transfer, ISSN 1433-2787,
DOI: 10.1007/s10009-020-00574-z,
[Online: https://doi.org/10.1007/s10009-020-00574-z],
[Artikel]

Geza Kulcsar ; Andrea Corradini ; Malte Lochau (2020):
A calculus of concurrent graph-rewriting processes.
In: Journal of Logical and Algebraic Methods in Programming, 110, S. 100500, ISSN 2352-2216,
DOI: 10.1016/j.jlamp.2019.100500,
[Online: https://www.sciencedirect.com/science/article/pii/S2352220818301640],
[Artikel]

Dennis Reuling ; Udo Kelter ; Johannes Bürdek ; Malte Lochau (2020):
On Automated N-way Program Merging for Facilitating Family-based Analyses of Variant-rich Software.
In: Software Engineering 2020 (SE 2020), Innsbruck, Austria, 24.02.-28.02.2020, S. 55-56,
DOI: 10.18420/SE2020_14,
[Online: https://se20.ocg.at/programm.html],
[Konferenzveröffentlichung]

Sebastian Ruland ; Geza Kulcsar ; Erhan Leblebici ; Sven Peldszus ; Malte Lochau (2020):
On Controlling the Attack Surface of Object-Oriented Refactorings.
In: Software Engineering 2020 (SE 2020), Innsbruck, Austria, 24.02.-28.02.2020, S. 89-90,
DOI: 10.18420/SE2020_26,
[Online: https://se20.ocg.at/programm.html],
[Konferenzveröffentlichung]

Jacopo Soldani ; Lars Luthmann ; Malte Lochau ; Antonio Brogi (2020):
Testing Conformance in Multi-component Enterprise Application Management.
In: 8th IFIP WG 2.14 European Conference, ESOCC 2020, Heraklion, Crete, Greece, September 28–30, 2020, In: Service-Oriented and Cloud Computing, S. 3-18, ISBN Print ISBN 978-3-030-44768-7 Online ISBN 978-3-030-44769-4, Springer,
DOI: 10.1007/978-3-030-44769-4_1,
[Online: https://doi.org/10.1007/978-3-030-44769-4_1],
[Konferenzveröffentlichung]

Sebastian Ruland ; Malte Lochau ; Marie-Christine Jakobs (2020):
HybridTiger: Hybrid Model Checking and Domination-based Partitioning for Efficient Multi-Goal Test-Suite Generation (Competition Contribution).
In: ETAPS 2020, Dublin, Irland, April 25–30, 2020, In: Fundamental Approaches to Software Engineering : 23rd International Conference, FASE 2020 ; Proceedings, S. 520-524, ISBN 978-3-030-45233-9, Cham, Springer,
DOI: https://doi.org/10.1007/978-3-030-45234-6_26,
[Konferenzveröffentlichung]

Vladimir Kutscher ; Sebastian Ruland ; Patrick Müller ; Nathan Wasser ; Malte Lochau ; Reiner Anderl ; Andy Schürr ; Mira Mezini ; Reiner Hähnle (2020):
Towards a Circular Economy of Industrial Software.
In: Procedia CIRP, S. 37 - 42, ISSN 2212-8271, Elsevier ScienceDirect,
DOI: https://doi.org/10.1016/j.procir.2020.01.133,
[Online: http://www.sciencedirect.com/science/article/pii/S2212827120303127],
[Artikel]

Lars Luthmann ; Hendrik Göttmann ; Malte Lochau (2019):
Checking Timed Bisimulation with Bounded Zone-History Graphs - Technical Report.
[Online: https://arxiv.org/abs/1910.08992],
[Report]

Mahsa Varshosaz ; Lars Luthmann ; Paul Mohr ; Malte Lochau ; Mohammad Reza Mousavi (2019):
Modal transition system encoding of featured transition systems.
In: Journal of Logical and Algebraic Methods in Programming, 106, S. 1 - 28, Elsevier,
DOI: https://doi.org/10.1016/j.jlamp.2019.03.003,
[Online: http://www.sciencedirect.com/science/article/pii/S2352220818300348],
[Artikel]

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 (2019):
Performance Analysis Strategies for Software Variants and Versions.
In: Managed Software Evolution, S. 175-206, Springer,
DOI: https://doi.org/10.1007/978-3-030-13499-0_8,
[Book Section]

Malte Lochau ; Dennis Reuling ; Johannes Bürdek ; Timo Kehrer ; Sascha Lity ; Andy Schürr ; Udo Kelter (2019):
Model-Based Round-Trip Engineering and Testing of Evolving Software Product Lines.
In: Managed Software Evolution, S. 141-173, Springer,
DOI: https://doi.org/10.1007/978-3-030-13499-0_7,
[Book Section]

Reiner Jung ; Lukas Märtin ; Jan Ole Johanssen ; Barbara Paech ; Malte Lochau ; Thomas Thüm ; Kurt Schneider ; Matthias Tichy ; Mattias Ulbrich (2019):
Addressed Challenges.
In: Managed Software Evolution, S. 21-36, Springer,
DOI: https://doi.org/10.1007/978-3-030-13499-0_3,
[Book Section]

Dennis Reuling ; Udo Kelter ; Johannes Bürdek ; Malte Lochau (2019):
Automated N-way Program Merging for Facilitating Family-based Analyses of Variant-rich Software.
In: Transaction on Software Engineering and Methodology, 28, S. 13:1-13:59, ACM,
DOI: https://doi.org/10.1145/3313789,
[Artikel]

Tobias Pett ; Thomas Thüm ; Tobias Runge ; Sebastian Krieter ; Malte Lochau ; Ina Schaefer (2019):
Product Sampling for Product Lines: The Scalability Challenge.
In: 23rd International Systems and Software Product Line Conference (SPLC '19), S. 14:1-14:6, Paris, ACM,
DOI: 10.1145/3336294.3336322,
[Online: https://doi.org/10.1145/3336294.3336322],
[Konferenzveröffentlichung]

Dennis Reuling ; Malte Lochau ; Udo Kelter (2019):
From Imprecise N-Way Model Matching to Precise N-Way Model Merging.
In: Journal of Object Technology, 18, S. 1-20, AITO,
DOI: 10.5381/jot.2019.18.2.a8,
[Online: https://doi.org/10.5381/jot.2019.18.2.a8],
[Artikel]

Rafael Capilla ; Lidia Fuentes ; Malte Lochau (2019):
Software variability in dynamic environments.
In: Journal of Systems and Software, 156, S. 62-64, Elsevier,
DOI: 10.1016/j.jss.2019.06.003,
[Online: https://doi.org/10.1016/j.jss.2019.06.003],
[Artikel]

Mustafa Al-Hajjaji ; Thomas Thüm ; Malte Lochau ; Jens Meinicke ; Gunter Saake (2019):
Effective product-line testing using similarity-based product prioritization.
In: Software and Systems Modeling, 18, S. 499-521, Springer,
DOI: 10.1007/s10270-016-0569-2,
[Online: https://doi.org/10.1007/s10270-016-0569-2],
[Artikel]

Lars Luthmann ; Timo Gerecht ; Malte Lochau (2019):
Sampling strategies for product lines with unbounded parametric real-time constraints.
In: International Journal on Software Tools for Technology Transfer, ISSN 1433-2787, Springer,
DOI: 10.1007/s10009-019-00532-4,
[Online: https://doi.org/10.1007/s10009-019-00532-4],
[Artikel]

Lars Luthmann ; Hendrik Göttmann ; Malte Lochau (2019):
Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata.
In: 16th International Conference on Formal Aspects of Component Software (FACS 2019), S. 147-169, ISBN 978-3-030-40914-2, Amsterdam, Springer International Publishing,
DOI: 10.1007/978-3-030-40914-2_8,
[Online: https://link.springer.com/chapter/10.1007/978-3-030-40914-2_8],
[Konferenzveröffentlichung]

Dennis Reuling ; Udo Kelter ; Sebastian Ruland ; Malte Lochau (2019):
SiMPOSE - Configurable N-Way Program Merging Strategies for Superimposition-Based Analysis of Variant-Rich Software.
In: 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019), San Diego, USA, 11.11.-15.11.2019,
DOI: 10.1109/ASE.2019.00120,
[Online: https://ieeexplore.ieee.org/document/8952245],
[Konferenzveröffentlichung]

Geza Kulcsar ; Andrea Corradini ; Malte Lochau Leen Lambers ; Jens Weber (Hrsg.) (2018):
Equivalence and Independence in Controlled Graph-Rewriting Processes.
In: 11th International Conference on Graph Transformation (ICGT'18), S. 134-151, ISBN 978-3-319-92991-0, Springer,
[Konferenzveröffentlichung]

Geza Kulcsar ; Malte Lochau ; Andy Schürr Leen Lambers ; Jens Weber (Hrsg.) (2018):
Graph-Rewriting Petri Nets.
In: 11th International Conference on Graph Transformation (ICGT'18), S. 79-96, ISBN 978-3-319-92991-0, Springer,
[Konferenzveröffentlichung]

Sebastian Ruland ; Lars Luthmann ; Johannes Bürdek ; Sascha Lity ; Thomas Thüm ; Malte Lochau ; Márcio Ribeiro (2018):
Measuring Effectiveness of Sample-Based Product-Line Testing.
In: Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE'18), S. 119-133, ACM,
DOI: 10.1145/3278122.3278130,
[Online: http://doi.acm.org/10.1145/3278122.3278130],
[Konferenzveröffentlichung]

Lars Luthmann ; Stephan Mennicke ; Malte Lochau (2018):
Unifying modal interface theories and compositional input/output conformance testing.
In: Science of Computer Programming, Elsevier,
DOI: https://doi.org/10.1016/j.scico.2018.09.008,
[Online: http://www.sciencedirect.com/science/article/pii/S0167642318304088],
[Artikel]

Markus Weckesser ; Malte Lochau ; Michael Ries ; Andy Schürr (2018):
Mathematical Programming for Anomaly Analysis of Clafer Models.
In: Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2018, Copenhagen, Denmark, October 14-19, 2018, S. 34-44,
DOI: 10.1145/3239372.3239398,
[Online: http://doi.acm.org/10.1145/3239372.3239398],
[Konferenzveröffentlichung]

Sven Peldszus ; Geza Kulcsar ; Malte Lochau ; Sandro Schulze (2018):
On Continuous Detection of Design Flaws in Evolving Object-Oriented Programs using Incremental Multi-Pattern Matching.
In: Software Engineering und Software Management (SE'18), S. 143-144, GI,
[Online: https://dl.gi.de/20.500.12116/16314],
[Konferenzveröffentlichung]

Sebastian Ruland ; Geza Kulcsar ; Erhan Leblebici ; Sven Peldszus ; Malte Lochau (2018):
Controlling the Attack Surface of Object-Oriented Refactorings.
In: 21st International Conference on Fundamental Approaches to Software Engineering (FASE'18), S. 38-55, Springer,
DOI: 10.1007/978-3-319-89363-1_3,
[Online: https://doi.org/10.1007/978-3-319-89363-1_3],
[Konferenzveröffentlichung]

Lars Luthmann ; Timo Gerecht ; Andreas Stephan ; Johannes Bürdek ; Malte Lochau (2018):
Minimum/maximum delay testing of product lines with unbounded parametric real-time constraints.
In: Journal of Systems and Software, Elsevier,
DOI: https://doi.org/10.1016/j.jss.2018.12.028,
[Online: http://www.sciencedirect.com/science/article/pii/S0164121218302851],
[Artikel]

Lars Luthmann ; Andreas Stephan ; Johannes Bürdek ; Malte Lochau (2017):
Modeling and Testing Product Lines with Unbounded Parametric Real-Time Constraints.
In: Proceedings of the 21st International Systems and Software Product Line Conference, S. 104-113, ISBN 978-1-4503-5221-5, ACM,
DOI: 10.1145/3106195.3106204,
[Online: http://doi.acm.org/10.1145/3106195.3106204],
[Konferenzveröffentlichung]

Markus Weckesser ; Malte Lochau ; Michael Ries ; Andy Schürr (2017):
Towards Complete Consistency Checks of Clafer Models.
In: Proceedings of the 8th ACM SIGPLAN International Workshop on Feature-Oriented Software Development, S. 11-20, ISBN 978-1-4503-5518-6, ACM,
DOI: 10.1145/3141848.3141850,
[Online: http://doi.acm.org/10.1145/3141848.3141850],
[Konferenzveröffentlichung]

Markus Weckesser ; Malte Lochau ; Thomas Schnabel ; Björn Richerzhagen ; Andy Schürr (2017):
On Automated Anomaly Detection for Potentially Unbounded Cardinality-based Feature Models.
In: Software Engineering 2017, Fachtagung des GI-Fachbereichs Softwaretechnik, 21.-24. Februar 2017, Hannover, Deutschland, S. 125-126,
[Konferenzveröffentlichung]

Markus Weckesser ; Malte Lochau ; Michael Ries ; Andy Schürr (2017):
Towards Complete Consistency Checks of Clafer Models.
In: Proceedings of the 8th ACM SIGPLAN International Workshop on Feature-Oriented Software Development, New York, NY, USA, In: FOSD 2017, S. 11-20, ISBN 978-1-4503-5518-6, New York, NY, USA, ACM,
DOI: 10.1145/3141848.3141850,
[Online: http://doi.acm.org/10.1145/3141848.3141850],
[Konferenzveröffentlichung]

Mahsa Varshosaz ; Mohammad Reza Mousavi ; Lars Luthmann ; Malte Lochau (2017):
Expressive Power and Encoding of Transition System Models for Software Product Lines.
In: 29th Nordic Workshop on Programming Theory (NWPT'17), S. 57-59, Turku Centre for Computer Science,
[Online: https://research.it.abo.fi/nwpt17/proceedings/NWPT2017proceedings.pdf],
[Konferenzveröffentlichung]

Thomas Schnabel ; Markus Weckesser ; Roland Kluge ; Malte Lochau ; Andy Schürr (2016):
CardyGAn: Tool Support for Cardinality-based Feature Models.
In: Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems, Salvador, Brazil, January 27 - 29, 2016, S. 33-40,
[Online: http://doi.acm.org/10.1145/2866614.2866619],
[Konferenzveröffentlichung]

Johannes Bürdek ; Timo Kehrer ; Malte Lochau ; Dennis Reuling ; Udo Kelter ; Andy Schürr (2016):
Reasoning about product-line evolution using complex feature model differences.
In: Automated Software Engineering, 23, S. 687-733,
[Konferenzveröffentlichung]

Malte Lochau ; Johannes Bürdek ; Stefan Bauregger ; Andreas Holzer ; Alexander von Rhein ; Sven Apel ; Dirk Beyer (2016):
On facilitating reuse in multi-goal test-suite generation for software product lines.
In: Software Engineering, SE 2016, S. 81-82,
[Online: http://subs.emis.de/LNI/Proceedings/Proceedings252/article31.html],
[Konferenzveröffentlichung]

Mustafa Al-Hajjaji ; Sebastian Krieter ; Thomas Thüm ; Malte Lochau ; Gunter Saake (2016):
IncLing: Efficient Product-line Testing Using Incremental Pairwise Sampling.
In: Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE 2016), S. 144-155, ISBN 978-1-4503-4446-3, ACM,
[Online: http://dx.doi.org/10.1145/2993236.2993253],
[Konferenzveröffentlichung]

Frederik Deckwerth ; Geza Kulcsar ; Malte Lochau ; Gergely Varró ; Andy Schürr (2016):
Conflict Detection for Edits on Extended Feature Models using Symbolic Graph Transformation.
In: Proceedings of the 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering, In: Electronic Proceedings in Theoretical Computer Science, 206, S. 17-31,
[Online: http://dx.doi.org/10.4204/EPTCS.206.3],
[Konferenzveröffentlichung]

Sven Peldszus ; Geza Kulcsar ; Malte Lochau ; Sandro Schulze (2016):
Continuous detection of design flaws in evolving object-oriented programs using incremental multi-pattern matching.
In: Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, S. 578-589,
[Online: http://doi.acm.org/10.1145/2970276.2970338],
[Konferenzveröffentlichung]

Malte Lochau ; Stephan Mennicke ; Hauke Baller ; Lars Ribbeck (2016):
Incremental model checking of delta-oriented software product lines.
In: J. Log. Algebr. Meth. Program., 85, S. 245-267,
[Online: http://dx.doi.org/10.1016/j.jlamp.2015.09.004],
[Konferenzveröffentlichung]

Christian Krupitzer ; Felix Maximilian Roth ; Christian Becker ; Markus Weckesser ; Malte Lochau ; Andy Schürr (2016):
FESAS IDE: An Integrated Development Environment for Autonomic Computing.
In: 2016 IEEE International Conference on Autonomic Computing, ICAC 2016, Wuerzburg, Germany, July 17-22, 2016, S. 15-24,
[Online: http://dx.doi.org/10.1109/ICAC.2016.49],
[Konferenzveröffentlichung]

Markus Weckesser ; Malte Lochau ; Thomas Schnabel ; Björn Richerzhagen ; Andy Schürr (2016):
Mind the Gap! Automated Anomaly Detection for Potentially Unbounded Cardinality-Based Feature Models.
In: Fundamental Approaches to Software Engineering - 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings, S. 158-175,
[Online: http://dx.doi.org/10.1007/978-3-662-49665-7_10],
[Konferenzveröffentlichung]

Lars Luthmann ; Stephan Mennicke ; Malte Lochau Olga Kouchnarenko ; Ramtin Khosravi (Hrsg.) (2016):
Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing.
In: 13th International Conference on Formal Aspects of Component Software (FACS 2016), S. 54-72, ISBN 978-3-319-57666-4, Springer International Publishing,
[Online: http://dx.doi.org/10.1007/978-3-319-57666-4_5],
[Konferenzveröffentlichung]

Lars Luthmann ; Stephan Mennicke ; Malte Lochau (2015):
Towards an I/O Conformance Testing Theory for Software Product Lines based on Modal Interface Automata.
In: Proceedings of the 6th Workshop on Formal Methods and Analysis in SPL Engineering, In: Electronic Proceedings in Theoretical Computer Science, 182, S. 1-13,
[Online: http://dx.doi.org/ 10.4204/EPTCS.182.1],
[Konferenzveröffentlichung]

Geza Kulcsar ; Frederik Deckwerth ; Malte Lochau ; Gergely Varró ; Andy Schürr Arend Rensink ; Eduardo Zambon (Hrsg.) (2015):
Improved Conflict Detection for Graph Transformation with Attributes.
In: Graphs as Models, GaM 2015, In: Graphs as Models, 181, S. 97-112,
[Online: http://dx.doi.org/10.4204/EPTCS.181.7],
[Konferenzveröffentlichung]

Malte Lochau ; Johannes Bürdek ; Stefan Hölzle ; Andy Schürr (2015):
Specification and automated validation of staged reconfiguration processes for dynamic software product lines.
In: Software & Systems Modeling, 16, S. 125-152, ISSN 1619-1366, Springer Berlin Heidelberg,
[Online: http://dx.doi.org/10.1007/s10270-015-0470-4],
[Artikel]

Johannes Bürdek ; Malte Lochau ; Stefan Bauregger ; Andreas Holzer ; Alexander von Rhein ; Sven Apel ; Dirk Beyer (2015):
Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines.
In: Fundamental Approaches to Software Engineering - 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, S. 84-99,
[Online: http://dx.doi.org/10.1007/978-3-662-46675-9_6],
[Konferenzveröffentlichung]

Sven Peldszus ; Geza Kulcsar ; Malte Lochau (2015):
A Solution to the Java Refactoring Case Study using eMoflon.
L'Aquila, In: Proceedings of the 8th Transformation Tool Contest, a part of the Software Technologies: Applications and Foundations (STAF) federation of conferences, 1524, S. 118-122,
[Online: http://ceur-ws.org/Vol-1524/paper20.pdf],
[Konferenzveröffentlichung]

Geza Kulcsar ; Sven Peldszus ; Malte Lochau (2015):
Object-oriented Refactoring of Java Programs using Graph Transformation.
L'Aquila, In: Proceedings of the 8th Transformation Tool Contest, a part of the Software Technologies: Applications and Foundations (STAF) 2015 federation of conferences, 1524, S. 53-82,
[Online: http://ceur-ws.org/Vol-1524/paper3.pdf],
[Konferenzveröffentlichung]

Sven Peldszus ; Geza Kulcsar ; Malte Lochau ; Sandro Schulze (2015):
Incremental Co-Evolution of Java Programs based on Bidirectional Graph Transformation.
In: Proceedings of the Principles and Practices of Programming on The Java Platform (PPPJ), S. 138-151,
[Online: http://doi.acm.org/10.1145/2807426.2807438],
[Konferenzveröffentlichung]

Fabian Benduhn ; Thomas Thüm ; Malte Lochau ; Thomas Leich ; Gunter Saake (2015):
A Survey on Modeling Techniques for Formal Behavioral Verification of Software Product Lines.
In: Proceedings of the Ninth International Workshop on Variability Modelling of Software-intensive Systems, S. 80-87,
[Online: http://doi.acm.org/10.1145/2701319.2701332],
[Konferenzveröffentlichung]

Dennis Reuling ; Johannes Bürdek ; Serge Rotärmel ; Malte Lochau ; Udo Kelter (2015):
Fault-based product-line testing: effective sample generation based on feature-diagram mutation.
In: Proceedings of the 19th International Conference on Software Product Line (SPLC), S. 131-140,
[Online: http://doi.acm.org/10.1145/2791060.2791074],
[Konferenzveröffentlichung]

Sascha Lity ; Johannes Bürdek ; Malte Lochau ; Markus Berens ; Ina Schaefer (2015):
Re-Engineering Automation Systems as Dynamic Software Product Lines.
In: Proceedings of the 11th Dagstuhl-Workshop on Model-Based Development of Embedded Systems (MBEES), S. 43-52,
[Konferenzveröffentlichung]

Anthony Anjorin ; Karsten Saller ; Malte Lochau ; Andy Schürr (2015):
On Modularizing Triple Graph Grammars with Rule Refinement.
In: Software Engineering & Management, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), S. 95-96,
[Konferenzveröffentlichung]

Malte Lochau ; Stephan Mennicke ; Hauke Baller ; Lars Ribbeck (2014):
DeltaCCS: A Core Calculus for Behavioral Change.
In: Proceedings of 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, In: International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), S. 320-335,
[Konferenzveröffentlichung]

Mustafa Al-Hajjaji ; Thomas Thüm ; Jens Meinicke ; Malte Lochau ; Gunter Saake S. Gnesi ; A. Fantechi ; P. Heymans ; J. Rubin ; K. Czarnecki ; D. Dhungana (Hrsg.) (2014):
Similarity-based Prioritization in Software Product-Line Testing.
In: Proceedings of the 18th International Software Product Line Conference, In: Software Product Line Conference, S. 197-206,
[Konferenzveröffentlichung]

Stephan Mennicke ; Malte Lochau ; Julia Schroeter ; Tim Winkelmann S. Gnesi ; A. Fantechi ; P. Heymans ; J. Rubin ; K. Czarnecki ; D. Dhungana (Hrsg.) (2014):
Automated Verification of Feature Model Configuration Processes based on Workflow Petri Nets.
In: Proceedings of the 18th International Software Product Line Conference, In: Software Product Line Conference, S. 62-71,
[Konferenzveröffentlichung]

Hauke Baller ; Sascha Lity ; Malte Lochau ; Ina Schaefer (2014):
Multi-Objective Test Suite Optimization for Incremental Product Family Testing.
In: 7th IEEE International Conference on Software Testing, Verification and Validation, In: International Conference on Software Testing, Verification and Validation (ICST), Los Alamitos, IEEE Computer Society Press,
[Konferenzveröffentlichung]

Malte Lochau ; Sven Peldszus ; Matthias Kowal ; Ina Schaefer (2014):
Model-Based Testing.
In: Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, In: Lecture Notes in Computer Science (LNCS), 8483, S. 310-342, Heidelberg, Springer Verlag,
[Konferenzveröffentlichung]

Malte Lochau ; Johannes Bürdek ; Sascha Lity ; Matthias Hagner ; Christoph Legat ; Ursula Goltz ; Andy Schürr (2014):
Applying Model-based Software Product Line Testing Approaches to the Automation Engineering Domain.
In: Automatisierungstechnik, 62, S. 771-780,
[Book Section]

Johannes Bürdek ; Sascha Lity ; Malte Lochau ; Markus Berens ; Ursula Goltz ; Andy Schürr (2014):
Staged configuration of dynamic software product lines with complex binding time constraints.
In: Proceedings of the 8th International Workshop on Variability Modeling of Software-Intensive Systems, In: ACM Digital Library Proceedings, New York, ACM Press,
[Konferenzveröffentlichung]

Hauke Baller ; Malte Lochau (2014):
Towards Incremental Test Suite Optimization for Software Product Lines.
In: Proceedings of the 6th International Workshop on Feature-Oriented Software Development, In: FOSD '14, S. 30-36, ISBN 978-1-4503-2980-4, New York, NY, USA, ACM,
[Online: http://doi.acm.org/10.1145/2660190.2662115],
[Konferenzveröffentlichung]

Anthony Anjorin ; Karsten Saller ; Malte Lochau ; Andy Schürr (2014):
Modularizing Triple Graph Grammars using Rule Refinement.
In: 17th International Conference on Fundamental Approaches to Software Engineering (FASE), In: Lecture Notes in Computer Science (LNCS), [Konferenzveröffentlichung]

Malte Lochau ; Sascha Lity ; Remo Lachmann ; Ina Schaefer ; Ursula Goltz (2013):
Delta-oriented model-based integration testing of large-scale systems.
In: Journal of Systems and Software, Amsterdam, Elsevier Science Publ.,
[Artikel]

Michael Dukaczewski ; Ina Schaefer ; Remo Lachmann ; Malte Lochau (2013):
Requirements-Based Delta-Oriented SPL Testing.
In: 4th International IEEE Workshop on Product Line Approaches in Software Engineering (PLEASE), [Konferenzveröffentlichung]

Sandro Schulze ; Malte Lochau ; Saskia Brunswig (2013):
Implementing Refactorings for FOP - Lessons Learned and Challenges Ahead.
In: FOSD-Treffen 2013, [Konferenzveröffentlichung]

Sascha Lity ; Remo Lachmann ; Malte Lochau ; Michael Dukaczewski ; Ina Schaefer (2013):
Delta-orientiertes Testen von variantenreichen Systemen.
In: OBJEKTspektrum, SIGS DATACOM,
[Artikel]

Sascha Lity ; Remo Lachmann ; Malte Lochau ; Ina Schaefer (2013):
Delta-oriented Software Product Line Test Models - The Body Comfort System Case Study.
[Report]

Karsten Saller ; Malte Lochau ; Ingo Reimund (2013):
Context-aware DSPLs: model-based runtime adaptation for resource-constrained systems.
In: 17th International Software Product Line Conference co-located workshops, In: SPLC '13 Workshops, S. 106-113, ISBN 978-1-4503-2325-3, New York, NY, USA, ACM,
[Online: http://doi.acm.org/10.1145/2499777.2500716],
[Konferenzveröffentlichung]

Sascha Lity ; Malte Lochau ; Ina Schaefer ; Ursula Goltz (2012):
Delta-oriented Model-based SPL Regression Testing.
In: 2012 3rd International Workshop on Product Line Approaches in Software Engineering (PLEASE), Los Alamitos, In: Product Line Approaches in Software Engineering (PLEASE), S. 53-56, Los Alamitos, IEEE Computer Society Press,
[Konferenzveröffentlichung]

Matthias Gietzelt ; Ursula Goltz ; David Grünwald ; Malte Lochau ; Michael Marschollek ; Bianying Song ; Klaus Wolf (2012):
Arden2ByteCode: A one-pass Arden Syntax Compiler for Service-Oriented Decision Support Systems based on the OSGi Platform.
In: Computer Methods and Programs in Biomedicine, 106, S. 114-125,
[Artikel]

Michaela Steffens ; Sebastian Oster ; Malte Lochau ; Thomas Fogdal (2012):
Industrial evaluation of pairwise SPL testing with MoSo-PoLiTe.
In: Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems, New York, In: ACM Digital Library Proceedings, S. 55-62, New York, ACM Press,
[Konferenzveröffentlichung]

Jochen Kamischke ; Malte Lochau ; Hauke Baller (2012):
Conditioned Model Slicing of Feature-annotated State Machines.
In: Proceedings of the 4th International Workshop on Feature-Oriented Software Development, New York, NY, USA, In: FOSD '12, S. 9-16, ISBN 978-1-4503-1309-4, New York, NY, USA, ACM,
[Online: http://doi.acm.org/10.1145/2377816.2377818],
[Konferenzveröffentlichung]

Malte Lochau ; Jochen Kamischke Tiziana Margaria ; Bernhard Steffen (Hrsg.) (2012):
Parameterized Preorder Relations for Model-Based Testing of Software Product Lines.
In: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 7609, S. 223-237, ISBN 978-3-642-34025-3, Springer Berlin Heidelberg,
[Online: http://dx.doi.org/10.1007/978-3-642-34026-0_17],
[Konferenzveröffentlichung]

Malte Lochau ; Ina Schaefer ; Jochen Kamischke ; Sascha Lity Achim Brucker ; Jacques Julliand (Hrsg.) (2012):
Incremental Model-Based Testing of Delta-Oriented Software Product Lines.
In: Tests and Proofs, 7305, S. 67-82, ISBN 978-3-642-30472-9, Springer Berlin Heidelberg,
[Online: http://dx.doi.org/10.1007/978-3-642-30473-6_7],
[Konferenzveröffentlichung]

Julia Schroeter ; Malte Lochau ; Tim Winkelmann Robert France ; Jürgen Kazmeier ; Ruth Breu ; Colin Atkinson (Hrsg.) (2012):
Multi-perspectives on Feature Models.
In: Model Driven Engineering Languages and Systems, 7590, S. 252-268, ISBN 978-3-642-33665-2, Springer Berlin Heidelberg,
[Online: http://dx.doi.org/10.1007/978-3-642-33666-9_17],
[Konferenzveröffentlichung]

David Grünwald ; Malte Lochau ; E. Börger ; Ursula Goltz (2012):
An Abstract State Machine Model for the Generic Java Type System.
[Report]

Malte Lochau (2012):
Model-Based Conformance Testing of Software Product Lines.
Verlag Dr. Hut,
[Dissertation]

Harald Cichos ; Malte Lochau ; Sebastian Oster ; Andy Schürr (2012):
Reduktion von Testsuiten für Software-Produktlinien.
In: Proceedings of the Software Engineering 2012, S. 143-154,
[Konferenzveröffentlichung]

Harald Cichos ; Sebastian Oster ; Malte Lochau ; Andy Schürr (2011):
Model-based Coverage-Driven Test Suite Generation for Software Product Lines.
In: Proceedings of the ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems (MoDELS), 6981, S. 425-439,
[Konferenzveröffentlichung]

Sebastian Oster ; Ivan Zorcic ; Florian Markert ; Malte Lochau K. Czarnecki ; U. Eisenecker (Hrsg.) (2011):
MoSo-PoLiTe - Tool Support for Pairwise and Model-Based Software Product Line Testing.
In: 5th International Workshop on Variability Modelling of Software-Intensive Systems, Namur, Belgium, In: ACM International Conference Proceedings Series, S. 79-82, New York, ACM Press,
[Konferenzveröffentlichung]

Harald Cichos ; Sebastian Oster ; Malte Lochau ; Andy Schürr (2011):
Extended Version of Model-based Coverage-Driven Test Suite Generation for Software Product Lines.
Technische Universität Braunschweig, [Online: http://www.ips.cs.tu-bs.de/images/goltz/MODELS-TR-2011-07.pdf],
[Report]

Malte Lochau ; Sebastian Oster ; Ursula Goltz ; Andy Schürr (2011):
Model-based Pairwise Testing for Feature Interaction Coverage in Software Product Line Engineering.
Heidelberg, In: Software Quality Journal - Special issue on Quality Engineering for Software Product Lines, Heidelberg, Springer Verlag,
[Artikel]

Sebastian Oster ; Malte Lochau ; Marius Zink ; Mark Grechanik (2011):
Pairwise Feature-Interaction Testing for SPLs: Potentials and Limitations.
In: Proceeding of the International Software Product Line Conference Workshop FOSD, New York, 2, S. 6:1-6:8, New York, ACM Press,
[Konferenzveröffentlichung]

Julia Schroeter ; Malte Lochau ; Tim Winkelmann (2011):
Extended Version of Multi-Perspectives on Feature Models.
[Report]

Malte Lochau ; Ursula Goltz (2010):
Feature Interaction Aware Test Case Generation for Embedded Control Systems.
In: Electronic Notes in Theoretical Computer Science, 264, S. 37-52, ISSN 1571-0661,
[Artikel]

T. Müller ; Malte Lochau ; S. Detering ; F, Saust ; H. Garbers ; L. Märtin ; T. Form ; Ursula Goltz (2009):
A Comprehensive Description of a Model-based, Continuous Development Process for AUTOSAR Systems with Integrated Quality Assurance.
[Report]

B. Sun ; Malte Lochau ; P. Huhn ; Ursula Goltz (2009):
Parameter Optimization of an Engine Control Unit using Genetic Algorithms.
[Report]

Christoph Knieke ; Michaela Huhn ; Malte Lochau (2008):
Executable Requirements Specification: Formal Semantics of Live Activity Diagrams.
In: Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, TASE 2008, June 17-19, 2008, Nanjing, China, S. 109-112,
[Online: http://dx.doi.org/10.1109/TASE.2008.10],
[Konferenzveröffentlichung]

Malte Lochau ; Henning Günther (2008):
A Static Aspect Language for Modelica Models.
In: Proceedings of the 2nd International Workshop on Equation-Based Object-Oriented Languages and Tools, EOOLT 2008, Paphos, Cyprus, July 8, 2008, S. 47-57,
[Online: http://www.ep.liu.se/ecp_article/index.en.aspx?issue=029;article=006],
[Konferenzveröffentlichung]

Christoph Knieke ; Michaela Huhn ; Malte Lochau (2008):
Modeling and Validation of Executable Requirements Using Live Activity Diagrams.
In: Proceedings of the 6th ACIS International Conference on Software Engineering Research, Management and Applications, SERA 2008, 20-22 August 2008, Prague, Czech Republic, S. 51-58,
[Online: http://dx.doi.org/10.1109/SERA.2008.10],
[Konferenzveröffentlichung]