Scholar
Mingshuai Chen
Google Scholar ID: n7odC-EAAAAJ
Assistant Professor of Computer Science, Zhejiang University
Programming Theories
Hybrid Systems
Logic
Verification
Synthesis
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
435
H-index
13
i10-index
17
Publications
20
Co-authors
21
list available
Publications
8 items
Automatically Building Machine-Checked Assurance Cases from C Codebases to Requirements
2026
Cited
0
Dynamo: Dynamic Skill-Tool Evolution for Vision-Language Agents
2026
Cited
0
REKEY: Metadata-Grounded Visual-Key Regeneration for Contamination-Resilient VQA Evaluation
2026
Cited
0
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
Co-authors
11 total
Naijun Zhan
School of Computer Science, Peking University
Joost-Pieter Katoen
Distinguished Professor of Computer Science, RWTH Aachen University and University of Twente
Martin Fränzle
Professor of Computer Science, University of Oldenburg
Bai Xue
Full Professor, State Key Laboratory of Computer Science,Institute of Software, CAS
Jie An
Institute of Software, Chinese Academy of Sciences, Beijing, China
Benjamin Lucien Kaminski
Professor of Computer Science at Saarland University and Lecturer at University College London
Deepak Kapur
University of New Mexico
Sebastian Junges
Assistant Professor, Radboud University, Nijmegen
