Introduction

Over the last decade, the boundaries between computer system components, such as hardware, software, firmware, middleware, and applications, have blurred. This evolution in system design and development practices led in 2014 to a change in the title and scope of the MEMOCODE conference from its original focus on hardware/software co-design to its new focus on formal methods and models for developing computer systems and their components. MEMOCODE's objective is to emphasize the importance of models and methodologies in correct system design and development, and to bring together researchers and industry practitioners interested in all aspects of computer system development, to exchange ideas, research results and lessons learned.

Call for paper

Important date

2016-08-15
Draft paper submission deadline
2016-09-15
Draft paper acceptance notification

Submission Topics

  • 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; static, dynamic, and type theoretic analysis; verification; validation; test generation; platform-based design; refinement-based, component-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; autonomous and unmanned systems; assurance cases
  • Quantitative/Qualitative Reasoning Power/performance/cost/latency trade-off methods; power models; reasoning techniques, data mining, and other analytical methods for predicting power/performance; system models for quantitative design space exploration
  • Formal Methods/Models in Practice Design case studies; empirical case studies
Submit Comment
Verify Code Change Another
All Comments
Important Date

  • Conference Date

    Nov 18

    2016

    to

    Nov 20

    2016

  • Aug 15 2016

    Draft paper submission deadline

  • Sep 15 2016

    Draft Paper Acceptance Notification

  • Nov 20 2016

    Registration deadline

Sponsored By
IEEE
Contact Information
Login to view full contact details
Previous Conferences