Mingshuai Chen

According to our database, Mingshuai Chen authored at least 40 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions Artifact.

Lutz Klinkenberg, Christian Blumenthal, Mingshuai Chen, Darion Haase, Joost-Pieter Katoen

Dataset, March, 2024

Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions Artifact.

Lutz Klinkenberg, Christian Blumenthal, Mingshuai Chen, Darion Haase, Joost-Pieter Katoen

Dataset, January, 2024

PseU-KeMRF: A Novel Method for Identifying RNA Pseudouridine Sites.

Mingshuai Chen, Quan Zou, Ren Qi, Yijie Ding

IEEE ACM Trans. Comput. Biol. Bioinform., 2024

Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions.

Lutz Klinkenberg, Christian Blumenthal, Mingshuai Chen, Darion Haase, Joost-Pieter Katoen

Proc. ACM Program. Lang., 2024

Parf: Adaptive Parameter Refining for Abstract Interpretation.

Zhongyi Wang, Linyu Yang, Mingshuai Chen, Yixuan Bu, Zhiyang Li, Qiuye Wang, Shengchao Qin, Xiao Yi, Jianwei Yin

CoRR, 2024

HORAE: A Domain-Agnostic Modeling Language for Automating Multimodal Service Regulation.

Yutao Sun, Mingshuai Chen, Kangjia Zhao, He Li, Jintao Chen, Linyu Yang, Zhongyi Wang, Tiancheng Zhao, Jianwei Yin

CoRR, 2024

Fuzzy kernel evidence Random Forest for identifying pseudouridine sites.

Mingshuai Chen, Mingai Sun, Xi Su, Prayag Tiwari, Yijie Ding

Briefings Bioinform., 2024

UniGM: Unifying Multiple Pre-trained Graph Models via Adaptive Knowledge Aggregation.

Jintao Chen, Fan Wang, Shengye Pang, Siwei Tan, Mingshuai Chen, Tiancheng Zhao, Meng Xi, Jianwei Yin

Proceedings of the 32nd ACM International Conference on Multimedia, MM 2024, Melbourne, VIC, Australia, 28 October 2024, 2024

Horae: A Domain-Agnostic Modeling Language for Automating Multimodal Service Regulation^⋆.

Yutao Sun, Mingshuai Chen, Kangjia Zhao, Jintao Chen

Proceedings of the IEEE International Conference on Web Services, 2024

Proving Functional Program Equivalence via Directed Lemma Synthesis.

Yican Sun, Ruyi Ji, Jian Fang, Xuanlin Jiang, Mingshuai Chen, Yingfei Xiong

Proceedings of the Formal Methods - 26th International Symposium, 2024

MorphQPV: Exploiting Isomorphism in Quantum Programs to Facilitate Confident Verification.

Siwei Tan, Debin Xiang, Liqiang Lu, Junlin Lu, Qiuping Jiang, Mingshuai Chen, Jianwei Yin

Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

QuFEM: Fast and Accurate Quantum Readout Calibration Using the Finite Element Method.

Siwei Tan, Liqiang Lu, Hanyu Zhang, Jia Yu, Congliang Lang, Yongheng Shang, Xinkui Zhao, Mingshuai Chen, Yun Liang, Jianwei Yin

Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

2023

Lower Bounds for Possibly Divergent Probabilistic Programs.

Shenghua Feng, Mingshuai Chen, Han Su, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Naijun Zhan

Proc. ACM Program. Lang., April, 2023

Exact Bayesian Inference for Loopy Probabilistic Programs.

Lutz Klinkenberg, Christian Blumenthal, Mingshuai Chen, Joost-Pieter Katoen

CoRR, 2023

Exact Probabilistic Inference Using Generating Functions.

Lutz Klinkenberg, Tobias Winkler, Mingshuai Chen, Joost-Pieter Katoen

CoRR, 2023

Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants.

Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

2022

Prodigy - Artifact Evaluation at CAV 2022.

Mingshuai Chen, Joost-Pieter Katoen, Lutz Klinkenberg, Tobias Winkler

Dataset, May, 2022

Encoding inductive invariants as barrier certificates: Synthesis via difference-of-convex programming.

Qiuye Wang, Mingshuai Chen, Bai Xue, Naijun Zhan, Joost-Pieter Katoen

Inf. Comput., 2022

PA-Boot: A Formally Verified Authentication Protocol for Multiprocessor Secure Boot.

