Koichi Ueda

According to our database, Koichi Ueda authored at least 5 papers between 2012 and 2014.

Collaborative distances:

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

2014

Conformance Testing as Falsification for Cyber-Physical Systems.

Houssam Abbas, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, James Kapinski, Koichi Ueda

CoRR, 2014

WiP abstract: Conformance testing as falsification for cyber-physical systems.

Houssam Abbas, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, James Kapinski, Koichi Ueda

Proceedings of the ACM/IEEE International Conference on Cyber-Physical Systems, 2014

Powertrain control verification benchmark.

Xiaoqing Jin, Jyotirmoy V. Deshmukh, James Kapinski, Koichi Ueda, Kenneth R. Butts

Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

2013

Compositional equivalence checking for models and code of control systems.

Rupak Majumdar, Indranil Saha, Koichi Ueda, Hakan Yazarel

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

2012

Verification of automotive control applications using S-TaLiRo.

Georgios E. Fainekos, Sriram Sankaranarayanan, Koichi Ueda, Hakan Yazarel

Proceedings of the American Control Conference, 2012