Seguir
Mingshuai Chen
Mingshuai Chen
Assistant Professor of Computer Science, Zhejiang University
Dirección de correo verificada de zju.edu.cn - Página principal
Título
Citado por
Citado por
Año
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
462017
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
372020
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
Formal Modeling and Analysis of Timed Systems: 15th International Conference …, 2017
282017
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
282017
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
232019
Latticed k-Induction with an Application to Probabilistic Programs
K Batz, M Chen, BL Kaminski, JP Katoen, C Matheja, P Schröer
International Conference on Computer Aided Verification, 524-549, 2021
212021
Decidability of the reachability for a family of linear vector fields
T Gan, M Chen, L Dai, B Xia, N Zhan
Automated Technology for Verification and Analysis: 13th International …, 2015
202015
Validated simulation-based verification of delayed differential dynamics
M Chen, M Fränzle, Y Li, PN Mosaad, N Zhan
FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus …, 2016
192016
Probabilistic program verification via inductive synthesis of inductive invariants
K Batz, M Chen, S Junges, BL Kaminski, JP Katoen, C Matheja
International Conference on Tools and Algorithms for the Construction and …, 2023
182023
Taming delays in dynamical systems: Unbounded verification of delay differential equations
S Feng, M Chen, N Zhan, M Fränzle, B Xue
International Conference on Computer Aided Verification, 650-669, 2019
172019
Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF
T Gan, L Dai, B Xia, N Zhan, D Kapur, M Chen
Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra …, 2016
172016
Synthesizing invariant barrier certificates via difference-of-convex programming
Q Wang, M Chen, B Xue, N Zhan, JP Katoen
International Conference on Computer Aided Verification, 443-466, 2021
152021
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
142016
Does a program yield the right distribution? Verifying probabilistic programs via generating functions
M Chen, JP Katoen, L Klinkenberg, T Winkler
International Conference on Computer Aided Verification, 79-101, 2022
132022
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 58 (5), 497-528, 2021
122021
A two-way path between formal and informal design of embedded systems
M Chen, AP Ravn, S Wang, M Yang, N Zhan
Unifying Theories of Programming: 6th International Symposium, UTP 2016 …, 2017
122017
What’s to come is still unsure: synthesizing controllers resilient to delayed interaction
M Chen, M Fränzle, Y Li, PN Mosaad, N Zhan
International Symposium on Automated Technology for Verification and …, 2018
112018
Unbounded-time safety verification of stochastic differential dynamics
S Feng, M Chen, B Xue, S Sankaranarayanan, N Zhan
International Conference on Computer Aided Verification, 327-348, 2020
92020
Lower bounds for possibly divergent probabilistic programs
S Feng, M Chen, H Su, BL Kaminski, JP Katoen, N Zhan
Proceedings of the ACM on Programming Languages 7 (OOPSLA1), 696-726, 2023
82023
NIL: learning nonlinear interpolants
M Chen, J Wang, J An, B Zhan, D Kapur, N Zhan
International Conference on Automated Deduction, 178-196, 2019
82019
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20