会议信息
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 浏览: 19016 关注: 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
录取率
时间 | 提交数 | 录取数 | 录取率(%) |
---|---|---|---|
2004 | 74 | 25 | 33.8% |
1999 | 44 | 27 | 61.4% |
1997 | 46 | 30 | 65.2% |
相关会议
简称 | 全称 | 截稿日期 | 会议日期 |
---|---|---|---|
ICRMV | International Conference on Robotics and Machine Vision | 2024-12-01 | 2025-01-10 |
TMCM | International Conference on Test, Measurement and Computational Method | 2017-05-11 | 2017-05-21 |
ICIEI | International Conference on Information and Education Innovations | 2022-02-05 | 2022-04-14 |
ICCDE' | International Conference on Computing and Data Engineering | 2024-10-15 | 2025-01-13 |
ICSPCS | International Conference on Signal Processing and Communication Systems | 2020-06-30 | 2020-12-14 |
RP | International Conference on Reachability Problems | 2020-06-30 | 2020-10-19 |
CyCon | International Conference on Cyber Conflict | 2014-10-01 | 2015-06-03 |
ICCEI | International Conference on Communication and Electronics Information | 2022-04-15 | 2022-09-03 |
CMSAM | International Conference on Computational Modeling, Simulation and Applied Mathematics | 2017-10-12 | 2017-10-22 |
CAiSE | International Conference on Advanced Information Systems Engineering | 2024-11-22 | 2025-06-16 |
相关期刊
CCF | 全称 | 影响因子 | 出版商 | ISSN |
---|---|---|---|---|
International Journal of Parallel Programming | 0.900 | Springer | 0885-7458 | |
Information Technology and Management | 2.300 | Springer | 1385-951X | |
International Journal on Bioinformatics & Biosciences | AIRCC | 1839-9614 | ||
b | Journal of Functional Programming | 1.100 | Cambridge University Press | 0956-7968 |
IEEE Open Journal of the Computer Society | 5.700 | IEEE | 2644-1268 | |
Industrial Robot | 1.900 | Emerald | 0143-991X | |
b | Speech Communication | 2.400 | Elsevier | 0167-6393 |
International Journal of Swarm Intelligence Research | IGI Global Publishing | 1947-9263 | ||
Games: Research and Practice | ACM | 2832-5516 | ||
IEEE Transactions on Smart Grid | 8.600 | IEEE | 1949-3053 |
全称 | 影响因子 | 出版商 |
---|---|---|
International Journal of Parallel Programming | 0.900 | Springer |
Information Technology and Management | 2.300 | Springer |
International Journal on Bioinformatics & Biosciences | AIRCC | |
Journal of Functional Programming | 1.100 | Cambridge University Press |
IEEE Open Journal of the Computer Society | 5.700 | IEEE |
Industrial Robot | 1.900 | Emerald |
Speech Communication | 2.400 | Elsevier |
International Journal of Swarm Intelligence Research | IGI Global Publishing | |
Games: Research and Practice | ACM | |
IEEE Transactions on Smart Grid | 8.600 | IEEE |
推荐