会議情報
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 閲覧: 19555 追跡: 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 |
おすすめ