Gruppiere nach: Publikationsjahr | Typ des Eintrags | Keine Gruppierung
Springe zu: 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2009 | 2008
Anzahl der Einträge: 78.

2019

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, ACM, S. 13:1-13:59, 28, (3), DOI: 10.1145/3313789,
[Artikel]

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

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

Thüm, Thomas ; van Hoorn, André ; 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, Springer, S. 175-206, DOI: 10.1007/978-3-030-13499-0_8,
[Buchkapitel]

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, Elsevier, S. 1 - 28, 106, DOI: 10.1016/j.jlamp.2019.03.003,
[Online-Edition: http://www.sciencedirect.com/science/article/pii/S2352220818...],
[Artikel]

2018

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, Elsevier, (149), DOI: 10.1016/j.jss.2018.12.028,
[Online-Edition: http://www.sciencedirect.com/science/article/pii/S0164121218...],
[Artikel]

Ruland, Sebastian ; Kulcsar, Geza ; Leblebici, Erhan ; Peldszus, Sven ; 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],
[Konferenzveröffentlichung]

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.
GI, In: Software Engineering und Software Management (SE'18), [Online-Edition: https://dl.gi.de/20.500.12116/16314],
[Konferenzveröffentlichung]

Weckesser, Markus ; Lochau, Malte ; Ries, Michael ; 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],
[Konferenzveröffentlichung]

Luthmann, Lars ; Mennicke, Stephan ; 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...],
[Artikel]

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.
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],
[Konferenzveröffentlichung]

Kulcsar, Geza ; Corradini, Andrea ; Lochau, Malte
Lambers, Leen ; Weber, Jens (Hrsg.) (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,
[Konferenzveröffentlichung]

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

2017

Varshosaz, Mahsa ; Mousavi, Mohammad Reza ; Luthmann, Lars ; 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...],
[Konferenzveröffentlichung]

Weckesser, Markus ; Lochau, Malte ; Ries, Michael ; 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],
[Konferenzveröffentlichung]

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 ; Stephan, Andreas ; Bürdek, Johannes ; 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],
[Konferenzveröffentlichung]

Weckesser, Markus ; Lochau, Malte ; Schnabel, Thomas ; Björn, Richerzhagen ; 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, [Konferenzveröffentlichung]

2016

Luthmann, Lars ; Mennicke, Stephan ; Lochau, Malte
Kouchnarenko, Olga ; Khosravi, Ramtin (Hrsg.) (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],
[Konferenzveröffentlichung]

Krupitzer, Christian ; Roth, Felix Maximilian ; Becker, Christian ; Weckesser, Markus ; Lochau, Malte ; 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],
[Konferenzveröffentlichung]

Lochau, Malte ; Mennicke, Stephan ; Baller, Hauke ; 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],
[Konferenzveröffentlichung]

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

Peldszus, Sven ; Kulcsar, Geza ; Lochau, Malte ; 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],
[Konferenzveröffentlichung]

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: 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],
[Konferenzveröffentlichung]

Al-Hajjaji, Mustafa ; Krieter, Sebastian ; Thüm, Thomas ; Lochau, Malte ; 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],
[Konferenzveröffentlichung]

Lochau, Malte ; Bürdek, Johannes ; Bauregger, Stefan ; Holzer, Andreas ; von Rhein, Alexander ; Apel, Sven ; 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...],
[Konferenzveröffentlichung]

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.
In: Automated Software Engineering, 23, [Konferenzveröffentlichung]

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.
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],
[Konferenzveröffentlichung]

Schnabel, Thomas ; Weckesser, Markus ; Kluge, Roland ; Lochau, Malte ; 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],
[Konferenzveröffentlichung]

2015

Luthmann, Lars ; Mennicke, Stephan ; 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],
[Konferenzveröffentlichung]

Kulcsar, Geza ; Deckwerth, Frederik ; Lochau, Malte ; Varró, Gergely ; Schürr, Andy
Rensink, Arend ; Zambon, Eduardo (Hrsg.) (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],
[Konferenzveröffentlichung]

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), [Konferenzveröffentlichung]

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), [Online-Edition: http://doi.acm.org/10.1145/2791060.2791074],
[Konferenzveröffentlichung]

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, [Online-Edition: http://doi.acm.org/10.1145/2701319.2701332],
[Konferenzveröffentlichung]

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), [Online-Edition: http://doi.acm.org/10.1145/2807426.2807438],
[Konferenzveröffentlichung]

Kulcsar, Geza ; Peldszus, Sven ; 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],
[Konferenzveröffentlichung]

Peldszus, Sven ; Kulcsar, Geza ; 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],
[Konferenzveröffentlichung]

