会議情報
MEMOCODE 2024: International Conference on Formal Methods and Models for System Design
https://esweek.org/memocode/提出日: |
2024-05-06 |
通知日: |
2024-07-08 |
会議日: |
2024-09-29 |
場所: |
Raleigh, North Carolina, USA |
年: |
22 |
閲覧: 17719 追跡: 0 出席: 0
論文募集
MEMOCODE brings together researchers and practitioners interested in formal methods for system design and development, to exchange ideas, research results and lessons learned. The symposium focuses on the foundations and applications of formal methods in the development of hardware, firmware, middleware, and application software for systems, ranging from single embedded devices to highly networked cyber-physical systems and the Internet of Things. Topics of Interest MEMOCODE solicits research papers on formal methods in system design that address the foundations, engineering methods, tools, or experimental case studies. Research areas of interest include, but are not limited to, the following: Modeling Languages, Methods, and Tools Programming languages and models; software and system modeling languages; architecture and high-level hardware description languages; timing models; model and program synthesis methods; model transformation methods. Formal Methods and Tools Correct-by-construction methods; contract-based design and verification; static, dynamic, and type theoretic analysis; verification; validation; probabilistic model checking; test generation; refinement-based and compositional approaches to design and verification. Models and Methods for Developing Critical Systems Fault-tolerant systems; security-critical and safety-critical systems; cyber-physical systems; hybrid systems; autonomous systems; self-adapting systems; systems that merge humans, artificial intelligence, and cyber-physical systems; societal-scale cyber-physical systems, such as connected vehicles and smart grids. Quantitative/Qualitative Reasoning Power/performance/cost/latency estimation methods; system models for quantitative design space exploration Formal Methods/Models in Practice Design case studies; empirical case studies
最終更新 Dou Sun 2024-03-07
ベスト ペーパー
関連会議
省略名 | 完全な名前 | 提出日 | 会議日 |
---|---|---|---|
BODYNET | International Conference on Body Area Networks | 2015-06-01 | 2015-09-28 |
WONS | International Conference on Wireless On-demand Network Systems and Services | 2024-08-31 | 2025-01-27 |
ICEIEC | IEEE International Conference on Electronics Information and Emergency Communication | 2024-04-15 | 2024-05-24 |
ISMB | International Conference on Intelligent Systems for Molecular Biology | 2022-01-13 | 2022-07-10 |
ATVA | International Symposium on Automated Technology for Verification and Analysis | 2024-04-19 | 2024-10-21 |
ISCTEE | International Seminar on Information Science, Computer Technology and Electrical Engineering | 2017-08-11 | 2017-08-18 |
CSB | International Conference on Computational Systems Bioinformatics | 2010-08-16 | |
SNPD | International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing | 2023-09-04 | 2023-12-06 |
FM | International Symposium on Formal Methods | 2024-04-05 | 2024-09-09 |
HAIS | International Conference on Hybrid Artificial Intelligence Systems | 2020-05-27 | 2020-09-04 |
関連仕訳帳
CCF | 完全な名前 | インパクト ・ ファクター | 出版社 | ISSN |
---|---|---|---|---|
Computers in Human Behavior | 9.000 | Elsevier | 0747-5632 | |
Information Systems Frontiers | 6.900 | Springer | 1387-3326 | |
International Journal of Computer Applications in Technology | Inderscience | 0952-8091 | ||
International Journal of Advanced Research in Electrical and Electronics Engineering | AR Publication | 0000-0000 | ||
b | Journal of Computer Security | IOS Press | 0926-227X | |
a | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems | 2.700 | IEEE | 0278-0070 |
IEICE Transactions on Communications | IEICE | |||
IEEE Transactions on Emerging Topics in Computing | 5.100 | IEEE | 2168-6750 | |
IEEE Computational Intelligence Magazine | 10.30 | IEEE | 1556-603X | |
Mathematical Problems in Engineering | Hindawi | 1024-123X |
完全な名前 | インパクト ・ ファクター | 出版社 |
---|---|---|
Computers in Human Behavior | 9.000 | Elsevier |
Information Systems Frontiers | 6.900 | Springer |
International Journal of Computer Applications in Technology | Inderscience | |
International Journal of Advanced Research in Electrical and Electronics Engineering | AR Publication | |
Journal of Computer Security | IOS Press | |
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems | 2.700 | IEEE |
IEICE Transactions on Communications | IEICE | |
IEEE Transactions on Emerging Topics in Computing | 5.100 | IEEE |
IEEE Computational Intelligence Magazine | 10.30 | IEEE |
Mathematical Problems in Engineering | Hindawi |
おすすめ