posted by organizer: ywy191 || 1732 views || tracked by 1 users: [display]

DMTS 2019 : International Symposium on Data& Model-Driven Methods for Trustworthy Systems

FacebookTwitterLinkedInGoogle

Link: http://www.smart-world.org/2019/scalcom/DMTS/
 
When Aug 19, 2019 - Aug 23, 2019
Where Leicester, UK
Submission Deadline Apr 26, 2019
Notification Due May 4, 2019
Final Version Due May 19, 2019
Categories    data   model   petri   trustworthy system
 

Call For Papers

International Symposium on Data & Model-Driven Methods for Trustworthy Systems
(DMTS 2019)
In conjunction with the 19th IEEE International Conference on Scalable Computing and Communications (ScalCom 2019)
http://www.smart-world.org/2019/scalcom/
Leicester, UK, 19-23 August, 2019

Scope:
With the development of large-scale systems, how to guarantee the trustworthy has become a key issue. Model-driven methods have played crucial roles in designing and analyzing such complex systems. With the prevalence of Big Data, the wealth of data and logs can also be used in the modern system development process. The academia, the industry, and even the government institutions have already begun to pay attention to the approaches that utilize data & model-driven methods for guaranteeing the system trustworthy.

Although data & model-driven methods have attracted much attention, there are strong needs for novel methods of integrating data and model(formal or informal), and proposing more effective methodologies. This workshop will provide a forum to discuss fundamental issues on research and development of data & model-driven methods for trustworthy systems as well as challenges in design and implementation of novel models, architectures and systems. The relevant topics include, but not limited to:

• Data and model fusion methods for system design, analysis and reconstruction
• Data and model fusion methods for system monitoring and controling
• Model-based Complex Event Processing architectures
• Novel Process Mining methods
• Process Mining methods for dependable and security systems
• Data-driven methods for dependable and security systems
• Design and implementation of data and model fusion related applications
• Formal model-based analytics, security and management
• Behavior-based online monitoring technologies for security and management
• Petri net theory and application with data analysis
• Analytical methods for formal model with data
Organisation:
General Chair:
• Wangyang Yu, Shaanxi Normal University, China
• Lu Liu, University of Derby, UK
• Xianwen Fang, Anhui University of Science & Technology, China
• Ovidiu Bagdasar, University of Derby, UK
Programme Chair:
• John Panneerselvam, University of Derby, UK
• Faycal Bensaali, Qatar University, Qatar
• Fei Hao, Shaanxi Normal University, China

Important Dates:
Paper Submission Deadline:19 April, 2019
Authors Notification: 4 May, 2019
Camera-Ready Paper Due: 19 May 2019
Conference Date: 19-23 August 2019

Submission Guidelines:
Please submit your paper via EDAS system at https://edas.info/newPaper.php?c=25466. A submission is limited to 6 pages for a special session paper. Format is IEEE conference paper, double column, in Portable Document Format (.pdf). A submission can have at most 2 additional pages, with a page overlength charge, if the paper is accepted. Accepted conference papers will be published by IEEE CPS (IEEE-DL and EI indexed). At least one author of each accepted paper is required to register and present their work at the conference; otherwise the paper will not be included in the proceedings. Best Paper Awards will be presented to high quality papers. Selected papers will be recommended to special issues. More details can be found via http://www.smart-world.org/2019/scalcom/.

Related Resources

SAM 2025   System Analysis and Modelling conference
IARIA Congress 2025   The 2025 IARIA Annual Congress on Frontiers in Science, Technology, Services, and Applications
MODELSWARD 2025   13th International Conference on Model-Based Software and Systems Engineering
HEALTHINFO 2025   The Tenth International Conference on Informatics and Assistive Technologies for Health-Care, Medical Support and Wellbeing
AIDAOS 2025   1st Workshop on AI-Enhanced DAO Security
GPTMB 2025   The Second International Conference on Generative Pre-trained Transformer Models and Beyond
VSTTE 2025   Verified Software: Theories, Tools, Experiments
LLM4SE 2025   1st Workshop on Large Language Models for Generative Software Engineering
SI: Model-Driven Performance Engg in CPS 2025   IET CPS Theory & Applications, Special Issue: Model-Driven System-Performance Engineering for CPS
DSA 2025   The 12th International Conference on Dependability Systems and Their Applications