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; synchronous languages; timing models; logical execution time (LET); model synthesis methods; model transformation methods; compilation methods.

Formal Methods and Tools
Correct-by-construction methods; compilers and synthesis tools; 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 and Models in Practice
Design case studies; empirical case studies.

AI for Critical Systems
AI modelling; AI-assisted reasoning; AI-guided verification; AI-assisted testing; verification of AI systems; combining AI with classical methods.