Artikel

Göttmann, Hendrik ; Caesar, Birte ; Beers, Lasse ; Lochau, Malte ; Schürr, Andy ; Fay, Alexander (2024)
Cost-sensitive precomputation of real-time-aware reconfiguration strategies based on stochastic priced timed games.
In: Software and Systems Modeling, 2024
doi: 10.1007/s10270-024-01195-9
Artikel, Bibliographie

Ruland, Sebastian ; Lochau, Malte ; Fehse, Oliver ; Schürr, Andy (2020)
CPA/Tiger-MGP: test-goal set partitioning for efficient multi-goal test-suite generation.
In: International Journal on Software Tools for Technology Transfer, 23 (6)
doi: 10.1007/s10009-020-00574-z
Artikel, Bibliographie

Kulcsar, Geza ; Corradini, Andrea ; Lochau, Malte (2020)
A calculus of concurrent graph-rewriting processes.
In: Journal of Logical and Algebraic Methods in Programming, 110
doi: 10.1016/j.jlamp.2019.100500
Artikel, Bibliographie

Kutscher, Vladimir ; Ruland, Sebastian ; Müller, Patrick ; Wasser, Nathan ; Lochau, Malte ; Anderl, Reiner ; Schürr, Andy ; Mezini, Mira ; Hähnle, Reiner (2020)
Towards a Circular Economy of Industrial Software.
In: Procedia CIRP, 90
doi: 10.1016/j.procir.2020.01.133
Artikel, Bibliographie

Reuling, Dennis ; Kelter, Udo ; Bürdek, Johannes ; Lochau, Malte (2019)
Automated N-way Program Merging for Facilitating Family-based Analyses of Variant-rich Software.
In: Transaction on Software Engineering and Methodology, 28 (3)
doi: 10.1145/3313789
Artikel, Bibliographie

Al-Hajjaji, Mustafa ; Thüm, Thomas ; Lochau, Malte ; Meinicke, Jens ; Saake, Gunter (2019)
Effective product-line testing using similarity-based product prioritization.
In: Software and Systems Modeling, 18 (1)
doi: 10.1007/s10270-016-0569-2
Artikel, Bibliographie

Reuling, Dennis ; Lochau, Malte ; Kelter, Udo (2019)
From Imprecise N-Way Model Matching to Precise N-Way Model Merging.
In: Journal of Object Technology, 18 (2)
doi: 10.5381/jot.2019.18.2.a8
Artikel, Bibliographie

Varshosaz, Mahsa ; Luthmann, Lars ; Mohr, Paul ; Lochau, Malte ; Mousavi, Mohammad Reza (2019)
Modal transition system encoding of featured transition systems.
In: Journal of Logical and Algebraic Methods in Programming, 106
doi: 10.1016/j.jlamp.2019.03.003
Artikel, Bibliographie

Luthmann, Lars ; Gerecht, Timo ; Lochau, Malte (2019)
Sampling strategies for product lines with unbounded parametric real-time constraints.
In: International Journal on Software Tools for Technology Transfer
doi: 10.1007/s10009-019-00532-4
Artikel, Bibliographie

Capilla, Rafael ; Fuentes, Lidia ; Lochau, Malte (2019)
Software variability in dynamic environments.
In: Journal of Systems and Software, 156
doi: 10.1016/j.jss.2019.06.003
Artikel, Bibliographie

Luthmann, Lars ; Gerecht, Timo ; Stephan, Andreas ; Bürdek, Johannes ; Lochau, Malte (2018)
Minimum/maximum delay testing of product lines with unbounded parametric real-time constraints.
In: Journal of Systems and Software, (149)
doi: 10.1016/j.jss.2018.12.028
Artikel, Bibliographie

Luthmann, Lars ; Mennicke, Stephan ; Lochau, Malte (2018)
Unifying modal interface theories and compositional input/output conformance testing.
In: Science of Computer Programming, (172)
doi: 10.1016/j.scico.2018.09.008
Artikel, Bibliographie

Lochau, Malte ; Bürdek, Johannes ; Hölzle, Stefan ; Schürr, Andy (2015)
Specification and automated validation of staged reconfiguration processes for dynamic software product lines.
In: Software & Systems Modeling, 16 (1)
Artikel, Bibliographie

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

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

