論文発表

  • 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)

  • June 11-14, 2017

    Robust Vehicle Environment Reconstruction from Point Clouds for Irregularity Detection

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

  • June 12, 2017

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

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

  • June 10, 2017

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

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

  • June, 2017

    Vehicular Networking in the TV White Space Band

    IEEE Vehicular Technology Magazine

  • June 1, 2017

    Pedestrian-Behavior-Simulation-Toolkit (opensource SW)

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

  • 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)

  • May 16-18, 2017

    Input Space Partitioning to Enable Massively Parallel Proof

    2017 NASA Formal Methods Symposium

  • May 16, 2017

    Design Framework and Evolutional Architecture for Next-Generation Connected Vehicles

    Talk at University of California, Riverside

  • May 29 -31, 2017

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

    IEEE International Conference on Smart Computing

  • May 4, 2017

    Invited Talk: Automated Driving from a Communications Perspective

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

  • May 3, 2017

    Proteus Symbolic Library

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

  • May 3, 2017

    Naum: Abstraction Generator for Scalable Constraint Solving

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

  • 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)

  • 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