TU Darmstadt / ULB / TUbiblio

Browsen nach Person

Ebene hoch
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Datum | Sprache
Anzahl der Einträge: 6.

Luthmann, Lars ; Mennicke, Stephan ; Lochau, Malte
Kouchnarenko, Olga ; 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
[Konferenz- oder Workshop-Beitrag], (2016)

Luthmann, Lars ; Mennicke, Stephan ; 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)

Lochau, Malte ; Mennicke, Stephan ; Baller, Hauke ; 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)
[Konferenz- oder Workshop-Beitrag], (2016)

Luthmann, Lars ; Mennicke, Stephan ; 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 .
[Konferenz- oder Workshop-Beitrag], (2015)

Lochau, Malte ; Mennicke, Stephan ; Baller, Hauke ; 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) .
[Konferenz- oder Workshop-Beitrag], (2014)

Mennicke, Stephan ; Lochau, Malte ; Schroeter, Julia ; Winkelmann, Tim
Gnesi, S. ; Fantechi, A. ; Heymans, P. ; Rubin, J. ; Czarnecki, K. ; 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 .
[Konferenz- oder Workshop-Beitrag], (2014)

Diese Liste wurde am Sat Sep 23 07:40:28 2017 CEST generiert.