<html><head><meta http-equiv="Content-Type" content="text/html charset=windows-1252"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><br>CALL FOR PAPERS <br><br>Fourth Workshop on Formal Methods and Analysis in <br>Software Product Line Engineering (FMSPLE 2013)<br><p class="news" style="text-align: left; color: rgb(1, 1, 223); "><font face="Arial">NEWS: <b>Deadline extension until May 31.</b></font></p><p class="news" style="text-align: left; color: rgb(1, 1, 223); "><font face="Arial">NEWS: We're currently negotiating with a journal for a special issue on the themes of the FMSPLE workshop series.</font></p><a href="http://people.cs.kuleuven.be/dave.clarke/FMSPLE2013.html">http://people.cs.kuleuven.be/dave.clarke/FMSPLE2013.html</a><br><br>August 27, 2013. <br><br>Co-located with the 17th International Software Product Line Conference <br>(SPLC 2013), August 26 - 30, Tokyo, Japan<br>http://www.splc2013.net/<br><div style="text-align: left;"><br></div><div style="text-align: left;">BACKGROUND AND OBJECTIVES</div><br>Software product line engineering (SPLE) aims at developing a family of <br>systems by reuse in order to reduce time to market and to increase product <br>quality. The correctness of the development artifacts intended for reuse <br>as well as the correctness of the developed products is of crucial interest <br>for many safety-critical or business-critical applications. Formal methods <br>and analysis approaches have been successfully applied in single system <br>engineering over the last years in order to rigorously establish critical <br>system requirements. However, in SPLE, formal methods and analysis approaches<br>are not broadly applied yet, despite their potential to improve product <br>quality. One of the reasons is that existing formal approaches from single <br>system engineering do not consider variability, an essential aspect of <br>product lines.<br><br>The objective of the workshop “Formal Methods and Analysis in Software <br>Product Line Engineering (FMSPLE)” is to bring together researchers and <br>practitioners from the SPLE community with researchers and practitioners <br>working in the area of formal methods and analysis. So far, both communities <br>are only loosely connected, despite very promising initial work on formal <br>analysis techniques for software product lines. The workshop aims at <br>reviewing the state of the art and the state of the practice in which formal <br>methods and analysis approaches are currently applied in SPLE. This leads to <br>a discussion of a research agenda for the extension of existing formal <br>approaches and the development of new formal techniques for dealing with <br>the particular needs of SPLE. To achieve the above objectives, the workshop <br>is intended as a highly interactive event fostering discussion and initiating <br>collaborations between the participants from both communities. <br><br><br>TOPICS<br><br>The proposed workshop focuses on the application of formal methods and <br>analysis approaches in all phases of SPLE, including domain and application <br>engineering, in order to ensure the correctness of individual artifacts as <br>well as the consistency among them. The topics of interest include, but are <br>not limited to:<br><br>- Analysis approaches and formal methods for:<br><span class="Apple-tab-span" style="white-space:pre"> </span>- domain analysis and scoping<br><span class="Apple-tab-span" style="white-space:pre"> </span>- variability modeling<br><span class="Apple-tab-span" style="white-space:pre"> </span>- specification and verification of functional and non-functional <br><span class="Apple-tab-span" style="white-space:pre"> </span> properties in SPLE<br><span class="Apple-tab-span" style="white-space:pre"> </span>- safety and security aspects in SPLE<br><span class="Apple-tab-span" style="white-space:pre"> </span>- product line architectures and component-based product line development<br><span class="Apple-tab-span" style="white-space:pre"> </span>- product line implementation, such as type systems, programming languages, <br><span class="Apple-tab-span" style="white-space:pre"> </span> formal semantics<br><span class="Apple-tab-span" style="white-space:pre"> </span>- formal verification of product lines and product line artifacts<br><span class="Apple-tab-span" style="white-space:pre"> </span>- correctness-by-construction techniques in SPLE<br><span class="Apple-tab-span" style="white-space:pre"> </span>- automated test case generation and model-based testing in SPLE<br><span class="Apple-tab-span" style="white-space:pre"> </span>- product derivation and application engineering<br><span class="Apple-tab-span" style="white-space:pre"> </span>- product line life-cycle management (e.g., consistency assurance)<br><span class="Apple-tab-span" style="white-space:pre"> </span>- reuse and evolution of SPLs<br>- Proofs of concept, industrial experiences and empirical evaluations<br>- Tool presentations<br>- Vision and position papers on formal methods and analyses applied to SPLE<br><br><br>FORMAT<br><br>The FMSPLE workshop will be a full-day event, starting with a keynote <br>presentation. The keynote will be followed by presentations of selected <br>peer-reviewed papers. To foster interaction within the workshop, a <br>discussant will be assigned to each presented paper. The task of the <br>discussant will be to prepare a summary of the paper and initiate the <br>discussion of its results. The workshop will close with a discussion of <br>its participants to summarize the state of the art and the state of the <br>practice as presented in the workshop, to collect research challenges <br>for the application of formal methods in SPLE and to identify research <br>topics for future workshops.<br><br><br>SUBMISSION AND PUBLICATION<br><br>The contributed papers are expected to comprise research papers containing <br>novel and previously unpublished results, experience reports, reports of <br>industrial case studies, tool descriptions, and short papers describing <br>work in progress or exploratory ideas. All papers have to follow the ACM <br>two-column conference proceedings format (Letter) and be 4–8 pages of length. <br><br>The papers should be submitted via the EasyChair conference management system <br>and will be reviewed by at least three members of the program committee. The <br>program committee will select the best papers based on quality, relevance <br>to the workshop, and potential to initiate discussions for presentation. <br>The workshop proceedings will be published in the second volume of the <br>SPLC proceedings.<br><br>Easychair submission: https://www.easychair.org/conferences/?conf=fmsple2013<br><br>IMPORTANT DATES <br><br>Paper Submission: <span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span>May 31, 2013<br>Notification: <span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span>June 17, 2013<br>Camera-ready versions: <span class="Apple-tab-span" style="white-space:pre"> </span>July 4, 2013<br>Workshop:<span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span>August 27, 2013<br><br><br>PROGRAM COMMITTEE <br><br>Dave Clarke <span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span>KU Leuven, Belgium (Chair)<br>Natsuko Noda <span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span>NEC, Japan<span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span><br>Alice Miller<span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span>University of Glasgow, Scotland<span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span><br>Kathi Fisler<span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span>Worcester Polytechnic Institute, USA<span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span><br>Reiner Hähnle<span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span>TU Darmstadt, Germany<span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span><br>Martin Leucker<span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span>University of Lübeck<span class="Apple-tab-span" style="white-space:pre"> </span><br>Kim G. Larsen<span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span>Aalborg University, Denmark<span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span><br>Andreas Classen<span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span>Intec Software Engineering, Belgium<span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span><br>Patrick Heymans<span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span>University of Namur, Belgium<span class="Apple-tab-span" style="white-space:pre"> </span><br>Maurice H. ter Beek<span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span>ISTI–CNR, Pisa, Italy<span class="Apple-tab-span" style="white-space:pre"> </span><br>Ina Schaefer<span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span>Technische Universität Braunschweig, Germany<span class="Apple-tab-span" style="white-space:pre"> </span><br>Stefania Gnesi<span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span>ISTI–CNR, Pisa, Italy<span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span><br>Richard Bubel <span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span>TU Darmstadt, Germany<span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span><br>Ferruccio Damiani<span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span>Università di Torino, Italy<span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span><br>Dirk Beyer<span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span>University of Passau, Germany<span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span><br>Dilian Gurov<span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span>KTH, Sweden<span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span><br>Atsushi Igarashi<span class="Apple-tab-span" style="white-space:pre"> </span><span class="Apple-tab-span" style="white-space:pre"> </span> <span class="Apple-tab-span" style="white-space:pre"> </span>Kyoto University, Japan<br><br><br>STEERING COMMITTEE<br><br>Ina Schaefer (Technical University of Braunschweig, Germany) <br>Maurice ter Beek (ISTI-CNR, Pisa, Italy) <br>Sven Apel (University of Passau, Germany)<br>Joanne Atlee (University of Waterloo, Canada) <br><br>--<br>Dave.Clarke@cs.kuleuven.be<br>Dept. of Computer Science<br>Celestijnenlaan 200A<br>B-3001 Heverlee<br>BELGIUM<br>Tel: +32 16 327866<br><br><br><br><br>Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm<br><br>
<FONT FACE=3D"Helvetica" SIZE=3D2>Disclaimer: <A HREF="http://www.kuleuven.be/cwis/email_disclaimer.htm">http://www.kuleuven.be/cwis/email_disclaimer.htm</A> for more information.</FONT>
<BR>
</body></html>