Login / Signup
Koichi Ueda
Publication Activity (10 Years)
Years Active: 2012-2014
Publications (10 Years): 0
Top Topics
Cyber Physical Systems
Fingerprint Verification
Physical World
Control System
Top Venues
HSCC
CoRR
ACC
CDC
</>
Publications
</>
Houssam Abbas
,
Bardh Hoxha
,
Georgios Fainekos
,
Jyotirmoy V. Deshmukh
,
James Kapinski
,
Koichi Ueda
WiP abstract: Conformance testing as falsification for cyber-physical systems.
ICCPS
(2014)
Xiaoqing Jin
,
Jyotirmoy V. Deshmukh
,
James Kapinski
,
Koichi Ueda
,
Kenneth R. Butts
Powertrain control verification benchmark.
HSCC
(2014)
Houssam Abbas
,
Bardh Hoxha
,
Georgios Fainekos
,
Jyotirmoy V. Deshmukh
,
James Kapinski
,
Koichi Ueda
Conformance Testing as Falsification for Cyber-Physical Systems.
CoRR
(2014)
Rupak Majumdar
,
Indranil Saha
,
Koichi Ueda
,
Hakan Yazarel
Compositional equivalence checking for models and code of control systems.
CDC
(2013)
Georgios E. Fainekos
,
Sriram Sankaranarayanan
,
Koichi Ueda
,
Hakan Yazarel
Verification of automotive control applications using S-TaLiRo.
ACC
(2012)