An approach to optimization of fault tolerant architectures using HiP-HOPS. - Masakazu Adachi; Yiannis Papadopoulos; Septavera Sharvia; David Parker 002; Tetsuya Tohdo (Softw. Pract. Exp., 2011)

Integration of Formal Methods and Testing for Model-based Systems Engineering (NII Shonan Meeting 2014-16). - Tetsuya Tohdo; Werner Damm; Alexander Pretschner; Jun Sun (NII Shonan Meet. Rep., 2014)

Roundtable: Machine Learning for Embedded Systems: Hype or Lasting Impact? - Xiaobo Sharon Hu; Rolf Ernst; Petru Eles; Gernot Heiser; Kurt Keutzer; Daehyun Kim; Tetsuya Tohdo (IEEE Des. Test, 2018)