Tetsuya Tohdo

According to our database, Tetsuya Tohdo authored at least 3 papers between 2011 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

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

2014

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

2011

An approach to optimization of fault tolerant architectures using HiP-HOPS.

Masakazu Adachi, Yiannis Papadopoulos, Septavera Sharvia, David Parker, Tetsuya Tohdo

Softw. Pract. Exp., 2011