Conference Information
MEMOCODE 2022: International Conference on Formal Methods and Models for System Design
https://esweek.org/memocode/Submission Date: |
2022-06-10 Extended |
Notification Date: |
2022-07-29 |
Conference Date: |
2022-10-07 |
Location: |
Shanghai, China |
Years: |
20 |
Viewed: 13944 Tracked: 0 Attend: 0
Call For Papers
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
Last updated by Dou Sun in 2022-06-04
Best Papers
Related Conferences
Related Journals
CCF | Full Name | Impact Factor | Publisher | ISSN |
---|---|---|---|---|
International Journal of Information System Modeling and Design | IGI Global | 1947-8186 | ||
b | IEEE Transactions on Neural Networks and Learning Systems | 11.68 | IEEE | 1045-9227 |
c | Logical Methods in Computer Science | Logical Methods in Computer Science | 1860-5974 | |
b | Information Systems | 2.309 | Elsevier | 0306-4379 |
a | ACM Transactions on Information Systems | ACM | 1046-8188 | |
b | ACM Transactions of Information and System Security | ACM | 1094-9224 | |
b | Formal Aspects of Computing | 1.226 | Springer | 0934-5043 |
Information Systems Research | 2.457 | INFORMS | 1047-7047 | |
Information Systems and e-Business Management | 5.073 | Springer | 1617-9846 | |
b | ACM Transactions on Reconfigurable Technology and Systems | 1.409 | ACM | 1936-7406 |
Full Name | Impact Factor | Publisher |
---|---|---|
International Journal of Information System Modeling and Design | IGI Global | |
IEEE Transactions on Neural Networks and Learning Systems | 11.68 | IEEE |
Logical Methods in Computer Science | Logical Methods in Computer Science | |
Information Systems | 2.309 | Elsevier |
ACM Transactions on Information Systems | ACM | |
ACM Transactions of Information and System Security | ACM | |
Formal Aspects of Computing | 1.226 | Springer |
Information Systems Research | 2.457 | INFORMS |
Information Systems and e-Business Management | 5.073 | Springer |
ACM Transactions on Reconfigurable Technology and Systems | 1.409 | ACM |
Recommendation