Bürdek, Johannes ; Lochau, Malte ; Bauregger, Stefan ; Holzer, Andreas ; von Rhein, Alexander ; Apel, Sven ; 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],
[Konferenzveröffentlichung]

Anjorin, Anthony ; Saller, Karsten ; Lochau, Malte ; 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), [Konferenzveröffentlichung]

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, Springer Berlin Heidelberg, S. 1-28, ISSN 1619-1366,
[Online-Edition: http://dx.doi.org/10.1007/s10270-015-0470-4],
[Artikel]

2014

Lochau, Malte ; Mennicke, Stephan ; Baller, Hauke ; 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), [Konferenzveröffentlichung]

Mennicke, Stephan ; Lochau, Malte ; Schroeter, Julia ; Winkelmann, Tim
Gnesi, S. ; Fantechi, A. ; Heymans, P. ; Rubin, J. ; Czarnecki, K. ; Dhungana, D. (Hrsg.) (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, [Konferenzveröffentlichung]

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

Baller, Hauke ; 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],
[Konferenzveröffentlichung]

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

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, S. 771-780, [Buchkapitel]

Lochau, Malte ; Peldszus, Sven ; Kowal, Matthias ; 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, [Konferenzveröffentlichung]

Anjorin, Anthony ; Saller, Karsten ; Lochau, Malte ; 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), [Konferenzveröffentlichung]

Baller, Hauke ; Lity, Sascha ; Lochau, Malte ; 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), [Konferenzveröffentlichung]

2013

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

Saller, Karsten ; Oster, Sebastian ; Schürr, Andy ; Schroeter, Julia ; 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],
[Konferenzveröffentlichung]

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

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

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

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., [Artikel]

Saller, Karsten ; Lochau, Malte ; 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],
[Konferenzveröffentlichung]

2012

Lity, Sascha ; Lochau, Malte ; Schaefer, Ina ; 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), [Konferenzveröffentlichung]

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

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

Schroeter, Julia ; Lochau, Malte ; Winkelmann, Tim
France, Robert ; Kazmeier, Jürgen ; Breu, Ruth ; Atkinson, Colin (Hrsg.) (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],
[Konferenzveröffentlichung]

Lochau, Malte ; Schaefer, Ina ; Kamischke, Jochen ; Lity, Sascha
Brucker, Achim ; Julliand, Jacques (Hrsg.) (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],
[Konferenzveröffentlichung]

Lochau, Malte ; Kamischke, Jochen
Margaria, Tiziana ; Steffen, Bernhard (Hrsg.) (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],
[Konferenzveröffentlichung]

Kamischke, Jochen ; Lochau, Malte ; 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],
[Konferenzveröffentlichung]

Steffens, Michaela ; Oster, Sebastian ; Lochau, Malte ; 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, [Konferenzveröffentlichung]

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, S. 114-125, 106, (2), [Artikel]

Cichos, Harald ; Lochau, Malte ; Oster, Sebastian ; 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, [Konferenzveröffentlichung]

2011

Cichos, Harald ; Oster, Sebastian ; Lochau, Malte ; 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, [Konferenzveröffentlichung]

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

Oster, Sebastian ; Lochau, Malte ; Zink, Marius ; 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, [Konferenzveröffentlichung]

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, [Artikel]

Cichos, Harald ; Oster, Sebastian ; Lochau, Malte ; 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]

Oster, Sebastian ; Zorcic, Ivan ; Markert, Florian ; Lochau, Malte
Czarnecki, K. ; Eisenecker, U. (Hrsg.) (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, [Konferenzveröffentlichung]

2009

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

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]

2008

Knieke, Christoph ; Huhn, Michaela ; 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],
[Konferenzveröffentlichung]

Lochau, Malte ; 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...],
[Konferenzveröffentlichung]

Knieke, Christoph ; Huhn, Michaela ; 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],
[Konferenzveröffentlichung]

Diese Liste wurde am Fri Aug 23 07:24:19 2019 CEST generiert.

Kontakt

Technische Universität Darmstadt

Fachbereich Elektrotechnik und Informationstechnik

Fachgebiet Echtzeitsysteme

Prof. Dr. rer. nat. Andy Schürr

Magdalenenstr. 4

64289 Darmstadt

+49(0)6151 16-22350

+49(0)6151 16-22352

Drucken | Impressum | Datenschutzerklärung | Sitemap | Suche | Kontakt
Zum SeitenanfangZum Seitenanfang