[ecoop-info] FESCA 2011 Call for Papers

Happe, Jens jens.happe at sap.com
Wed Oct 13 14:30:30 CEST 2010

                             Call for Papers

                              - FESCA 2011 -

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

                         Satellite event of ETAPS
                   April 2-3, 2011 -- Saarbruecken, Germany



The aim of the FESCA workshop is to bring together researchers from 
formal methods, software engineering, and industry interested in the 
development and application of formal modelling approaches as well as 
associated analysis and reasoning techniques with practical benefits 
for component-based software engineering.


Topics of interest include, but are not limited to:

    * Prediction, analysis and measurement of software quality 
      attributes such as reliability, performance, or security; 

    * Temporal properties (including liveness and safety) and 
      their formal verification; 

    * Interface compliance (interface-to-interface and interface-to 
      implementation) and contractual use of components; 

    * Modelling formalisms for the analysis of concurrent systems 
      assembled of components; 

    * Techniques for prediction and formal verification of system 
      properties, including static and dynamic analysis; 

    * Instrumentation and monitoring approaches, runtime management 
      of applications;

    * (Semi-) automatic inference of analytical models for existing 
      software systems; 

    * Industrial case studies and experience reports.


Two kinds of submissions are considered: 

    * Regular papers (up to 15 pages in ENTCS format), presenting 
      original and unpublished work 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 papers will be published in a special issue of the 
      Electronic Notes in Theoretical Computer Science (ENTCS) 
      after the workshop (under negotiation). 

    * Both regular and tool demonstration papers will appear in
      electronic pre-proceedings distributed at the workshop.


    * Paper registration:          December 3, 2010
    * Submission deadline:         December 10, 2010
    * Notification of acceptance:  January 21, 2011
    * Final versions due:          February 4, 2011
    * Workshop date:               April 2-3, 2011


    * Jeremy Bradley (Imperial College London, UK)
    * Ivana Cerna (Masaryk University, Czech Republic)
    * Martin Fraenzle (University of Oldenburg, Germany)
    * Lars Grunske (Swinburne University of Technology, Australia)
    * Ludovic Henrio (INRIA Sophia Antipolis, France)
    * Holger Hermanns (Universität des Saarlandes, Germany)
    * Jan Kofron (Charles University in Prague, Czech Republic)
    * Samuel Kounev (University of Karlsruhe, Germany)
    * Heiko Koziolek (ABB Research Ladenburg, Germany)
    * Ralf Küsters (Universität Trier, Germany)
    * Markus Lumpe (Swinburne University of Technology, Australia)
    * Florian Matthes (Technische Universität München, Germany)
    * Raffaela Mirandola (Politecnico di Milano, Italy)
    * Iman Poernomo (King's College London, UK)
    * Ralf Reussner (University of Karlsruhe, Germany)
    * Antonino Sabetta (SAP Research, France)
    * Cristina Seceleanu (Mälardalen University, Sweden)


    * Barbora Buhnova (Masaryk University, Czech Republic)
    * Jens Happe (SAP Research, Germany)

More information about the ecoop-info mailing list