1. Control-schedule co-design for fast stabilization in real time systems facing repeated reconfigurations

   • Jaishree Mayank
   • Arijit Mondal
   • Arnab Sarkar

   OriginalPaper 14 June 2019 Pages: 79 - 101

   

2. Memphis: a framework for heterogeneous many-core SoCs generation and validation

   • Marcelo Ruaro
   • Luciano L. Caimi
   • Fernando G. Moraes

   OriginalPaper 20 August 2019 Pages: 103 - 122

   

3. On embedding a hardware description language in Isabelle/HOL

   • Wilayat Khan
   • David Sanan
   • Liu Yang

   OriginalPaper 05 November 2019 Pages: 123 - 151

   

4. Code generation for distributed embedded systems with VDM-RT

   • Miran Hasanagić
   • Tommaso Fabbri
   • Julien Ouy

   OriginalPaper 19 November 2019 Pages: 153 - 177

   

5. A model-driven framework for design and verification of embedded systems through SystemVerilog

   • Muhammad Waseem Anwar
   • Muhammad Rashid
   • Wasi Haider Butt

   OriginalPaper 08 November 2019 Pages: 179 - 223