• 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