Control-schedule co-design for fast stabilization in real time systems facing repeated reconfigurations Jaishree MayankArijit MondalArnab Sarkar OriginalPaper 14 June 2019 Pages: 79 - 101
Memphis: a framework for heterogeneous many-core SoCs generation and validation Marcelo RuaroLuciano L. CaimiFernando G. Moraes OriginalPaper 20 August 2019 Pages: 103 - 122
On embedding a hardware description language in Isabelle/HOL Wilayat KhanDavid SananLiu Yang OriginalPaper 05 November 2019 Pages: 123 - 151
Code generation for distributed embedded systems with VDM-RT Miran HasanagićTommaso FabbriJulien Ouy OriginalPaper 19 November 2019 Pages: 153 - 177
A model-driven framework for design and verification of embedded systems through SystemVerilog Muhammad Waseem AnwarMuhammad RashidWasi Haider Butt OriginalPaper 08 November 2019 Pages: 179 - 223