[agents] CFP - DETECT 2019 - Deadline extension and Special issue

Abderrahim AITWAKRIME abderrahim.aitwakrime at gmail.com
Thu Jun 20 03:24:57 EDT 2019


*[ Apologies to those who receive multiple copies of this CFP ]*

*=======================================================================*
*The international workshop on moDeling, vErification and Testing of
dEpendable CriTical systems (DETECT 2019)*

*https://detect.ensma.fr/2019/* <https://detect.ensma.fr/2019/>


In conjunction with 9th International Conference on Model & Data
Engineering (MEDI 2019)
*October 28-31, 2019   **Toulouse, France*

*All accepted papers will be published in Communications in Computer and
Information Science (CCIS) <https://www.springer.com/series/7899> by
Springer.*

*All accepted and presented papers in DETECT 2019 will be invited for a
special issue in:*
*Journal of Systems Architecture: Embedded Software Design (JSA), Elsevier
(IF = 0.913).*

================================================================================
*Important Dates:*

   - Abstract submission: 23 June, 2019
   - Full paper submission deadline: 28 June, 2019
   - Notification of acceptance: 15 July, 2019
   - Camera-ready papers: 30 July, 2019


*Keynote Speaker *
*Ernesto Exposito (University de Pau et Pays de l'Adour,
France)Semantic-driven approach for autonomic management of Cyber-Physical
Systems.*

*ABOUT DETECT*
The area of critical systems represents intersection of several systems
criteria based on dependability properties like availability, reliability,
reparability, maintainability, etc. Due to their heterogeneity and
variability, critical systems require the expertise of modeling,
verification and testing domains to ensure their dependability and safety.
DETECT 2019 will provide to the scientific community a forum for discussing
and representing experiences, state-of-the-art reports and work in-progress
related to the model-based engineering on design, verification and testing
of dependable systems.

*Topics*
The international workshop on modeling, verification and Testing of
dependable critical systems (DETECT 2019) will be mainly based on
model-based system engineering (MBSE) paradigm. Also, DETECT aims to create
a common community from academia and industry to share best practices,
tools and methodologies taking into account the functional and
non-functional
aspects (including, but not limited to: scheduling, performance, security,
safety, etc.). Workshop topics include, but not limited to:

   - Formal specification and verification of dependable and critical
   systems
   - Domain specific modeling languages, ontologies, methods and frameworks
   for critical systems
   - System evaluation of functional and non-functional properties
   (scheduling, performance, security, safety, etc.)
   - Methodologies and Tools for Cyber-Physical System and Real-time and
   Embedded System Design
   - Model-based testing of dependable critical systems
   - Test models of dependable critical systems
   - Data engineering facilities and requirement engineering techniques for
   critical systems
   - Realistic case studies, applications and experimentation

*Submission*

DETECT 2019 invites papers in three categories. Submission guidelines for
each category of paper are as follows:

   1. Regular Research papers: contributions should describe original work
   (up to 14 pages including all text, figures, references and appendices).
   2. Industrial case studies and lessons learned papers: works with
   experiences and notable industrial advances using model-driven engineering
   technology for verification and testing purposes (6-10 pages including all
   text, figures, references and appendices).
   3. Short Papers and position papers: Research in progress, tools
   presentations, and new ideas (6-8 pages including all text, figures,
   references and appendices).

Contributions should be written in English and be prepared using Springer’s
Lecture Notes in Computer Science (LNCS) format and according to
theinstructions
contained in the workshop website. All accepted papers will be published by
Springer in Communications in Computer and Information Science. Submissions
must be in PDF format and should be made using the DETECT 2019 Easychair
site: *https://easychair.org/conferences/?conf=detect2019
<https://easychair.org/conferences/?conf=detect2019>*

*Workshop Chairs:*

   - Yassine Ouhammou - LIAS/ISAE-ENSMA - France
   - Abderrahim Ait Wakrime - IRT Railenium - France

*Program Committee*

   - Youness Bazhar, ASML, Netherlands
   - Jamal Bentahar, Concordia University, Canada
   - Alessandro Biondi, Scuola Superiore Sant’Anna, Italy
   - Rachida Dssouli, Concordia University, Canada
   - Mamoun Filali-Amine, IRIT, France
   - Mohamed Ghazel, Ifsttar, France
   - Abdelouahed Gherbi, ETS Montreal, Canada
   - Paul Gibson, Telecom sudParis, France
   - Emmanuel Grolleau, LIAS/ISAE-ENSMA, France
   - Geoff Hamilton, Dublin City University, Ireland
   - Jameleddine Hassine, KFUPM, KSA
   - Rafik Henia, Thales, France
   - Slim Kallel, University of Sfax, Tunisia
   - Mehrdad Saadatmand, RISE SICS Västerås, Sweden
   - Colin Snook, University of Southampton, United Kingdom
   - Laurent Voisin, Systerel, France
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.cs.umbc.edu/pipermail/agents/attachments/20190620/774e4fe9/attachment.html>


More information about the agents mailing list