TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 99.

Göttmann, Hendrik ; Bacher, Isabelle ; Gottwald, Nicolas ; Lochau, Malte
Grünbacher, Paul ; Seidl, Christoph ; Dhungana, Deepak ; Lovasz-Bukvova, Helena (eds.) (2021):
Static Analysis Techniques for Efficient Consistency Checking of Real-Time-Aware DSPL Specifications.
In: International Conference Proceeding Series, In: Proceedings of the 15th International Working Conference on Variability Modelling of Software-Intensive Systems,
ACM, VaMoS'21: 15th International Working Conference on Variability Modelling of Software-Intensive Systems, Virtual Event / Krems, Austria, 09.-11.02.2021, ISBN 978-1-4503-8824-5,
DOI: 10.1145/3442391.3442409,
[Conference or Workshop Item]

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, ISSN 1433-2787,
DOI: 10.1007/s10009-020-00574-z,
[Article]

Kulcsar, Geza ; Corradini, Andrea ; Lochau, Malte (2020):
A calculus of concurrent graph-rewriting processes.
In: Journal of Logical and Algebraic Methods in Programming, 110, p. 100500. ISSN 2352-2216,
DOI: 10.1016/j.jlamp.2019.100500,
[Article]

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).
In: Fundamental Approaches to Software Engineering : 23rd International Conference, FASE 2020 ; Proceedings, pp. 520-524,
Cham, Springer, ETAPS 2020, Dublin, Irland, April 25–30, 2020, ISBN 978-3-030-45233-9,
DOI: 10.1007/978-3-030-45234-6_26,
[Conference or Workshop Item]

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.
pp. 55-56, Software Engineering 2020 (SE 2020), Innsbruck, Austria, 24.02.-28.02.2020, DOI: 10.18420/SE2020_14,
[Conference or Workshop Item]

Ruland, Sebastian ; Kulcsar, Geza ; Leblebici, Erhan ; Peldszus, Sven ; Lochau, Malte (2020):
On Controlling the Attack Surface of Object-Oriented Refactorings.
pp. 89-90, Software Engineering 2020 (SE 2020), Innsbruck, Austria, 24.02.-28.02.2020, DOI: 10.18420/SE2020_26,
[Conference or Workshop Item]

Lochau, Malte ; Luthmann, Lars ; Göttmann, Hendrik ; Bacher, Isabelle
Margaria, Tiziana ; Steffen, Bernhard (eds.) (2020):
Parametric Timed Bisimulation.
In: Lecture Notes in Computer Science, 12477, In: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, pp. 55-71,
Springer Nature, 9th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020), Rhodes, Greece, 20.-30.10.2020, ISBN 978-3-030-61469-0,
DOI: 10.1007/978-3-030-61470-6_5,
[Conference or Workshop Item]

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

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, pp. 37 - 42. Elsevier, ISSN 2212-8271,
DOI: 10.1016/j.procir.2020.01.133,
[Article]

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. (Publisher's Version)
In: Procedia CIRP, 90, pp. 37-42. Elsevier, ISSN 2212-8271,
DOI: 10.25534/tuprints-00014563,
[Article]

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, pp. 21-36, Springer, DOI: 10.1007/978-3-030-13499-0_3,
[Book Section]

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), pp. 13:1-13:59. ACM, DOI: 10.1145/3313789,
[Article]

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

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

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

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), pp. 499-521. Springer, DOI: 10.1007/s10270-016-0569-2,
[Article]

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), pp. 1-20. AITO, DOI: 10.5381/jot.2019.18.2.a8,
[Article]

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, pp. 1 - 28. Elsevier, DOI: 10.1016/j.jlamp.2019.03.003,
[Article]

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, pp. 141-173, Springer, DOI: 10.1007/978-3-030-13499-0_7,
[Book Section]

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, pp. 175-206, Springer, DOI: 10.1007/978-3-030-13499-0_8,
[Book Section]

