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

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.-15.05.2023)
doi: 10.1109/FormaliSE58978.2023.00014
Conference or Workshop Item, Bibliographie

Göttmann, Hendrik ; Caesar, Birte ; Beers, Lasse ; Lochau, Malte ; Schürr, Andy ; Fay, Alexander
eds.: 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.-24.02.2023)
Conference or Workshop Item, Bibliographie

Göttmann, Hendrik ; Caesar, Birte ; Beers, Lasse ; Lochau, Malte ; Schürr, Andy ; Fay, Alexander
eds.: 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.-28.10.2022)
doi: 10.1145/3550355.3552397
Conference or Workshop Item, Bibliographie

Göttmann, Hendrik ; Bacher, Isabelle ; Gottwald, Nicolas ; Lochau, Malte
eds.: 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.-11.02.2021)
doi: 10.1145/3442391.3442409
Conference or Workshop Item, 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
doi: 10.1007/s10009-020-00574-z
Article, 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
Article, 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 (April 25–30, 2020)
doi: 10.1007/978-3-030-45234-6_26
Conference or Workshop Item, 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.-28.02.2020)
doi: 10.18420/SE2020_14
Conference or Workshop Item, 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.-28.02.2020)
doi: 10.18420/SE2020_26
Conference or Workshop Item, Bibliographie

Lochau, Malte ; Luthmann, Lars ; Göttmann, Hendrik ; Bacher, Isabelle
eds.: Margaria, Tiziana ; Steffen, Bernhard (2020)
Parametric Timed Bisimulation.
9th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020). Rhodes, Greece (20.-30.10.2020)
doi: 10.1007/978-3-030-61470-6_5
Conference or Workshop Item, 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 (September 28–30, 2020)
doi: 10.1007/978-3-030-44769-4_1
Conference or Workshop Item, 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
Article, 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, 2020, 90
doi: 10.25534/tuprints-00014563
Article, Secondary publication, Publisher's Version

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

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
Book Section, 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
Article, 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
Conference or Workshop Item, 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
Article, 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
Article, 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
Article, 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
Book Section, 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
Book Section, 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
Conference or Workshop Item, 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
Article, 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.-15.11.2019)
doi: 10.1109/ASE.2019.00120
Conference or Workshop Item, 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
Article, 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
Conference or Workshop Item, Bibliographie

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

Kulcsar, Geza ; Lochau, Malte ; Schürr, Andy
eds.: Lambers, Leen ; Weber, Jens (2018)
Graph-Rewriting Petri Nets.
11th International Conference on Graph Transformation (ICGT'18).
Conference or Workshop Item, 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
Conference or Workshop Item, 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
Conference or Workshop Item, 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
Article, 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).
Conference or Workshop Item, 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
Article, 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).
Conference or Workshop Item, Bibliographie

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

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
Conference or Workshop Item, 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.
Conference or Workshop Item, 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
Conference or Workshop Item, 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
Conference or Workshop Item, 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

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 (January 27 - 29, 2016)
Conference or Workshop Item, Bibliographie

Luthmann, Lars ; Mennicke, Stephan ; Lochau, Malte
eds.: 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).
Conference or Workshop Item, 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.
Conference or Workshop Item, 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.
Conference or Workshop Item, 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.
Conference or Workshop Item, 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).
Conference or Workshop Item, Bibliographie

Lochau, Malte ; Mennicke, Stephan ; Baller, Hauke ; Ribbeck, Lars (2016)
Incremental model checking of delta-oriented software product lines.
Conference or Workshop Item, 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.
Conference or Workshop Item, 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.
Conference or Workshop Item, 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.
Conference or Workshop Item, 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.
Conference or Workshop Item, Bibliographie

