論文発表

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

  • May 29 -31, 2017

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

    IEEE International Conference on Smart Computing

  • 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

  • April 12-14,2016

    Proving Properties of Simulink Models that Include Discrete Valued Functions

    SAE 2016 World Congress & Exhibition (https://www.sae.org/congress/cfp/)

  • April 12-14,2016

    RV-ECU: Maximum Assurance In-Vehicle Safety Checks at Runtime

    SAE 2016 World Congress & Exhibition (https://www.sae.org/congress/cfp/)

  • April 12-14,2016

    ADAS Virtual Prototyping with the OpenMETA Toolchain

    SAE 2016 World Congress & Exhibition (https://www.sae.org/congress/cfp/)

  • April 12-14,2016

    Platform-Based Automotive Safety Features

    SAE 2016 World Congress & Exhibition (https://www.sae.org/congress/cfp/)

  • April 11,2016

    Demo Abstract: Systematic Road Environment Generation for Vehicle Software Simulation

    International Conference on Cyber-Physical Systems

  • May 23-24,2016

    ADAS Virtual Prototyping using Modelica and Unity Co-simulation via OpenMETA

    Japanese Modelica Conference 2016

  • August 17-19,2016

    Platform-based Plug and Play of Automotive Safety Features - Challenges and Directions

    The 22nd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications

  • October 2-7,2016

    The SMT-Based Automatic Road Network Generation in Vehicle Simulaation Environment

    EMSOFT http://esweek.org/emsoft/about

  • October 23-27,2016

    An Amanat-Based Multi-Party Certification Protocol for Outsourced Software in Automotive Systems

    IEEE International Symposium on Software Reliability Engineering (ISSRE 2016)

  • November 1,2016

    Open Source Vehicle Simulation Toolkit

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

  • December 8-10,2016

    Selective Message Relaying for Multi-Hopping Vehicular Networks

    IEEE Vehicular Networking Conference (VNC) 2016

  • January 1,2017

    Testing Autonomous Vehicle Software in the Virtual Prototyping Environment

    IEEE Embedded Systems Letters (ESL) http://ieeexplore.ieee.org/document/7797233/

  • January 1,2017

    Simplified Adaptive Cruise Control Benchmark for Verification of Lookup Tables

    As a public repository https://github.com/Toyota-ITC-SSD/SimulinkVerificationBenchmark

  • February 1,2017

    Emerging Research Topics for Intelligent and Connected Vehicles

    Newsletter of IEEE Technical Committee for Cyper-Physical Systems

  • June 9,2015

    The challenge of interoperability: model-based integration for automotive control software

    2015 Design Automation Conference (DAC) https://dac.com/

  • November 2-5,2015

    Test Suites for Benchmarks of Static Analysis Tools

    The 26th IEEE International Symposium on Software Reliability Engineering (ISSRE 2015)

  • September 28-30,2014

    Towards an Architecture-Centric Approach dedicated to Model-Based Virtual Integration for Embedded Software Systems

    2014 Workshop on Architecture-Centric Virtual Integration http://www.aadl.info/aadl/acvi/program.html

  • October 9,2014

    Making Autonomous Driving Safe: Formal Analysis of Driving Scenarios

    Cyber-Physical Systems Industry Day (Open House of University of Pennsylvania)

  • September 1,2011

    Automotive System Development Based on Collaborative Modeling Using Multiple ADLs
    アーキテクチャ記術言語を用いた車載リアルシステムのモデルベース開発

    European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering

  • May 1,2010

    AADLを用いた車載制御システムのモデリングについて

    AADL Standards Meeting

  • October 1,2010

    アーキテクチャ記述言語を用いた車載システムバリエーションのモデリング方法

    International Conference on Model Driven Engineering Languages and Systems

  • October 1,2010

    An AADL-based Approach to Variability Modeling of Automotive Control Systems

    International Conference on Model Driven Engineering Languages and Systems