会議情報
FORMATS 2022: International Conference on Formal Modeling and Analysis of Timed Systems
https://conferences.ncl.ac.uk/formats2022/提出日: |
2022-05-04 Extended |
通知日: |
2022-06-17 |
会議日: |
2022-09-12 |
場所: |
Warsaw, Poland |
年: |
20 |
QUALIS: b1 閲覧: 17924 追跡: 3 出席: 1
論文募集
SCOPE & TOPICS FORMATS (International Conference on Formal Modeling and Analysis of Timed Systems) is an annual conference which aims to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in the modelling, design and analysis of timed computational systems. The conference aims to attract researchers interested in real-time issues in hardware design, performance analysis, real-time software, scheduling, semantics and verification of real-timed, hybrid and probabilistic systems. Typical topics include (but are not limited to): Foundations and Semantics: Theoretical foundations of timed systems, languages and models (e.g., timed automata, timed Petri nets, hybrid automata, timed process algebra, max-plus algebra, probabilistic models). Methods and Tools: Techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints (e.g., scheduling, worst-case execution time analysis,optimization, model checking, testing, constraint solving). Applications: Adaptation and specialization of timing technology in application domains in which timing plays an important role (e.g., real-time software, hardware circuits, scheduling in manufacturing and telecommunication, robotics). New for this year, FORMATS will incorporate a special track on: Learning-based and data-driven systems: We particularly encourage papers that exploit synergies between the formal analysis of timed systems and data-driven techniques (such as reinforcement learning or deep learning), or which target application domains where learning is important (such as robotics or autonomous systems).
最終更新 Dou Sun 2022-04-30
関連会議
省略名 | 完全な名前 | 提出日 | 会議日 |
---|---|---|---|
IPSN | International Conference on Information Processing in Sensor Networks | 2023-10-24 | 2024-05-13 |
SNPD | International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing | 2023-09-04 | 2023-12-06 |
HAIS | International Conference on Hybrid Artificial Intelligence Systems | 2020-05-27 | 2020-09-04 |
SPDP | International Symposium on Parallel and Distributed Processing | 2018-10-30 | 2019-01-03 |
PACT | International Conference on Parallel Architectures and Compilation Techniques | 2024-03-25 | 2024-10-13 |
ICSTE | International Conference on Software Technology and Engineering | 2015-07-25 | 2015-09-19 |
ASP-DAC | Asia and South Pacific Design Automation Conference | 2023-07-23 | 2024-01-22 |
ICCFI | International Conference on Communications and Future Internet | 2020-04-15 | 2020-07-17 |
TAMC | Annual Conference on Theory and Applications of Models of Computation | 2014-11-27 | 2015-05-18 |
WONS | International Conference on Wireless On-demand Network Systems and Services | 2022-10-30 | 2023-01-30 |
関連仕訳帳
CCF | 完全な名前 | インパクト ・ ファクター | 出版社 | ISSN |
---|---|---|---|---|
b | Formal Methods in System Design | 0.442 | Springer | 0925-9856 |
a | IEEE Transactions on Parallel and Distributed Systems | 3.402 | IEEE | 1045-9219 |
Australasian Journal of Engineering Education | Taylor & Francis | 1325-4340 | ||
a | ACM Transactions on Programming Languages and Systems | ACM | 0164-0925 | |
ACM Transactions on Modeling and Performance Evaluation of Computing Systems | ACM | 2376-3639 | ||
IEEE Transactions on Cognitive and Developmental Systems | 2.755 | IEEE | 2379-8920 | |
c | Real-Time Systems | 0.550 | Springer | 0922-6443 |
Journal of Signal Processing Systems | 0.551 | Springer | 1939-8018 | |
c | ACM Journal on Emerging Technologies in Computing Systems | 0.705 | ACM | 1550-4832 |
b | ACM Transactions on Autonomous and Adaptive Systems | ACM | 1556-4665 |
完全な名前 | インパクト ・ ファクター | 出版社 |
---|---|---|
Formal Methods in System Design | 0.442 | Springer |
IEEE Transactions on Parallel and Distributed Systems | 3.402 | IEEE |
Australasian Journal of Engineering Education | Taylor & Francis | |
ACM Transactions on Programming Languages and Systems | ACM | |
ACM Transactions on Modeling and Performance Evaluation of Computing Systems | ACM | |
IEEE Transactions on Cognitive and Developmental Systems | 2.755 | IEEE |
Real-Time Systems | 0.550 | Springer |
Journal of Signal Processing Systems | 0.551 | Springer |
ACM Journal on Emerging Technologies in Computing Systems | 0.705 | ACM |
ACM Transactions on Autonomous and Adaptive Systems | ACM |
おすすめ