[ecoop-info] CfP - 10th ETAPS Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA'13)

Bara Buhnova buhnova at fi.muni.cz
Mon Oct 15 22:55:49 CEST 2012

                              Call for Papers

                               - FESCA 2013 -

              10th International Workshop on Formal Engineering
            approaches to Software Components and Architectures

                          Satellite event of ETAPS
                      March 23th, 2013, Rome, Italy


* Deadline for Paper registration: December 5, 2012
* Deadline for Paper Submission: December 12, 2012
* Notification of Acceptance: January 25, 2013



Component-based software design has received considerable attention in 
industry and academia in the past decade. In recent years, the growing 
need for trustworthy software systems and the increased relevance of 
systems quality properties (e.g. reliability, performance, and 
scalability) have stimulated the emergence of formal techniques and 
architecture modelling approaches for the specification and 
implementation of component-based software architectures. Both have to 
deal with an increasing complexity in software systems challenging 
analytical methods as well as modelling techniques.

FESCA aims to address the open question of how formal methods can be 
applied effectively to these new contexts and challenges. FESCA is 
interested in both the development and application of formal methods in 
component-based development and tries to cross-fertilize their research 
and application.


One strength of FESCA is the link established between the formal methods 
community and the software engineering community by exploring how formal 
approaches can be exploited for the analysis of large software 

We encourage submissions on formal techniques and their application that 
aid reasoning, analysis and certification of component-based 
applications. In this context, the following topics are of particular 

     * Architecture as a language: Building Domain-Specific Languages (DSLs)
           o Modelling formalisms for the analysis of concurrent, 
embeded or model-driven systems assembled of components;
           o Modelling formalisms in prediction, analysis and 
measurement of software quality attributes such as reliability, 
performance, or security;
     * Properties of component-based models
           o Temporal properties (including liveness and safety) and 
their formal verification;
           o Interface compliance (interface-to-interface and 
interface-to implementation) and contractual use of components;
     * Formal methods in Component-Based Software Development
           o Techniques for prediction and formal verification of system 
properties, including static and dynamic analysis;
           o Instrumentation and monitoring approaches, runtime 
management of applications;
           o (Semi-) automatic inference of analytical models for 
existing software systems;
     * Formal methods in Model-Driven Software Development
           o Abstraction level in modelling formalisms;
           o Safer MDA through integration with formal methods;
           o Correctness of model transformations;
     * Industrial case studies and experience reports.

Submissions concentrating on specification techniques should involve an 
evaluation of the practical merit of their research and clearly state 
the analysis and reasoning techniques they enable. We also appreciate 
work of a formal nature with immediate value to the industrial context. 
We encourage not only mature research results, submissions presenting 
innovative ideas and early results are also of interest.


Three kinds of submissions are considered:

     * Regular papers (up to 15 pages in ENTCS format), presenting
       original and unpublished work related to the workshop topics.

     * Position papers (up to 10 pages in ENTCS format) presenting
       ideas and directions of interesting ongoing and yet unpublished
       research related to the workshop topics.

     * Tool demonstration papers (up to 5 pages in ENTCS format),
       presenting and highlighting the distinguishing features of
       a topic-related tool (co-developed by the authors).


     * Regular and position papers will be published in a special
       issue of the Electronic Notes in Theoretical Computer Science
       (ENTCS) after the workshop.

     * All regular, position and tool demonstration papers will
       appear in electronic pre-proceedings distributed at the


     *    Paper registration: December 5, 2012
     *    Submission deadline: December 12, 2012
     *    Notification of acceptance: January 25, 2013
     *    Final versions due: February 8, 2013
     *    Workshop date:  March 23, 2013


     * Ivana Cerna (Masaryk University, Czech Republic)
     * Ludovic Henrio (CNRS, France)
     * Petr Hnetynka (Charles University in Prague, Czech Republic)
     * Samuel Kounev (University of Karlsruhe, Germany)
     * Heiko Koziolek (ABB Research Ladenburg, Germany)
     * Ralf Kuesters (Universität Trier, Germany)
     * Markus Lumpe (Swinburne University of Technology, Australia)
     * Raffaela Mirandola (Politecnico di Milano, Italy)
     * Dorina Petriu (Carleton Univesity, USA)
     * Ralf Reussner (University of Karlsruhe, Germany)
     * Cristina Seceleanu (Mälardalen University, Sweden)
     * Dennis Westermann (SAP Research, Germany)
     * Steffen Zschaler (King's College London, UK)


     * Barbora Buhnova (Masaryk University, Czech Republic)
     * Lucia Kapova (Karlsruhe Institute of Technology, Germany)
     * Jan Kofron (Charles University in Prague, Czech Republic)

More information about the ecoop-info mailing list