Mingshuai Chen

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 38

Top Topics

Dynamical Systems

Bayesian Inference

Functional Programs

Top Venues

Proc. ACM Program. Lang.

Publications

Siwei Tan, Debin Xiang, Liqiang Lu, Junlin Lu, Qiuping Jiang, Mingshuai Chen, Jianwei Yin
MorphQPV: Exploiting Isomorphism in Quantum Programs to Facilitate Confident Verification. ASPLOS (3) (2024)
Yican Sun, Ruyi Ji, Jian Fang, Xuanlin Jiang, Mingshuai Chen, Yingfei Xiong
Proving Functional Program Equivalence via Directed Lemma Synthesis. CoRR (2024)
Yutao Sun, Mingshuai Chen, Kangjia Zhao, He Li, Jintao Chen, Linyu Yang, Zhongyi Wang, Tiancheng Zhao, Jianwei Yin
HORAE: A Domain-Agnostic Modeling Language for Automating Multimodal Service Regulation. CoRR (2024)
Mingshuai Chen, Mingai Sun, Xi Su, Prayag Tiwari, Yijie Ding
Fuzzy kernel evidence Random Forest for identifying pseudouridine sites. Briefings Bioinform. 25 (3) (2024)
Siwei Tan, Liqiang Lu, Hanyu Zhang, Jia Yu, Congliang Lang, Yongheng Shang, Xinkui Zhao, Mingshuai Chen, Yun Liang, Jianwei Yin
QuFEM: Fast and Accurate Quantum Readout Calibration Using the Finite Element Method. ASPLOS (2) (2024)
Lutz Klinkenberg, Christian Blumenthal, Mingshuai Chen, Darion Haase, Joost-Pieter Katoen
Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Lutz Klinkenberg, Tobias Winkler, Mingshuai Chen, Joost-Pieter Katoen
Exact Probabilistic Inference Using Generating Functions. CoRR (2023)
Lutz Klinkenberg, Christian Blumenthal, Mingshuai Chen, Joost-Pieter Katoen
Exact Bayesian Inference for Loopy Probabilistic Programs. CoRR (2023)
Shenghua Feng, Mingshuai Chen, Han Su, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Naijun Zhan
Lower Bounds for Possibly Divergent Probabilistic Programs. Proc. ACM Program. Lang. 7 (OOPSLA1) (2023)
Shenghua Feng, Mingshuai Chen, Han Su, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Naijun Zhan
Lower Bounds for Possibly Divergent Probabilistic Programs. CoRR (2023)
Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants. TACAS (2) (2023)
Qiuye Wang, Mingshuai Chen, Bai Xue, Naijun Zhan, Joost-Pieter Katoen
Encoding inductive invariants as barrier certificates: Synthesis via difference-of-convex programming. Inf. Comput. 289 (Part) (2022)
Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants. CoRR (2022)
Qiuye Wang, Mingshuai Chen, Bai Xue, Naijun Zhan, Joost-Pieter Katoen
Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming. CoRR (2022)
Zhuoruo Zhang, Chenyang Yu, He Huang, Rui Chang, Mingshuai Chen, Qinming Dai, Wenbo Shen, Yongwang Zhao, Kui Ren
PA-Boot: A Formally Verified Authentication Protocol for Multiprocessor Secure Boot. CoRR (2022)
Mingshuai Chen, Joost-Pieter Katoen, Lutz Klinkenberg, Tobias Winkler
Does a Program Yield the Right Distribution? Verifying Probabilistic Programs via Generating Functions. CoRR (2022)
Mingshuai Chen, Joost-Pieter Katoen, Lutz Klinkenberg, Tobias Winkler
Does a Program Yield the Right Distribution? - Verifying Probabilistic Programs via Generating Functions. CAV (1) (2022)
Qiuye Wang, Mingshuai Chen, Bai Xue, Naijun Zhan, Joost-Pieter Katoen
Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming. CoRR (2021)
Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter Nazier Mosaad, Naijun Zhan
Indecision and delays are the parents of failure - taming them algorithmically by synthesizing delay-resilient control. Acta Informatica 58 (5) (2021)
Qiuye Wang, Mingshuai Chen, Bai Xue, Naijun Zhan, Joost-Pieter Katoen
Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming. CAV (1) (2021)
Kevin Batz, Mingshuai Chen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer
Latticed k-Induction with an Application to Probabilistic Programs. CAV (2) (2021)
Kevin Batz, Mingshuai Chen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer
Latticed k-Induction with an Application to Probabilistic Programs. CoRR (2021)
Shenghua Feng, Mingshuai Chen, Bai Xue, Sriram Sankaranarayanan, Naijun Zhan
Unbounded-Time Safety Verification of Stochastic Differential Dynamics. CAV (2) (2020)
Jian Wang, Jie An, Mingshuai Chen, Naijun Zhan, Lulin Wang, Miaomiao Zhang, Ting Gan
From model to implementation: a network algorithm programming language. Sci. China Inf. Sci. 63 (7) (2020)
Jie An, Mingshuai Chen, Bohua Zhan, Naijun Zhan, Miaomiao Zhang
Learning One-Clock Timed Automata. TACAS (1) (2020)
Jie An, Mingshuai Chen, Bohua Zhan, Naijun Zhan, Miaomiao Zhang
Learning One-Clock Timed Automata. CoRR (2019)
Mingshuai Chen, Jian Wang, Jie An, Bohua Zhan, Deepak Kapur, Naijun Zhan
NIL: Learning Nonlinear Interpolants. CoRR (2019)
Mingshuai Chen, Jian Wang, Jie An, Bohua Zhan, Deepak Kapur, Naijun Zhan
NIL: Learning Nonlinear Interpolants. CADE (2019)
Shenghua Feng, Mingshuai Chen, Naijun Zhan, Martin Fränzle, Bai Xue
Taming Delays in Dynamical Systems - Unbounded Verification of Delay Differential Equations. CAV (1) (2019)
Martin Fränzle, Mingshuai Chen, Paul Kröger
In memory of Oded Maler: automatic reachability analysis of hybrid-state automata. ACM SIGLOG News 6 (1) (2019)
Ting Gan, Mingshuai Chen, Yangjia Li, Bican Xia, Naijun Zhan
Reachability Analysis for Solvable Dynamical Systems. IEEE Trans. Autom. Control. 63 (7) (2018)
Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter Nazier Mosaad, Naijun Zhan
What's to Come is Still Unsure - Synthesizing Controllers Resilient to Delayed Interaction. ATVA (2018)
Bai Xue, Peter Nazier Mosaad, Martin Fränzle, Mingshuai Chen, Yangjia Li, Naijun Zhan
Safe Over- and Under-Approximation of Reachable Sets for Delay Differential Equations. FORMATS (2017)
Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter Nazier Mosaad, Naijun Zhan
Validated Simulation-Based Verification of Delayed Differential Dynamics. FM (2016)
Mingshuai Chen, Anders P. Ravn, Shuling Wang, Mengfei Yang, Naijun Zhan
A Two-Way Path Between Formal and Informal Design of Embedded Systems. UTP (2016)
Ting Gan, Mingshuai Chen, Yangjia Li, Bican Xia, Naijun Zhan
Computing reachable sets of linear vector fields revisited. ECC (2016)
Ting Gan, Liyun Dai, Bican Xia, Naijun Zhan, Deepak Kapur, Mingshuai Chen
Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF. IJCAR (2016)
Ting Gan, Liyun Dai, Bican Xia, Naijun Zhan, Deepak Kapur, Mingshuai Chen
Interpolation synthesis for quadratic polynomial inequalities and combination with \textit{EUF}. CoRR (2016)
Yangjia Li, Hui Lu, Naijun Zhan, Mingshuai Chen, Guohua Wu
Termination Analysis of Polynomial Programs with Equality Conditions. CoRR (2015)
Ting Gan, Mingshuai Chen, Liyun Dai, Bican Xia, Naijun Zhan
Decidability of the Reachability for a Family of Linear Vector Fields. ATVA (2015)