• 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

  • August 19-25, 2017

    Learning-based Abstraction and Decomposition for Nonlinear Constraint Solving

    International Joint Conference on Artificial Intelligence (IJCAI)

  • May 16-18, 2017

    Input Space Partitioning to Enable Massively Parallel Proof

    2017 NASA Formal Methods Symposium

  • May 3, 2017

    Proteus Symbolic Library

    Online GitHub repository:

  • May 3, 2017

    Naum: Abstraction Generator for Scalable Constraint Solving

    Online GitHub repository:

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

  • April 12-14,2016

    ADAS Virtual Prototyping with the OpenMETA Toolchain

    SAE 2016 World Congress & Exhibition (

  • May 23-24,2016

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

    Japanese Modelica Conference 2016

  • November 7-10,2016

    Efficient Statistical Validation of Machine Learning Systems for Autonomous Driving

    IEEE/ACM International Conference on Computer Aided Design (ICCAD)

  • January 1,2017

    Simplified Adaptive Cruise Control Benchmark for Verification of Lookup Tables

    As a public repository

  • February 4,2017

    Faster Constraint Solving Using Learning Based Abstractions

    SoCal Machine Learning Symposium

  • February 1,2017

    Emerging Research Topics for Intelligent and Connected Vehicles

    Newsletter of IEEE Technical Committee for Cyper-Physical Systems

  • October 4,2015

    Forward Invariant Cuts to Simplify Proofs of Safety


  • January 7-9,2016

    Proving Critical Properties of Simulink Models

    IEEE High Assurance Systems Engineering (HASE) 2016 (