posted by user: rrabiser || 1733 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

SPLC 2022   26th ACM International Systems and Software Product Line Conference
AI 2022   8th International Conference on Artificial Intelligence and Applications
Call for Papers 2022   Call for Papers Historical Yearbook 2022
FM 2023   Formal Methods
Edited Book in Springer-Verlag 2022   Call for Book Chapters-Machine Learning and Deep Learning for Time Series Processing and Analysis
TACAS 2023   29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
ISPD 2023   International Symposium on Physical Design 2023
OVERLAY 2022   4th Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis
SEN 2022   Social Epidemic Network (SEN), Call for Book Chapters
FTSCS 2022   8th International Workshop on Formal Techniques for Safety-Critical Systems