Koichi Ueda

Powertrain control verification benchmark

Xiaoqing Jin, Jyotirmoy V. Deshmukh, James Kapinski et al. · 2014 · 172 citations

Engineering, Real-time System Design, Verification +18

Robustness-guided temporal logic testing and verification for Stochastic Cyber-Physical Systems

Houssam Abbas, Bardh Hoxha, Georgios Fainekos et al. · 2014 · 32 citations

Engineering, Verification, Model Checking +20

Photochemical and Chemical Reduction of Nitroalkenes Using Viologens as an Electron Phase-Transfer Catalyst

Hideo Tomioka, Koichi Ueda, Hirofumi Ohi et al. · Chemistry Letters · 1986 · 29 citations

Engineering, Electron Carrier, Synthetic Photochemistry +17

Photoreduction of iron(III) tetraphenylporphyrin in ethanol studied by laser flash photolysis: effects of concentration on quantum yields

Mikio Hoshino, Koichi Ueda, Makoto Takahashi et al. · Journal of the Chemical Society Faraday Transactions · 1992 · 27 citations

Engineering, Organic Chemistry, Mol Dm–3 Cifeiiitpp +17

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

Houssam Abbas, Bardh Hoxha, Georgios Fainekos et al. · 2014 · 23 citations