FM SPLE 2015 Program

Program PDF

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