Events and Fairs

2nd International Workshop on Formal Methods and Analysis in Software Product Line Engineering

held in conjunction with SPLC 2011, 26 August 2011, Munich, Germany


Software product line engineering (SPLE) aims at developing a family of systems via systematic, large-scale reuse in order to reduce time to market and costs and to increase product quality. In order to achieve these goals, formal methods and analysis are promising approaches, which are best applied throughout the product line lifecycle in order to maximize their overall efficiency and effectiveness. While some analysis approaches (e.g., for feature modeling, variant management) and formal methods (e.g., BDDs, CSPs, SAT solvers, model checkers or formal semantics of variability models) have already been applied to SPLE, a considerable potential still appears to be unexploited. Despite the initial works mentioned above, the respective communities (SPLE, analysis and formal methods) have only been loosely connected. This workshop will bring together researchers interested in raising the efficiency and effectiveness of SPLE by applying innovative analysis approaches and formal methods. The two long-term objectives are as follows:

  1. To raise awareness and create a common understanding of challenges, constraints, and approaches in the different communities, and
  2. To create a broader community interested in formal methods and analysis approaches in order to keep SPLE tools and research up-to-date with the latest technologies.

This workshop merges two successful workshops in these fields, namely the FMSPLE workshop 2010 and the ASPL workshop 2008, both collocated with the International Software Product Line Conference.


The FMSPLE workshop will focus on the application of formal methods and analysis approaches in all phases of SPLE to ensure the correctness of individual artifacts as well as consistency among them. The topics of interest include, but are not limited to:

  • Analysis approaches and formal methods for:
  • Proofs of concept, industrial experiences and empirical evaluations
  • Tool presentations
  • Vision and position papers on formal methods and analyses applied to SPLE.

Workshop Format

The FMSPLE workshop will be a full-day event, starting with a keynote presentation by Prof. Alexander Felfernig (Graz University of Technology, Austria). Prof. Felfernig is a well-known expert on analysis, configuration, and recommender systems in the AI community. The keynote will be followed by presentations of selected peer-reviewed papers. To foster interaction within the workshop, a discussant will be assigned to each presented paper. The task of the discussant will be to prepare a summary of the paper and initiate the discussion of its results. The workshop will close with a panel discussion moderated by the organizers to summarize the state of the art and the state of the practice as presented in the workshop, to collect research challenges for the application of formal methods in SPLE, and to identify research topics for future workshops.


We are looking for research papers, experience reports, reports of industrial case studies, tool descriptions, and short papers of 4-8 pages in length in ACM SIG alternative proceedings A4 style format. For formatting instructions, consult (http:// proceedings-templates).

Submissions will be selected based on the relevance to the workshop topics and the suitability to trigger discussions. A post-proceedings publication of the workshop is under consideration. Papers should be submitted via Easy-Chair at conferences/?conf=fmsple11.

Important Dates

  • Deadline for submissions: 29 May 2011
  • Notification of acceptance: 16 June 2011
  • Final papers due: 27 June 2011


The workshop will feature a keynote by Prof. Alexander Felfernig (Graz University of Technology, Austria). Prof. Felfernig is a well-known expert on analysis, configuration, and recommender systems in the AI community.


09:00 - 09:15 Welcome and Opening
09:15 - 10:30 Keynote Prof. Alexander Felfernig "Intelligent Techniques for Software Product Line Engineering"
10:30 - 11:00 Coffee break
11:00 - 12:30 Short paper presentations and discussion
- Jesús García-Galán, Pablo Trinidad, José A. Galindo and Antonio Ruiz-Cortés. Tool supported error detection and explanations on feature models
- Peter Wong, Nikolay Diakov and Ina Schaefer. Modelling Software Product Lines using HATS Approach – A Fredhopper Case Study
- José A. Galindo, Fabricia Roos-Frantz, Jesús García-Galán and Antonio Ruiz-Cortés. Extracting Orthogonal Variability Models from Debian Repositories
12:30 - 14:00 Lunch break
14:00 - 15:30 HATS Tutorial: Modeling, Executing, and Visualizing Software Product Lines using the HATS Tool Suite
15:30 - 16:00 Coffee break
16:00 - 17:00 Discussion Session: Future research directions and the future of FMSPLE
17:00 - 17:15 Wrap-Up and Summary

Program Committee

S. Apel, Univ. Passau, Germany
E. Bagheri, Athabasca Univ., Canada
D. Batory, Univ. of Texas, USA
A. Bauer, NICTA, Australia
M. Broy, Univ. Munich, Germany
D. Clarke, KU Leuven, Belgium
A. Classen, Univ. of Namur, Belgium
F. de Boer, CWI, Netherlands
A. Gruler, Siemens, Germany
K. Havelund, NASA JPL, USA
P. Heymans, Univ. of Namur, Belgium
K. Larsen, Aalborg Univ., Denmark
T. Männistö, Helsinki Univ. of Techn., Finland
M. Mendonca, Univ. of Waterloo, Canada
D. Muthig, Lufthansa Systems, Germany
B. O’Sullivan, Cork Constraint ComputationCentre, Ireland
A. Ruiz-Cort´es, Univ. Seville, Spain
G. Schneider, Univ. Gothenburg, Sweden
D. Schmidt, SEI, USA
J. White, Virginia Tech, USA


Program Committee Chairs:
David Benavides (Univ. Seville, Spain)
Martin Leucker (Univ. Luebeck, Germany)

Organizing Committee Chairs
Martin Becker (Fraunhofer IESE, Germany)
Rick Rabiser (Univ. Linz, Austria)
Karina Villela (Fraunhofer IESE, Germany)
Peter Y.H. Wong (Fredhopper, Netherlands)