会议信息
ATVA 2024: International Symposium on Automated Technology for Verification and Analysis
https://atva-conference.org/2024/截稿日期: |
2024-04-19 |
通知日期: |
2024-06-19 |
会议日期: |
2024-10-21 |
会议地点: |
Kyoto, Japan |
届数: |
22 |
CCF: c CORE: a QUALIS: b1 浏览: 26283 关注: 43 参加: 13
征稿
ATVA 2024 is the 22nd in a series of symposia aimed at bringing together academics, industrial researchers, and practitioners in the area of theoretical and practical aspects of automated analysis, synthesis, and verification of hardware and software systems. ATVA solicits high quality submissions in the following suggestive list of topics: Formalisms for modeling hardware, software, and embedded systems Specification and verification of finite-state, infinite-state, and parameterized system Program analysis and software verification Analysis and verification of hardware circuits, systems-on-chip, and embedded systems Analysis of real-time, hybrid, priced, weighted, and probabilistic systems Deductive, algorithmic, compositional, and abstraction/refinement techniques for analysis and verification Analytical techniques for safety, security, and dependability Testing and runtime analysis based on verification technology Analysis and verification of parallel and concurrent systems Verification in industrial practice Synthesis for hardware and software systems Applications and case studies Automated tool support
最后更新 Dou Sun 在 2024-03-02
录取率
时间 | 提交数 | 录取数 | 录取率(%) |
---|---|---|---|
2007 | 88 | 36 | 40.9% |
2006 | 137 | 35 | 25.5% |
2005 | 95 | 33 | 34.7% |
2004 | 69 | 24 | 34.8% |
相关会议
简称 | 全称 | 截稿日期 | 会议日期 |
---|---|---|---|
MCEBM | International Conference on Mechanics, Civil Engineering and Building Material | 2017-04-10 | 2017-04-21 |
ICDMM | International Conference on Design, Manufacturing and Mechatronics | 2017-05-19 | 2017-05-26 |
FGCN | International Conference on Future Generation Communication and Networking | 2015-06-30 | 2015-11-25 |
CICom | EAI International Conference on Computational Intelligence and Communications | 2021-05-01 | 2021-09-02 |
ISPR | International Conference on Intelligent systems and Pattern Recognition | 2024-03-15 | 2024-06-12 |
ICWSE | International Conference on Web Science and Engineering | 2021-08-10 | 2021-09-17 |
ICSREE | International Conference on Sustainable and Renewable Energy Engineering | 2023-03-05 | 2023-05-11 |
MOBIWAC | International Symposium on Mobility Management and Wireless Access | 2023-07-15 | 2023-10-30 |
ISRAE | International Symposium on Robotics and Automation Engineering | 2018-04-10 | 2018-04-27 |
ICT4DA | International Conference of ICT for Development for Africa | 2019-02-17 | 2019-05-28 |
相关期刊
CCF | 全称 | 影响因子 | 出版商 | ISSN |
---|---|---|---|---|
Software Testing Verification and Reliability | 1.171 | Wiley-Blackwell | 0960-0833 | |
International Journal of Information Technology & Decision Making | 2.862 | World Scientific | 0219-6220 | |
Journal of Information Technology in Construction | Herman | 1400-6529 | ||
Journal of Information Technology Education: Research | Informing Science Institute | 1547-9714 | ||
IEEE Transactions on Information Technology in Biomedicine | 2.493 | IEEE | 1089-7771 | |
Computer Modeling in Engineering & Sciences | 0.796 | Tech Science Press | 1526-1492 | |
Journal of Research on Technology in Education | Taylor & Francis | 1539-1523 | ||
Information Technology & People | 1.263 | Emerald | 0959-3845 | |
International Journal of Information Technology, Control and Automation | AIRCC | 1839-6682 | ||
ETRI Journal | 0.861 | Wiley-Blackwell | 1225-6463 |
全称 | 影响因子 | 出版商 |
---|---|---|
Software Testing Verification and Reliability | 1.171 | Wiley-Blackwell |
International Journal of Information Technology & Decision Making | 2.862 | World Scientific |
Journal of Information Technology in Construction | Herman | |
Journal of Information Technology Education: Research | Informing Science Institute | |
IEEE Transactions on Information Technology in Biomedicine | 2.493 | IEEE |
Computer Modeling in Engineering & Sciences | 0.796 | Tech Science Press |
Journal of Research on Technology in Education | Taylor & Francis | |
Information Technology & People | 1.263 | Emerald |
International Journal of Information Technology, Control and Automation | AIRCC | |
ETRI Journal | 0.861 | Wiley-Blackwell |
推荐