default search action
6th FMSPLE@ETAPS 2015: London, UK
- Joanne M. Atlee, Stefania Gnesi:
Proceedings 6th Workshop on Formal Methods and Analysis in SPL Engineering, FMSPLE@ETAPS 2015, London, UK, 11 April 2015. EPTCS 182, 2015 - Lars Luthmann, Stephan Mennicke, Malte Lochau:
Towards an I/O Conformance Testing Theory for Software Product Lines based on Modal Interface Automata. 1-13 - Tessa Belder, Maurice H. ter Beek, Erik P. de Vink:
Coherent branching feature bisimulation. 14-30 - Uwe Lesta, Ina Schaefer, Tim Winkelmann:
Detecting and Explaining Conflicts in Attributed Feature Models. 31-43 - Thi-Kim-Zung Pham, Catherine Dubois, Nicole Lévy:
Towards correct-by-construction product variants of a software product line: GFML, a formal language for feature modules. 44-55 - Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin:
Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking. 56-70 - Ian D. Peake, Jan Olaf Blech, Lasith Fernando, Divyasheel Sharma, Srini Ramaswamy, Mallikarjun Kande:
Analysis of Software Binaries for Reengineering-Driven Product Line Architecture - An Industrial Case Study. 71-82
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.