posted by organizer: ywy191 || 1657 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

CAV 2025   37th International Conference on Computer Aided Verification
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
ICDPR-Vietnam 2025   2025 9th International Conference on Data Processing and Robotics (ICDPR 2025)
SPIN 2025   31st International Symposium on Model Checking Software
AIPIDAY 2025   AI on Pi Day
SI: Model-Driven Performance Engg in CPS 2025   IET CPS Theory & Applications, Special Issue: Model-Driven System-Performance Engineering for CPS
GPTMB 2025   The Second International Conference on Generative Pre-trained Transformer Models and Beyond
MDE4SA 2025   International Workshop on Model-Driven Engineering for Software Architecture
VSTTE 2024   Verified Software: Theories, Tools, Experiments