Gietzelt, Matthias ; Goltz, Ursula ; Grünwald, David ; Lochau, Malte ; Marschollek, Michael ; Song, Bianying ; Wolf, Klaus (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 (2)
Artikel, Bibliographie

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

Lochau, Malte ; Goltz, Ursula (2010)
Feature Interaction Aware Test Case Generation for Embedded Control Systems.
In: Electronic Notes in Theoretical Computer Science, 264 (3)
Artikel, Bibliographie

Buchkapitel

Jung, Reiner ; Märtin, Lukas ; Johanssen, Jan Ole ; Paech, Barbara ; Lochau, Malte ; Thüm, Thomas ; Schneider, Kurt ; Tichy, Matthias ; Ulbrich, Mattias (2019)
Addressed Challenges.
In: Managed Software Evolution
doi: 10.1007/978-3-030-13499-0_3
Buchkapitel, Bibliographie

Lochau, Malte ; Reuling, Dennis ; Bürdek, Johannes ; Kehrer, Timo ; Lity, Sascha ; Schürr, Andy ; Kelter, Udo (2019)
Model-Based Round-Trip Engineering and Testing of Evolving Software Product Lines.
In: Managed Software Evolution
doi: 10.1007/978-3-030-13499-0_7
Buchkapitel, Bibliographie

Thüm, Thomas ; Hoorn, André van ; Apel, Sven ; Bürdek, Johannes ; Getir, Sinem ; Heinrich, Robert ; Jung, Reiner ; Kowal, Matthias ; Lochau, Malte ; Schaefer, Ina ; Walter, Jürgen (2019)
Performance Analysis Strategies for Software Variants and Versions.
In: Managed Software Evolution
doi: 10.1007/978-3-030-13499-0_8
Buchkapitel, Bibliographie

Lochau, Malte ; Bürdek, Johannes ; Lity, Sascha ; Hagner, Matthias ; Legat, Christoph ; Goltz, Ursula ; Schürr, Andy (2014)
Applying Model-based Software Product Line Testing Approaches to the Automation Engineering Domain.
In: at – Automatisierungstechnik 2014
Buchkapitel, Bibliographie

Konferenzveröffentlichung

Basile, Davide ; Ter Beek, Maurice H ; Göttmann, Hendrik ; Lochau, Malte (2023)
Mutant Equivalence as Monotonicity in Parametric Timed Games.
11th International Conference on Formal Methods in Software Engineering. Melbourne, Australia (14.05.2023-15.05.2023)
doi: 10.1109/FormaliSE58978.2023.00014
Konferenzveröffentlichung, Bibliographie

Göttmann, Hendrik ; Caesar, Birte ; Beers, Lasse ; Lochau, Malte ; Schürr, Andy ; Fay, Alexander
Hrsg.: Engels, Gregor ; Hebig, Regina ; Tichy, Matthias (2023)
Precomputing Reconfiguration Strategies based on Stochastic Timed Game Automata.
Software Engineering 2023 - Fachtagung des GI-Fachbereichs Softwaretechnik. Paderborn, Germany (20.02.2023-24.02.2023)
Konferenzveröffentlichung, Bibliographie

Göttmann, Hendrik ; Caesar, Birte ; Beers, Lasse ; Lochau, Malte ; Schürr, Andy ; Fay, Alexander
Hrsg.: Syriani, Eugene ; Sahraoui, Houari A. ; Bencomo, Nelly ; Wimmer, Manuel (2022)
Precomputing Reconfiguration Strategies based on Stochastic Timed Game Automata.
25th International Conference on Model Driven Engineering Languages and Systems. Montreal, Canada (23.10.2022-28.10.2022)
doi: 10.1145/3550355.3552397
Konferenzveröffentlichung, Bibliographie

Göttmann, Hendrik ; Bacher, Isabelle ; Gottwald, Nicolas ; Lochau, Malte
Hrsg.: Grünbacher, Paul ; Seidl, Christoph ; Dhungana, Deepak ; Lovasz-Bukvova, Helena (2021)
Static Analysis Techniques for Efficient Consistency Checking of Real-Time-Aware DSPL Specifications.
VaMoS'21: 15th International Working Conference on Variability Modelling of Software-Intensive Systems. Virtual Event / Krems, Austria (09.02.2021-11.02.2021)
doi: 10.1145/3442391.3442409
Konferenzveröffentlichung, Bibliographie

Ruland, Sebastian ; Lochau, Malte ; Jakobs, Marie-Christine (2020)
HybridTiger: Hybrid Model Checking and Domination-based Partitioning for Efficient Multi-Goal Test-Suite Generation (Competition Contribution).
ETAPS 2020. Dublin, Irland (25.04.2020-30.04.2020)
doi: 10.1007/978-3-030-45234-6_26
Konferenzveröffentlichung, Bibliographie

Reuling, Dennis ; Kelter, Udo ; Bürdek, Johannes ; Lochau, Malte (2020)
On Automated N-way Program Merging for Facilitating Family-based Analyses of Variant-rich Software.
Software Engineering 2020 (SE 2020). Innsbruck, Austria (24.02.2020-28.02.2020)
doi: 10.18420/SE2020_14
Konferenzveröffentlichung, Bibliographie

Ruland, Sebastian ; Kulcsar, Geza ; Leblebici, Erhan ; Peldszus, Sven ; Lochau, Malte (2020)
On Controlling the Attack Surface of Object-Oriented Refactorings.
Software Engineering 2020 (SE 2020). Innsbruck, Austria (24.02.2020-28.02.2020)
doi: 10.18420/SE2020_26
Konferenzveröffentlichung, Bibliographie

Lochau, Malte ; Luthmann, Lars ; Göttmann, Hendrik ; Bacher, Isabelle
Hrsg.: Margaria, Tiziana ; Steffen, Bernhard (2020)
Parametric Timed Bisimulation.
9th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020). Rhodes, Greece (20.10.2020-30.10.2020)
doi: 10.1007/978-3-030-61470-6_5
Konferenzveröffentlichung, Bibliographie