Pett, Tobias ; Thüm, Thomas ; Runge, Tobias ; Krieter, Sebastian ; Lochau, Malte ; Schaefer, Ina (2019):
Product Sampling for Product Lines: The Scalability Challenge.
pp. 14:1-14:6, Paris, ACM, 23rd International Systems and Software Product Line Conference (SPLC '19), DOI: 10.1145/3336294.3336322,
[Conference or Workshop Item]

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, Springer, ISSN 1433-2787,
DOI: 10.1007/s10009-019-00532-4,
[Article]

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.-15.11.2019, DOI: 10.1109/ASE.2019.00120,
[Conference or Workshop Item]

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

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

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

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

Weckesser, Markus ; Lochau, Malte ; Ries, Michael ; Schürr, Andy (2018):
Mathematical Programming for Anomaly Analysis of Clafer Models.
pp. 34-44, 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,
[Conference or Workshop Item]

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.
pp. 119-133, ACM, Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE'18), DOI: 10.1145/3278122.3278130,
[Conference or Workshop Item]

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), Elsevier, DOI: 10.1016/j.jss.2018.12.028,
[Article]

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.
pp. 143-144, GI, Software Engineering und Software Management (SE'18), [Conference or Workshop Item]

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

Varshosaz, Mahsa ; Mousavi, Mohammad Reza ; Luthmann, Lars ; Lochau, Malte (2017):
Expressive Power and Encoding of Transition System Models for Software Product Lines.
pp. 57-59, Turku Centre for Computer Science, 29th Nordic Workshop on Programming Theory (NWPT'17), [Conference or Workshop Item]

Lochau, Malte (2017):
Model-based Quality Assurance of Cyber-Physical Systems with Variability in Space, over Time and at Runtime.
Darmstadt, Technische Universität, [Habilitation]

Lochau, Malte (2017):
Model-based quality assurance of cyber-physical systems with variability in space, over time and at runtime.
Darmstadt, [Habilitation]

Luthmann, Lars ; Stephan, Andreas ; Bürdek, Johannes ; Lochau, Malte (2017):
Modeling and Testing Product Lines with Unbounded Parametric Real-Time Constraints.
pp. 104-113, ACM, Proceedings of the 21st International Systems and Software Product Line Conference, ISBN 978-1-4503-5221-5,
DOI: 10.1145/3106195.3106204,
[Conference or Workshop Item]

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

Weckesser, Markus ; Lochau, Malte ; Ries, Michael ; Schürr, Andy (2017):
Towards Complete Consistency Checks of Clafer Models.
pp. 11-20, ACM, Proceedings of the 8th ACM SIGPLAN International Workshop on Feature-Oriented Software Development, ISBN 978-1-4503-5518-6,
DOI: 10.1145/3141848.3141850,
[Conference or Workshop Item]

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

Schnabel, Thomas ; Weckesser, Markus ; Kluge, Roland ; Lochau, Malte ; Schürr, Andy (2016):
CardyGAn: Tool Support for Cardinality-based Feature Models.
pp. 33-40, Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems, Salvador, Brazil, January 27 - 29, 2016, [Conference or Workshop Item]

Luthmann, Lars ; Mennicke, Stephan ; Lochau, Malte
Kouchnarenko, Olga ; Khosravi, Ramtin (eds.) (2016):
Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing.
pp. 54-72, Springer International Publishing, 13th International Conference on Formal Aspects of Component Software (FACS 2016), ISBN 978-3-319-57666-4,
[Conference or Workshop Item]

Luthmann, Lars ; Mennicke, Stephan ; Lochau, Malte (2016):
Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing - Technical Report.
[Report]

Deckwerth, Frederik ; Kulcsar, Geza ; Lochau, Malte ; Varró, Gergely ; Schürr, Andy (2016):
Conflict Detection for Edits on Extended Feature Models using Symbolic Graph Transformation.
In: Electronic Proceedings in Theoretical Computer Science, 206, pp. 17-31, Proceedings of the 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering, [Conference or Workshop Item]

Peldszus, Sven ; Kulcsar, Geza ; Lochau, Malte ; Schulze, Sandro (2016):
Continuous detection of design flaws in evolving object-oriented programs using incremental multi-pattern matching.
pp. 578-589, Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, [Conference or Workshop Item]

Krupitzer, Christian ; Roth, Felix Maximilian ; Becker, Christian ; Weckesser, Markus ; Lochau, Malte ; Schürr, Andy (2016):
FESAS IDE: An Integrated Development Environment for Autonomic Computing.
pp. 15-24, 2016 IEEE International Conference on Autonomic Computing, ICAC 2016, Wuerzburg, Germany, July 17-22, 2016, [Conference or Workshop Item]

Al-Hajjaji, Mustafa ; Krieter, Sebastian ; Thüm, Thomas ; Lochau, Malte ; Saake, Gunter (2016):
IncLing: Efficient Product-line Testing Using Incremental Pairwise Sampling.
pp. 144-155, ACM, Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE 2016), ISBN 978-1-4503-4446-3,
[Conference or Workshop Item]

Lochau, Malte ; Mennicke, Stephan ; Baller, Hauke ; Ribbeck, Lars (2016):
Incremental model checking of delta-oriented software product lines.
85, pp. 245-267, [Conference or Workshop Item]

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.
pp. 158-175, 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, [Conference or Workshop Item]

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.
pp. 81-82, Software Engineering, SE 2016, [Conference or Workshop Item]

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.
23, pp. 687-733, Automated Software Engineering, [Conference or Workshop Item]

Luthmann, Lars ; Mennicke, Stephan ; Lochau, Malte (2015):
Towards an I/O Conformance Testing Theory for Software Product Lines based on Modal Interface Automata.
In: Electronic Proceedings in Theoretical Computer Science, 182, pp. 1-13, Proceedings of the 6th Workshop on Formal Methods and Analysis in SPL Engineering, [Conference or Workshop Item]

Kulcsar, Geza ; Deckwerth, Frederik ; Lochau, Malte ; Varró, Gergely ; Schürr, Andy
Rensink, Arend ; Zambon, Eduardo (eds.) (2015):
Improved Conflict Detection for Graph Transformation with Attributes.
In: Electronic Proceedings in Theoretical Computer Science, 181, In: Graphs as Models, pp. 97-112,
Graphs as Models, GaM 2015, [Conference or Workshop Item]

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.
pp. 84-99, 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, [Conference or Workshop Item]

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.
In: Proceedings of the 19th International Conference on Software Product Line (SPLC), pp. 131-140,
[Conference or Workshop Item]

Peldszus, Sven ; Kulcsar, Geza ; Lochau, Malte ; Schulze, Sandro (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), pp. 138-151,
[Conference or Workshop Item]

Kulcsar, Geza ; Peldszus, Sven ; Lochau, Malte (2015):
Object-oriented Refactoring of Java Programs using Graph Transformation.
In: CEUR Workshop Proceedings, 1524, In: Proceedings of the 8th Transformation Tool Contest, a part of the Software Technologies: Applications and Foundations (STAF) 2015 federation of conferences, pp. 53-82,
L'Aquila, [Conference or Workshop Item]

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

Lity, Sascha ; Bürdek, Johannes ; Lochau, Malte ; Berens, Markus ; Schaefer, Ina (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), pp. 43-52,
[Conference or Workshop Item]

Peldszus, Sven ; Kulcsar, Geza ; Lochau, Malte (2015):
A Solution to the Java Refactoring Case Study using eMoflon.
In: CEUR Workshop Proceedings, 1524, In: Proceedings of the 8th Transformation Tool Contest, a part of the Software Technologies: Applications and Foundations (STAF) federation of conferences, pp. 118-122,
L'Aquila, [Conference or Workshop Item]

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), pp. 125-152. Springer Berlin Heidelberg, ISSN 1619-1366,
[Article]

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.
In: Proceedings of the Ninth International Workshop on Variability Modelling of Software-intensive Systems, pp. 80-87,
[Conference or Workshop Item]

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

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

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

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.
62, In: at – Automatisierungstechnik 2014, pp. 771-780, [Book Section]

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

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

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

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.
In: ACM Digital Library Proceedings, New York, ACM Press, Proceedings of the 8th International Workshop on Variability Modeling of Software-Intensive Systems, [Conference or Workshop Item]

