Xin Qin
发表
George J. Pappas,
Jyotirmoy V. Deshmukh,
Lars Lindemann,
2022,
ArXiv.
Jyotirmoy V. Deshmukh,
Chuchu Fan,
Xin Qin,
2022,
2022 ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS).
Ezio Bartocci,
Cristinel Mateis,
Jyotirmoy V. Deshmukh,
2020,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
George J. Pappas,
Jyotirmoy V. Deshmukh,
Lars Lindemann,
2022,
ICCPS.
Georgios Fainekos,
Heni Ben Amor,
Jyotirmoy V. Deshmukh,
2019,
2019 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Jyotirmoy V. Deshmukh,
A. Best,
Xin Qin,
2019,
1910.13645.
Jyotirmoy V. Deshmukh,
Chuchu Fan,
Xin Qin,
2020,
2004.00279.
Jyotirmoy V. Deshmukh,
Chuchu Fan,
Jyotirmoy Deshmukh,
2020,
ArXiv.
Jyotirmoy V. Deshmukh,
Lars Lindemann,
Xin Qin,
2022,
2023 59th Annual Allerton Conference on Communication, Control, and Computing (Allerton).
Jyotirmoy V. Deshmukh,
Xin Qin,
Aditya Zutshi,
2023,
ACM Trans. Cyber Phys. Syst..
Jyotirmoy V. Deshmukh,
D. Prokhorov,
Georgios Fainekos,
2022,
American Control Conference.
Jyotirmoy V. Deshmukh,
Andrew Best,
Xin Qin,
2019,
ArXiv.
Jyotirmoy V. Deshmukh,
Lars Lindemann,
Xin Qin,
2023,
2023 Formal Methods in Computer-Aided Design (FMCAD).
Cristinel Mateis,
Jyotirmoy V. Deshmukh,
Thomas Ferrère,
2021,
International Journal on Software Tools for Technology Transfer.
Dejan Nickovic,
Cristinel Mateis,
Jyotirmoy V. Deshmukh,
2019,
RV.