| emsoft | participants

Xiaoqing Jin

Program Committees:
2018
.

EMSOFT 2017: 17th International Conference on Embedded Software

Testing Cyber-Physical Systems through Bayesian Optimization

Jyotirmoy V. Deshmukh, Marko Horvat, Xiaoqing Jin, Rupak Majumdar, and Vinayak S. Prabhu

EMSOFT 2016: 16th International Conference on Embedded Software

Underminer: A Framework for Automatically Identifying Non-Converging Behaviors in Black Box System Models

Ayca Balkan, Paulo Tabuada, Jyotirmoy V. Deshmukh, Xiaoqing Jin, and James Kapinski

Locally Optimal Reach Set Over-Approximation for Nonlinear Systems

Chuchu Fan, James Kapinski, Xiaoqing Jin, and Sayan Mitra