Mingshuai Chen
Title
Cited by
Cited by
Year
Safe over-and under-approximation of reachable sets for delay differential equations
B Xue, PN Mosaad, M Fränzle, M Chen, Y Li, N Zhan
International Conference on Formal Modeling and Analysis of Timed Systems …, 2017
172017
Validated simulation-based verification of delayed differential dynamics
M Chen, M Fränzle, Y Li, PN Mosaad, N Zhan
International Symposium on Formal Methods, 137-154, 2016
162016
Reachability analysis for solvable dynamical systems
T Gan, M Chen, Y Li, B Xia, N Zhan
IEEE Transactions on Automatic Control 63 (7), 2003-2018, 2017
132017
Decidability of the reachability for a family of linear vector fields
T Gan, M Chen, L Dai, B Xia, N Zhan
International Symposium on Automated Technology for Verification and …, 2015
132015
Computing reachable sets of linear vector fields revisited
T Gan, M Chen, Y Li, B Xia, N Zhan
2016 European Control Conference (ECC), 419-426, 2016
92016
What’s to Come is Still Unsure
M Chen, M Fränzle, Y Li, PN Mosaad, N Zhan
International Symposium on Automated Technology for Verification and …, 2018
82018
MARS: A toolchain for modelling, analysis and verification of hybrid systems
M Chen, X Han, T Tang, S Wang, M Yang, N Zhan, H Zhao, L Zou
Provably Correct Systems, 39-58, 2017
82017
A two-way path between formal and informal design of embedded systems
M Chen, AP Ravn, S Wang, M Yang, N Zhan
International Symposium on Unifying Theories of Programming, 65-92, 2016
82016
Interpolant synthesis for quadratic polynomial inequalities and combination with EUF
T Gan, L Dai, B Xia, N Zhan, D Kapur, M Chen
International Joint Conference on Automated Reasoning, 195-212, 2016
72016
Taming delays in dynamical systems
S Feng, M Chen, N Zhan, M Fränzle, B Xue
International Conference on Computer Aided Verification, 650-669, 2019
62019
In memory of Oded Maler: automatic reachability analysis of hybrid-state automata
M Fränzle, M Chen, P Kröger
ACM SIGLOG News 6 (1), 19-39, 2019
42019
Indecision and delays are the parents of failure—taming them algorithmically by synthesizing delay-resilient control
M Chen, M Fränzle, Y Li, PN Mosaad, N Zhan
Acta Informatica, 1-32, 2020
32020
NIL: Learning Nonlinear Interpolants
M Chen, J Wang, J An, B Zhan, D Kapur, N Zhan
International Conference on Automated Deduction, 178-196, 2019
12019
Interpolation synthesis for quadratic polynomial inequalities and combination with EUF
T Gan, L Dai, B Xia, N Zhan, D Kapur, M Chen
arXiv preprint arXiv:1601.04802, 2016
12016
Termination analysis of polynomial programs with equality conditions
Y Li, H Lu, N Zhan, M Chen, G Wu
arXiv preprint arXiv:1510.05201, 2015
12015
From model to implementation: a network algorithm programming language
J WANG, J AN, M CHEN, N ZHAN, L WANG, M ZHANG, T GAN
Information Sciences 63 (172102), 1-172102, 2020
2020
Unbounded-Time Safety Verification of Stochastic Differential Dynamics
S Feng, M Chen, B Xue, S Sankaranarayanan, N Zhan
arXiv preprint arXiv:2006.01858, 2020
2020
Learning One-Clock Timed Automata
J An, M Chen, B Zhan, N Zhan, M Zhang
International Conference on Tools and Algorithms for the Construction and …, 2020
2020
Interpolation synthesis for quadratic polynomial inequalities and combination with\textit {EUF}.
T Gan, L Dai, B Xia, N Zhan, D Kapur, M Chen
CoRR, 2016
2016
The system can't perform the operation now. Try again later.
Articles 1–19