Hisahiro Ito

11 papers A* 1B 1C 1Journal 4Unranked 4
YearRankTypeTitle / Venue / Authors
2020 J jnl
Requirements-Driven Test Generation for Autonomous Vehicles With Machine Learning Components.
IEEE Trans. Intell. Veh.
Cumhur Erkan Tuncali, Georgios Fainekos, Danil V. Prokhorov, Hisahiro Ito, James Kapinski
2019 — conf
Interface-aware signal temporal logic.
HSCC
Thomas Ferrère, Dejan Nickovic, Alexandre Donzé, Hisahiro Ito, James Kapinski
2019 J jnl
Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components.
CoRR
Cumhur Erkan Tuncali, Georgios Fainekos, Danil V. Prokhorov, Hisahiro Ito, James Kapinski
2018 J jnl
Reasoning about Safety of Learning-Enabled Components in Autonomous Cyber-physical Systems.
CoRR
Cumhur Erkan Tuncali, James Kapinski, Hisahiro Ito, Jyotirmoy V. Deshmukh
2018 A* conf
Reasoning about safety of learning-enabled components in autonomous cyber-physical systems.
DAC
Cumhur Erkan Tuncali, James Kapinski, Hisahiro Ito, Jyotirmoy V. Deshmukh
2018 — conf
Sim-ATAV: Simulation-Based Adversarial Testing Framework for Autonomous Vehicles.
HSCC
Cumhur Erkan Tuncali, Georgios Fainekos, Hisahiro Ito, James Kapinski
2018 B conf
Simulation-based Adversarial Test Generation for Autonomous Vehicles with Machine Learning Components.
Intelligent Vehicles Symposium
Cumhur Erkan Tuncali, Georgios Fainekos, Hisahiro Ito, James Kapinski
2018 J jnl
Simulation-based Adversarial Test Generation for Autonomous Vehicles with Machine Learning Components.
CoRR
Cumhur Erkan Tuncali, Georgios Fainekos, Hisahiro Ito, James Kapinski
2015 — conf
Piecewise-Affine Approximations for a Powertrain Control Verification Benchmark.
ARCH@CPSWeek
Jyotirmoy V. Deshmukh, Hisahiro Ito, Xiaoqing Jin, James Kapinski, Kenneth R. Butts, Jürgen Gerhard, Behzad Samadi, Kevin Walker, Yuzhen Xie
2015 C conf
Simulation-guided approaches for verification of automotive powertrain control systems.
ACC
James Kapinski, Jyotirmoy V. Deshmukh, Xiaoqing Jin, Hisahiro Ito, Kenneth R. Butts
2011 — conf
Equation-Based Model Data Structure for High Level Physical Modelling, Model Simplification and Modelica-Export.
EOOLT
Hisahiro Ito, Akira Ohata, Kenneth R. Butts, Jürgen Gerhard, Masoud Abbaszadeh, David Linder, Erik Postman, Elena Shmoylova