Kulcsar, Geza ; Deckwerth, Frederik ; Lochau, Malte ; Varró, Gergely ; Schürr, Andy
eds.: Rensink, Arend ; Zambon, Eduardo (2015)
Improved Conflict Detection for Graph Transformation with Attributes.
Graphs as Models, GaM 2015.
Conference or Workshop Item, 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.
Conference or Workshop Item, 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.
Conference or Workshop Item, Bibliographie

Peldszus, Sven ; Kulcsar, Geza ; Lochau, Malte ; Schulze, Sandro (2015)
Incremental Co-Evolution of Java Programs based on Bidirectional Graph Transformation.
Conference or Workshop Item, Bibliographie

Kulcsar, Geza ; Peldszus, Sven ; Lochau, Malte (2015)
Object-oriented Refactoring of Java Programs using Graph Transformation.
L'Aquila
Conference or Workshop Item, 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).
Conference or Workshop Item, Bibliographie

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

Peldszus, Sven ; Kulcsar, Geza ; Lochau, Malte (2015)
A Solution to the Java Refactoring Case Study using eMoflon.
L'Aquila
Conference or Workshop Item, 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)
Article, 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.
Conference or Workshop Item, 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.
Conference or Workshop Item, Bibliographie

Mennicke, Stephan ; Lochau, Malte ; Schroeter, Julia ; Winkelmann, Tim
eds.: 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.
Conference or Workshop Item, Bibliographie

Al-Hajjaji, Mustafa ; Thüm, Thomas ; Meinicke, Jens ; Lochau, Malte ; Saake, Gunter
eds.: 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.
Conference or Workshop Item, 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
Book Section, 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.
Conference or Workshop Item, 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).
Conference or Workshop Item, 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.
Conference or Workshop Item, 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.
Conference or Workshop Item, 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.
Conference or Workshop Item, 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.
Conference or Workshop Item, 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

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
Article, Bibliographie

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

Schulze, Sandro ; Lochau, Malte ; Brunswig, Saskia (2013)
Implementing Refactorings for FOP - Lessons Learned and Challenges Ahead.
FOSD-Treffen 2013.
Conference or Workshop Item, 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.
Conference or Workshop Item, 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).
Conference or Workshop Item, 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
Conference or Workshop Item, 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

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)
Article, 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
Conference or Workshop Item, Bibliographie

Lochau, Malte ; Schaefer, Ina ; Kamischke, Jochen ; Lity, Sascha
eds.: Brucker, Achim ; Julliand, Jacques (2012)
Incremental Model-Based Testing of Delta-Oriented Software Product Lines.
Conference or Workshop Item, 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
Conference or Workshop Item, Bibliographie

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

Schroeter, Julia ; Lochau, Malte ; Winkelmann, Tim
eds.: France, Robert ; Kazmeier, Jürgen ; Breu, Ruth ; Atkinson, Colin (2012)
Multi-perspectives on Feature Models.
Conference or Workshop Item, Bibliographie

Lochau, Malte ; Kamischke, Jochen
eds.: Margaria, Tiziana ; Steffen, Bernhard (2012)
Parameterized Preorder Relations for Model-Based Testing of Software Product Lines.
Conference or Workshop Item, Bibliographie

Cichos, Harald ; Lochau, Malte ; Oster, Sebastian ; Schürr, Andy (2012)
Reduktion von Testsuiten für Software-Produktlinien.
Conference or Workshop Item, Bibliographie

Cichos, Harald ; Oster, Sebastian ; Lochau, Malte ; Schürr, Andy (2011)
Model-based Coverage-Driven Test Suite Generation for Software Product Lines.
Conference or Workshop Item, 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

Oster, Sebastian ; Zorcic, Ivan ; Markert, Florian ; Lochau, Malte
eds.: 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.
Conference or Workshop Item, 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
Article, 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
Conference or Workshop Item, 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)
Article, 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

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.
Conference or Workshop Item, 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.
Conference or Workshop Item, 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.
Conference or Workshop Item, Bibliographie

This list was generated on Tue Apr 16 00:18:23 2024 CEST.