Simulation-Based Approaches for Verification of Embedded Control Systems: An Overview of Traditional and Advanced Modeling, Testing, and Verification Techniques
J Kapinski, JV Deshmukh, X Jin, H Ito, K Butts
IEEE Control Systems, 2016

Mining Temporal Requirements from Closed-loop Control Models
X. Jin, A. Donzé, J. V. Deshmukh, S. A. Seshia.
IEEE Transactions on Computer-aided Design of Integrated Circuits and Systems, 2015

Symbolic termination and confluence checking for ECA rules
X. Jin, Y. Lembachar, and G. Ciardo
Transactions on Petri Nets and Other Models of Concurrency, V9, 2014

Ten years of saturation: a petri net perspective
G. Ciardo, Y. Zhao, and X. Jin
Transactions on Petri Nets and Other Models of Concurrency V, 51-95 2012

Underminer: a framework for automatically identifying non-converging behaviors in black box system models
A. Balkan, P. Tabuada, J. V. Deshmukh, X. Jin, J. Kapinski
Embeded Software (EMSOFT), 2016 (Best Paper Award)

Locally optimal reach set over-approximation for nonlinear systems
C. Fan, J. Kapinski, X. Jin, S. Mitra
Embeded Software (EMSOFT), 2016 (Best Paper Award Candidate)

Symbolic-Numeric Reachability Analysis of Closed-Loop Control Software
A. Zutshi, S. Sankaranarayanan, J. V. Deshmukh, and X. Jin.
Hybrid Systems: Computation and Control (HSCC), 2016 (Best Student Paper Award)

ST-Lib: A Library for Specifying and Classifying Model Behaviors
J. Kapinski, X. Jin, J. Deshmukh, A. Donze, T. Yamaguchi, H. Ito, T. Kaga, S. Kobuna, S. Seshia
Society of Automotive Engineers Technical Paper (SAE), 2016

Robust Online Monitoring of Signal Temporal Logic
J. V. Deshmukh, A. Donzé, S. Ghosh, X. Jin, G. Juniwal, S. Seshia
Runtime Verification (RV), 2015 (Best Paper Award)

Stochastic Local Search for Falsification of Hybrid Systems
J Deshmukh, X Jin, J Kapinski, O Maler
Automated Technology for Verification and Analysis (ATVA), 2015

Beyond single shooting: Iterative approaches to falsification
J. Deshmukh, G. Fainekos, J. Kapinski, S. Sankaranarayanan, A. Zutshi, X. Jin
American Control Conference (ACC), 2015

Automotive systems requirement mining using breach
A Donze, X Jin, JV Deshmukh, SA Seshia
American Control Conference (ACC), 2015

Simulation-guided approaches for verification of automotive powertrain control systems
J Kapinski, J Deshmukh, X Jin, H Ito, K Butts
American Control Conference (ACC), 2015

Falsification of safety properties for closed loop control systems
A Zutshi, S Sankaranarayanan, JV Deshmukh, J Kapinski, X Jin
18th Hybrid Systems: Computation and Control (HSCC), 2015

Efficient Guiding Strategies for Testing of Temporal Properties of Hybrid Systems
T. Dreossi, T. Dang, A. Donzé, J. Kapinski, X. Jin, J. V. Deshmukh
NASA Symposium on Formal Methods (NFM), 2015

Piecewise Affine Approximations for a Powertrain Control Benchmark
J. V. Deshmukh, H. Ito, X. Jin, J. Kapinski, K. Butts, J. Gerhard, B. Samadi, K. Walker, Y. Xie
Applied Verification for Continuous and Hybrid Systems (ARCH), 2015

Benchmarks for Model Transformations and Conformance Checking
X. Jin, J. Deshmukh, J. Kapinski, K. Ueda, and K. Butts
Applied Verification for Continuous and Hybrid Systems (ARCH), 2014

Challenges of Applying Formal Methods to Automotive Control Systems
X. Jin, J. Deshmukh, J. Kapinski, K. Ueda, and K. Butts
NSF National Workshop on Transportation Cyber-Physical Systems, 2014

Powertrain control verification benchmark
X. Jin, J. Deshmukh, J. Kapinski, K. Ueda, and K. Butts
17th Hybrid Systems: Computation and Control (HSCC), 2014

Symbolic verification of ECA rules
X. Jin, A. Donze and G. Ciardo
Petri Nets and Software Engineering (PNSE), 2013

Mining Weighted Requirements from Closed-loop Control Models
X. Jin, A. Donze and G. Ciardo
6th Numerical Software Verification (NSV), 2013

Mining requirements from closed-loop control models
X. Jin, A. Donzé, J. Deshmukh, S. Seshia
16th Hybrid Systems: Computation and Control (HSCC), 2013

Symbolic verification and test generation for a network of communicating FSMs
X. Jin, G. Ciardo, TH. Kim, and Y. Zhao
Automated Technology for Verification and Analysis (ATVA), 2011

A symbolic algorithm for shortest EG witness generation
Y. Zhao, X. Jin, and G. Ciardo
Theoretical Aspects of Software Engineering (TASE), 2011

Parallel symbolic state-space exploration is difficult, but what is the alternative?
G. Ciardo, Y. Zhao, and X. Jin
Parallel and Distributed Methods in verifiCation (PDMC), 2009

An Efficient Method for Transmission Line Simulation
X. Huang, G. Wang, and X. Jin
International Symposium on Electromagnetic Compatibility (EMC), 2007