Ming Gu

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 82

Top Venues

ASE

CoRR

IEEE Trans. Ind. Electron.

APSEC

Publications

Shengtao Li, Ge Gao, Yudong Liu, Ming Gu, Yu-Shen Liu
Implicit Filtering for Learning Neural Signed Distance Functions from 3D Point Clouds. CoRR (2024)
Shengtao Li, Ge Gao, Yudong Liu, Yu-Shen Liu, Ming Gu
GridFormer: Point-Grid Transformer for Surface Reconstruction. CoRR (2024)
Shengtao Li, Ge Gao, Yudong Liu, Yu-Shen Liu, Ming Gu
GridFormer: Point-Grid Transformer for Surface Reconstruction. AAAI (2024)
Han Huang, Yulun Wu, Junsheng Zhou, Ge Gao, Ming Gu, Yu-Shen Liu
NeuSurf: On-Surface Priors for Neural Surface Reconstruction from Sparse Input Views. AAAI (2024)
Han Liu, Ge Gao, Ming Gu
A Parallel IFC Normalization Algorithm for Incremental Storage and Version Control. CoRR (2023)
Han Liu, Ge Gao, Hehua Zhang, Yu-Shen Liu, Yan Song, Ming Gu
MVDLite: A fast validation algorithm for Model View Definition rules. Adv. Eng. Informatics 58 (2023)
Biru Zhu, Ganqu Cui, Yangyi Chen, Yujia Qin, Lifan Yuan, Chong Fu, Yangdong Deng, Zhiyuan Liu, Maosong Sun, Ming Gu
Removing Backdoors in Pre-trained Models by Regularized Continual Pre-training. Trans. Assoc. Comput. Linguistics 11 (2023)
Chi Li, Peixiu Han, Min Zhou, Ming Gu
Design of multimodal hub-and-spoke transportation network for emergency relief under COVID-19 pandemic: A meta-heuristic approach. Appl. Soft Comput. 133 (2023)
Han Liu, Xiaoyu Song, Ge Gao, Hehua Zhang, Yu-Shen Liu, Ming Gu
Modeling and validating temporal rules with semantic Petri net for digital twins. Adv. Eng. Informatics 57 (2023)
Biru Zhu, Lifan Yuan, Ganqu Cui, Yangyi Chen, Chong Fu, Bingxiang He, Yangdong Deng, Zhiyuan Liu, Maosong Sun, Ming Gu
Beat LLMs at Their Own Game: Zero-Shot LLM-Generated Text Detection via Querying ChatGPT. EMNLP (2023)
Han Huang, Yulun Wu, Junsheng Zhou, Ge Gao, Ming Gu, Yu-Shen Liu
NeuSurf: On-Surface Priors for Neural Surface Reconstruction from Sparse Input Views. CoRR (2023)
Biru Zhu, Yujia Qin, Ganqu Cui, Yangyi Chen, Weilin Zhao, Chong Fu, Yangdong Deng, Zhiyuan Liu, Jingang Wang, Wei Wu, Maosong Sun, Ming Gu
Moderate-fitting as a Natural Backdoor Defender for Pre-trained Language Models. NeurIPS (2022)
Biru Zhu, Yujia Qin, Fanchao Qi, Yangdong Deng, Zhiyuan Liu, Maosong Sun, Ming Gu
Pass off Fish Eyes for Pearls: Attacking Model Selection of Pre-trained Models. ACL (1) (2022)
Biru Zhu, Youyou Jiang, Ming Gu, Yangdong Deng
A GPU Acceleration Framework for Motif and Discord Based Pattern Mining. IEEE Trans. Parallel Distributed Syst. 32 (8) (2021)
Chi Li, Yuexing Wang, Min Zhou, Ming Gu
Scalable Fault Detection Based on Precise Access Path. APSEC (2021)
Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
Automatic Integer Error Repair by Proper-Type Inference. IEEE Trans. Dependable Secur. Comput. 18 (2) (2021)
Biru Zhu, Xingyao Zhang, Ming Gu, Yangdong Deng
Knowledge Enhanced Fact Checking and Verification. IEEE ACM Trans. Audio Speech Lang. Process. 29 (2021)
Chi Li, Min Zhou, Xinrong Han, Ming Gu
Sensing Error Handling Bugs in SSL Library Usages. TrustCom (2021)
Qinghan Yu, Ming Gu
Adaptive Group Routing and Scheduling in Multicast Time-Sensitive Networks. IEEE Access 8 (2020)
Qinghan Yu, Hai Wan, Xibin Zhao, Yue Gao, Ming Gu
Online Scheduling for Dynamic VM Migration in Multicast Time-Sensitive Networks. IEEE Trans. Ind. Informatics 16 (6) (2020)
Cong Wang, Mingrui Zhang, Yu Jiang, Huafeng Zhang, Zhenchang Xing, Ming Gu
Escape from escape analysis of Golang. ICSE (SEIP) (2020)
Zonghui Li, Hai Wan, Yangdong Deng, Xibin Zhao, Yue Gao, Ming Gu, Xiaoyu Song
A Flattened-Priority Framework for Mixed-Criticality Systems. IEEE Trans. Ind. Electron. 67 (11) (2020)
Zonghui Li, Hai Wan, Yangdong Deng, Xibin Zhao, Yue Gao, Xiaoyu Song, Ming Gu
Model-Based Adaptation of Mixed-Criticality Multiservice Systems for Extreme Physical Environments. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (7) (2020)
Zonghui Li, Hai Wan, Yangdong Deng, Xibin Zhao, Yue Gao, Xiaoyu Song, Ming Gu
Time-Triggered Switch-Memory-Switch Architecture for Time-Sensitive Networking Switches. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (1) (2020)
Cong Wang, Hao Sun, Yiwen Xu, Yu Jiang, Huafeng Zhang, Ming Gu
Go-Sanitizer: Bug-Oriented Assertion Generation for Golang. ISSRE Workshops (2019)
Yuexing Wang, Min Zhou, Ming Gu, Jiaguang Sun
Necessity and Capability of Flow, Context, Field and Quasi Path Sensitive Points-to Analysis. APSEC (2019)
Han Liu, Ge Gao, Hehua Zhang, Yu-Shen Liu, Yan Song, Ming Gu
MVDLite: A Light-weight Representation of Model View Definition with Fast Validation for BIM Applications. CoRR (2019)
Zuxing Gu, Jiecheng Wu, Chi Li, Min Zhou, Yu Jiang, Ming Gu, Jiaguang Sun
Vetting API usages in C programs with IMChecker. ICSE (Companion Volume) (2019)
Zuxing Gu, Min Zhou, Jiecheng Wu, Yu Jiang, Jiaxiang Liu, Ming Gu
IMSpec: An Extensible Approach to Exploring the Incorrect Usage of APIs. TASE (2019)
Chi Li, Min Zhou, Zuxing Gu, Guang Chen, Yuexing Wang, Jiecheng Wu, Ming Gu
VBSAC: a value-based static analyzer for C. ISSTA (2019)
Zuxing Gu, Jiecheng Wu, Chi Li, Min Zhou, Ming Gu
SSLDoc: Automatically Diagnosing Incorrect SSL API Usages in C Programs. SEKE (2019)
Han Liu, Zhizhong Han, Yu-Shen Liu, Ming Gu
Fast Low-rank Metric Learning for Large-scale and High-dimensional Data. CoRR (2019)
Han Liu, Zhizhong Han, Yu-Shen Liu, Ming Gu
Fast Low-rank Metric Learning for Large-scale and High-dimensional Data. NeurIPS (2019)
Zuxing Gu, Jiecheng Wu, Jiaxiang Liu, Min Zhou, Ming Gu
An Empirical Study on API-Misuse Bugs in Open-Source C Programs. COMPSAC (1) (2019)
Zonghui Li, Hai Wan, Boxu Zhao, Yangdong Deng, Ming Gu
Dynamically Optimizing End-to-End Latency for Time-Triggered Networks. NEAT@SIGCOMM (2019)
Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
Tolerating C Integer Error via Precision Elevation. IEEE Trans. Computers 68 (2) (2019)
Zonghui Li, Hai Wan, Zaiyu Pang, Qiubo Chen, Yangdong Deng, Xibin Zhao, Yue Gao, Xiaoyu Song, Ming Gu
An Enhanced Reconfiguration for Deterministic Transmission in Time-Triggered Networks. IEEE/ACM Trans. Netw. 27 (3) (2019)
Cong Wang, Jian Gao, Yu Jiang, Zhenchang Xing, Huafeng Zhang, Weiliang Yin, Ming Gu, Jiaguang Sun
Go-clone: graph-embedding based clone detector for Golang. ISSTA (2019)
Chi Li, Zuxing Gu, Min Zhou, Jiecheng Wu, Jiarui Zhang, Ming Gu
API Misuse Detection in C Programs: Practice on SSL APIs. Int. J. Softw. Eng. Knowl. Eng. 29 (11&12) (2019)
Yu Jiang, Houbing Song, Yixiao Yang, Han Liu, Ming Gu, Yong Guan, Jiaguang Sun, Lui Sha
Dependable Model-driven Development of CPS: From Stateflow Simulation to Verified Implementation. ACM Trans. Cyber Phys. Syst. 3 (1) (2019)
Yuexing Wang, Guang Chen, Min Zhou, Ming Gu, Jiaguang Sun
TsmartGP: A Tool for Finding Memory Defects with Pointer Analysis. ASE (2019)
Lifan Su, Hai Wan, Yufang Qin, Xibin Zhao, Yue Gao, Xiaoyu Song, Chenyang Lu, Ming Gu
Synthesizing Fault-Tolerant Schedule for Time-Triggered Network Without Hot Backup. IEEE Trans. Ind. Electron. 66 (2) (2019)
Chi Li, Min Zhou, Zuxing Gu, Ming Gu, Hongyu Zhang
Ares: Inferring Error Specifications through Static Analysis. ASE (2019)
Han Wang, Min Zhou, Xi Cheng, Guang Chen, Ming Gu
Which Defect Should Be Fixed First? Semantic Prioritization of Static Analysis Report. SATE (2018)
Jin Huang, Yue Gao, Sha Lu, Xibin Zhao, Yangdong Deng, Ming Gu
Energy-Efficient Automatic Train Driving by Learning Driving Patterns. AAAI (2018)
Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
Parallelizing SMT solving: Lazy decomposition and conciliation. Artif. Intell. 257 (2018)
Guang Chen, Dexi Wang, Tianchi Li, Chao Zhang, Ming Gu, Jiaguang Sun
Scalable Verification Framework for C Program. APSEC (2018)
Zonghui Li, Hai Wan, Yangdong Deng, Qinghan Yu, Tianchi Li, Kang Wei, Ming Gu
Model-based adaptation to extreme physical environments: a case study on mixed-criticality industrial ethernet. ICSE (Companion Volume) (2018)
Yuexing Wang, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
Constructing Cost-Aware Functional Test-Suites Using Nested Differential Evolution Algorithm. IEEE Trans. Evol. Comput. 22 (3) (2018)
Zuxing Gu, Yu Jiang, Min Zhou, Ming Gu, Xiaoyu Song, Lui Sha
A Cyber-Physical System Framework for Early Detection of Paroxysmal Diseases. IEEE Access 6 (2018)
Zonghui Li, Hai Wan, Yangdong Deng, Ming Gu
Work-in-Progress: A Flattened Priority Framework for Mixed-Criticality Real-Time Systems. RTAS (2018)
Min Zhou, William N. N. Hung, Xiaoyu Song, Ming Gu, Jiaguang Sun
Temporal Coverage Analysis for Dynamic Verification. IEEE Trans. Circuits Syst. II Express Briefs (1) (2018)
Cong Wang, Yu Jiang, Xibin Zhao, Xiaoyu Song, Ming Gu, Jiaguang Sun
Weak-assert: a weakness-oriented assertion recommendation toolkit for program analysis. ICSE (Companion Volume) (2018)
Jian Gao, Xin Yang, Yu Jiang, Han Liu, Weiliang Ying, Wanting Sun, Ming Gu
Managing concurrent testing of data race with ComRaDe. ISSTA (2018)
Qinghan Yu, Tian Wang, Xibin Zhao, Hai Wang, Yue Gao, Chenyang Lu, Ming Gu
Fast Real-Time Scheduling for Ethernet-Based Train Control Networks. ISPA/IUCC/BDCloud/SocialCom/SustainCom (2018)
Jiaxiang Liu, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
Formal Modeling and Verification of a Rate-Monotonic Scheduling Implementation with Real-Time Maude. IEEE Trans. Ind. Electron. 64 (4) (2017)
Yuexing Wang, Zuxing Gu, Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
A Constraint-Pattern Based Method for Reachability Determination. COMPSAC (1) (2017)
Cong Wang, Fei He, Xiaoyu Song, Yu Jiang, Ming Gu, Jiaguang Sun
Assertion Recommendation for Formal Program Verification. COMPSAC (1) (2017)
Qinghan Yu, Xibin Zhao, Hai Wan, Yue Gao, Chenyang Lu, Ming Gu
Handling scheduling uncertainties through traffic shaping in Time-Triggered train networks. IWQoS (2017)
Han Liu, Chengnian Sun, Zhendong Su, Yu Jiang, Ming Gu, Jiaguang Sun
Stochastic optimization of program obfuscation. ICSE (2017)
Jin Huang, Fan Yang, Yangdong Deng, Xibin Zhao, Ming Gu
Human experience knowledge induction based intelligent train driving. ICIS (2017)
Yixiao Yang, Yu Jiang, Ming Gu, Jiaguang Sun, Jian Gao, Han Liu
A language model for statements of software code. ASE (2017)
Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
IntPTI: automatic integer error repair with proper-type inference. ASE (2017)
Lifan Su, Yue Gao, Xibin Zhao, Hai Wan, Ming Gu, Jiaguang Sun
Vertex-Weighted Hypergraph Learning for Multi-View Object Classification. IJCAI (2017)
Yu Jiang, Houbing Song, Rui Wang, Ming Gu, Jiaguang Sun, Lui Sha
Data-Centered Runtime Verification of Wireless Medical Cyber-Physical System. IEEE Trans. Ind. Informatics 13 (4) (2017)
Dexi Wang, Yu Jiang, Houbing Song, Fei He, Ming Gu, Jiaguang Sun
Verification of Implementations of Cryptographic Hash Functions. IEEE Access 5 (2017)
Yuexing Wang, Min Zhou, Yu Jiang, Xiaoyu Song, Ming Gu, Jiaguang Sun
A static analysis tool with optimizations for reachability determination. ASE (2017)
Zonghui Li, Yangdong Deng, Ming Gu
Path compression kd-trees with multi-layer parallel construction a case study on ray tracing. I3D (2017)
Han Liu, Yu-Shen Liu, Pieter Pauwels, Hongling Guo, Ming Gu
Enhanced Explicit Semantic Analysis for Product Model Retrieval in Construction Industry. IEEE Trans. Ind. Informatics 13 (6) (2017)
Ge Gao, Yu-Shen Liu, Pengpeng Lin, Meng Wang, Ming Gu, Jun-Hai Yong
BIMTag: Concept-based automatic semantic annotation of online BIM product resources. Adv. Eng. Informatics 31 (2017)
Han Liu, Yu Jiang, Huafeng Zhang, Ming Gu, Jiaguang Sun
Taming Interrupts for Verifying Industrial Multifunction Vehicle Bus Controllers. FM (2016)
Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
Automatic Fix for C Integer Errors by Precision Improvement. COMPSAC (2016)
Zuxing Gu, Hong Song, Yu Jiang, Jeonghone Choi, Hongjiang He, Lui Sha, Ming Gu
An integrated Medical CPS for early detection of paroxysmal sympathetic hyperactivity. BIBM (2016)
Yixiao Yang, Yu Jiang, Ming Gu, Jia-Guang Sun
Verifying simulink stateflow model: timed automata approach. ASE (2016)
Heyuan Shi, Xiaoyu Song, Ming Gu, Jiaguang Sun
Task and Participant Scheduling of Trading Platforms in Vehicular Participatory Sensing Networks. Sensors 16 (12) (2016)
Huafeng Zhang, Yu Jiang, Han Liu, Hehua Zhang, Ming Gu, Jia-Guang Sun
Model driven design of heterogeneous synchronous embedded systems. ASE (2016)
Min Zhou, Xi Cheng, Xinrui Guo, Ming Gu, Hongyu Zhang, Xiaoyu Song
Improving Failure Detection by Automatically Generating Test Cases Near the Boundaries. COMPSAC (2016)
Huafeng Zhang, Yu Jiang, Han Liu, Ming Gu, Jiaguang Sun
Tsmart-BIPEX: An Integrated Graphical Design Toolkit for Software Systems. D&P@MoDELS (2016)
Dexi Wang, Chao Zhang, Guang Chen, Ming Gu, Jiaguang Sun
C Code Verification based on the Extended Labeled Transition System Model. D&P@MoDELS (2016)
Yu Jiang, Yixiao Yang, Han Liu, Hui Kong, Ming Gu, Jia-Guang Sun, Lui Sha
From Stateflow Simulation to Verified Implementation: A Verification Approach and A Real-Time Train Controller Design. RTAS (2016)
Yu Jiang, Han Liu, Houbing Song, Hui Kong, Ming Gu, Jiaguang Sun, Lui Sha
Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle Bus Controller. FM (2016)
Jianqiao Gu, Hehua Zhang, Ming Gu
Automatic Integrity Checking of IFC Models relative to building Regulations. ICIMCS (2016)
Shuo Zhang, Fei He, Ming Gu
VeRV: A temporal and data-concerned verification framework for the vehicle bus systems. INFOCOM (2015)
Qian Wang, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun
Scalable Verification of a Generic End-Around-Carry Adder for Floating-Point Units by Coq. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 34 (1) (2015)
Fei He, Xiaoyu Song, Ming Gu, Jiaguang Sun
Generalized interface automata with multicast synchronization. Frontiers Comput. Sci. 9 (1) (2015)
Xinrui Guo, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
First, Debug the Test Oracle. IEEE Trans. Software Eng. 41 (10) (2015)
Yu Jiang, Hehua Zhang, Zonghui Li, Yangdong Deng, Xiaoyu Song, Ming Gu, Jia-Guang Sun
Design and Optimization of Multiclocked Embedded Systems Using Formal Techniques. IEEE Trans. Ind. Electron. 62 (2) (2015)
Litian Xiao, Mengyuan Li, Ming Gu, Jiaguang Sun
PLC programs' checking method and strategy based on module state transfer. ICIA (2015)
Min Zhou, Fei He, Xiaoyu Song, Shi He, Gangyi Chen, Ming Gu
Estimating the Volume of Solution Space for Satisfiability Modulo Linear Real Arithmetic. Theory Comput. Syst. 56 (2) (2015)
Yu Jiang, Hehua Zhang, Huafeng Zhang, Han Liu, Xiaoyu Song, Ming Gu, Jiaguang Sun
Design of Mixed Synchronous/Asynchronous Systems with Multiple Clocks. IEEE Trans. Parallel Distributed Syst. 26 (8) (2015)
Han Liu, Hehua Zhang, Yu Jiang, Xiaoyu Song, Ming Gu, Jiaguang Sun
Application-Specific Architecture Selection for Embedded Systems via Schedulability Analysis. TASE (2014)
Huafeng Zhang, Hehua Zhang, Ming Gu, Jiaguang Sun
Modeling a Heterogeneous Embedded System in Coloured Petri Nets. J. Appl. Math. 2014 (2014)
Hehua Zhang, Yu Jiang, William N. N. Hung, Xiaoyu Song, Ming Gu, Jia-Guang Sun
Symbolic Analysis of Programmable Logic Controllers. IEEE Trans. Computers 63 (10) (2014)
Yu Jiang, Hehua Zhang, Huafeng Zhang, Xinyan Zhao, Han Liu, Chengnian Sun, Xiaoyu Song, Ming Gu, Jia-Guang Sun
Tsmart-GalsBlock: a toolkit for modeling, validation, and synthesis of multi-clocked embedded systems. SIGSOFT FSE (2014)
Jie Cai, Xiaoyu Song, Jin-Yuan Wang, Ming Gu
Reliability analysis for chain topology wireless sensor networks with multiple-sending transmission scheme. EURASIP J. Wirel. Commun. Netw. 2014 (2014)
Min Zhou, Fei He, Bow-Yaw Wang, Ming Gu, Jiaguang Sun
Array Theory of Bounded Elements and its Applications. J. Autom. Reason. 52 (4) (2014)
Liangze Yin, Fei He, Ming Gu, Jia-Guang Sun
Clause Replication and Reuse in Incremental Temporal Induction. ICECCS (2014)
Qian Wang, Xiaoyu Song, Ming Gu, Jia-Guang Sun
Functional Verification of High Performance Adders in COQ. J. Appl. Math. 2014 (2014)
Hui Kong, Xiaoyu Song, Dong Han, Ming Gu, Jiaguang Sun
A New Barrier Certificate for Safety Verification of Hybrid Systems. Comput. J. 57 (7) (2014)
Han Liu, Hehua Zhang, Yu Jiang, Xiaoyu Song, Ming Gu, Jia-Guang Sun
iDola: Bridge Modeling to Verification and Implementation of Interrupt-Driven Systems. TASE (2014)

Ming Gu.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ming Gu