Verification of automotive control applications using S-TaLiRo. - Georgios E. Fainekos; Sriram Sankaranarayanan 001; Koichi Ueda; Hakan Yazarel (ACC, 2012)

Compositional equivalence checking for models and code of control systems. - Rupak Majumdar; Indranil Saha; Koichi Ueda; Hakan Yazarel (CDC, 2013)

Powertrain control verification benchmark. - Xiaoqing Jin; Jyotirmoy V. Deshmukh; James Kapinski; Koichi Ueda; Kenneth R. Butts (HSCC, 2014)

WiP abstract: Conformance testing as falsification for cyber-physical systems. - Houssam Abbas; Bardh Hoxha; Georgios Fainekos; Jyotirmoy V. Deshmukh; James Kapinski; Koichi Ueda (ICCPS, 2014)

Conformance Testing as Falsification for Cyber-Physical Systems. - Houssam Abbas; Bardh Hoxha; Georgios Fainekos; Jyotirmoy V. Deshmukh; James Kapinski; Koichi Ueda (CoRR, 2014)