2018

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

2016

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

Luthmann, Lars ; Mennicke, Stephan ; Lochau, Malte
Hrsg.: 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).
Konferenzveröffentlichung, Bibliographie

Lochau, Malte ; Mennicke, Stephan ; Baller, Hauke ; Ribbeck, Lars (2016)
Incremental model checking of delta-oriented software product lines.
Konferenzveröffentlichung, Bibliographie

2015

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

2014

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

Mennicke, Stephan ; Lochau, Malte ; Schroeter, Julia ; Winkelmann, Tim
Hrsg.: 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.
Konferenzveröffentlichung, Bibliographie