Zhuoruo Zhang, Chenyang Yu, He Huang, Rui Chang, Mingshuai Chen, Qinming Dai, Wenbo Shen, Yongwang Zhao, Kui Ren

CoRR, 2022

Does a Program Yield the Right Distribution? - Verifying Probabilistic Programs via Generating Functions.

Mingshuai Chen, Joost-Pieter Katoen, Lutz Klinkenberg, Tobias Winkler

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

Indecision and delays are the parents of failure - taming them algorithmically by synthesizing delay-resilient control.

Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter Nazier Mosaad, Naijun Zhan

Acta Informatica, 2021

Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming.

Qiuye Wang, Mingshuai Chen, Bai Xue, Naijun Zhan, Joost-Pieter Katoen

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

Latticed k-Induction with an Application to Probabilistic Programs.

Kevin Batz, Mingshuai Chen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

From model to implementation: a network algorithm programming language.

Jian Wang, Jie An, Mingshuai Chen, Naijun Zhan, Lulin Wang, Miaomiao Zhang, Ting Gan

Sci. China Inf. Sci., 2020

Learning One-Clock Timed Automata.

Jie An, Mingshuai Chen, Bohua Zhan, Naijun Zhan, Miaomiao Zhang

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Unbounded-Time Safety Verification of Stochastic Differential Dynamics.

Shenghua Feng, Mingshuai Chen, Bai Xue, Sriram Sankaranarayanan, Naijun Zhan

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

In memory of Oded Maler: automatic reachability analysis of hybrid-state automata.

Martin Fränzle, Mingshuai Chen, Paul Kröger

ACM SIGLOG News, 2019

Taming Delays in Dynamical Systems - Unbounded Verification of Delay Differential Equations.

Shenghua Feng, Mingshuai Chen, Naijun Zhan, Martin Fränzle, Bai Xue

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

NIL: Learning Nonlinear Interpolants.

Mingshuai Chen, Jian Wang, Jie An, Bohua Zhan, Deepak Kapur, Naijun Zhan

Proceedings of the Automated Deduction - CADE 27, 2019

2018

Reachability Analysis for Solvable Dynamical Systems.

Ting Gan, Mingshuai Chen, Yangjia Li, Bican Xia, Naijun Zhan

IEEE Trans. Autom. Control., 2018

What's to Come is Still Unsure - Synthesizing Controllers Resilient to Delayed Interaction.

Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter Nazier Mosaad, Naijun Zhan

Proceedings of the Automated Technology for Verification and Analysis, 2018

2017

Safe Over- and Under-Approximation of Reachable Sets for Delay Differential Equations.

Bai Xue, Peter Nazier Mosaad, Martin Fränzle, Mingshuai Chen, Yangjia Li, Naijun Zhan

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017

MARS: A Toolchain for Modelling, Analysis and Verification of Hybrid Systems.

Mingshuai Chen, Xiao Han, Tao Tang, Shuling Wang, Mengfei Yang, Naijun Zhan, Hengjun Zhao, Liang Zou

Proceedings of the Provably Correct Systems, 2017

2016

Interpolation synthesis for quadratic polynomial inequalities and combination with \textit{EUF}.

Ting Gan, Liyun Dai, Bican Xia, Naijun Zhan, Deepak Kapur, Mingshuai Chen

CoRR, 2016

A Two-Way Path Between Formal and Informal Design of Embedded Systems.

Mingshuai Chen, Anders P. Ravn, Shuling Wang, Mengfei Yang, Naijun Zhan

Proceedings of the Unifying Theories of Programming - 6th International Symposium, 2016

Validated Simulation-Based Verification of Delayed Differential Dynamics.

Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter Nazier Mosaad, Naijun Zhan

Proceedings of the FM 2016: Formal Methods, 2016

Computing reachable sets of linear vector fields revisited.

Ting Gan, Mingshuai Chen, Yangjia Li, Bican Xia, Naijun Zhan

Proceedings of the 15th European Control Conference, 2016

Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF.

Ting Gan, Liyun Dai, Bican Xia, Naijun Zhan, Deepak Kapur, Mingshuai Chen

Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016

2015

Termination Analysis of Polynomial Programs with Equality Conditions.

Yangjia Li, Hui Lu, Naijun Zhan, Mingshuai Chen, Guohua Wu

CoRR, 2015

Decidability of the Reachability for a Family of Linear Vector Fields.

Ting Gan, Mingshuai Chen, Liyun Dai, Bican Xia, Naijun Zhan

Proceedings of the Automated Technology for Verification and Analysis, 2015