posted by user: rrabiser || 1649 views || tracked by 1 users: [display]

FMSPLE 2011 : Call for Participation -- FMSPLE 2011 @ SPLC 2011


When Aug 26, 2011 - Aug 26, 2011
Where Munich, Germany
Submission Deadline TBD
Categories    software product lines   formal methods   analysis

Call For Papers


2nd International Workshop on Formal Methods and Analysis in Software Product
Line Engineering (FMSPLE 2011), 26 August 2011
Featuring a keynote by Prof. Alexander Felfernig

Co-located with the 15th International Software Product Line Conference
(SPLC 2011), 22 - 26 August 2011


Registration Website:
Early Bird Registration Deadline: July 20, 2011

(might be subject to minor changes)

09:00-09:15 Welcome and Opening
09:15-10:30 Keynote Prof. Alexander Felfernig
10:30-11:00 Coffee break
11:00-12:30 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 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


Software product line engineering (SPLE) aims at developing a family of systems by 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 maximise their overall efficiency and effectiveness. While some analysis approaches (e.g., for feature modelling, 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 seems 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:

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

FMSPLE 2011 merges two successful workshops in these fields, namely, the FMSPLE workshop 2010 ( and the ASPL workshop 2008 (, both co-located with the International Software Product Line Conference.


The workshop will be held on 26 August 2011, at Munich (Germany), co-located with the SPLC conference from 22 - 26 August 2011.


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. 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 Computation Centre, Ireland
A. Ruiz-Cortes, Univ. Seville, Spain
G. Schneider, Univ. Gothenburg, Sweden
D. Schmidt, SEI, USA
J. White, Virginia Tech, USA


David Benavides (Univ. Seville, Spain)
Martin Leucker (Univ. Luebeck, Germany)


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

Related Resources

CASE 2021   Call for Papers and Shared Task Participation: Challenges and Applications of Automated Extraction of Socio-political Events from Text (CASE) @ ACL-IJCNLP 2021
FM 2021   Formal Methods 2021
SPLC 2021   25th ACM International Systems and Software Product Line Conference - Call for Papers: Challenge Solutions
CALCO 2021    9th International Conference on  Algebra and Coalgebra in Computer Science
IJASA 2021   The International Journal of Ambient Systems and applications
FMICS 2021   Formal Methods for Industrial Critical Systems
SPLC 2021   25th ACM International Systems and Software Product Line Conference
WiL 2021   5th Women in Logic Workshop
NLP 2021   Call for Papers - “Information Extraction and NLP”
FMAS 2021   Third Workshop on Formal Methods for Autonomous Systems