• October 31, 2017

    Innovative Design and Analysis for Intelligent and Connected Vehicles

    Talk at ECE Department University of Illinois at Urbana-Champaign

  • October 23-26, 2017

    Principles for the Systematic Development of an Assurance Case Template from ISO 26262

    IEEE International Symposium on Software Reliability Engineering (ISSRE) ISSRE Industrial Track, October 2017

  • October 23-26, 2017

    Control Parameter Optimization for Autonomous Vehicle Software Using Virtual Prototyping

    IEEE International Symposium on Software Reliability Engineering (ISSRE) ISSRE Industrial Track, October 2017

  • October 20, 2017

    Proposing a preliminary contextual pedestrian-to-vehicle DSRC transmission policy

    ACM CarSys 2017 (

  • October 20, 2017

    Parked Cars as Virtual Network Infrastructure: Enabling Stable V2I Access for Long-Lasting Data Flows

    ACM MobiCom CarSys 2017 Workshop (Workshop on Connected and Automated Vehicle Mobility) (

  • October 20, 2017

    Vehicular Micro Clouds as Virtual Edge Servers for Efficient Data Collection (Invited Paper)

    ACM MobiCom CarSys 2017 Workshop (Workshop on Connected and Automated Vehicle Mobility) (

  • October 20, 2017

    Vehicle Value Proposition by Digital Technology Distruption


  • October 16-19, 2017

    Cooperative Mapping using Fusion of V2X, Radar and Camera Data

    2017 IEEE ITS Conference (

  • October 16-19, 2017

    Individualized Driver Action Anticipation Using Deep (Bidirectional) Recurrent Neural Network

    2017 IEEE International Conference on Intelligent Transportation (ITSC), Workshop on Human Factors in Intelligent Vehicles

  • October 16, 2017

    Leveraging Cloud Intelligence for Hybrid Vehicular Communications

    IEEE Workshop on Connected, Cooperative and Automated Transport - from IEEE 802.11p towards 5G (

  • October 11, 2017

    Estimation of Driver's Subjective Tension based on Biological and Vehicle Signals by Using Machine Learning

    Society of Automotive Engineers

  • October 10, 2017

    Application examples of AI in the automobile industry and their problems

    AI and Society

  • October 8-13, 2017

    Position-Aided Millimeter Wave V2I Beam Alignment: A Learning-to-Rank Approach

    IEEE PIMRC 2017 Workshop

  • September 26, 2017

    Edge Computing: Automotive Use Cases and Requirements

    MEC Congress

  • September 20, 2017

    Test Specification and Generation for Connected and Autonomous Vehicle in Virtual Environment

    Invited talk in University of Southern California (USC)

  • September 18, 2017

    Microtransit Service as an Innovative Countermeasure for the Tangled Urban Transportation Issues in Emerging Economies - A Case Study in Jakarta

    The 12th International Conference of Eastern Asia Society for Transportation Studies

  • September 16, 2017

    Multi-party based interaction agents oriented toward "hear" conversation

    Entertainment Computing 2017

  • September 14, 2017

    New social solutions for Society 5.0 in emerging countries based on big-data and VaaSI, Vehicle as a Social Infrastructure

    2017 IEICE Society Conference

  • September 4, 2017

    NAMIDA0 : Designing Social Interaction for Minimalistic Driving Agents

    Human Interface Symposium 2017

  • August 19-25, 2017

    Learning-based Abstraction and Decomposition for Nonlinear Constraint Solving

    International Joint Conference on Artificial Intelligence (IJCAI)

  • July 31, 2017

    Data Driven Innovation Combining Open Data and Automotive Big Data

    1st Meteorological Disaster Mitigation Inovation Forum

  • July 19-21, 2017

    V2Vネットワーク信頼性向上のためのマルチアンテナ逐次干渉除去に関する研究 (Multi-Antenna Successive Interference Cancellation to Improve Reliability of V2V Communications)

    IEICE Technical Committee on Smart Radio Technical Conference

  • July 13, 2017

    Poster: Integrating Automotive Radar with Communications to Support Automated Driving

    Automated Vehicles Symposium 2017

  • June 28, 2017

    Comparison between Open Source Software OM2M and Lab Prototype on oneM2M Standards

    DICOMO2017 Symposium

  • June 28, 2017

    Effectiveness evaluation of Small Accessible Transport service

    DICOMO2017 Symposium

  • 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

  • June 12, 2017

    Portable Security Testbed for Road Vehicles

    IEICE, Engineering Sciences Society, Technical Committee on Hardware Security

  • June 10, 2017


    55th Workshop on Infrastructure Planning and Management

  • June, 2017

    Vehicular Networking in the TV White Space Band

    IEEE Vehicular Technology Magazine

  • June 1, 2017

    Pedestrian-Behavior-Simulation-Toolkit (opensource SW)


  • May 26, 2017

    Driving Assistant Agent for Inexperienced Drivers

    2017 JSAE Annual Congress (Spring)

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

  • May 3, 2017

    Naum: Abstraction Generator for Scalable Constraint Solving

    Online GitHub repository:

  • 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