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

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

FacebookTwitterLinkedInGoogle

Link: http://www.iese.fraunhofer.de/events/fmsple/
 
When Aug 26, 2011 - Aug 26, 2011
Where Munich, Germany
Submission Deadline TBD
Categories    software product lines   formal methods   analysis
 

Call For Papers

--------------------------------------------------------------
CALL FOR PARTICIPATION

2nd International Workshop on Formal Methods and Analysis in Software Product
Line Engineering (FMSPLE 2011), 26 August 2011
http://www.iese.fraunhofer.de/events/fmsple/
Featuring a keynote by Prof. Alexander Felfernig

Co-located with the 15th International Software Product Line Conference
(SPLC 2011), 22 - 26 August 2011
http://www.splc2011.net/

--------------------------------------------------------------

Registration Website: http://www.splc2011.net//registration-1/index.html
Early Bird Registration Deadline: July 20, 2011

--------------------------------------------------------------
PROGRAM
(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

--------------------------------------------------------------
BACKGROUND AND OBJECTIVES

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 (http://www.iese.fraunhofer.de/de/veranstaltungen_messen/fmsple/2010) and the ASPL workshop 2008 (http://www.isa.us.es/aspl08), both co-located with the International Software Product Line Conference.

LOCATION

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

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. 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

PROGRAM COMMITTEE CHAIRS

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

ORGANIZING COMMITTEE

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

Related Resources

Call For Papers Special Issue 2024   Smart Cities, innovating in the Transformation of Urban Environments
FM 2024   Formal Methods
Call for Chapters - CRC Press 2024   Internet of Things: Challenges and Advances
ICFEM 2024   International Conference on Formal Engineering Methods
PJA Call for Guest Editors 2025   The Polish Journal of Aesthetics: Call for Special Issue Proposals and Guest Editor Recruitment
SIMULTECH 2024   14th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
AI&S 2024   Call For Papers: Special issue of the Journal AI & Society - The Impact of Generative AI on Human Creativity
TAP 2024   18th International Conference on Tests and Proofs
ECoD4EJ 2024   ECoD4EJ24 (European Capital of Democracy 2024/25)
FMICS 2024   29th International Conference on Formal Methods for Industrial Critical Systems