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

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]

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]

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]

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]

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]

This list was generated on Tue Oct 15 01:29:02 2019 CEST.