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 | 46 | 2017 |
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 | 37 | 2020 |
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 | 28 | 2017 |
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 | 28 | 2017 |
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 | 23 | 2019 |
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 | 21 | 2021 |
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 | 20 | 2015 |
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 | 19 | 2016 |
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 | 18 | 2023 |
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 | 17 | 2019 |
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 | 17 | 2016 |
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 | 15 | 2021 |
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 | 14 | 2016 |
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 | 13 | 2022 |
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 | 12 | 2021 |
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 | 12 | 2017 |
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 | 11 | 2018 |
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 | 9 | 2020 |
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 | 8 | 2023 |
NIL: learning nonlinear interpolants M Chen, J Wang, J An, B Zhan, D Kapur, N Zhan International Conference on Automated Deduction, 178-196, 2019 | 8 | 2019 |