Soldani, Jacopo ; Luthmann, Lars ; Lochau, Malte ; Brogi, Antonio (2020)
Testing Conformance in Multi-component Enterprise Application Management.
8th IFIP WG 2.14 European Conference, ESOCC 2020. Heraklion, Crete, Greece (28.09.2020-30.09.2020)
doi: 10.1007/978-3-030-44769-4_1
Konferenzveröffentlichung, Bibliographie

Luthmann, Lars ; Göttmann, Hendrik ; Lochau, Malte (2019)
Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata.
doi: 10.1007/978-3-030-40914-2_8
Konferenzveröffentlichung, Bibliographie

Pett, Tobias ; Thüm, Thomas ; Runge, Tobias ; Krieter, Sebastian ; Lochau, Malte ; Schaefer, Ina (2019)
Product Sampling for Product Lines: The Scalability Challenge.
23rd International Systems and Software Product Line Conference (SPLC '19).
doi: 10.1145/3336294.3336322
Konferenzveröffentlichung, Bibliographie

Reuling, Dennis ; Kelter, Udo ; Ruland, Sebastian ; Lochau, Malte (2019)
SiMPOSE - Configurable N-Way Program Merging Strategies for Superimposition-Based Analysis of Variant-Rich Software.
34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019). San Diego, USA (11.11.2019-15.11.2019)
doi: 10.1109/ASE.2019.00120
Konferenzveröffentlichung, Bibliographie

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

