Follow
Mingshuai Chen
Mingshuai Chen
Assistant Professor of Computer Science, Zhejiang University
Verified email at zju.edu.cn - Homepage
Title
Cited by
Cited by
Year
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
492017
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
422020
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
312017
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
292017
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
262023
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
252021
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
242019
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
212015
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
202016
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
182021
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
182019
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
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
152022
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
152016
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
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
122018
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
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
112023
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
112020
Encoding inductive invariants as barrier certificates: Synthesis via difference-of-convex programming
Q Wang, M Chen, B Xue, N Zhan, JP Katoen
Information and Computation 289, 104965, 2022
92022
The system can't perform the operation now. Try again later.
Articles 1–20