.gif)
] Filters: Author is Malte Lochau [Clear All Filters]
"Automated Verification of Feature Model Configuration Processes Based on Workflow Petri Nets",
18th International Software Product Line Conference (SPLC 2014), Florence, Italy, ACM, 09/2014.
Abstract
"Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing",
Formal Aspects of Component Software, Besançon, France, Springer Berlin Heidelberg, 04/2017, 2016.
Abstract
"DeltaCCS: A Core Calculus for Behavioral Change",
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium (ISoLA 2014), Corfu, Greece, Springer Berlin Heidelberg, 09/2014.
Abstract
"Towards an I/O Conformance Testing Theory for Software Product Lines based on Modal Interface Automata",
International Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2016), London, UK, EPTCS, 04/2015.
Abstract
"Incremental model checking of delta-oriented software product lines",
Journal of Logical and Algebraic Methods in Programming, vol. 85, no. 1: Elsevier, 01/2016.
Abstract
"Unifying modal interface theories and compositional input/output conformance testing",
Science of Computer Programming, vol. 172, 2019.
Abstract