Kulcsar, Geza ; Corradini, Andrea ; Lochau, Malte
Hrsg.: Lambers, Leen ; Weber, Jens (2018)
Equivalence and Independence in Controlled Graph-Rewriting Processes.
11th International Conference on Graph Transformation (ICGT'18).
Konferenzveröffentlichung, Bibliographie

Kulcsar, Geza ; Lochau, Malte ; Schürr, Andy
Hrsg.: Lambers, Leen ; Weber, Jens (2018)
Graph-Rewriting Petri Nets.
11th International Conference on Graph Transformation (ICGT'18).
Konferenzveröffentlichung, Bibliographie

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

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

Peldszus, Sven ; Kulcsar, Geza ; Lochau, Malte ; Schulze, Sandro (2018)
On Continuous Detection of Design Flaws in Evolving Object-Oriented Programs using Incremental Multi-Pattern Matching.
Software Engineering und Software Management (SE'18).
Konferenzveröffentlichung, Bibliographie

Varshosaz, Mahsa ; Mousavi, Mohammad Reza ; Luthmann, Lars ; Lochau, Malte (2017)
Expressive Power and Encoding of Transition System Models for Software Product Lines.
29th Nordic Workshop on Programming Theory (NWPT'17).
Konferenzveröffentlichung, Bibliographie

Luthmann, Lars ; Stephan, Andreas ; Bürdek, Johannes ; Lochau, Malte (2017)
Modeling and Testing Product Lines with Unbounded Parametric Real-Time Constraints.
Proceedings of the 21st International Systems and Software Product Line Conference.
doi: 10.1145/3106195.3106204
Konferenzveröffentlichung, Bibliographie

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

Weckesser, Markus ; Lochau, Malte ; Ries, Michael ; Schürr, Andy (2017)
Towards Complete Consistency Checks of Clafer Models.
Proceedings of the 8th ACM SIGPLAN International Workshop on Feature-Oriented Software Development.
doi: 10.1145/3141848.3141850
Konferenzveröffentlichung, Bibliographie

Weckesser, Markus ; Lochau, Malte ; Ries, Michael ; Schürr, Andy (2017)
Towards Complete Consistency Checks of Clafer Models.
Proceedings of the 8th ACM SIGPLAN International Workshop on Feature-Oriented Software Development. New York, NY, USA
doi: 10.1145/3141848.3141850
Konferenzveröffentlichung, Bibliographie

Schnabel, Thomas ; Weckesser, Markus ; Kluge, Roland ; Lochau, Malte ; Schürr, Andy (2016)
CardyGAn: Tool Support for Cardinality-based Feature Models.
Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems. Salvador, Brazil (27.01.2016-29.01.2016)
Konferenzveröffentlichung, Bibliographie

Luthmann, Lars ; Mennicke, Stephan ; Lochau, Malte
Hrsg.: Kouchnarenko, Olga ; Khosravi, Ramtin (2016)
Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing.
13th International Conference on Formal Aspects of Component Software (FACS 2016).
Konferenzveröffentlichung, Bibliographie

Deckwerth, Frederik ; Kulcsar, Geza ; Lochau, Malte ; Varró, Gergely ; Schürr, Andy (2016)
Conflict Detection for Edits on Extended Feature Models using Symbolic Graph Transformation.
Proceedings of the 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering.
Konferenzveröffentlichung, Bibliographie

Peldszus, Sven ; Kulcsar, Geza ; Lochau, Malte ; Schulze, Sandro (2016)
Continuous detection of design flaws in evolving object-oriented programs using incremental multi-pattern matching.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering.
Konferenzveröffentlichung, Bibliographie

Krupitzer, Christian ; Roth, Felix Maximilian ; Becker, Christian ; Weckesser, Markus ; Lochau, Malte ; Schürr, Andy (2016)
FESAS IDE: An Integrated Development Environment for Autonomic Computing.
2016 IEEE International Conference on Autonomic Computing, ICAC 2016, Wuerzburg, Germany, July 17-22, 2016.
Konferenzveröffentlichung, Bibliographie

Al-Hajjaji, Mustafa ; Krieter, Sebastian ; Thüm, Thomas ; Lochau, Malte ; Saake, Gunter (2016)
IncLing: Efficient Product-line Testing Using Incremental Pairwise Sampling.
Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE 2016).
Konferenzveröffentlichung, Bibliographie

Lochau, Malte ; Mennicke, Stephan ; Baller, Hauke ; Ribbeck, Lars (2016)
Incremental model checking of delta-oriented software product lines.
Konferenzveröffentlichung, Bibliographie

Weckesser, Markus ; Lochau, Malte ; Schnabel, Thomas ; Richerzhagen, Björn ; Schürr, Andy (2016)
Mind the Gap! Automated Anomaly Detection for Potentially Unbounded Cardinality-Based Feature Models.
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.
Konferenzveröffentlichung, Bibliographie

Lochau, Malte ; Bürdek, Johannes ; Bauregger, Stefan ; Holzer, Andreas ; Rhein, Alexander von ; Apel, Sven ; Beyer, Dirk (2016)
On facilitating reuse in multi-goal test-suite generation for software product lines.
Software Engineering, SE 2016.
Konferenzveröffentlichung, Bibliographie

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

Luthmann, Lars ; Mennicke, Stephan ; Lochau, Malte (2015)
Towards an I/O Conformance Testing Theory for Software Product Lines based on Modal Interface Automata.
Proceedings of the 6th Workshop on Formal Methods and Analysis in SPL Engineering.
Konferenzveröffentlichung, Bibliographie

Kulcsar, Geza ; Deckwerth, Frederik ; Lochau, Malte ; Varró, Gergely ; Schürr, Andy
Hrsg.: Rensink, Arend ; Zambon, Eduardo (2015)
Improved Conflict Detection for Graph Transformation with Attributes.
Graphs as Models, GaM 2015.
Konferenzveröffentlichung, Bibliographie

Bürdek, Johannes ; Lochau, Malte ; Bauregger, Stefan ; Holzer, Andreas ; Rhein, Alexander von ; Apel, Sven ; Beyer, Dirk (2015)
Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines.
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.
Konferenzveröffentlichung, Bibliographie

Reuling, Dennis ; Bürdek, Johannes ; Rotärmel, Serge ; Lochau, Malte ; Kelter, Udo (2015)
Fault-based product-line testing: effective sample generation based on feature-diagram mutation.
Konferenzveröffentlichung, Bibliographie

Peldszus, Sven ; Kulcsar, Geza ; Lochau, Malte ; Schulze, Sandro (2015)
Incremental Co-Evolution of Java Programs based on Bidirectional Graph Transformation.
Konferenzveröffentlichung, Bibliographie

Kulcsar, Geza ; Peldszus, Sven ; Lochau, Malte (2015)
Object-oriented Refactoring of Java Programs using Graph Transformation.
L'Aquila
Konferenzveröffentlichung, Bibliographie

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

Lity, Sascha ; Bürdek, Johannes ; Lochau, Malte ; Berens, Markus ; Schaefer, Ina (2015)
Re-Engineering Automation Systems as Dynamic Software Product Lines.
Konferenzveröffentlichung, Bibliographie

Peldszus, Sven ; Kulcsar, Geza ; Lochau, Malte (2015)
A Solution to the Java Refactoring Case Study using eMoflon.
L'Aquila
Konferenzveröffentlichung, Bibliographie

Benduhn, Fabian ; Thüm, Thomas ; Lochau, Malte ; Leich, Thomas ; Saake, Gunter (2015)
A Survey on Modeling Techniques for Formal Behavioral Verification of Software Product Lines.
Konferenzveröffentlichung, Bibliographie

Lochau, Malte ; Mennicke, Stephan ; Baller, Hauke ; Ribbeck, Lars (2014)
DeltaCCS: A Core Calculus for Behavioral Change.
Proceedings of 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation.
Konferenzveröffentlichung, Bibliographie

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

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

Lochau, Malte ; Peldszus, Sven ; Kowal, Matthias ; Schaefer, Ina (2014)
Model-Based Testing.
Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems.
Konferenzveröffentlichung, Bibliographie

Anjorin, Anthony ; Saller, Karsten ; Lochau, Malte ; Schürr, Andy (2014)
Modularizing Triple Graph Grammars using Rule Refinement.
17th International Conference on Fundamental Approaches to Software Engineering (FASE).
Konferenzveröffentlichung, Bibliographie

Baller, Hauke ; Lity, Sascha ; Lochau, Malte ; Schaefer, Ina (2014)
Multi-Objective Test Suite Optimization for Incremental Product Family Testing.
7th IEEE International Conference on Software Testing, Verification and Validation.
Konferenzveröffentlichung, Bibliographie

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

Baller, Hauke ; Lochau, Malte (2014)
Towards Incremental Test Suite Optimization for Software Product Lines.
Proceedings of the 6th International Workshop on Feature-Oriented Software Development.
Konferenzveröffentlichung, Bibliographie

Saller, Karsten ; Lochau, Malte ; Reimund, Ingo (2013)
Context-aware DSPLs: model-based runtime adaptation for resource-constrained systems.
17th International Software Product Line Conference co-located workshops.
Konferenzveröffentlichung, Bibliographie

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

Saller, Karsten ; Oster, Sebastian ; Schürr, Andy ; Schroeter, Julia ; Lochau, Malte (2013)
Reducing Feature Models to Improve Runtime Adaptivity on Resource Limited Devices.
Proceedings of the 16th International Software Product Line Conference, SPLC '12.
Konferenzveröffentlichung, Bibliographie

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

Lity, Sascha ; Lochau, Malte ; Schaefer, Ina ; Goltz, Ursula (2012)
Delta-oriented Model-based SPL Regression Testing.
2012 3rd International Workshop on Product Line Approaches in Software Engineering (PLEASE). Los Alamitos
Konferenzveröffentlichung, Bibliographie

Kamischke, Jochen ; Lochau, Malte ; Baller, Hauke (2012)
Conditioned Model Slicing of Feature-annotated State Machines.
Proceedings of the 4th International Workshop on Feature-Oriented Software Development. New York, NY, USA
Konferenzveröffentlichung, Bibliographie

Lochau, Malte ; Schaefer, Ina ; Kamischke, Jochen ; Lity, Sascha
Hrsg.: Brucker, Achim ; Julliand, Jacques (2012)
Incremental Model-Based Testing of Delta-Oriented Software Product Lines.
Konferenzveröffentlichung, Bibliographie

Steffens, Michaela ; Oster, Sebastian ; Lochau, Malte ; Fogdal, Thomas (2012)
Industrial evaluation of pairwise SPL testing with MoSo-PoLiTe.
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems. New York
Konferenzveröffentlichung, Bibliographie

Schroeter, Julia ; Lochau, Malte ; Winkelmann, Tim
Hrsg.: France, Robert ; Kazmeier, Jürgen ; Breu, Ruth ; Atkinson, Colin (2012)
Multi-perspectives on Feature Models.
Konferenzveröffentlichung, Bibliographie

Lochau, Malte ; Kamischke, Jochen
Hrsg.: Margaria, Tiziana ; Steffen, Bernhard (2012)
Parameterized Preorder Relations for Model-Based Testing of Software Product Lines.
Konferenzveröffentlichung, Bibliographie

Cichos, Harald ; Lochau, Malte ; Oster, Sebastian ; Schürr, Andy (2012)
Reduktion von Testsuiten für Software-Produktlinien.
Konferenzveröffentlichung, Bibliographie

Cichos, Harald ; Oster, Sebastian ; Lochau, Malte ; Schürr, Andy (2011)
Model-based Coverage-Driven Test Suite Generation for Software Product Lines.
Konferenzveröffentlichung, Bibliographie

Oster, Sebastian ; Zorcic, Ivan ; Markert, Florian ; Lochau, Malte
Hrsg.: Czarnecki, K. ; Eisenecker, U. (2011)
MoSo-PoLiTe - Tool Support for Pairwise and Model-Based Software Product Line Testing.
5th International Workshop on Variability Modelling of Software-Intensive Systems, Namur, Belgium.
Konferenzveröffentlichung, Bibliographie

Oster, Sebastian ; Lochau, Malte ; Zink, Marius ; Grechanik, Mark (2011)
Pairwise Feature-Interaction Testing for SPLs: Potentials and Limitations.
Proceeding of the International Software Product Line Conference Workshop FOSD. New York
Konferenzveröffentlichung, Bibliographie

Knieke, Christoph ; Huhn, Michaela ; Lochau, Malte (2008)
Executable Requirements Specification: Formal Semantics of Live Activity Diagrams.
Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, TASE 2008, June 17-19, 2008, Nanjing, China.
Konferenzveröffentlichung, Bibliographie

Knieke, Christoph ; Huhn, Michaela ; Lochau, Malte (2008)
Modeling and Validation of Executable Requirements Using Live Activity Diagrams.
Proceedings of the 6th ACIS International Conference on Software Engineering Research, Management and Applications, SERA 2008, 20-22 August 2008, Prague, Czech Republic.
Konferenzveröffentlichung, Bibliographie

Lochau, Malte ; Günther, Henning (2008)
A Static Aspect Language for Modelica Models.
Proceedings of the 2nd International Workshop on Equation-Based Object-Oriented Languages and Tools, EOOLT 2008, Paphos, Cyprus, July 8, 2008.
Konferenzveröffentlichung, Bibliographie

Report

Luthmann, Lars ; Göttmann, Hendrik ; Lochau, Malte (2019)
Checking Timed Bisimulation with Bounded Zone-History Graphs - Technical Report.
doi: 10.48550/arXiv.1910.08992
Report, Bibliographie

Luthmann, Lars ; Göttmann, Hendrik ; Lochau, Malte (2019)
Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata - Technical Report.
doi: 10.48550/arXiv.1909.03703
Report, Bibliographie

Luthmann, Lars ; Mennicke, Stephan ; Lochau, Malte (2016)
Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing - Technical Report.
doi: 10.48550/arXiv.1606.09035
Report, Bibliographie

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

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

Cichos, Harald ; Oster, Sebastian ; Lochau, Malte ; Schürr, Andy (2011)
Extended Version of Model-based Coverage-Driven Test Suite Generation for Software Product Lines.
Report, Bibliographie

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

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

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

Habilitation

Lochau, Malte (2017)
Model-based quality assurance of cyber-physical systems with variability in space, over time and at runtime.
Technische Universität Darmstadt
Habilitation, Bibliographie

Dissertation

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