From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id C79F37EE2F; Tue, 31 Mar 2015 11:10:03 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of alexander.romanovsky@newcastle.ac.uk) identity=pra; client-ip=128.240.234.22; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="alexander.romanovsky@newcastle.ac.uk"; x-sender="alexander.romanovsky@newcastle.ac.uk"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of alexander.romanovsky@newcastle.ac.uk designates 128.240.234.22 as permitted sender) identity=mailfrom; client-ip=128.240.234.22; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="alexander.romanovsky@newcastle.ac.uk"; x-sender="alexander.romanovsky@newcastle.ac.uk"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@cheviot22.ncl.ac.uk) identity=helo; client-ip=128.240.234.22; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="alexander.romanovsky@newcastle.ac.uk"; x-sender="postmaster@cheviot22.ncl.ac.uk"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0D3AAAWYxpVnBbq8IBcDoI1IXRQAQEKAQS8BIlcAQuFKIIITAEBAQEBAREBAQEBAQgLCQkULoQbHSwdAgMJFwE1Dj0nBCkGiBMBDKQBo3iEdQEBAQEGAQEBAQEdjGaCY2mCIwxBHYEWBYYdjjeHWotfg3QPgwKBfScNDxR/PW8BgQECHgYcfwEBAQ X-IPAS-Result: A0D3AAAWYxpVnBbq8IBcDoI1IXRQAQEKAQS8BIlcAQuFKIIITAEBAQEBAREBAQEBAQgLCQkULoQbHSwdAgMJFwE1Dj0nBCkGiBMBDKQBo3iEdQEBAQEGAQEBAQEdjGaCY2mCIwxBHYEWBYYdjjeHWotfg3QPgwKBfScNDxR/PW8BgQECHgYcfwEBAQ X-IronPort-AV: E=Sophos;i="5.11,499,1422918000"; d="scan'208,217";a="107747565" Received: from cheviot22.ncl.ac.uk ([128.240.234.22]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 31 Mar 2015 11:10:02 +0200 Received: from exhubvm01.ncl.ac.uk ([128.240.234.5] helo=EXHUBVM01.campus.ncl.ac.uk) by cheviot22.ncl.ac.uk with esmtp (Exim 4.63) (envelope-from ) id 1Ycrlj-00042X-EA; Tue, 31 Mar 2015 09:43:31 +0100 Received: from EXMBDB03.campus.ncl.ac.uk ([fe80::a8d7:770f:32f:9a8c]) by EXHUBVM01.campus.ncl.ac.uk ([2002:80f0:ea05::80f0:ea05]) with mapi id 14.03.0158.001; Tue, 31 Mar 2015 09:42:09 +0100 From: Alexander Romanovsky To: Alexander Romanovsky Thread-Topic: CfP SERENE 2015: 7th International Workshop on Software Engineering for Resilient Systems, 7-8th September 2015, Paris Thread-Index: AQHQa46SGEPlm4NrukaSpuJ543tBrg== Date: Tue, 31 Mar 2015 08:42:09 +0000 Message-ID: <982B1AC6-8B18-4DF5-ABEB-E861E311BFF6@ncl.ac.uk> Accept-Language: en-US, en-GB Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [10.4.160.7] Content-Type: multipart/alternative; boundary="_000_982B1AC68B184DF5ABEBE861E311BFF6nclacuk_" MIME-Version: 1.0 X-Validation-by: alexander.romanovsky@newcastle.ac.uk Subject: [Caml-list] CfP SERENE 2015: 7th International Workshop on Software Engineering for Resilient Systems, 7-8th September 2015, Paris --_000_982B1AC68B184DF5ABEBE861E311BFF6nclacuk_ Content-Type: text/plain; charset="Windows-1252" Content-Transfer-Encoding: quoted-printable CALL FOR PAPERS SERENE 2015 Submission due: April 24, 2015 ------------------------ INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING FOR RESILIENT SYSTEMS 7-8th September 2015, Paris, France SERENE website: http://serene.disim.univaq.it/2015 LinkedIn group: https://www.linkedin.com/groups?home=3D&gid=3D4365850&trk= =3Dmy_groups-tile-grp Slideshare: www.slideshare.net/SERENEWorkshop Co-located with the 11th European Dependable Computing Conference (EDCC) 20= 15: http://edcc2015.lip6.fr ------------------------ THEME AND TOPICS OF INTEREST The way software is developed is changing. It must take into account multif= aceted constraints like unpredictable markets, evolving customer requiremen= ts, pressures of shorter time-to-market, etc. At the same time, software is= controlling critical functionalities in several domains like transportatio= n, health care, manufacturing, and IT infrastructures. As a result, modern = software systems require on one side adding frequently (daily or weakly) ne= w features, functionalities, or new versions of software artifacts accordin= g to changing contexts, business opportunities, or customer=92s feedbacks, = on the other side ensuring their resilience =96 an ability of the system to= persistently deliver its services in a dependable way even when facing cha= nges, unforeseen failures and intrusions. The SERENE 2015 workshop provides a forum for researchers and practitioners= to exchange ideas on advances in all areas relevant to software engineerin= g for resilient systems, including, but not limited to: Development of resilient systems * Incremental development processes for resilient systems; * Requirements engineering & re-engineering for resilience; * Frameworks, patterns and software architectures for resilience; * Engineering of self-healing autonomic systems; * Design of trustworthy and intrusion-safe systems; * Resilience at run-time (mechanisms, reasoning and adaptation). Verification, validation and evaluation of resilience * Modelling and model based analysis of resilience properties; * Formal and semi-formal techniques for verification and validation; * Experimental evaluations of resilient systems; * Quantitative approaches to ensuring resilience; * Resilience prediction. Case studies & applications * Empirical studies in the domain of resilient systems; * Methodologies adopted in industrial contexts; * Cloud computing and resilient service provisioning; * Resilient cyber-physical systems and infrastructures; * Global aspects of resilience engineering: education, training and coo= peration. ------------------------ CONTRIBUTIONS We welcome relevant contributions in the following forms: * Technical papers describing original theoretical or practical work; * Experience/Industry papers describing practitioner experience or fiel= d study, addressing an application domain and the lessons learned; * PhD Forum papers describing objectives, methodology, and results at a= n early stage in research; * Project papers describing goals and results of ongoing projects; * Tool papers presenting new tools or new versions of existing tools th= at support the development of resilient systems. ------------------------ KEYNOTE SPEAKER Prof. John Fitzgerald - School of Computing Science, Newcastle University (= http://www.ncl.ac.uk/computing/people/profile/john.fitzgerald) Talk about: systems of systems and cyber-physical systems ------------------------ 1/2 INDUSTRY DAY - September 7, 2015 The program will feature invited talks by experts from industry. ------------------------ IMPORTANT DATES Submission due: April 24, 2015 Authors notification: June 19, 2015 Camera ready papers: July 1, 2015 Workshop: September 7-8, 2015 ------------------------ SUBMISSION Papers can be submitted via EasyChair: https://www.easychair.org/conference= s/?conf=3Dserene2015 Each paper must be submitted in PDF and be formatted according to the Sprin= ger LNCS Guidelines: http://www.springer.com/computer/lncs?SGWID=3D0-164-6-= 793341-0 be no longer than 15 pages for technical and experience/industry p= apers, and 8 pages for all others. Submitted papers must describe novel work and not be published elsewhere. A= ll papers will be peer-reviewed and assessed for relevance to the workshop = topics, technical soundness, innovation, scientific and presentation qualit= y. Accepted papers must be presented by (one of) the author(s). The Proceedings of SERENE 2015 will be published as a volume in Springer Le= cture Notes in Computer Science (LNCS). ------------------------ COMMITTEES International Program Committee * Paris Avgeriou, U. Groningen, The Netherlands * Marco Autili, University of L=92Aquila, Italy * Didier Buchs, U. Geneva, Switzerland * Barbora Buhnova, Masaryk University, Czech Republic * Andrea Ceccarelli, U. Firenze, Italy * Ivica Crnkovic, Chalmers university, Sweden * Vincenzo De Florio, U. Antwerp, Belgium * Nikolaos Georgantas, INRIA, France * David De Andr=E9s, Universidad Polit=E9cnica de Valencia * Felicita Di Giandomenico, CNR-ISTI, Italy * Holger Giese, U. Potsdam, Germany * Nicolas Guelfi, U. Luxembourg, Luxembourg * Mohamed Kaaniche, LAAS-CNRS, France * Vyacheslav Kharchenko, National Aerospace U., Ukraine * Nuno Laranjeiro, U. Coimbra, Portugal * Istvan Majzik, Budapest University of Technology and Economics, Hunga= ry * Paolo Masci, Queen Mary U., UK * Marina Mongiello, Technical University of Bari, Italy * Henry Muccini, U. L=92Aquila, Italy * Sadaf Mustafiz, McGill U., Canada * Andr=E1s Pataricza, Budapest University of Technology and Economics, = Hungary * Markus Roggenbach, Swansea University, UK * Alexander Romanovsky, Newcastle U., UK * Stefano Russo, U. Naples Federico II, Italy * Peter Schneider-Kamp, U. Southern Denmark, Denmark * Marco Vieira, University of Coimbra, Portugal * Katinka Wolter, Freie U. Berlin, Germany * Apostolos Zarras, U. Ioannina, Greece Steering Committee * Didier Buchs, U. of Geneva, Switzerland * Henry Muccini, U. of L=92Aquila, Italy * Patrizio Pelliccione, Chalmers U. of Technology and U. of Gothenburg,= Sweden * Alexander Romanovsky, Newcastle U., UK * Elena Troubitsyna, Abo Akademi U., Finland Organizing Committee * Program Chairs: * Patrizio Pelliccione, Chalmers U. of Technology and U. of Gothenbu= rg, Sweden * Alessandro Fantechi, University of Florence, Italy * Publicity Chair: * Laura Carnevali, University of Florence, Italy * Web: * Mirco Franzago, University of L=92Aquila, Italy --_000_982B1AC68B184DF5ABEBE861E311BFF6nclacuk_ Content-Type: text/html; charset="Windows-1252" Content-ID: <42DC5560F50A984AA5BFBC63EBA0797D@fangorn.ncl.ac.uk> Content-Transfer-Encoding: quoted-printable CALL FOR PAPERS SERENE 2015
Submission due: April 24, 2015

------------------------
INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING FOR RESILIENT SYSTEMS
7-8th September 2015, Paris, France

SERENE website: http://serene.disim.univaq.it/2015
LinkedIn group: https://www.linkedin.com/groups?home=3D&gid=3D4365850&trk=3Dmy_grou= ps-tile-grp
Slideshare: www.slideshare.net/SERENEWorkshop

Co-located with the 11th European Dependable Computing Conference (EDCC) 20= 15: http://edcc2015.lip6.fr

------------------------
THEME AND TOPICS OF INTEREST

The way software is developed is changing. It must take into account multif= aceted constraints like unpredictable markets, evolving customer requiremen= ts, pressures of shorter time-to-market, etc. At the same time, software is= controlling critical functionalities in several domains like transportation, health care, manufacturing, and IT= infrastructures. As a result, modern software systems require on one side = adding frequently (daily or weakly) new features, functionalities, or new v= ersions of software artifacts according to changing contexts, business opportunities, or customer=92s feedbacks, o= n the other side ensuring their resilience =96 an ability of the system to = persistently deliver its services in a dependable way even when facing chan= ges, unforeseen failures and intrusions.

The SERENE 2015 workshop provides a forum for researchers and practitioners= to exchange ideas on advances in all areas relevant to software engineerin= g for resilient systems, including, but not limited to:

Development of resilient systems
  • Incremental development processes for resilient systems;
  • Requi= rements engineering & re-engineering for resilience;
  • Framework= s, patterns and software architectures for resilience;
  • Engineering= of self-healing autonomic systems;
  • Design of trustworthy and intr= usion-safe systems;
  • Resilience at run-time (mechanisms, reasoning = and adaptation).
Verification, validation and evaluation of resilience
  • Modelling and model based analysis of resilience properties;
  • F= ormal and semi-formal techniques for verification and validation;
  • = Experimental evaluations of resilient systems;
  • Quantitative approa= ches to ensuring resilience;
  • Resilience prediction.
Case studies & applications
  • Empirical studies in the domain of resilient systems;
  • Methodol= ogies adopted in industrial contexts;
  • Cloud computing and resilien= t service provisioning;
  • Resilient cyber-physical systems and infra= structures;
  • Global aspects of resilience engineering: education, t= raining and cooperation.
------------------------
CONTRIBUTIONS

We welcome relevant contributions in the following forms:
  • Technical papers describing original theoretical or practical work;
  • Experience/Industry papers describing practitioner experience or fiel= d study, addressing an application domain and the lessons learned;
  • PhD Forum papers describing objectives, methodology, and results a= t an early stage in research;
  • Project papers describing goals and results of ongoing projects; <= /li>
  • Tool papers presenting new tools or new versions of existing tools = that support the development of resilient systems.
------------------------
KEYNOTE SPEAKER

Prof. John Fitzgerald - School of Computing Science, Newcastle University (http://www.ncl= .ac.uk/computing/people/profile/john.fitzgerald)
Talk about: systems of systems and cyber-physical systems

------------------------
1/2 INDUSTRY DAY - September 7, 2015
The program will feature invited talks by experts from industry. 

------------------------
IMPORTANT DATES

Submission due: April 24, 2015
Authors notification: June 19, 2015
Camera ready papers: July 1, 2015
Workshop: September 7-8, 2015

------------------------
SUBMISSION

Papers can be submitted via EasyChair: https://www.easychair.org/conferences/?conf=3Dserene2015

Each paper must be submitted in PDF and be formatted according to the Sprin= ger LNCS Guidelines: http://www.springer.com/computer/lncs?SGWID=3D0-164-6-793341-0 be no lo= nger than 15 pages for technical and experience/industry papers, and 8 page= s for all others.

Submitted papers must describe novel work and not be published elsewhere. A= ll papers will be peer-reviewed and assessed for relevance to the workshop = topics, technical soundness, innovation, scientific and presentation qualit= y. Accepted papers must be presented by (one of) the author(s).

The Proceedings of SERENE 2015 will be published as a volume in Springer Le= cture Notes in Computer Science (LNCS).

------------------------
COMMITTEES

International Program Committee
  • Paris Avgeriou, U. Groningen, The Netherlands
  • Marco Autili, Un= iversity of L=92Aquila, Italy
  • Didier Buchs, U. Geneva, Switzerland=
  • Barbora Buhnova, Masaryk University, Czech Republic
  • Andr= ea Ceccarelli, U. Firenze, Italy
  • Ivica Crnkovic, Chalmers universi= ty, Sweden
  • Vincenzo De Florio, U. Antwerp, Belgium
  • Nikola= os Georgantas, INRIA, France
  • David De Andr=E9s, Universidad Polit= =E9cnica de Valencia
  • Felicita Di Giandomenico, CNR-ISTI, Italy
  • Holger Giese, U. Potsdam, Germany
  • Nicolas Guelfi, U. Luxembo= urg, Luxembourg
  • Mohamed Kaaniche, LAAS-CNRS, France
  • Vyach= eslav Kharchenko, National Aerospace U., Ukraine
  • Nuno Laranjeiro, = U. Coimbra, Portugal
  • Istvan Majzik, Budapest University of Technol= ogy and Economics, Hungary
  • Paolo Masci, Queen Mary U., UK
    • Marina Mongiello, Technical University of Bari, Italy
  • Henry Mucci= ni, U. L=92Aquila, Italy
  • Sadaf Mustafiz, McGill U., Canada
    • Andr=E1s Pataricza, Budapest University of Technology and Economics, Hung= ary
  • Markus Roggenbach, Swansea University, UK
  • Alexander R= omanovsky, Newcastle U., UK
  • Stefano Russo, U. Naples Federico II, = Italy
  • Peter Schneider-Kamp, U. Southern Denmark, Denmark
  • = Marco Vieira, University of Coimbra, Portugal
  • Katinka Wolter, Frei= e U. Berlin, Germany
  • Apostolos Zarras, U. Ioannina, Greece
    • Steering Committee
    • Didier Buchs, U. of Geneva, Switzerland
    • Henry Muccini, U. of L= =92Aquila, Italy
    • Patrizio Pelliccione, Chalmers U. of Technology a= nd U. of Gothenburg, Sweden
    • Alexander Romanovsky, Newcastle U., UK=
    • Elena Troubitsyna, Abo Akademi U., Finland
    Organizing Committee
    • Program Chairs:
      • Patrizio Pelliccione, Chalmers U. of Technology and U. of Gothenburg, S= weden
      • Alessandro Fantechi, University of Florence, Italy
    • Publicity Chair:
      • Laura Carnevali, University of Florence, Italy
    • Web:
      • Mirco Franzago, University of L=92Aquila, Italy
    --_000_982B1AC68B184DF5ABEBE861E311BFF6nclacuk_--