Program PDF FM SPLE 2015 Program
|
|
Francis Bancroft Building / Room: FB.1.09 |
| 9h15-09h30 | Welcome |
| 09h30-10h30 | Invited talk |
|
|
Marsha Chechik |
|
|
Towards a Framework for Managing Software Families (invited talk) |
| 10h30-11h00 | Coffee Break |
| 11h00-11h30 | Lars Luthmann, Stephan Mennicke and Malte Lochau |
|
|
Towards an I/O Conformance Testing Theory for Software Product Lines based on Modal Interface Automata |
| 11h30-12h00 | Tessa Belder, Maurice H. Ter Beek and Erik De Vink |
|
|
Coherent branching feature bisimulation |
| 12h00-12h30 | Uwe Lesta, Ina Schaefer and Tim Winkelmann |
|
|
Detecting and Explaining Conflicts in Attributed Feature Models |
| 12h30-14h00 | Lunch |
| 14h00-14h30 | Thi-Kim-Zung Pham, Catherine Dubois and Nicole Levy |
|
|
Towards correct-by-construction product variants of a software product line: GFML, a formal language for feature modules |
| 14h30-15h00 | Maurice H. Ter Beek, Axel Legay, Alberto Lluch Lafuente and Andrea Vandin |
|
|
Quantitative Analysis of Probabilistic Software Product Line Models with Statistical Model Checking |
| 15h00-15h30 | Ian Peake, Jan Olaf Blech, Lasith Fernando, Divyasheel Sharma, Srini Ramaswamy and Mallikarjun Kande |
|
|
Analysis of Software Binaries for Reengineering-Driven Product Line Architecture – An Industrial Case Study |
| 15h30-16h00 | Discussion |
| 16h00-16h30 | Coffee Break |
| 16h30-18h00 | Panel |