論文発表

  • June 28, 2017

    小型アクセシブルモビリティ活用サービスの有効性検討

    マルチメディア、分散、協調とモバイル DICOMO2017 シンポジウム

    桑原　昌広、吉岡　顕、山田　匡規、鈴木　昭太郎、城殿　征志

  • June 18-22, 2017

    Accurate High-level Modeling and Automated Hardware/Software Co-design for Effective SoC Design Space Exploration

    ACM/IEEE Design Automation Conference (DAC)

    Wei Zuo (UIUC), Louis Noel Pochet (Colorado State University), Andrey Ayupov (Intel), Taemin Kim (Intel), Chung-Wei Lin, Shinichi Shiraishi, Deming Chen (UIUC)

  • June 11-14, 2017

    Robust Vehicle Environment Reconstruction from Point Clouds for Irregularity Detection

    2017 IEEE Intelligent Vehicles Symposium http://iv2017.org/

    Ahmed C. Sidiya (West Virginia University), Hasnat Rubaiyat (WVU), Yaser Fallah (WVU), Xin Li (WVU), Gaurav Bansal, Takayuki Shimizu

  • June 12, 2017

    ポータブルな自動車向けセキュリティテストベッド

    電子情報通信学会　基礎・境界ソサイエティ　ハードウェアセキュリティ研究会

    遠山　毅、小熊　寿、松本　勉

  • June 10, 2017

    ワンウェイ型カーシェアリングの利用開始/終了手続き分析ケーススタディ：Ha:moRIDE （豊田市）

    第55回土木計画学研究発表会・春大会

    桑原　昌広、吉岡　顕、本間　由紀子、池上　照子、松井　章

  • June, 2017

    Vehicular Networking in the TV White Space Band

    IEEE Vehicular Technology Magazine

    You Han (OSU), Eylem Ekici (OSU), Haris Kremo (Trinity College, Dublin, Ireland), Onur Altintas (ITC-USA)

  • June 1, 2017

    Pedestrian-Behavior-Simulation-Toolkit (opensource SW)

    URL: https://github.com/Toyota-ITC-SSD/Pedestrian-Behavior-Simulation-Toolkit

    Nikhil Bagul (ITC, intern), BaekGyu Kim

  • May 26, 2017

    非熟練ドライバのための運転支援エージェント

    自動車技術会2017年春季大会

    島崎　景子、因幡　千尋、那和　一成、岡田　美智男

  • May 24-26, 2017

    Safety Analysis of Integrated Adaptive Cruise Control and Lane Keeping Control using Discrete-Time Models of Port-Hamiltonian Systems

    American Control Conference (ACC)

    Siyuan Dai, Xenofon Koutsoukos (Vanderbilt University)

  • May 16-18, 2017

    Input Space Partitioning to Enable Massively Parallel Proof

    2017 NASA Formal Methods Symposium

    Ashlie B. Hocking (Dependable Computing Inc.), M. Anthony Aiello (Dependable Computing Inc.), John C. Knight (Dependable Computing Inc.), Nikos Arechiga (Toyota ITC)

  • May 16, 2017

    Design Framework and Evolutional Architecture for Next-Generation Connected Vehicles

    Talk at University of California, Riverside

    Chung-Wei Lin

  • May 29 -31, 2017

    Delay-Aware Design, Analysis and Verification of Intelligent Intersection Management

    IEEE International Conference on Smart Computing

    Bowen Zheng (UC Riverside), Chung-Wei Lin, Hengyi Liang (UC Riverside), Shinichi Shiraishi, Wenchao Li (Boston University), Qi Zhu (UC Riverside)

  • May 4, 2017

    Invited Talk: Automated Driving from a Communications Perspective

    5G and Beyond Forum, Organized by University of California, San Diego

    Onur Altintas

  • May 3, 2017

    Proteus Symbolic Library

    Online GitHub repository: https://github.com/Toyota-ITC-SSD/proteus

    Nikos Arechiga, Anuradha Vakil, Sumanth Dathathri, Shashank Vernekar, Nagesh Kathare (former ITC-US interns)

  • May 3, 2017

    Naum: Abstraction Generator for Scalable Constraint Solving

    Online GitHub repository: https://github.com/Toyota-ITC-SSD/naum

    Sumanth Dathathri (Student at CalTech, former intern), Nikos Arechiga

  • April 21, 2017

    Testing Advanced Driving Assistance Systems (ADAS) in Virtual Simulation Environment

    2nd Workshop on Monitoring and Testing of Cyber-Physical Systems (as a part of CPS week)

    BaekGyu Kim

  • April 18-21, 2017

    Osiris: A Tool for Abstraction and Verification of Control Software with Lookup Tables

    2017 International Workshop on Safe Control of Connected and Autonomous Vehicles

    Nikos Arechiga (former ITC-US employee), Sumanth Dathathri (CalTech, former intern at ITC-US), Shashank Vernekar (former ITC-US intern), Nagesh Kathare (current ITC-US intern), Sicun Gao (MIT postdoc), Shinichi Shiraishi