Formal Methods and Analysis in Software Product Line Engineering

FMSPLE 2012 is the third edition of the FMSPLE workshop series, traditionally a! liated with SPLC, which aims to connect researchers and practitioners interested in raising the e! ciency and the e" ectiveness of SPLE through the application of innovative analysis approaches and formal methods.

[1]  Reiner Hähnle,et al.  Formal Methods in Software Product Line Engineering , 2011, Computer.

[2]  Sergio Segura,et al.  Automated analysis of feature models 20 years later: A literature review , 2010, Inf. Syst..

[3]  Maurice H. ter Beek,et al.  Formal Description of Variability in Product Families , 2011, 2011 15th International Software Product Line Conference.

[4]  Dilian Gurov,et al.  Compositional Algorithmic Verification of Software Product Lines , 2010, FMCO.

[5]  Pierre-Yves Schobbens,et al.  Simulation-based abstractions for software product-line model checking , 2012, 2012 34th International Conference on Software Engineering (ICSE).

[6]  Peter Y. H. Wong,et al.  Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011) , 2011, 2011 15th International Software Product Line Conference.

[7]  Sven Apel,et al.  1st International Workshop on Formal Methods in Software Product Line Engineering (FMSPLE 2010) , 2010, SPLC.

[8]  Maurice H. ter Beek,et al.  A Logical Framework to Deal with Variability , 2010, IFM.

[9]  Pierre-Yves Schobbens,et al.  Symbolic model checking of software product lines , 2011, 2011 33rd International Conference on Software Engineering (ICSE).

[10]  Antonio Ruiz Cortés,et al.  First International Workshop on Analysis of Software Product Lines (ASPL'08) , 2008, 2008 12th International Software Product Line Conference.

[11]  Pierre-Yves Schobbens,et al.  Model checking lots of systems: efficient verification of temporal properties in software product lines , 2010, 2010 ACM/IEEE 32nd International Conference on Software Engineering.

[12]  Maurice H. ter Beek,et al.  VMC: A Tool for Product Variability Analysis , 2012, FM.