Call For Papers

CALL FOR PAPERS (Download PDF version)

The 4th Workshop on Design Automation for CPS and IoT
May 3, 2022 (part of CPS-IoT Week 2021)

We invite contributions in the following main topics (but not limited to):

  • Machine learning in CPS/IoT
  • Assurance and formal verification methodologies
  • Correct-by-construction design and evolution
  • Requirement engineering
  • Real-time execution
  • Testing, evaluation and uncertainty quantification methods
  • Languages and tools for specification and design
  • Architectural design
  • Circuit design 
  • Run-time monitoring
  • Benchmarks and datasets


Papers: All submissions must be in English. Only original papers that have not been submitted or published in other conferences or journals will be considered. Full technical contributions should have no more than 6 pages, excluding references and appendix. We also welcome shorter papers. 

Tool Papers, Benchmark Releases, and Demos: DESTION 2022 also seeks 2-page abstracts (excluding references) describing benchmarks, tool descriptions, and demos. Supplementary materials for tools and demos such as videos, repository links, and online accessible web-applications are encouraged. 

Please submit your papers and abstracts at The submission must be in the IEEE format, and authors can use the Latex template available at All accepted papers and demo abstracts will be published in IEEE Xplore as part of the DESTION 2022 proceedings.


Program Co-Chairs: 

Susmit Jha (SRI International, USA)

Arun Ramamurthy (Siemens, USA)


General Chairs:

Abhishek Dubey (Vanderbilt University, USA) 

Alessandro Pinto (Raytheon Technologies)


Steering Committee:

Werner Damm (Carl von Ossietzky Universitat Oldenburg, Germany) 

Edward A. Lee (University of California, Berkeley, USA) 

Richard Murray (California Institute of Technology, USA) 

George J. Pappas (University of Pennsylvania, USA) 

Alberto Sangiovanni-Vincentelli (University of California, Berkeley, USA) 

S. Shankar Sastry (University of California, Berkeley, USA) 

Janos Sztipanovits (Vanderbilt University, USA) 

Qi Zhu (Northwestern University, USA)


Important Dates:

February 13, 2022: Submission deadline

March 1, 2022: Author notification

March 13, 2022:  Camera-ready submission (IEEE submission link was sent over email from EasyChair. Please contact the chairs if you have questions).

DESTION 2021 Archives , DESTION 2020 Archives , DESTION 2019 Archives