Mingshuai Chen
Scholar

Mingshuai Chen

Google Scholar ID: n7odC-EAAAAJ
Assistant Professor of Computer Science, Zhejiang University
Programming TheoriesHybrid SystemsLogicVerificationSynthesis
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
435
 
H-index
13
 
i10-index
17
 
Publications
20
 
Co-authors
21
list available
Contact
No contact links provided.
Publications
5 items
Preguss: It Analyzes, It Specifies, It Verifies
2025
Cited
0
PARF: An Adaptive Abstraction-Strategy Tuner for Static Analysis
2025
Cited
1
The Self-Improvement Paradox: Can Language Models Bootstrap Reasoning Capabilities without External Scaffolding?
2025
Cited
0
Horae: A Domain-Agnostic Modeling Language for Automating Multimodal Service Regulation⋆
2024 IEEE International Conference on Web Services (ICWS) · 2024
Cited
0
PA-Boot: A Formally Verified Authentication Protocol for Multiprocessor Secure Boot
arXiv.org · 2022
Cited
0
Resume (English only)
Co-authors
21 total
Naijun Zhan
Naijun Zhan
School of Computer Science, Peking University
Joost-Pieter Katoen
Joost-Pieter Katoen
Distinguished Professor of Computer Science, RWTH Aachen University and University of Twente
Martin Fränzle
Martin Fränzle
Professor of Computer Science, University of Oldenburg
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Jie An
Jie An
Institute of Software, Chinese Academy of Sciences, Beijing, China
Benjamin Lucien Kaminski
Benjamin Lucien Kaminski
Professor of Computer Science at Saarland University and Lecturer at University College London
Co-author 8
Co-author 8