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

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

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

Kulcsar, Geza and Corradini, Andrea and Lochau, Malte
Lambers, Leen and Weber, Jens (eds.) :

Equivalence and Independence in Controlled Graph-Rewriting Processes.
In: 11th International Conference on Graph Transformation (ICGT'18). Springer
[Conference or Workshop Item] , (2018)

Kulcsar, Geza and Lochau, Malte and Schürr, Andy
Lambers, Leen and Weber, Jens (eds.) :

Graph-Rewriting Petri Nets.
In: 11th International Conference on Graph Transformation (ICGT'18). Springer
[Conference or Workshop Item] , (2018)

Weckesser, Markus and Lochau, Malte and Ries, Michael and Schürr, Andy :
Mathematical Programming for Anomaly Analysis of Clafer Models.
[Online-Edition: http://doi.acm.org/10.1145/3239372.3239398]
In: Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2018, Copenhagen, Denmark, October 14-19, 2018.
[Conference or Workshop Item] , (2018)

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

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

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

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

Varshosaz, Mahsa and Mousavi, Mohammad Reza and Luthmann, Lars and Lochau, Malte :
Expressive Power and Encoding of Transition System Models for Software Product Lines.
[Online-Edition: https://research.it.abo.fi/nwpt17/proceedings/NWPT2017procee...]
In: 29th Nordic Workshop on Programming Theory (NWPT'17). Turku Centre for Computer Science
[Conference or Workshop Item] , (2017)

Lochau, Malte :
Model-based Quality Assurance of Cyber-Physical Systems with Variability in Space, over Time and at Runtime.
[Online-Edition: http://tuprints.ulb.tu-darmstadt.de/6992]
Technische Universität , Darmstadt
[Habilitation] , (2017)

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

Luthmann, Lars and Stephan, Andreas and Bürdek, Johannes and Lochau, Malte :
Modeling and Testing Product Lines with Unbounded Parametric Real-Time Constraints.
[Online-Edition: http://doi.acm.org/10.1145/3106195.3106204]
In: Proceedings of the 21st International Systems and Software Product Line Conference. ACM
[Conference or Workshop Item] , (2017)

Weckesser, Markus and Lochau, Malte and Schnabel, Thomas and Björn, Richerzhagen and Andy, Schürr :
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] , (2017)

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

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

Schnabel, Thomas and Weckesser, Markus and Kluge, Roland and Lochau, Malte and Schürr, Andy :
CardyGAn: Tool Support for Cardinality-based Feature Models.
[Online-Edition: http://doi.acm.org/10.1145/2866614.2866619]
In: Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems, January 27 - 29, 2016, Salvador, Brazil.
[Conference or Workshop Item] , (2016)

Luthmann, Lars and Mennicke, Stephan and Lochau, Malte
Kouchnarenko, Olga and Khosravi, Ramtin (eds.) :

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

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

Deckwerth, Frederik and Kulcsar, Geza and Lochau, Malte and Varró, Gergely and Schürr, Andy :
Conflict Detection for Edits on Extended Feature Models using Symbolic Graph Transformation.
[Online-Edition: http://dx.doi.org/10.4204/EPTCS.206.3]
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 .
[Conference or Workshop Item] , (2016)

Peldszus, Sven and Kulcsar, Geza and Lochau, Malte and Schulze, Sandro :
Continuous detection of design flaws in evolving object-oriented programs using incremental multi-pattern matching.
[Online-Edition: http://doi.acm.org/10.1145/2970276.2970338]
In: Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering.
[Conference or Workshop Item] , (2016)

Krupitzer, Christian and Roth, Felix Maximilian and Becker, Christian and Weckesser, Markus and Lochau, Malte and Schürr, Andy :
FESAS IDE: An Integrated Development Environment for Autonomic Computing.
[Online-Edition: http://dx.doi.org/10.1109/ICAC.2016.49]
In: 2016 IEEE International Conference on Autonomic Computing, ICAC 2016, Wuerzburg, Germany, July 17-22, 2016.
[Conference or Workshop Item] , (2016)

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

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

Weckesser, Markus and Lochau, Malte and Schnabel, Thomas and Richerzhagen, Björn and Schürr, Andy :
Mind the Gap! Automated Anomaly Detection for Potentially Unbounded Cardinality-Based Feature Models.
[Online-Edition: http://dx.doi.org/10.1007/978-3-662-49665-7_10]
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.
[Conference or Workshop Item] , (2016)

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

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

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

Kulcsar, Geza and Deckwerth, Frederik and Lochau, Malte and Varró, Gergely and Schürr, Andy
Rensink, Arend and Zambon, Eduardo (eds.) :

Improved Conflict Detection for Graph Transformation with Attributes.
[Online-Edition: http://dx.doi.org/10.4204/EPTCS.181.7]
In: Graphs as Models, GaM 2015. In: Electronic Proceedings in Theoretical Computer Science , 181 .
[Conference or Workshop Item] , (2015)

Bürdek, Johannes and Lochau, Malte and Bauregger, Stefan and Holzer, Andreas and von Rhein, Alexander and Apel, Sven and Beyer, Dirk :
Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines.
[Online-Edition: http://dx.doi.org/10.1007/978-3-662-46675-9_6]
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.
[Conference or Workshop Item] , (2015)

Reuling, Dennis and Bürdek, Johannes and Rotärmel, Serge and Lochau, Malte and Kelter, Udo :
Fault-based product-line testing: effective sample generation based on feature-diagram mutation.
[Online-Edition: http://doi.acm.org/10.1145/2791060.2791074]
Proceedings of the 19th International Conference on Software Product Line (SPLC)
[Conference or Workshop Item] , (2015)

Peldszus, Sven and Kulcsar, Geza and Lochau, Malte and Schulze, Sandro :
Incremental Co-Evolution of Java Programs based on Bidirectional Graph Transformation.
[Online-Edition: http://doi.acm.org/10.1145/2807426.2807438]
Proceedings of the Principles and Practices of Programming on The Java Platform (PPPJ)
[Conference or Workshop Item] , (2015)

Kulcsar, Geza and Peldszus, Sven and Lochau, Malte :
Object-oriented Refactoring of Java Programs using Graph Transformation.
[Online-Edition: http://ceur-ws.org/Vol-1524/paper3.pdf]
In: CEUR Workshop Proceedings , 1524 .
[Conference or Workshop Item] , (2015)

Anjorin, Anthony and Saller, Karsten and Lochau, Malte and Schürr, Andy :
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] , (2015)

Lity, Sascha and Bürdek, Johannes and Lochau, Malte and Berens, Markus and Schaefer, Ina :
Re-Engineering Automation Systems as Dynamic Software Product Lines.
Proceedings of the 11th Dagstuhl-Workshop on Model-Based Development of Embedded Systems (MBEES)
[Conference or Workshop Item] , (2015)

Peldszus, Sven and Kulcsar, Geza and Lochau, Malte :
A Solution to the Java Refactoring Case Study using eMoflon.
[Online-Edition: http://ceur-ws.org/Vol-1524/paper20.pdf]
In: CEUR Workshop Proceedings , 1524 .
[Conference or Workshop Item] , (2015)

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

Benduhn, Fabian and Thüm, Thomas and Lochau, Malte and Leich, Thomas and Saake, Gunter :
A Survey on Modeling Techniques for Formal Behavioral Verification of Software Product Lines.
[Online-Edition: http://doi.acm.org/10.1145/2701319.2701332]
Proceedings of the Ninth International Workshop on Variability Modelling of Software-intensive Systems
[Conference or Workshop Item] , (2015)

Lochau, Malte and Mennicke, Stephan and Baller, Hauke and Ribbeck, Lars :
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] , (2014)

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

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] , (2014)

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

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] , (2014)

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

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

Anjorin, Anthony and Saller, Karsten and Lochau, Malte and Schürr, Andy :
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] , (2014)

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

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

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

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

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

[Report] , (2013)

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

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

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

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

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

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

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

[Report] , (2012)

Gietzelt, Matthias and Goltz, Ursula and Grünwald, David and Lochau, Malte and Marschollek, Michael and Song, Bianying and Wolf, Klaus :
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] , (2012)

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

Lochau, Malte and Schaefer, Ina and Kamischke, Jochen and Lity, Sascha
Brucker, Achim and Julliand, Jacques (eds.) :

Incremental Model-Based Testing of Delta-Oriented Software Product Lines.
[Online-Edition: http://dx.doi.org/10.1007/978-3-642-30473-6_7]
In: Lecture Notes in Computer Science , 7305 . Springer Berlin Heidelberg
[Conference or Workshop Item] , (2012)

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

Lochau, Malte :
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.) :

Multi-perspectives on Feature Models.
[Online-Edition: http://dx.doi.org/10.1007/978-3-642-33666-9_17]
In: Lecture Notes in Computer Science , 7590 . Springer Berlin Heidelberg
[Conference or Workshop Item] , (2012)

Lochau, Malte and Kamischke, Jochen
Margaria, Tiziana and Steffen, Bernhard (eds.) :

Parameterized Preorder Relations for Model-Based Testing of Software Product Lines.
[Online-Edition: http://dx.doi.org/10.1007/978-3-642-34026-0_17]
In: Lecture Notes in Computer Science , 7609 . Springer Berlin Heidelberg
[Conference or Workshop Item] , (2012)

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

Cichos, Harald and Oster, Sebastian and Lochau, Malte and Schürr, Andy :
Model-based Coverage-Driven Test Suite Generation for Software Product Lines.
In: Lecture Notes in Computer Science (LNCS) , 6981 .
[Conference or Workshop Item] , (2011)

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

Schroeter, Julia and Lochau, Malte and Winkelmann, Tim :
Extended Version of Multi-Perspectives on Feature Models.

[Report] , (2011)

Oster, Sebastian and Zorcic, Ivan and Markert, Florian and Lochau, Malte
Czarnecki, K. and Eisenecker, U. (eds.) :

MoSo-PoLiTe - Tool Support for Pairwise and Model-Based Software Product Line Testing.
In: 5th International Workshop on Variability Modelling of Software-Intensive Systems, Namur, Belgium. In: ACM International Conference Proceedings Series . ACM Press , New York
[Conference or Workshop Item] , (2011)

Lochau, Malte and Oster, Sebastian and Goltz, Ursula and Schürr, Andy :
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] , (2011)

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

Lochau, Malte and Goltz, Ursula :
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] , (2010)

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 :
A Comprehensive Description of a Model-based, Continuous Development Process for AUTOSAR Systems with Integrated Quality Assurance.

[Report] , (2009)

Sun, B. and Lochau, Malte and Huhn, P. and Goltz, Ursula :
Parameter Optimization of an Engine Control Unit using Genetic Algorithms.

[Report] , (2009)

Knieke, Christoph and Huhn, Michaela and Lochau, Malte :
Executable Requirements Specification: Formal Semantics of Live Activity Diagrams.
[Online-Edition: http://dx.doi.org/10.1109/TASE.2008.10]
In: Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, TASE 2008, June 17-19, 2008, Nanjing, China.
[Conference or Workshop Item] , (2008)

Knieke, Christoph and Huhn, Michaela and Lochau, Malte :
Modeling and Validation of Executable Requirements Using Live Activity Diagrams.
[Online-Edition: http://dx.doi.org/10.1109/SERA.2008.10]
In: 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] , (2008)

Lochau, Malte and Günther, Henning :
A Static Aspect Language for Modelica Models.
[Online-Edition: http://www.ep.liu.se/ecp_article/index.en.aspx?issue=029;art...]
In: 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] , (2008)

This list was generated on Sat May 25 01:47:24 2019 CEST.