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

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]

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]

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]

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]

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]

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]

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]

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]

This list was generated on Tue Oct 15 01:47:14 2019 CEST.