Simulation-based adversarial test generation for autonomous vehicles with machine learning components CE Tuncali, G Fainekos, H Ito, J Kapinski 2018 IEEE Intelligent Vehicles Symposium (IV), 1555-1562, 2018 | 285 | 2018 |
Simulation-based approaches for verification of embedded control systems: An overview of traditional and advanced modeling, testing, and verification techniques J Kapinski, JV Deshmukh, X Jin, H Ito, K Butts IEEE Control Systems Magazine 36 (6), 45-64, 2016 | 151 | 2016 |
Requirements-driven test generation for autonomous vehicles with machine learning components CE Tuncali, G Fainekos, D Prokhorov, H Ito, J Kapinski IEEE Transactions on Intelligent Vehicles 5 (2), 265-280, 2019 | 133 | 2019 |
Reasoning about safety of learning-enabled components in autonomous cyber-physical systems CE Tuncali, J Kapinski, H Ito, JV Deshmukh Proceedings of the 55th Annual Design Automation Conference, 1-6, 2018 | 76 | 2018 |
ST-Lib: A library for specifying and classifying model behaviors J Kapinski, X Jin, J Deshmukh, A Donze, T Yamaguchi, H Ito, T Kaga, ... SAE Technical Paper, 2016 | 48 | 2016 |
2D flow analysis of film casting process H Ito, M Doi, T Isaki, M Takeo, K Yagi Nihon Reoroji Gakkaishi 31 (3), 149-155, 2003 | 39 | 2003 |
Sim-atav: Simulation-based adversarial testing framework for autonomous vehicles CE Tuncali, G Fainekos, H Ito, J Kapinski Proceedings of the 21st International Conference on Hybrid Systems …, 2018 | 36 | 2018 |
Interface-aware signal temporal logic T Ferrère, D Nickovic, A Donzé, H Ito, J Kapinski Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019 | 32 | 2019 |
Simulation-guided approaches for verification of automotive powertrain control systems J Kapinski, J Deshmukh, X Jin, H Ito, K Butts 2015 American Control Conference (ACC), 4086-4095, 2015 | 32 | 2015 |
A model of neck-in phenomenon in film casting process H Ito, M Doi, T Isaki, M Takeo Nihon Reoroji Gakkaishi 31 (3), 157-163, 2003 | 32 | 2003 |
The present and future of ductile-regime grinding of optical parts S Yoshida, H Ito Bulletin of the Japan Society of Precision Engineering 24 (4), 239-243, 1990 | 14 | 1990 |
Development of high level modeling method for rapid modeling process H Ito, H Yohata, J Kako, Y Kuroda SAE International Journal of Engines 6 (2), 669-679, 2013 | 8 | 2013 |
Equation-Based Model Data Structure for High Level Physical Modelling, Model Simplification and Modelica-Export. H Ito, A Ohata, KR Butts, J Gerhard, M Abbaszadeh, D Linder, E Postman, ... EOOLT, 27-34, 2011 | 8 | 2011 |
Development of High Level Modeling Method for Rapid Modeling Process S Yoshida, H Ito, T Morikawa, J Kako, Y Kuroda Transactions of Society of Automotive Engineers of Japan 46 (1), 2015 | 3 | 2015 |
Piecewise-Affine Approximations for a Powertrain Control Verification Benchmark. JV Deshmukh, H Ito, X Jin, J Kapinski, KR Butts, J Gerhard, B Samadi, ... ARCH@ CPSWeek, 98-112, 2015 | 2 | 2015 |
Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components C Erkan Tuncali, G Fainekos, D Prokhorov, H Ito, J Kapinski arXiv e-prints, arXiv: 1908.01094, 2019 | | 2019 |
Reasoning about Safety of Learning-Enabled Components in Autonomous Cyber-physical Systems C Erkan Tuncali, J Kapinski, H Ito, JV Deshmukh arXiv e-prints, arXiv: 1804.03973, 2018 | | 2018 |
Simulation-based Adversarial Test Generation for Autonomous Vehicles with Machine Learning Components C Erkan Tuncali, G Fainekos, H Ito, J Kapinski arXiv e-prints, arXiv: 1804.06760, 2018 | | 2018 |
Low number of circulating CD34 positive cell is associated with greater progression of coronary calcium determined by MDCT T Miyoshi, M Doi, K Nakamura, H Ito Atherosclerosis 252, e188-e189, 2016 | | 2016 |
Proton magnetic resonance spectroscopy of the cerebrum in West syndrome. K Mori, H Ito, Y Touda, M Miyazaki, Y Kuroda, T Hashimoto EPILEPSIA 46, 21-21, 2005 | | 2005 |