Baller, Hauke ; Lochau, Malte (2014):
Towards Incremental Test Suite Optimization for Software Product Lines.
In: FOSD '14, pp. 30-36, New York, NY, USA, ACM, Proceedings of the 6th International Workshop on Feature-Oriented Software Development, ISBN 978-1-4503-2980-4,
[Conference or Workshop Item]

Saller, Karsten ; Lochau, Malte ; Reimund, Ingo (2013):
Context-aware DSPLs: model-based runtime adaptation for resource-constrained systems.
In: SPLC '13 Workshops, pp. 106-113, New York, NY, USA, ACM, 17th International Software Product Line Conference co-located workshops, ISBN 978-1-4503-2325-3,
[Conference or Workshop Item]

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

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, Elsevier Science Publ., [Article]

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

Schulze, Sandro ; Lochau, Malte ; Brunswig, Saskia (2013):
Implementing Refactorings for FOP - Lessons Learned and Challenges Ahead.
FOSD-Treffen 2013, [Conference or Workshop Item]

Saller, Karsten ; Oster, Sebastian ; Schürr, Andy ; Schroeter, Julia ; Lochau, Malte (2013):
Reducing Feature Models to Improve Runtime Adaptivity on Resource Limited Devices.
2, pp. 135-142, USA, ACM New York, Proceedings of the 16th International Software Product Line Conference, SPLC '12, ISBN 978-1-4503-1095-6,
[Conference or Workshop Item]

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), [Conference or Workshop Item]

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

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

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), pp. 114-125. [Article]

