Xiaoqing Jin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
6
Active years
2011–2017
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | CAV | Classification and Coverage-Based Falsification for Embedded Control Systems. | Arvind S. Adimoolam, Thao Dang, Alexandre Donz, James Kapinski, Xiaoqing Jin |
| 2017 | CAV | Logical Clustering and Learning for Time-Series Data. | Marcell Vazquez-Chanlatte, Jyotirmoy V. Deshmukh, Xiaoqing Jin, Sanjit A. Seshia |
| 2017 | MEMOCODE | Hyperproperties of real-valued signals. | Luan Viet Nguyen, James Kapinski, Xiaoqing Jin, Jyotirmoy V. Deshmukh, Taylor T. Johnson |
| 2016 | EMSOFT | Underminer: a framework for automatically identifying non-converging behaviors in black box system models. | Ayca Balkan, Paulo Tabuada, Jyotirmoy V. Deshmukh, Xiaoqing Jin, James Kapinski |
| 2016 | EMSOFT | Locally optimal reach set over-approximation for nonlinear systems. | Chuchu Fan, James Kapinski, Xiaoqing Jin, Sayan Mitra |
| 2015 | ATVA | Stochastic Local Search for Falsification of Hybrid Systems. | Jyotirmoy V. Deshmukh, Xiaoqing Jin, James Kapinski, Oded Maler |
| 2015 | RV | Robust Online Monitoring of Signal Temporal Logic. | Jyotirmoy V. Deshmukh, Alexandre Donz, Shromona Ghosh, Xiaoqing Jin, Garvit Juniwal, Sanjit A. Seshia |
| 2011 | ATVA | Symbolic Verification and Test Generation for a Network of Communicating FSMs. | Xiaoqing Jin, Gianfranco Ciardo, Tae-Hyong Kim, Yang Zhao |
| 2011 | TASE | A Symbolic Algorithm for Shortest EG Witness Generation. | Yang Zhao, Xiaoqing Jin, Gianfranco Ciardo |