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: 86.

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

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

Luthmann, Lars and Göttmann, Hendrik and Lochau, Malte (2019):
Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata - Technical Report.
[Online-Edition: https://arxiv.org/abs/1909.03703],
[Report]

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

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

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

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

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

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

Luthmann, Lars and Gerecht, Timo and 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,
[Online-Edition: https://doi.org/10.1007/s10009-019-00532-4],
[Article]

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

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

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

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

Weckesser, Markus and Lochau, Malte and Ries, Michael and Schürr, Andy (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, DOI: 10.1145/3239372.3239398,
[Online-Edition: http://doi.acm.org/10.1145/3239372.3239398],
[Conference or Workshop Item]

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

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

Peldszus, Sven and Kulcsar, Geza and Lochau, Malte and Schulze, Sandro (2018):
On Continuous Detection of Design Flaws in Evolving Object-Oriented Programs using Incremental Multi-Pattern Matching.
GI, In: Software Engineering und Software Management (SE'18), [Online-Edition: https://dl.gi.de/20.500.12116/16314],
[Conference or Workshop Item]

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

Varshosaz, Mahsa and Mousavi, Mohammad Reza and Luthmann, Lars and Lochau, Malte (2017):
Expressive Power and Encoding of Transition System Models for Software Product Lines.
Turku Centre for Computer Science, In: 29th Nordic Workshop on Programming Theory (NWPT'17), [Online-Edition: https://research.it.abo.fi/nwpt17/proceedings/NWPT2017procee...],
[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, [Online-Edition: http://tuprints.ulb.tu-darmstadt.de/6992],
[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 and Stephan, Andreas and Bürdek, Johannes and Lochau, Malte (2017):
Modeling and Testing Product Lines with Unbounded Parametric Real-Time Constraints.
ACM, In: Proceedings of the 21st International Systems and Software Product Line Conference, ISBN 978-1-4503-5221-5,
DOI: 10.1145/3106195.3106204,
[Online-Edition: http://doi.acm.org/10.1145/3106195.3106204],
[Conference or Workshop Item]

Weckesser, Markus and Lochau, Malte and Schnabel, Thomas and Björn, Richerzhagen and 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, [Conference or Workshop Item]

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

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

Schnabel, Thomas and Weckesser, Markus and Kluge, Roland and Lochau, Malte and Schürr, Andy (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, [Online-Edition: http://doi.acm.org/10.1145/2866614.2866619],
[Conference or Workshop Item]

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

Luthmann, Lars and Mennicke, Stephan and Lochau, Malte (2016):
Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing - Technical Report.
[Online-Edition: http://arxiv.org/abs/1606.09035],
[Report]

Deckwerth, Frederik and Kulcsar, Geza and Lochau, Malte and Varró, Gergely and Schürr, Andy (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, [Online-Edition: http://dx.doi.org/10.4204/EPTCS.206.3],
[Conference or Workshop Item]

Peldszus, Sven and Kulcsar, Geza and Lochau, Malte and Schulze, Sandro (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, [Online-Edition: http://doi.acm.org/10.1145/2970276.2970338],
[Conference or Workshop Item]

Krupitzer, Christian and Roth, Felix Maximilian and Becker, Christian and Weckesser, Markus and Lochau, Malte and Schürr, Andy (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, [Online-Edition: http://dx.doi.org/10.1109/ICAC.2016.49],
[Conference or Workshop Item]

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

Lochau, Malte and Mennicke, Stephan and Baller, Hauke and Ribbeck, Lars (2016):
Incremental model checking of delta-oriented software product lines.
85, [Online-Edition: http://dx.doi.org/10.1016/j.jlamp.2015.09.004],
[Conference or Workshop Item]

Weckesser, Markus and Lochau, Malte and Schnabel, Thomas and Richerzhagen, Björn and Schürr, Andy (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, [Online-Edition: http://dx.doi.org/10.1007/978-3-662-49665-7_10],
[Conference or Workshop Item]

Lochau, Malte and Bürdek, Johannes and Bauregger, Stefan and Holzer, Andreas and von Rhein, Alexander and Apel, Sven and Beyer, Dirk (2016):
On facilitating reuse in multi-goal test-suite generation for software product lines.
In: Software Engineering, SE 2016, [Online-Edition: http://subs.emis.de/LNI/Proceedings/Proceedings252/article31...],
[Conference or Workshop Item]

Bürdek, Johannes and Kehrer, Timo and Lochau, Malte and Reuling, Dennis and Kelter, Udo and Schürr, Andy (2016):
Reasoning about product-line evolution using complex feature model differences.
In: Automated Software Engineering, 23, [Conference or Workshop Item]

Luthmann, Lars and Mennicke, Stephan and Lochau, Malte (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, [Online-Edition: http://dx.doi.org/ 10.4204/EPTCS.182.1],
[Conference or Workshop Item]

Kulcsar, Geza and Deckwerth, Frederik and Lochau, Malte and Varró, Gergely and Schürr, Andy
Rensink, Arend and Zambon, Eduardo (eds.) (2015):
Improved Conflict Detection for Graph Transformation with Attributes.
In: Graphs as Models, In: Graphs as Models, GaM 2015, In: Electronic Proceedings in Theoretical Computer Science, 181, [Online-Edition: http://dx.doi.org/10.4204/EPTCS.181.7],
[Conference or Workshop Item]

Bürdek, Johannes and Lochau, Malte and Bauregger, Stefan and Holzer, Andreas and von Rhein, Alexander and Apel, Sven and Beyer, Dirk (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, [Online-Edition: http://dx.doi.org/10.1007/978-3-662-46675-9_6],
[Conference or Workshop Item]

Reuling, Dennis and Bürdek, Johannes and Rotärmel, Serge and Lochau, Malte and 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), [Online-Edition: http://doi.acm.org/10.1145/2791060.2791074],
[Conference or Workshop Item]

Peldszus, Sven and Kulcsar, Geza and Lochau, Malte and 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), [Online-Edition: http://doi.acm.org/10.1145/2807426.2807438],
[Conference or Workshop Item]

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

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

Lity, Sascha and Bürdek, Johannes and Lochau, Malte and Berens, Markus and 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), [Conference or Workshop Item]

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

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

Benduhn, Fabian and Thüm, Thomas and Lochau, Malte and Leich, Thomas and 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, [Online-Edition: http://doi.acm.org/10.1145/2701319.2701332],
[Conference or Workshop Item]

Lochau, Malte and Mennicke, Stephan and Baller, Hauke and Ribbeck, Lars (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), [Conference or Workshop Item]

Mennicke, Stephan and Lochau, Malte and Schroeter, Julia and Winkelmann, Tim
Gnesi, S. and Fantechi, A. and Heymans, P. and Rubin, J. and Czarnecki, K. and Dhungana, D. (eds.) (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, [Conference or Workshop Item]

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

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

Lochau, Malte and Peldszus, Sven and Kowal, Matthias and Schaefer, Ina (2014):
Model-Based Testing.
Heidelberg, Springer Verlag, 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, [Conference or Workshop Item]

Anjorin, Anthony and Saller, Karsten and Lochau, Malte and Schürr, Andy (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 or Workshop Item]

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

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

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

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

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

Lochau, Malte and Lity, Sascha and Lachmann, Remo and Schaefer, Ina and 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 and Lachmann, Remo and Lochau, Malte and Dukaczewski, Michael and Schaefer, Ina (2013):
Delta-orientiertes Testen von variantenreichen Systemen.
In: OBJEKTspektrum Online Themenspecial Testing, OBJEKTspektrum, [Article]

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

Saller, Karsten and Oster, Sebastian and Schürr, Andy and Schroeter, Julia and Lochau, Malte (2013):
Reducing Feature Models to Improve Runtime Adaptivity on Resource Limited Devices.
USA, ACM New York, In: Proceedings of the 16th International Software Product Line Conference, SPLC '12, 2, ISBN 978-1-4503-1095-6,
[Online-Edition: http://dl.acm.org/citation.cfm?id=2364435],
[Conference or Workshop Item]

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

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

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

Gietzelt, Matthias and Goltz, Ursula and Grünwald, David and Lochau, Malte and Marschollek, Michael and Song, Bianying and 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, pp. 114-125, 106, (2), [Article]

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

Lochau, Malte and Schaefer, Ina and Kamischke, Jochen and Lity, Sascha
Brucker, Achim and Julliand, Jacques (eds.) (2012):
Incremental Model-Based Testing of Delta-Oriented Software Product Lines.
In: Tests and Proofs, Springer Berlin Heidelberg, In: Lecture Notes in Computer Science, 7305, ISBN 978-3-642-30472-9,
[Online-Edition: http://dx.doi.org/10.1007/978-3-642-30473-6_7],
[Conference or Workshop Item]

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

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

Schroeter, Julia and Lochau, Malte and Winkelmann, Tim
France, Robert and Kazmeier, Jürgen and Breu, Ruth and Atkinson, Colin (eds.) (2012):
Multi-perspectives on Feature Models.
In: Model Driven Engineering Languages and Systems, Springer Berlin Heidelberg, In: Lecture Notes in Computer Science, 7590, ISBN 978-3-642-33665-2,
[Online-Edition: http://dx.doi.org/10.1007/978-3-642-33666-9_17],
[Conference or Workshop Item]

Lochau, Malte and Kamischke, Jochen
Margaria, Tiziana and Steffen, Bernhard (eds.) (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, Springer Berlin Heidelberg, In: Lecture Notes in Computer Science, 7609, ISBN 978-3-642-34025-3,
[Online-Edition: http://dx.doi.org/10.1007/978-3-642-34026-0_17],
[Conference or Workshop Item]

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

Cichos, Harald and Oster, Sebastian and Lochau, Malte and Schürr, Andy (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), In: Lecture Notes in Computer Science (LNCS), 6981, [Conference or Workshop Item]

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

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

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

Lochau, Malte and Oster, Sebastian and Goltz, Ursula and 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 and Lochau, Malte and Zink, Marius and Grechanik, Mark (2011):
Pairwise Feature-Interaction Testing for SPLs: Potentials and Limitations.
New York, ACM Press, In: Proceeding of the International Software Product Line Conference Workshop FOSD, New York, 2, [Conference or Workshop Item]

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

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

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

Knieke, Christoph and Huhn, Michaela and Lochau, Malte (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, [Online-Edition: http://dx.doi.org/10.1109/TASE.2008.10],
[Conference or Workshop Item]

Knieke, Christoph and Huhn, Michaela and Lochau, Malte (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, [Online-Edition: http://dx.doi.org/10.1109/SERA.2008.10],
[Conference or Workshop Item]

Lochau, Malte and Günther, Henning (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, [Online-Edition: http://www.ep.liu.se/ecp_article/index.en.aspx?issue=029;art...],
[Conference or Workshop Item]

This list was generated on Tue Oct 15 01:44:31 2019 CEST.