Equation-Based Model Data Structure for High Level Physical Modelling, Model Simplification and Modelica-Export. - Hisahiro Ito; Akira Ohata; Kenneth R. Butts; Jürgen Gerhard; Masoud Abbaszadeh; David Linder; Erik Postman; Elena Shmoylova (EOOLT, 2011)

Simulation-guided approaches for verification of automotive powertrain control systems. - James Kapinski; Jyotirmoy V. Deshmukh; Xiaoqing Jin; Hisahiro Ito; Kenneth R. Butts (ACC, 2015)

Piecewise-Affine Approximations for a Powertrain Control Verification Benchmark. - Jyotirmoy V. Deshmukh; Hisahiro Ito; Xiaoqing Jin; James Kapinski; Kenneth R. Butts; Jürgen Gerhard; Behzad Samadi; Kevin Walker; Yuzhen Xie (ARCH@CPSWeek, 2015)

Reasoning about safety of learning-enabled components in autonomous cyber-physical systems. - Cumhur Erkan Tuncali; James Kapinski; Hisahiro Ito; Jyotirmoy V. Deshmukh (DAC, 2018)

Sim-ATAV: Simulation-Based Adversarial Testing Framework for Autonomous Vehicles. - Cumhur Erkan Tuncali; Georgios Fainekos; Hisahiro Ito; James Kapinski (HSCC, 2018)

Simulation-based Adversarial Test Generation for Autonomous Vehicles with Machine Learning Components. - Cumhur Erkan Tuncali; Georgios Fainekos; Hisahiro Ito; James Kapinski (Intelligent Vehicles Symposium, 2018)

Interface-aware signal temporal logic. - Thomas Ferrère; Dejan Nickovic; Alexandre Donzé; Hisahiro Ito; James Kapinski (HSCC, 2019)

Requirements-Driven Test Generation for Autonomous Vehicles With Machine Learning Components. - Cumhur Erkan Tuncali; Georgios Fainekos; Danil V. Prokhorov; Hisahiro Ito; James Kapinski (IEEE Trans. Intell. Veh., 2020)