Kamischke, Jochen ; Lochau, Malte ; Baller, Hauke (2012):
Conditioned Model Slicing of Feature-annotated State Machines.
In: FOSD '12, pp. 9-16, New York, NY, USA, ACM, Proceedings of the 4th International Workshop on Feature-Oriented Software Development, New York, NY, USA, ISBN 978-1-4503-1309-4,
[Conference or Workshop Item]

Lochau, Malte ; Schaefer, Ina ; Kamischke, Jochen ; Lity, Sascha
Brucker, Achim ; Julliand, Jacques (eds.) (2012):
Incremental Model-Based Testing of Delta-Oriented Software Product Lines.
In: Lecture Notes in Computer Science, 7305, In: Tests and Proofs, pp. 67-82,
Springer Berlin Heidelberg, ISBN 978-3-642-30472-9,
[Conference or Workshop Item]

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

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

Schroeter, Julia ; Lochau, Malte ; Winkelmann, Tim
France, Robert ; Kazmeier, Jürgen ; Breu, Ruth ; Atkinson, Colin (eds.) (2012):
Multi-perspectives on Feature Models.
In: Lecture Notes in Computer Science, 7590, In: Model Driven Engineering Languages and Systems, pp. 252-268,
Springer Berlin Heidelberg, ISBN 978-3-642-33665-2,
[Conference or Workshop Item]

Lochau, Malte ; Kamischke, Jochen
Margaria, Tiziana ; Steffen, Bernhard (eds.) (2012):
Parameterized Preorder Relations for Model-Based Testing of Software Product Lines.
In: Lecture Notes in Computer Science, 7609, In: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, pp. 223-237,
Springer Berlin Heidelberg, ISBN 978-3-642-34025-3,
[Conference or Workshop Item]

Cichos, Harald ; Lochau, Malte ; Oster, Sebastian ; Schürr, Andy (2012):
Reduktion von Testsuiten für Software-Produktlinien.
In: GI-Edition Lecture Notes in Informatics, In: Proceedings of the Software Engineering 2012, pp. 143-154,
[Conference or Workshop Item]

Cichos, Harald ; Oster, Sebastian ; Lochau, Malte ; Schürr, Andy (2011):
Model-based Coverage-Driven Test Suite Generation for Software Product Lines.
In: Lecture Notes in Computer Science (LNCS), 6981, In: Proceedings of the ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems (MoDELS), pp. 425-439,
[Conference or Workshop Item]

Cichos, Harald ; Oster, Sebastian ; Lochau, Malte ; Schürr, Andy (2011):
Extended Version of Model-based Coverage-Driven Test Suite Generation for Software Product Lines.
(07), Technische Universität Braunschweig, [Report]

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

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

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, Springer Verlag, [Article]

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

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

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]

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

Knieke, Christoph ; Huhn, Michaela ; Lochau, Malte (2008):
Executable Requirements Specification: Formal Semantics of Live Activity Diagrams.
pp. 109-112, Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, TASE 2008, June 17-19, 2008, Nanjing, China, [Conference or Workshop Item]

Knieke, Christoph ; Huhn, Michaela ; Lochau, Malte (2008):
Modeling and Validation of Executable Requirements Using Live Activity Diagrams.
pp. 51-58, Proceedings of the 6th ACIS International Conference on Software Engineering Research, Management and Applications, SERA 2008, 20-22 August 2008, Prague, Czech Republic, [Conference or Workshop Item]

Lochau, Malte ; Günther, Henning (2008):
A Static Aspect Language for Modelica Models.
pp. 47-57, Proceedings of the 2nd International Workshop on Equation-Based Object-Oriented Languages and Tools, EOOLT 2008, Paphos, Cyprus, July 8, 2008, [Conference or Workshop Item]

This list was generated on Sat May 21 02:20:34 2022 CEST.