Mingshuai Chen

62 papers A* 5A 3B 3Journal 34Unranked 16
YearRankTypeTitle / Venue / Authors
2026 J jnl
PA-Boot: A Formally Verified Authentication Protocol for Multiprocessor Secure Boot Under Hardware Supply-Chain Attacks.
IEEE Trans. Inf. Forensics Secur.
Zhuoruo Zhang, Rui Chang, Mingshuai Chen, Wenbo Shen, Chenyang Yu, He Huang, Qinming Dai, Yongwang Zhao
2026 J jnl
Talking to Yourself: Defying Forgetting in Large Language Models.
CoRR
Yutao Sun, Mingshuai Chen, Tiancheng Zhao, Phillip Miao, Zilun Zhang, Haozhan Shen, Ruizhe Zhu, Jianwei Yin
2025 J jnl
A Tale of 1001 LoC: Potential Runtime Error-Guided Specification Synthesis for Verifying Large-Scale Programs.
CoRR
Zhongyi Wang, Tengjie Lin, Mingshuai Chen, Haokun Li, Mingqi Yang, Xiao Yi, Shengchao Qin, Yixing Luo, Xiaofeng Li, Bin Gu, Liqiang Lu, Jianwei Yin
2025 J jnl
AdaptDQC: Adaptive Distributed Quantum Computing With Quantitative Performance Analysis.
IEEE Trans. Computers
Debin Xiang, Liqiang Lu, Siwei Tan, Xinghui Jia, Zhe Zhou, Guangyu Sun, Mingshuai Chen, Jianwei Yin
2025 J jnl
Derivative-Agnostic Inference of Nonlinear Hybrid Systems.
CoRR
Hengzhi Yu, Bohan Ma, Mingshuai Chen, Jie An, Bin Gu, Naijun Zhan, Jianwei Yin
2025 A* conf
Horae: A Domain-Agnostic Language for Automated Service Regulation.
IJCAI
Yutao Sun, Mingshuai Chen, Tiancheng Zhao, Kangjia Zhao, He Li, Jintao Chen, Zhongyi Wang, Liqiang Lu, Xinkui Zhao, Shuiguang Deng, Jianwei Yin
2025 — conf
On the Almost-Sure Termination of Probabilistic Counter Programs.
CAV (2)
Sergei Novozhilov, Mingqi Yang, Mingshuai Chen, Zhiyang Li, Jianwei Yin
2025 J jnl
PARF: An Adaptive Abstraction-Strategy Tuner for Static Analysis.
CoRR
Zhong-Yi Wang, Mingshuai Chen, Tengjie Lin, Linyu Yang, Junhao Zhuo, Qiuye Wang, Shengchao Qin, Xiao Yi, Jianwei Yin
2025 J jnl
Parf: An Adaptive Abstraction-Strategy Tuner for Static Analysis.
J. Comput. Sci. Technol.
Zhong-Yi Wang, Mingshuai Chen, Teng-Jie Lin, Linyu Yang, Junhao Zhuo, Qiu-Ye Wang, Shengchao Qin, Xiao Yi, Jianwei Yin
2025 J jnl
Preguss: It Analyzes, It Specifies, It Verifies.
CoRR
Zhongyi Wang, Tengjie Lin, Mingshuai Chen, Mingqi Yang, Haokun Li, Xiao Yi, Shengchao Qin, Jianwei Yin
2025 — conf
The Self-Improvement Paradox: Can Language Models Bootstrap Reasoning Capabilities without External Scaffolding?
ACL (Findings)
Yutao Sun, Mingshuai Chen, Tiancheng Zhao, Ruochen Xu, Zilun Zhang, Jianwei Yin
2025 J jnl
The Self-Improvement Paradox: Can Language Models Bootstrap Reasoning Capabilities without External Scaffolding?
CoRR
Yutao Sun, Mingshuai Chen, Tiancheng Zhao, Ruochen Xu, Zilun Zhang, Jianwei Yin
2025 A* conf
Vegapunk: Accurate and Fast Decoding for Quantum LDPC Codes with Online Hierarchical Algorithm and Sparse Accelerator.
MICRO
Kaiwen Zhou, Liqiang Lu, Debin Xiang, Chenning Tao, Anbang Wu, Jingwen Leng, Fangxin Liu, Mingshuai Chen, Jianwei Yin
2025 A* conf
YOUTIAO: Hybrid Multiplexing with Dynamic Qubit Grouping for Low-cost and Scalable Quantum Wiring.
MICRO
Wuwei Tian, Liqiang Lu, Siwei Tan, Shiyu Li, Hengyi Li, Tianyao Chu, Xuhong Zhang, Mingshuai Chen, Jianwei Yin
2024 — conf
A Unified Framework for Quantitative Analysis of Probabilistic Programs.
Principles of Verification (1)
Shenghua Feng, Tengshun Yang, Mingshuai Chen, Naijun Zhan
2024 J jnl
Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions.
Proc. ACM Program. Lang.
Lutz Klinkenberg, Christian Blumenthal, Mingshuai Chen, Darion Haase, Joost-Pieter Katoen
2024 J jnl
Fuzzy kernel evidence Random Forest for identifying pseudouridine sites.
Briefings Bioinform.
Mingshuai Chen, Mingai Sun, Xi Su, Prayag Tiwari, Yijie Ding
2024 J jnl
HORAE: A Domain-Agnostic Modeling Language for Automating Multimodal Service Regulation.
CoRR
Yutao Sun, Mingshuai Chen, Kangjia Zhao, He Li, Jintao Chen, Linyu Yang, Zhongyi Wang, Tiancheng Zhao, Jianwei Yin
2024 A conf
Horae: A Domain-Agnostic Modeling Language for Automating Multimodal Service Regulation
ICWS
Yutao Sun, Mingshuai Chen, Kangjia Zhao, Jintao Chen
2024 — conf
MorphQPV: Exploiting Isomorphism in Quantum Programs to Facilitate Confident Verification.
ASPLOS (3)
Siwei Tan, Debin Xiang, Liqiang Lu, Junlin Lu, Qiuping Jiang, Mingshuai Chen, Jianwei Yin
2024 A* conf
Parf: Adaptive Parameter Refining for Abstract Interpretation.
ASE
Zhongyi Wang, Linyu Yang, Mingshuai Chen, Yixuan Bu, Zhiyang Li, Qiuye Wang, Shengchao Qin, Xiao Yi, Jianwei Yin
2024 J jnl
Parf: Adaptive Parameter Refining for Abstract Interpretation.
CoRR
Zhongyi Wang, Linyu Yang, Mingshuai Chen, Yixuan Bu, Zhiyang Li, Qiuye Wang, Shengchao Qin, Xiao Yi, Jianwei Yin
2024 — conf
Proving Functional Program Equivalence via Directed Lemma Synthesis.
FM (1)
Yican Sun, Ruyi Ji, Jian Fang, Xuanlin Jiang, Mingshuai Chen, Yingfei Xiong
2024 J jnl
Proving Functional Program Equivalence via Directed Lemma Synthesis.
CoRR
Yican Sun, Ruyi Ji, Jian Fang, Xuanlin Jiang, Mingshuai Chen, Yingfei Xiong
2024 J jnl
PseU-KeMRF: A Novel Method for Identifying RNA Pseudouridine Sites.
IEEE ACM Trans. Comput. Biol. Bioinform.
Mingshuai Chen, Quan Zou, Ren Qi, Yijie Ding
2024 — conf
QuFEM: Fast and Accurate Quantum Readout Calibration Using the Finite Element Method.
ASPLOS (2)
Siwei Tan, Liqiang Lu, Hanyu Zhang, Jia Yu, Congliang Lang, Yongheng Shang, Xinkui Zhao, Mingshuai Chen, Yun Liang, Jianwei Yin
2024 A* conf
UniGM: Unifying Multiple Pre-trained Graph Models via Adaptive Knowledge Aggregation.
ACM Multimedia
Jintao Chen, Fan Wang, Shengye Pang, Siwei Tan, Mingshuai Chen, Tiancheng Zhao, Meng Xi, Jianwei Yin
2023 J jnl
Exact Bayesian Inference for Loopy Probabilistic Programs.
CoRR
Lutz Klinkenberg, Christian Blumenthal, Mingshuai Chen, Joost-Pieter Katoen
2023 J jnl
Exact Probabilistic Inference Using Generating Functions.
CoRR
Lutz Klinkenberg, Tobias Winkler, Mingshuai Chen, Joost-Pieter Katoen
2023 J jnl
Lower Bounds for Possibly Divergent Probabilistic Programs.
CoRR
Shenghua Feng, Mingshuai Chen, Han Su, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Naijun Zhan
2023 J jnl
Lower Bounds for Possibly Divergent Probabilistic Programs.
Proc. ACM Program. Lang.
Shenghua Feng, Mingshuai Chen, Han Su, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Naijun Zhan
2023 — conf
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants.
TACAS (2)
Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
2022 — conf
Does a Program Yield the Right Distribution? - Verifying Probabilistic Programs via Generating Functions.
CAV (1)
Mingshuai Chen, Joost-Pieter Katoen, Lutz Klinkenberg, Tobias Winkler
2022 J jnl
Does a Program Yield the Right Distribution? Verifying Probabilistic Programs via Generating Functions.
CoRR
Mingshuai Chen, Joost-Pieter Katoen, Lutz Klinkenberg, Tobias Winkler
2022 J jnl
Encoding inductive invariants as barrier certificates: Synthesis via difference-of-convex programming.
Inf. Comput.
Qiuye Wang, Mingshuai Chen, Bai Xue, Naijun Zhan, Joost-Pieter Katoen
2022 J jnl
Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming.
CoRR
Qiuye Wang, Mingshuai Chen, Bai Xue, Naijun Zhan, Joost-Pieter Katoen
2022 J jnl
PA-Boot: A Formally Verified Authentication Protocol for Multiprocessor Secure Boot.
CoRR
Zhuoruo Zhang, Chenyang Yu, He Huang, Rui Chang, Mingshuai Chen, Qinming Dai, Wenbo Shen, Yongwang Zhao, Kui Ren
2022 J jnl
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants.
CoRR
Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
2021 J jnl
Indecision and delays are the parents of failure - taming them algorithmically by synthesizing delay-resilient control.
Acta Informatica
Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter Nazier Mosaad, Naijun Zhan
2021 — conf
Latticed k-Induction with an Application to Probabilistic Programs.
CAV (2)
Kevin Batz, Mingshuai Chen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer
2021 J jnl
Latticed k-Induction with an Application to Probabilistic Programs.
CoRR
Kevin Batz, Mingshuai Chen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer
2021 — conf
Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming.
CAV (1)
Qiuye Wang, Mingshuai Chen, Bai Xue, Naijun Zhan, Joost-Pieter Katoen
2021 J jnl
Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming.
CoRR
Qiuye Wang, Mingshuai Chen, Bai Xue, Naijun Zhan, Joost-Pieter Katoen
2020 J jnl
From model to implementation: a network algorithm programming language.
Sci. China Inf. Sci.
Jian Wang, Jie An, Mingshuai Chen, Naijun Zhan, Lulin Wang, Miaomiao Zhang, Ting Gan
2020 — conf
Learning One-Clock Timed Automata.
TACAS (1)
Jie An, Mingshuai Chen, Bohua Zhan, Naijun Zhan, Miaomiao Zhang
2020 — conf
Unbounded-Time Safety Verification of Stochastic Differential Dynamics.
CAV (2)
Shenghua Feng, Mingshuai Chen, Bai Xue, Sriram Sankaranarayanan, Naijun Zhan
2019 J jnl
In memory of Oded Maler: automatic reachability analysis of hybrid-state automata.
ACM SIGLOG News
Martin Fränzle, Mingshuai Chen, Paul Kröger
2019 J jnl
Learning One-Clock Timed Automata.
CoRR
Jie An, Mingshuai Chen, Bohua Zhan, Naijun Zhan, Miaomiao Zhang
2019 A conf
NIL: Learning Nonlinear Interpolants.
CADE
Mingshuai Chen, Jian Wang, Jie An, Bohua Zhan, Deepak Kapur, Naijun Zhan
2019 J jnl
NIL: Learning Nonlinear Interpolants.
CoRR
Mingshuai Chen, Jian Wang, Jie An, Bohua Zhan, Deepak Kapur, Naijun Zhan
2019 — conf
Taming Delays in Dynamical Systems - Unbounded Verification of Delay Differential Equations.
CAV (1)
Shenghua Feng, Mingshuai Chen, Naijun Zhan, Martin Fränzle, Bai Xue
2018 J jnl
Reachability Analysis for Solvable Dynamical Systems.
IEEE Trans. Autom. Control.
Ting Gan, Mingshuai Chen, Yangjia Li, Bican Xia, Naijun Zhan
2018 B conf
What's to Come is Still Unsure - Synthesizing Controllers Resilient to Delayed Interaction.
ATVA
Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter Nazier Mosaad, Naijun Zhan
2017 — ch.
MARS: A Toolchain for Modelling, Analysis and Verification of Hybrid Systems.
Provably Correct Systems
Mingshuai Chen, Xiao Han, Tao Tang, Shuling Wang, Mengfei Yang, Naijun Zhan, Hengjun Zhao, Liang Zou
2017 — conf
Safe Over- and Under-Approximation of Reachable Sets for Delay Differential Equations.
FORMATS
Bai Xue, Peter Nazier Mosaad, Martin Fränzle, Mingshuai Chen, Yangjia Li, Naijun Zhan
2016 — conf
A Two-Way Path Between Formal and Informal Design of Embedded Systems.
UTP
Mingshuai Chen, Anders P. Ravn, Shuling Wang, Mengfei Yang, Naijun Zhan
2016 — conf
Computing reachable sets of linear vector fields revisited.
ECC
Ting Gan, Mingshuai Chen, Yangjia Li, Bican Xia, Naijun Zhan
2016 A conf
Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF.
IJCAR
Ting Gan, Liyun Dai, Bican Xia, Naijun Zhan, Deepak Kapur, Mingshuai Chen
2016 J jnl
Interpolation synthesis for quadratic polynomial inequalities and combination with \textit{EUF}.
CoRR
Ting Gan, Liyun Dai, Bican Xia, Naijun Zhan, Deepak Kapur, Mingshuai Chen
2016 B conf
Validated Simulation-Based Verification of Delayed Differential Dynamics.
FM
Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter Nazier Mosaad, Naijun Zhan
2015 B conf
Decidability of the Reachability for a Family of Linear Vector Fields.
ATVA
Ting Gan, Mingshuai Chen, Liyun Dai, Bican Xia, Naijun Zhan
2015 J jnl
Termination Analysis of Polynomial Programs with Equality Conditions.
CoRR
Yangjia Li, Hui Lu, Naijun Zhan, Mingshuai Chen, Guohua Wu