Login / Signup
Tetsuya Tohdo
Publication Activity (10 Years)
Years Active: 2011-2018
Publications (10 Years): 1
Top Topics
Hw Sw
Systems Engineering
Safety Critical
Formal Methods
Top Venues
IEEE Des. Test
NII Shonan Meet. Rep.
</>
Publications
</>
Xiaobo Sharon Hu
,
Rolf Ernst
,
Petru Eles
,
Gernot Heiser
,
Kurt Keutzer
,
Daehyun Kim
,
Tetsuya Tohdo
Roundtable: Machine Learning for Embedded Systems: Hype or Lasting Impact?
IEEE Des. Test
35 (6) (2018)
Tetsuya Tohdo
,
Werner Damm
,
Alexander Pretschner
,
Jun Sun
Integration of Formal Methods and Testing for Model-based Systems Engineering (NII Shonan Meeting 2014-16).
NII Shonan Meet. Rep.
2014 (2014)
Masakazu Adachi
,
Yiannis Papadopoulos
,
Septavera Sharvia
,
David Parker
,
Tetsuya Tohdo
An approach to optimization of fault tolerant architectures using HiP-HOPS.
Softw. Pract. Exp.
41 (11) (2011)