Davide Basile ; Maurice H Ter Beek ; Hendrik Göttmann ; Malte Lochau (2023):
Mutant Equivalence as Monotonicity in Parametric Timed Games.
In: 11th International Conference on Formal Methods in Software Engineering, Melbourne, Australia, 14.-15.05.2023, In: Proceedings: 2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE), P. 55-65, ISBN 979-8-3503-1263-8, IEEE,
DOI: 10.1109/FormaliSE58978.2023.00014,
[Conference Contribution]
Hendrik Göttmann ; Birte Caesar ; Lasse Beers ; Malte Lochau ; Andy Schürr ; Alexander Fay (2023):
Precomputing Reconfiguration Strategies based on Stochastic Timed Game Automata.
In: Software Engineering 2023 - Fachtagung des GI-Fachbereichs Softwaretechnik, Paderborn, Germany, 20.-24.02.2023, In: Software Engineering 2023: Fachtagung des GI-Fachbereichs Softwaretechnik, P-332, P. 55-56, ISSN 1617-5468, ISBN 978-3-88579-726-5, Gesellschaft für Informatik e.V.,
[Online: https://dl.gi.de/items/ecbb1317-8507-4bd2-beb0-b91f7062f609/full],
[Conference Contribution]
Hendrik Göttmann ; Birte Caesar ; Lasse Beers ; Malte Lochau ; Andy Schürr ; Alexander Fay (2022):
Precomputing Reconfiguration Strategies based on Stochastic Timed Game Automata.
In: 25th International Conference on Model Driven Engineering Languages and Systems, Montreal, Canada, 23.-28.10.2022, In: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems (MODELS 2022), P. 31-42, ISBN 978-1-4503-9466-6, ACM,
DOI: 10.1145/3550355.3552397,
[Conference Contribution]
Hendrik Göttmann ; Isabelle Bacher ; Nicolas Gottwald ; Malte Lochau (2021):
Static Analysis Techniques for Efficient Consistency Checking of Real-Time-Aware DSPL Specifications.
In: VaMoS'21: 15th International Working Conference on Variability Modelling of Software-Intensive Systems, Virtual Event / Krems, Austria, 09.-11.02.2021, In: Proceedings of the 15th International Working Conference on Variability Modelling of Software-Intensive Systems, ISBN 978-1-4503-8824-5, ACM,
DOI: 10.1145/3442391.3442409,
[Conference Contribution]
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],
[Article]
Geza Kulcsar ; Andrea Corradini ; Malte Lochau (2020):
A calculus of concurrent graph-rewriting processes.
In: Journal of Logical and Algebraic Methods in Programming, P. 100500, ISSN 2352-2216,
DOI: 10.1016/j.jlamp.2019.100500,
[Online: https://www.sciencedirect.com/science/article/pii/S2352220818301640],
[Article]
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, P. 55-56,
DOI: 10.18420/SE2020_14,
[Online: https://se20.ocg.at/programm.html],
[Conference Contribution]
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, P. 89-90,
DOI: 10.18420/SE2020_26,
[Online: https://se20.ocg.at/programm.html],
[Conference Contribution]
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, P. 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],
[Conference Contribution]
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, P. 520-524, ISBN 978-3-030-45233-9, Cham, Springer,
DOI: 10.1007/978-3-030-45234-6_26,
[Conference Contribution]
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, P. 37 - 42, ISSN 2212-8271, Elsevier,
DOI: 10.1016/j.procir.2020.01.133,
[Online: http://www.sciencedirect.com/science/article/pii/S2212827120303127],
[Article]
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: 27th CIRP Life Cycle Engineering Conference (LCE 2020), Grenoble, Frankreich, 13.-15.05.2020, In: Procedia CIRP, P. 37-42, ISSN 2212-8271, Amsterdam, Elsevier,
DOI: 10.25534/tuprints-00014563,
[Online: https://tuprints.ulb.tu-darmstadt.de/14563],
[Article]
Malte Lochau ; Lars Luthmann ; Hendrik Göttmann ; Isabelle Bacher (2020):
Parametric Timed Bisimulation.
In: 9th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020), Rhodes, Greece, 20.-30.10.2020, In: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 12477, P. 55-71, ISBN 978-3-030-61469-0, Springer Nature,
DOI: 10.1007/978-3-030-61470-6_5,
[Conference Contribution]
Lars Luthmann ; Hendrik Göttmann ; Malte Lochau (2019):
Checking Timed Bisimulation with Bounded Zone-History Graphs - Technical Report.
In: Formal Languages and Automata Theory, arXiv, DOI: 10.48550/arXiv.1910.08992,
[Online: https://arxiv.org/abs/1910.08992],
[Report]
Lars Luthmann ; Hendrik Göttmann ; Malte Lochau (2019):
Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata - Technical Report.
In: Logic in Computer Science, arXiv, DOI: 10.48550/arXiv.1909.03703,
[Online: https://arxiv.org/abs/1909.03703],
[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, P. 1 - 28, Elsevier,
DOI: 10.1016/j.jlamp.2019.03.003,
[Online: http://www.sciencedirect.com/science/article/pii/S2352220818300348],
[Article]
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, P. 175-206, Springer,
DOI: 10.1007/978-3-030-13499-0_8,
[Online: 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, P. 141-173, Springer,
DOI: 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, P. 21-36, Springer,
DOI: 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, P. 13:1-13:59, ACM,
DOI: 10.1145/3313789,
[Article]
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), P. 14:1-14:6, Paris, ACM,
DOI: 10.1145/3336294.3336322,
[Online: https://doi.org/10.1145/3336294.3336322],
[Conference Contribution]
Dennis Reuling ; Malte Lochau ; Udo Kelter (2019):
From Imprecise N-Way Model Matching to Precise N-Way Model Merging.
In: Journal of Object Technology, P. 1-20, AITO,
DOI: 10.5381/jot.2019.18.2.a8,
[Online: https://doi.org/10.5381/jot.2019.18.2.a8],
[Article]
Rafael Capilla ; Lidia Fuentes ; Malte Lochau (2019):
Software variability in dynamic environments.
In: Journal of Systems and Software, P. 62-64, Elsevier,
DOI: 10.1016/j.jss.2019.06.003,
[Online: https://doi.org/10.1016/j.jss.2019.06.003],
[Article]
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, P. 499-521, Springer,
DOI: 10.1007/s10270-016-0569-2,
[Online: https://doi.org/10.1007/s10270-016-0569-2],
[Article]
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],
[Article]
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), P. 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],
[Conference Contribution]
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],
[Conference Contribution]
Geza Kulcsar ; Malte Lochau ; Andy Schürr (2018):
Graph-Rewriting Petri Nets.
In: 11th International Conference on Graph Transformation (ICGT'18), P. 79-96, ISBN 978-3-319-92991-0, Springer,
[Conference Contribution]
Geza Kulcsar ; Andrea Corradini ; Malte Lochau (2018):
Equivalence and Independence in Controlled Graph-Rewriting Processes.
In: 11th International Conference on Graph Transformation (ICGT'18), P. 134-151, ISBN 978-3-319-92991-0, Springer,
[Conference Contribution]
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), P. 119-133, ACM,
DOI: 10.1145/3278122.3278130,
[Online: http://doi.acm.org/10.1145/3278122.3278130],
[Conference Contribution]
Lars Luthmann ; Stephan Mennicke ; Malte Lochau (2018):
Unifying modal interface theories and compositional input/output conformance testing.
In: Science of Computer Programming, Elsevier,
DOI: 10.1016/j.scico.2018.09.008,
[Online: http://www.sciencedirect.com/science/article/pii/S0167642318304088],
[Article]
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, P. 34-44,
DOI: 10.1145/3239372.3239398,
[Online: http://doi.acm.org/10.1145/3239372.3239398],
[Conference Contribution]
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), P. 143-144, GI,
[Online: https://dl.gi.de/20.500.12116/16314],
[Conference Contribution]
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), P. 38-55, Springer,
DOI: 10.1007/978-3-319-89363-1_3,
[Online: https://doi.org/10.1007/978-3-319-89363-1_3],
[Conference Contribution]
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: 10.1016/j.jss.2018.12.028,
[Online: http://www.sciencedirect.com/science/article/pii/S0164121218302851],
[Article]
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, P. 125-126,
[Conference Contribution]
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, P. 104-113, ISBN 978-1-4503-5221-5, ACM,
DOI: 10.1145/3106195.3106204,
[Online: http://doi.acm.org/10.1145/3106195.3106204],
[Conference Contribution]
Malte Lochau (2017):
Model-based quality assurance of cyber-physical systems with variability in space, over time and at runtime.
Darmstadt, Technische Universität Darmstadt,
[Habilitation]
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, P. 11-20, ISBN 978-1-4503-5518-6, ACM,
DOI: 10.1145/3141848.3141850,
[Online: http://doi.acm.org/10.1145/3141848.3141850],
[Conference Contribution]
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, P. 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],
[Conference Contribution]
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), P. 57-59, Turku Centre for Computer Science,
[Online: https://research.it.abo.fi/nwpt17/proceedings/NWPT2017proceedings.pdf],
[Conference Contribution]
Lars Luthmann ; Stephan Mennicke ; Malte Lochau (2016):
Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing - Technical Report.
In: CoRR, arXiv,
DOI: 10.48550/arXiv.1606.09035,
[Online: http://arxiv.org/abs/1606.09035],
[Report]
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, P. 33-40,
[Online: http://doi.acm.org/10.1145/2866614.2866619],
[Conference Contribution]
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, P. 158-175,
[Online: http://dx.doi.org/10.1007/978-3-662-49665-7_10],
[Conference Contribution]
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, P. 687-733,
[Conference Contribution]
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, P. 81-82,
[Online: http://subs.emis.de/LNI/Proceedings/Proceedings252/article31.html],
[Conference Contribution]
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), P. 144-155, ISBN 978-1-4503-4446-3, ACM,
[Online: http://dx.doi.org/10.1145/2993236.2993253],
[Conference Contribution]
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, P. 17-31,
[Online: http://dx.doi.org/10.4204/EPTCS.206.3],
[Conference Contribution]
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, P. 578-589,
[Online: http://doi.acm.org/10.1145/2970276.2970338],
[Conference Contribution]
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, P. 245-267,
[Online: http://dx.doi.org/10.1016/j.jlamp.2015.09.004],
[Conference Contribution]
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, P. 15-24,
[Online: http://dx.doi.org/10.1109/ICAC.2016.49],
[Conference Contribution]
Lars Luthmann ; Stephan Mennicke ; Malte Lochau (2016):
Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing.
In: 13th International Conference on Formal Aspects of Component Software (FACS 2016), P. 54-72, ISBN 978-3-319-57666-4, Springer International Publishing,
[Online: http://dx.doi.org/10.1007/978-3-319-57666-4_5],
[Conference Contribution]
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, P. 1-13,
[Online: http://dx.doi.org/ 10.4204/EPTCS.182.1],
[Conference Contribution]
Geza Kulcsar ; Frederik Deckwerth ; Malte Lochau ; Gergely Varró ; Andy Schürr (2015):
Improved Conflict Detection for Graph Transformation with Attributes.
In: Graphs as Models, GaM 2015, In: Graphs as Models, 181, P. 97-112,
[Online: http://dx.doi.org/10.4204/EPTCS.181.7],
[Conference Contribution]
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, P. 125-152, ISSN 1619-1366, Springer Berlin Heidelberg,
[Online: http://dx.doi.org/10.1007/s10270-015-0470-4],
[Article]
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), P. 95-96,
[Conference Contribution]
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, P. 84-99,
[Online: http://dx.doi.org/10.1007/978-3-662-46675-9_6],
[Conference Contribution]
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, P. 118-122,
[Online: http://ceur-ws.org/Vol-1524/paper20.pdf],
[Conference Contribution]
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, P. 53-82,
[Online: http://ceur-ws.org/Vol-1524/paper3.pdf],
[Conference Contribution]
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), P. 138-151,
[Online: http://doi.acm.org/10.1145/2807426.2807438],
[Conference Contribution]
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, P. 80-87,
[Online: http://doi.acm.org/10.1145/2701319.2701332],
[Conference Contribution]
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), P. 131-140,
[Online: http://doi.acm.org/10.1145/2791060.2791074],
[Conference Contribution]
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), P. 43-52,
[Conference Contribution]
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), P. 320-335,
[Conference Contribution]
Mustafa Al-Hajjaji ; Thomas Thüm ; Jens Meinicke ; Malte Lochau ; Gunter Saake (2014):
Similarity-based Prioritization in Software Product-Line Testing.
In: Proceedings of the 18th International Software Product Line Conference, In: Software Product Line Conference, P. 197-206,
[Conference Contribution]
Stephan Mennicke ; Malte Lochau ; Julia Schroeter ; Tim Winkelmann (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, P. 62-71,
[Conference Contribution]
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,
[Conference Contribution]
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), [Conference Contribution]
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, P. 310-342, Heidelberg, Springer Verlag,
[Conference Contribution]
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, P. 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,
[Conference Contribution]
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, P. 30-36, ISBN 978-1-4503-2980-4, New York, NY, USA, ACM,
[Online: http://doi.acm.org/10.1145/2660190.2662115],
[Conference Contribution]
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, P. 106-113, ISBN 978-1-4503-2325-3, New York, NY, USA, ACM,
[Online: http://doi.acm.org/10.1145/2499777.2500716],
[Conference Contribution]
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.,
[Article]
Sascha Lity ; Remo Lachmann ; Malte Lochau ; Michael Dukaczewski ; Ina Schaefer (2013):
Delta-orientiertes Testen von variantenreichen Systemen.
In: OBJEKTspektrum, SIGS DATACOM,
[Article]
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), [Conference Contribution]
Sandro Schulze ; Malte Lochau ; Saskia Brunswig (2013):
Implementing Refactorings for FOP - Lessons Learned and Challenges Ahead.
In: FOSD-Treffen 2013, [Conference Contribution]
Sascha Lity ; Remo Lachmann ; Malte Lochau ; Ina Schaefer (2013):
Delta-oriented Software Product Line Test Models - The Body Comfort System Case Study.
[Report]
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), P. 53-56, Los Alamitos, IEEE Computer Society Press,
[Conference Contribution]
Harald Cichos ; Malte Lochau ; Sebastian Oster ; Andy Schürr (2012):
Reduktion von Testsuiten für Software-Produktlinien.
In: Proceedings of the Software Engineering 2012, P. 143-154,
[Conference Contribution]
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, P. 114-125,
[Article]
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, P. 55-62, New York, ACM Press,
[Conference Contribution]
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, P. 9-16, ISBN 978-1-4503-1309-4, New York, NY, USA, ACM,
[Online: http://doi.acm.org/10.1145/2377816.2377818],
[Conference Contribution]
Malte Lochau ; Jochen Kamischke (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, P. 223-237, ISBN 978-3-642-34025-3, Springer Berlin Heidelberg,
[Online: http://dx.doi.org/10.1007/978-3-642-34026-0_17],
[Conference Contribution]
Malte Lochau ; Ina Schaefer ; Jochen Kamischke ; Sascha Lity (2012):
Incremental Model-Based Testing of Delta-Oriented Software Product Lines.
In: Tests and Proofs, 7305, P. 67-82, ISBN 978-3-642-30472-9, Springer Berlin Heidelberg,
[Online: http://dx.doi.org/10.1007/978-3-642-30473-6_7],
[Conference Contribution]
Julia Schroeter ; Malte Lochau ; Tim Winkelmann (2012):
Multi-perspectives on Feature Models.
In: Model Driven Engineering Languages and Systems, 7590, P. 252-268, ISBN 978-3-642-33665-2, Springer Berlin Heidelberg,
[Online: http://dx.doi.org/10.1007/978-3-642-33666-9_17],
[Conference Contribution]
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,
[PhD Thesis]
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, P. 425-439,
[Conference Contribution]
Sebastian Oster ; Ivan Zorcic ; Florian Markert ; Malte Lochau (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, P. 79-82, New York, ACM Press,
[Conference Contribution]
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,
[Article]
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, P. 6:1-6:8, New York, ACM Press,
[Conference Contribution]
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, P. 37-52, ISSN 1571-0661,
[Article]
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, P. 109-112,
[Online: http://dx.doi.org/10.1109/TASE.2008.10],
[Conference Contribution]
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, P. 47-57,
[Online: http://www.ep.liu.se/ecp_article/index.en.aspx?issue=029;article=006],
[Conference Contribution]
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, P. 51-58,
[Online: http://dx.doi.org/10.1109/SERA.2008.10],
[Conference Contribution]