会議情報
HASE 2019: International Symposium on High Assurance Systems Engineering
http://cloud.hdu.edu.cn/hase2019/
提出日:
2018-09-23 Extended
通知日:
2018-10-15
会議日:
2019-01-03
場所:
Hangzhou, China
年:
19
CORE: b   QUALIS: b1   閲覧: 19017   追跡: 5   出席: 1

論文募集
Researchers and practitioners are invited to submit original work to HASE 2019. All submissions must be written in English and will be reviewed by at least three members of the Technical Program Committee. The HASE 2019 program will include the following tracks:

Track A: Theoretical foundations of assurance (8 pages, including all materials e.g. references, figures, tables and appendices)

Contributions under this track will focus on methods and techniques that aid in designing, modeling, validating and evolving complex systems and SoS.

Track B: The practice of assurance (8 pages)

Contributions under this track will focus on methods that have been applied in the real-world design, model, development, integration or evolution of high assurance systems, or have been tested in realistic testbeds.

Track C: Tools (4 pages)

Contributions under this track will focus on new or existing tools and their effectiveness in designing, modeling, developing, integrating or evolving high assurance systems.

Track D: Fast Abstract and New Ideas (2 pages)

Short papers under this track will focus on new ideas that producing high assurance systems and SoS. Such ideas might not have undergone a rigorous test but are novel enough and worthy of further discussion.

TOPICS OF INTEREST include, but not limited to, the following

Data Analytics for High Assurance Systems Engineering
Data Analysis and Visualization Methodologies
Data Analytics for High Assurance System Development and Evolution
Data Analytics for System-of Systems
Big Data in Cyber-Physical Systems
Big Data in Cloud Systems
Big Data in Security and Privacy

Development and Understanding

Agile System Development Methods
Model-based Systems Engineering
Requirements for High Assurance Systems
Formal Methods for High Assurance Systems Engineering
Domain Specific Languages
System Verification and Validation
Software Analysis and Visualization
High Assurance Systems Development

Platforms, Architectures and Design

Cyber-Physical Systems
Cloud Computing and Internet of Things
Distributed Networks and Systems
Embedded, Mobile, and Real-Time Systems
SCADA Systems and other Critical Infrastructures

System Operation and Behavior

Emergent Behavior and Adaptability
Safety, Vulnerability, and Fault Tolerance
Reliability, Robustness, and Resilience
Modeling and Simulation

Security and Privacy

Healthcare Systems Security and Privacy
Software Security Assurance and Assessment
Cyber security Issues and Challenges

Emerging Systems of High Assurance

Autonomous Systems and Robotics
Self-Adaptive Systems
Large-scale Systems Integration
Space and Communication Systems
Energy Management and Power Grids
Human-Systems Integration
最終更新 Dou Sun 2018-09-11
合格率
時間提出受け入れ受け入れ(%)
2004742533.8%
1999442761.4%
1997463065.2%
関連会議
CCFCOREQUALIS省略名完全な名前提出日通知日会議日
ICRMVInternational Conference on Robotics and Machine Vision2024-12-012025-01-012025-01-10
TMCMInternational Conference on Test, Measurement and Computational Method2017-05-11 2017-05-21
ICIEIInternational Conference on Information and Education Innovations2022-02-052022-02-252022-04-14
ICCDE'International Conference on Computing and Data Engineering2024-10-152024-11-052025-01-13
ICSPCSInternational Conference on Signal Processing and Communication Systems2020-06-302020-09-152020-12-14
RPInternational Conference on Reachability Problems2020-06-302020-08-172020-10-19
CyConInternational Conference on Cyber Conflict2014-10-012014-10-312015-06-03
ICCEIInternational Conference on Communication and Electronics Information2022-04-152022-05-102022-09-03
CMSAMInternational Conference on Computational Modeling, Simulation and Applied Mathematics2017-10-12 2017-10-22
baa2CAiSEInternational Conference on Advanced Information Systems Engineering2024-11-222025-02-282025-06-16
関連仕訳帳
CCF完全な名前インパクト ・ ファクター出版社ISSN
International Journal of Parallel Programming0.900Springer0885-7458
Information Technology and Management2.300Springer1385-951X
International Journal on Bioinformatics & Biosciences AIRCC1839-9614
bJournal of Functional Programming1.100Cambridge University Press0956-7968
IEEE Open Journal of the Computer Society5.700IEEE2644-1268
Industrial Robot1.900Emerald0143-991X
bSpeech Communication2.400Elsevier0167-6393
International Journal of Swarm Intelligence ResearchIGI Global Publishing1947-9263
Games: Research and PracticeACM2832-5516
IEEE Transactions on Smart Grid8.600IEEE1949-3053
おすすめ