Ming Gu

224 papers A* 21A 8B 25C 9Misc 13Journal 99Unranked 49
YearRankTypeTitle / Venue / Authors
2026 J jnl
BIMFusion: Texturing Building Information Models Using Diffusion Generative Methods.
J. Comput. Civ. Eng.
Chao Deng, Han Huang, Ziyi Ke, Yulun Wu, Ge Gao, Ming Gu
2026 J jnl
I-Filtering: Implicit Filtering for Learning Neural Distance Functions From 3D Point Clouds.
IEEE Trans. Pattern Anal. Mach. Intell.
Shengtao Li, Yudong Liu, Ge Gao, Ming Gu, Yu-Shen Liu
2025 A* conf
FatesGS: Fast and Accurate Sparse-View Surface Reconstruction Using Gaussian Splatting with Depth-Feature Consistency.
AAAI
Han Huang, Yulun Wu, Chao Deng, Ge Gao, Ming Gu, Yu-Shen Liu
2025 J jnl
FatesGS: Fast and Accurate Sparse-View Surface Reconstruction using Gaussian Splatting with Depth-Feature Consistency.
CoRR
Han Huang, Yulun Wu, Chao Deng, Ge Gao, Ming Gu, Yu-Shen Liu
2025 A* conf
Sparis: Neural Implicit Surface Reconstruction of Indoor Scenes from Sparse Views.
AAAI
Yulun Wu, Han Huang, Wenyuan Zhang, Chao Deng, Ge Gao, Ming Gu, Yu-Shen Liu
2025 J jnl
Sparis: Neural Implicit Surface Reconstruction of Indoor Scenes from Sparse Views.
CoRR
Yulun Wu, Han Huang, Wenyuan Zhang, Chao Deng, Ge Gao, Ming Gu, Yu-Shen Liu
2024 A* conf
Chronos: Finding Timeout Bugs in Practical Distributed Systems by Deep-Priority Fuzzing with Transient Delay.
SP
Yuanliang Chen, Fuchen Ma, Yuanhang Zhou, Ming Gu, Qing Liao, Yu Jiang
2024 A* conf
GridFormer: Point-Grid Transformer for Surface Reconstruction.
AAAI
Shengtao Li, Ge Gao, Yudong Liu, Yu-Shen Liu, Ming Gu
2024 J jnl
GridFormer: Point-Grid Transformer for Surface Reconstruction.
CoRR
Shengtao Li, Ge Gao, Yudong Liu, Yu-Shen Liu, Ming Gu
2024 — conf
Implicit Filtering for Learning Neural Signed Distance Functions from 3D Point Clouds.
ECCV (6)
Shengtao Li, Ge Gao, Yudong Liu, Ming Gu, Yu-Shen Liu
2024 J jnl
Implicit Filtering for Learning Neural Signed Distance Functions from 3D Point Clouds.
CoRR
Shengtao Li, Ge Gao, Yudong Liu, Ming Gu, Yu-Shen Liu
2024 A* conf
NeuSurf: On-Surface Priors for Neural Surface Reconstruction from Sparse Input Views.
AAAI
Han Huang, Yulun Wu, Junsheng Zhou, Ge Gao, Ming Gu, Yu-Shen Liu
2023 J jnl
A Parallel IFC Normalization Algorithm for Incremental Storage and Version Control.
CoRR
Han Liu, Ge Gao, Ming Gu
2023 A* conf
Beat LLMs at Their Own Game: Zero-Shot LLM-Generated Text Detection via Querying ChatGPT.
EMNLP
Biru Zhu, Lifan Yuan, Ganqu Cui, Yangyi Chen, Chong Fu, Bingxiang He, Yangdong Deng, Zhiyuan Liu, Maosong Sun, Ming Gu
2023 J jnl
Design of multimodal hub-and-spoke transportation network for emergency relief under COVID-19 pandemic: A meta-heuristic approach.
Appl. Soft Comput.
Chi Li, Peixiu Han, Min Zhou, Ming Gu
2023 J jnl
MVDLite: A fast validation algorithm for Model View Definition rules.
Adv. Eng. Informatics
Han Liu, Ge Gao, Hehua Zhang, Yu-Shen Liu, Yan Song, Ming Gu
2023 J jnl
Modeling and validating temporal rules with semantic Petri net for digital twins.
Adv. Eng. Informatics
Han Liu, Xiaoyu Song, Ge Gao, Hehua Zhang, Yu-Shen Liu, Ming Gu
2023 J jnl
NeuSurf: On-Surface Priors for Neural Surface Reconstruction from Sparse Input Views.
CoRR
Han Huang, Yulun Wu, Junsheng Zhou, Ge Gao, Ming Gu, Yu-Shen Liu
2023 J jnl
Removing Backdoors in Pre-trained Models by Regularized Continual Pre-training.
Trans. Assoc. Comput. Linguistics
Biru Zhu, Ganqu Cui, Yangyi Chen, Yujia Qin, Lifan Yuan, Chong Fu, Yangdong Deng, Zhiyuan Liu, Maosong Sun, Ming Gu
2022 — conf
A Geometric-Relational Deep Learning Framework for BIM Object Classification.
ECCV Workshops (7)
Hairong Luo, Ge Gao, Han Huang, Ziyi Ke, Cheng Peng, Ming Gu
2022 J jnl
A Geometric-Relational Deep Learning Framework for BIM Object Classification.
CoRR
Hairong Luo, Ge Gao, Han Huang, Ziyi Ke, Cheng Peng, Ming Gu
2022 B conf
A New Baseline of Policy Gradient for Traveling Salesman Problem.
DSAA
Hua Yang, Ming Gu
2022 J jnl
Modeling and Validating Temporal Rules with Semantic Petri-Net for Digital Twins.
CoRR
Han Liu, Xiaoyu Song, Ge Gao, Hehua Zhang, Yu-Shen Liu, Ming Gu
2022 A* conf
Moderate-fitting as a Natural Backdoor Defender for Pre-trained Language Models.
NeurIPS
Biru Zhu, Yujia Qin, Ganqu Cui, Yangyi Chen, Weilin Zhao, Chong Fu, Yangdong Deng, Zhiyuan Liu, Jingang Wang, Wei Wu, Maosong Sun, Ming Gu
2022 — conf
Pass off Fish Eyes for Pearls: Attacking Model Selection of Pre-trained Models.
ACL (1)
Biru Zhu, Yujia Qin, Fanchao Qi, Yangdong Deng, Zhiyuan Liu, Maosong Sun, Ming Gu
2021 J jnl
A GPU Acceleration Framework for Motif and Discord Based Pattern Mining.
IEEE Trans. Parallel Distributed Syst.
Biru Zhu, Youyou Jiang, Ming Gu, Yangdong Deng
2021 J jnl
Automatic Integer Error Repair by Proper-Type Inference.
IEEE Trans. Dependable Secur. Comput.
Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
2021 J jnl
Knowledge Enhanced Fact Checking and Verification.
IEEE ACM Trans. Audio Speech Lang. Process.
Biru Zhu, Xingyao Zhang, Ming Gu, Yangdong Deng
2021 C conf
Scalable Fault Detection Based on Precise Access Path.
APSEC
Chi Li, YueXing Wang, Min Zhou, Ming Gu
2021 B conf
Sensing Error Handling Bugs in SSL Library Usages.
TrustCom
Chi Li, Min Zhou, Xinrong Han, Ming Gu
2020 J jnl
A Flattened-Priority Framework for Mixed-Criticality Systems.
IEEE Trans. Ind. Electron.
Zonghui Li, Hai Wan, Yangdong Deng, Xibin Zhao, Yue Gao, Ming Gu, Xiaoyu Song
2020 J jnl
Adaptive Group Routing and Scheduling in Multicast Time-Sensitive Networks.
IEEE Access
Qinghan Yu, Ming Gu
2020 — conf
Escape from escape analysis of Golang.
ICSE (SEIP)
Cong Wang, Mingrui Zhang, Yu Jiang, Huafeng Zhang, Zhenchang Xing, Ming Gu
2020 J jnl
Model-Based Adaptation of Mixed-Criticality Multiservice Systems for Extreme Physical Environments.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Zonghui Li, Hai Wan, Yangdong Deng, Xibin Zhao, Yue Gao, Xiaoyu Song, Ming Gu
2020 J jnl
Online Scheduling for Dynamic VM Migration in Multicast Time-Sensitive Networks.
IEEE Trans. Ind. Informatics
Qinghan Yu, Hai Wan, Xibin Zhao, Yue Gao, Ming Gu
2020 J jnl
Time-Triggered Switch-Memory-Switch Architecture for Time-Sensitive Networking Switches.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Zonghui Li, Hai Wan, Yangdong Deng, Xibin Zhao, Yue Gao, Xiaoyu Song, Ming Gu
2019 J jnl
API Misuse Detection in C Programs: Practice on SSL APIs.
Int. J. Softw. Eng. Knowl. Eng.
Chi Li, Zuxing Gu, Min Zhou, Jiecheng Wu, Jiarui Zhang, Ming Gu
2019 — conf
An Empirical Study on API-Misuse Bugs in Open-Source C Programs.
COMPSAC (1)
Zuxing Gu, Jiecheng Wu, Jiaxiang Liu, Min Zhou, Ming Gu
2019 J jnl
An Enhanced Reconfiguration for Deterministic Transmission in Time-Triggered Networks.
IEEE/ACM Trans. Netw.
Zonghui Li, Hai Wan, Zaiyu Pang, Qiubo Chen, Yangdong Deng, Xibin Zhao, Yue Gao, Xiaoyu Song, Ming Gu
2019 A* conf
Ares: Inferring Error Specifications through Static Analysis.
ASE
Chi Li, Min Zhou, Zuxing Gu, Ming Gu, Hongyu Zhang
2019 J jnl
Dependable Model-driven Development of CPS: From Stateflow Simulation to Verified Implementation.
ACM Trans. Cyber Phys. Syst.
Yu Jiang, Houbing Song, Yixiao Yang, Han Liu, Ming Gu, Yong Guan, Jiaguang Sun, Lui Sha
2019 — conf
Dynamically Optimizing End-to-End Latency for Time-Triggered Networks.
NEAT@SIGCOMM
Zonghui Li, Hai Wan, Boxu Zhao, Yangdong Deng, Ming Gu
2019 A* conf
Fast Low-rank Metric Learning for Large-scale and High-dimensional Data.
NeurIPS
Han Liu, Zhizhong Han, Yu-Shen Liu, Ming Gu
2019 J jnl
Fast Low-rank Metric Learning for Large-scale and High-dimensional Data.
CoRR
Han Liu, Zhizhong Han, Yu-Shen Liu, Ming Gu
2019 — conf
Go-Sanitizer: Bug-Oriented Assertion Generation for Golang.
ISSRE Workshops
Cong Wang, Hao Sun, Yiwen Xu, Yu Jiang, Huafeng Zhang, Ming Gu
2019 A conf
Go-clone: graph-embedding based clone detector for Golang.
ISSTA
Cong Wang, Jian Gao, Yu Jiang, Zhenchang Xing, Huafeng Zhang, Weiliang Yin, Ming Gu, Jiaguang Sun
2019 Misc conf
IMSpec: An Extensible Approach to Exploring the Incorrect Usage of APIs.
TASE
Zuxing Gu, Min Zhou, Jiecheng Wu, Yu Jiang, Jiaxiang Liu, Ming Gu
2019 J jnl
MVDLite: A Light-weight Representation of Model View Definition with Fast Validation for BIM Applications.
CoRR
Han Liu, Ge Gao, Hehua Zhang, Yu-Shen Liu, Yan Song, Ming Gu
2019 C conf
Necessity and Capability of Flow, Context, Field and Quasi Path Sensitive Points-to Analysis.
APSEC
YueXing Wang, Min Zhou, Ming Gu, Jiaguang Sun
2019 C conf
SSLDoc: Automatically Diagnosing Incorrect SSL API Usages in C Programs.
SEKE
Zuxing Gu, Jiecheng Wu, Chi Li, Min Zhou, Ming Gu
2019 J jnl
Synthesizing Fault-Tolerant Schedule for Time-Triggered Network Without Hot Backup.
IEEE Trans. Ind. Electron.
Lifan Su, Hai Wan, Yufang Qin, Xibin Zhao, Yue Gao, Xiaoyu Song, Chenyang Lu, Ming Gu
2019 J jnl
Tolerating C Integer Error via Precision Elevation.
IEEE Trans. Computers
Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
2019 A* conf
TsmartGP: A Tool for Finding Memory Defects with Pointer Analysis.
ASE
YueXing Wang, Guang Chen, Min Zhou, Ming Gu, Jiaguang Sun
2019 A conf
VBSAC: a value-based static analyzer for C.
ISSTA
Chi Li, Min Zhou, Zuxing Gu, Guang Chen, YueXing Wang, Jiecheng Wu, Ming Gu
2019 — conf
Vetting API usages in C programs with IMChecker.
ICSE (Companion Volume)
Zuxing Gu, Jiecheng Wu, Chi Li, Min Zhou, Yu Jiang, Ming Gu, Jiaguang Sun
2018 J jnl
A Cyber-Physical System Framework for Early Detection of Paroxysmal Diseases.
IEEE Access
Zuxing Gu, Yu Jiang, Min Zhou, Ming Gu, Xiaoyu Song, Lui Sha
2018 J jnl
Constructing Cost-Aware Functional Test-Suites Using Nested Differential Evolution Algorithm.
IEEE Trans. Evol. Comput.
YueXing Wang, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
2018 A* conf
Energy-Efficient Automatic Train Driving by Learning Driving Patterns.
AAAI
Jin Huang, Yue Gao, Sha Lu, Xibin Zhao, Yangdong Deng, Ming Gu
2018 — conf
Fast Real-Time Scheduling for Ethernet-Based Train Control Networks.
ISPA/IUCC/BDCloud/SocialCom/SustainCom
Qinghan Yu, Tian Wang, Xibin Zhao, Hai Wang, Yue Gao, Chenyang Lu, Ming Gu
2018 A conf
Managing concurrent testing of data race with ComRaDe.
ISSTA
Jian Gao, Xin Yang, Yu Jiang, Han Liu, Weiliang Ying, Wanting Sun, Ming Gu
2018 — conf
Model-based adaptation to extreme physical environments: a case study on mixed-criticality industrial ethernet.
ICSE (Companion Volume)
Zonghui Li, Hai Wan, Yangdong Deng, Qinghan Yu, Tianchi Li, Kang Wei, Ming Gu
2018 J jnl
Parallelizing SMT solving: Lazy decomposition and conciliation.
Artif. Intell.
Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
2018 C conf
Scalable Verification Framework for C Program.
APSEC
Guang Chen, Dexi Wang, Tianchi Li, Chao Zhang, Ming Gu, Jiaguang Sun
2018 J jnl
Temporal Coverage Analysis for Dynamic Verification.
IEEE Trans. Circuits Syst. II Express Briefs
Min Zhou, William N. N. Hung, Xiaoyu Song, Ming Gu, Jiaguang Sun
2018 — conf
Weak-assert: a weakness-oriented assertion recommendation toolkit for program analysis.
ICSE (Companion Volume)
Cong Wang, Yu Jiang, Xibin Zhao, Xiaoyu Song, Ming Gu, Jiaguang Sun
2018 — conf
Which Defect Should Be Fixed First? Semantic Prioritization of Static Analysis Report.
SATE
Han Wang, Min Zhou, Xi Cheng, Guang Chen, Ming Gu
2018 A conf
Work-in-Progress: A Flattened Priority Framework for Mixed-Criticality Real-Time Systems.
RTAS
Zonghui Li, Hai Wan, Yangdong Deng, Ming Gu
2017 — conf
A Constraint-Pattern Based Method for Reachability Determination.
COMPSAC (1)
YueXing Wang, Zuxing Gu, Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
2017 A* conf
A language model for statements of software code.
ASE
Yixiao Yang, Yu Jiang, Ming Gu, Jiaguang Sun, Jian Gao, Han Liu
2017 A* conf
A static analysis tool with optimizations for reachability determination.
ASE
YueXing Wang, Min Zhou, Yu Jiang, Xiaoyu Song, Ming Gu, Jiaguang Sun
2017 — conf
Assertion Recommendation for Formal Program Verification.
COMPSAC (1)
Cong Wang, Fei He, Xiaoyu Song, Yu Jiang, Ming Gu, Jiaguang Sun
2017 J jnl
BIMTag: Concept-based automatic semantic annotation of online BIM product resources.
Adv. Eng. Informatics
Ge Gao, Yu-Shen Liu, Pengpeng Lin, Meng Wang, Ming Gu, Jun-Hai Yong
2017 J jnl
Data-Centered Runtime Verification of Wireless Medical Cyber-Physical System.
IEEE Trans. Ind. Informatics
Yu Jiang, Houbing Song, Rui Wang, Ming Gu, Jiaguang Sun, Lui Sha
2017 J jnl
Enhanced Explicit Semantic Analysis for Product Model Retrieval in Construction Industry.
IEEE Trans. Ind. Informatics
Han Liu, Yu-Shen Liu, Pieter Pauwels, Hongling Guo, Ming Gu
2017 J jnl
Formal Modeling and Verification of a Rate-Monotonic Scheduling Implementation with Real-Time Maude.
IEEE Trans. Ind. Electron.
Jiaxiang Liu, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
2017 B conf
Handling scheduling uncertainties through traffic shaping in Time-Triggered train networks.
IWQoS
Qinghan Yu, Xibin Zhao, Hai Wan, Yue Gao, Chenyang Lu, Ming Gu
2017 C conf
Human experience knowledge induction based intelligent train driving.
ICIS
Jin Huang, Fan Yang, Yangdong Deng, Xibin Zhao, Ming Gu
2017 A* conf
IntPTI: automatic integer error repair with proper-type inference.
ASE
Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
2017 — conf
Path compression kd-trees with multi-layer parallel construction a case study on ray tracing.
I3D
Zonghui Li, Yangdong Deng, Ming Gu
2017 A* conf
Stochastic optimization of program obfuscation.
ICSE
Han Liu, Chengnian Sun, Zhendong Su, Yu Jiang, Ming Gu, Jiaguang Sun
2017 J jnl
Verification of Implementations of Cryptographic Hash Functions.
IEEE Access
Dexi Wang, Yu Jiang, Houbing Song, Fei He, Ming Gu, Jiaguang Sun
2017 A* conf
Vertex-Weighted Hypergraph Learning for Multi-View Object Classification.
IJCAI
Lifan Su, Yue Gao, Xibin Zhao, Hai Wan, Ming Gu, Jiaguang Sun
2016 — conf
An integrated Medical CPS for early detection of paroxysmal sympathetic hyperactivity.
BIBM
Zuxing Gu, Hong Song, Yu Jiang, Jeonghone Choi, Hongjiang He, Lui Sha, Ming Gu
2016 B conf
Automatic Fix for C Integer Errors by Precision Improvement.
COMPSAC
Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
2016 — conf
Automatic Integrity Checking of IFC Models relative to building Regulations.
ICIMCS
Jianqiao Gu, Hehua Zhang, Ming Gu
2016 — conf
C Code Verification based on the Extended Labeled Transition System Model.
D&P@MoDELS
Dexi Wang, Chao Zhang, Guang Chen, Ming Gu, Jiaguang Sun
2016 A conf
From Stateflow Simulation to Verified Implementation: A Verification Approach and A Real-Time Train Controller Design.
RTAS
Yu Jiang, Yixiao Yang, Han Liu, Hui Kong, Ming Gu, Jia-Guang Sun, Lui Sha
2016 B conf
Improving Failure Detection by Automatically Generating Test Cases Near the Boundaries.
COMPSAC
Min Zhou, Xi Cheng, Xinrui Guo, Ming Gu, Hongyu Zhang, Xiaoyu Song
2016 A* conf
Model driven design of heterogeneous synchronous embedded systems.
ASE
Huafeng Zhang, Yu Jiang, Han Liu, Hehua Zhang, Ming Gu, Jia-Guang Sun
2016 B conf
Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle Bus Controller.
FM
Yu Jiang, Han Liu, Houbing Song, Hui Kong, Ming Gu, Jiaguang Sun, Lui Sha
2016 B conf
Taming Interrupts for Verifying Industrial Multifunction Vehicle Bus Controllers.
FM
Han Liu, Yu Jiang, Huafeng Zhang, Ming Gu, Jiaguang Sun
2016 J jnl
Task and Participant Scheduling of Trading Platforms in Vehicular Participatory Sensing Networks.
Sensors
Heyuan Shi, Xiaoyu Song, Ming Gu, Jiaguang Sun
2016 — conf
Tsmart-BIPEX: An Integrated Graphical Design Toolkit for Software Systems.
D&P@MoDELS
Huafeng Zhang, Yu Jiang, Han Liu, Ming Gu, Jiaguang Sun
2016 A* conf
Verifying simulink stateflow model: timed automata approach.
ASE
Yixiao Yang, Yu Jiang, Ming Gu, Jia-Guang Sun
2015 J jnl
Design and Optimization of Multiclocked Embedded Systems Using Formal Techniques.
IEEE Trans. Ind. Electron.
Yu Jiang, Hehua Zhang, Zonghui Li, Yangdong Deng, Xiaoyu Song, Ming Gu, Jia-Guang Sun
2015 J jnl
Design of Mixed Synchronous/Asynchronous Systems with Multiple Clocks.
IEEE Trans. Parallel Distributed Syst.
Yu Jiang, Hehua Zhang, Huafeng Zhang, Han Liu, Xiaoyu Song, Ming Gu, Jiaguang Sun
2015 J jnl
Estimating the Volume of Solution Space for Satisfiability Modulo Linear Real Arithmetic.
Theory Comput. Syst.
Min Zhou, Fei He, Xiaoyu Song, Shi He, Gangyi Chen, Ming Gu
2015 J jnl
First, Debug the Test Oracle.
IEEE Trans. Software Eng.
Xinrui Guo, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
2015 J jnl
Generalized interface automata with multicast synchronization.
Frontiers Comput. Sci.
Fei He, Xiaoyu Song, Ming Gu, Jiaguang Sun
2015 — conf
PLC programs' checking method and strategy based on module state transfer.
ICIA
Litian Xiao, Mengyuan Li, Ming Gu, Jiaguang Sun
2015 J jnl
Scalable Verification of a Generic End-Around-Carry Adder for Floating-Point Units by Coq.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Qian Wang, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun
2015 A* conf
VeRV: A temporal and data-concerned verification framework for the vehicle bus systems.
INFOCOM
Shuo Zhang, Fei He, Ming Gu
2014 J jnl
A New Barrier Certificate for Safety Verification of Hybrid Systems.
Comput. J.
Hui Kong, Xiaoyu Song, Dong Han, Ming Gu, Jiaguang Sun
2014 Misc conf
Application-Specific Architecture Selection for Embedded Systems via Schedulability Analysis.
TASE
Han Liu, Hehua Zhang, Yu Jiang, Xiaoyu Song, Ming Gu, Jiaguang Sun
2014 J jnl
Array Theory of Bounded Elements and its Applications.
J. Autom. Reason.
Min Zhou, Fei He, Bow-Yaw Wang, Ming Gu, Jiaguang Sun
2014 B conf
Clause Replication and Reuse in Incremental Temporal Induction.
ICECCS
Liangze Yin, Fei He, Ming Gu, Jia-Guang Sun
2014 J jnl
Functional Verification of High Performance Adders in COQ.
J. Appl. Math.
Qian Wang, Xiaoyu Song, Ming Gu, Jia-Guang Sun
2014 J jnl
Modeling a Heterogeneous Embedded System in Coloured Petri Nets.
J. Appl. Math.
Huafeng Zhang, Hehua Zhang, Ming Gu, Jiaguang Sun
2014 — conf
Optimal robust control for generalized fuzzy dynamical systems: A novel use on fuzzy uncertainties.
CICA
Jin Huang, Jia-Guang Sun, Xibin Zhao, Ming Gu
2014 J jnl
Reliability Analysis for a Data Flow in Event-Driven Wireless Sensor Networks.
Wirel. Pers. Commun.
Jie Cai, Xiaoyu Song, Jin-Yuan Wang, Ming Gu
2014 J jnl
Reliability analysis for chain topology wireless sensor networks with multiple-sending transmission scheme.
EURASIP J. Wirel. Commun. Netw.
Jie Cai, Xiaoyu Song, Jin-Yuan Wang, Ming Gu
2014 J jnl
Symbolic Analysis of Programmable Logic Controllers.
IEEE Trans. Computers
Hehua Zhang, Yu Jiang, William N. N. Hung, Xiaoyu Song, Ming Gu, Jia-Guang Sun
2014 — conf
Tsmart-GalsBlock: a toolkit for modeling, validation, and synthesis of multi-clocked embedded systems.
SIGSOFT FSE
Yu Jiang, Hehua Zhang, Huafeng Zhang, Xinyan Zhao, Han Liu, Chengnian Sun, Xiaoyu Song, Ming Gu, Jia-Guang Sun
2014 Misc conf
iDola: Bridge Modeling to Verification and Implementation of Interrupt-Driven Systems.
TASE
Han Liu, Hehua Zhang, Yu Jiang, Xiaoyu Song, Ming Gu, Jia-Guang Sun
2013 J jnl
A Unified Framework for DPLL(T) + Certificates.
J. Appl. Math.
Min Zhou, Fei He, Bow-Yaw Wang, Ming Gu, Jiaguang Sun
2013 J jnl
An Effective Heuristic-Based Approach for Partitioning.
J. Appl. Math.
Xibin Zhao, Hehua Zhang, Yu Jiang, Songzheng Song, Xun Jiao, Ming Gu
2013 J jnl
Bayesian-Network-Based Reliability Analysis of PLC Systems.
IEEE Trans. Ind. Electron.
Yu Jiang, Hehua Zhang, Xiaoyu Song, Xun Jiao, William N. N. Hung, Ming Gu, Jiaguang Sun
2013 B conf
Component-Based Modeling and Code Synthesis for Cyclic Programs.
COMPSAC
Min Zhou, Hai Wan, Chen Su, Liangze Yin, Lianyi Zhang, Fei He, Ming Gu
2013 — conf
Design and optimization of multi-clocked embedded systems using formal technique.
ESEC/SIGSOFT FSE
Yu Jiang, Zonghui Li, Hehua Zhang, Yangdong Deng, Xiaoyu Song, Ming Gu, Jiaguang Sun
2013 J jnl
Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems
CoRR
Hui Kong, Fei He, Xiaoyu Song, William N. N. Hung, Ming Gu
2013 A* conf
Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems.
CAV
Hui Kong, Fei He, Xiaoyu Song, William N. N. Hung, Ming Gu
2013 J jnl
Formal component-based modeling and synthesis for PLC systems.
Comput. Ind.
Min Zhou, Hai Wan, Rui Wang, Xiaoyu Song, Chen Su, Ming Gu, Jiaguang Sun
2013 B conf
Modeling and Verification of Component-Based Systems with Data Passing Using BIP.
ICECCS
Chen Su, Min Zhou, Liangze Yin, Hai Wan, Ming Gu
2013 J jnl
OntCheck: An Ontology-Driven Static Correctness Checking Tool for Component-Based Models.
J. Appl. Math.
Xi Lin, Hehua Zhang, Ming Gu
2013 Misc conf
Optimizing the SAT Decision Ordering of Bounded Model Checking by Structural Information.
TASE
Liangze Yin, Fei He, Ming Gu
2013 J jnl
Probabilistic analysis of system outage in distributed antenna systems with composite channels.
EURASIP J. Wirel. Commun. Netw.
Jie Cai, Xibin Zhao, Jin-Yuan Wang, Ming Gu
2013 B conf
Reusing Search Tree for Incremental SAT Solving of Temporal Induction.
ICECCS
Liangze Yin, Fei He, Min Zhou, Ming Gu
2013 — conf
Seamless Privacy: Privacy-Preserving Subgraph Counting in Interactive Social Network Analysis.
CyberC
Xuan Ding, Wei Wang, Meng Wan, Ming Gu
2013 — conf
Sequential dependency and reliability analysis of embedded systems.
ASP-DAC
Hehua Zhang, Yu Jiang, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun
2013 — conf
System reliability calculation based on the run-time analysis of ladder program.
ESEC/SIGSOFT FSE
Yu Jiang, Hehua Zhang, Han Liu, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun
2013 J jnl
The IFC-based path planning for 3D indoor spaces.
Adv. Eng. Informatics
Ya-Hong Lin, Yu-Shen Liu, Ge Gao, Xiao-Guang Han, Chengyuan Lai, Ming Gu
2013 B conf
Verification and Implementation of the Protocol Standard in Train Control System.
COMPSAC
Yu Jiang, Hehua Zhang, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun
2012 J jnl
Maxterm Covering for Satisfiability.
IEEE Trans. Computers
Liangze Yin, Fei He, William N. N. Hung, Xiaoyu Song, Ming Gu
2012 Misc conf
Modeling and Validation of PLC-Controlled Systems: A Case Study.
TASE
Rui Wang, Min Zhou, Liangze Yin, Lianyi Zhang, Jiaguang Sun, Ming Gu, Marius Bozga
2012 J jnl
New strategies for reliability analysis of Programmable Logic Controllers.
Math. Comput. Model.
Hehua Zhang, Yu Jiang, William N. N. Hung, Guowu Yang, Ming Gu, Jiaguang Sun
2012 J jnl
Obtaining more Karatsuba-like formulae over the binary field.
IET Inf. Secur.
Haining Fan, Ming Gu, Jiaguang Sun, Kwok-Yan Lam
2012 — conf
Reliability Analysis of PLC Systems by Bayesian Network.
SERE
Hehua Zhang, Yu Jiang, Xun Jiao, Xiaoyu Song, William N. N. Hung, Ming Gu
2012 J jnl
Semantic characterization of programmable logic controller programs.
Math. Comput. Model.
Litian Xiao, Rui Wang, Ming Gu, Jiaguang Sun
2012 J jnl
USOR: An Unobservable Secure On-Demand Routing Protocol for Mobile Ad Hoc Networks.
IEEE Trans. Wirel. Commun.
Zhiguo Wan, Kui Ren, Ming Gu
2012 — conf
Uncertain Model and Algorithm for Hardware/Software Partitioning.
ISVLSI
Yu Jiang, Hehua Zhang, Xun Jiao, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun
2011 J jnl
A novel fault diagnosis mechanism for wireless sensor networks.
Math. Comput. Model.
Zhiyang You, Xibin Zhao, Hai Wan, William N. N. Hung, Yuke Wang, Ming Gu
2011 Misc conf
An Efficient Resolution Based Algorithm for SAT.
TASE
Min Zhou, Fei He, Ming Gu
2011 J jnl
Competent predicate abstraction in model checking.
Sci. China Inf. Sci.
Li Li, Xiaoyu Song, Ming Gu, Xiangyu Luo
2011 B conf
De-Anonymizing Dynamic Social Networks.
GLOBECOM
Xuan Ding, Lan Zhang, Zhiguo Wan, Ming Gu
2011 B conf
Directional diagnosis for wireless sensor networks.
DCOSS
Wei Gong, Kebin Liu, Yunhao Liu, Xibin Zhao, Ming Gu
2011 C conf
Domain-Driven Probabilistic Analysis of Programmable Logic Controllers.
ICFEM
Hehua Zhang, Yu Jiang, William N. N. Hung, Xiaoyu Song, Ming Gu
2011 J jnl
Energy-Efficient Key Distribution Using Electrocardiograph Biometric Set for Secure Communications in Wireless Body Healthcare Networks.
J. Medical Syst.
Jinyang Shi, Kwok-Yan Lam, Ming Gu, Mingze Li, Siu Leung Chung
2011 J jnl
Formal modeling and synthesis of programmable logic controllers.
Comput. Ind.
Rui Wang, Xiaoyu Song, Jianzhong Zhu, Ming Gu
2011 J jnl
Formalisation and verification of programmable logic controllers timers in Coq.
IET Softw.
Hai Wan, Gang Chen, Xiaoyu Song, Ming Gu
2011 C conf
Hierarchical Attribute-Set Based Encryption for Scalable, Flexible and Fine-Grained Access Control in Cloud Computing.
ISPEC
Jun-e Liu, Zhiguo Wan, Ming Gu
2011 J jnl
MENs: Multi-user Emergency Navigation System Using.
Ad Hoc Sens. Wirel. Networks
XuFei Mao, Shaojie Tang, Xiang-Yang Li, Ming Gu
2011 Misc conf
Proving Computational Geometry Algorithms in TLA+2.
TASE
Hui Kong, Hehua Zhang, Xiaoyu Song, Ming Gu, Jiaguang Sun
2010 — conf
A Brief Survey on De-anonymization Attacks in Online Social Networks.
CASoN
Xuan Ding, Lan Zhang, Zhiguo Wan, Ming Gu
2010 — conf
A Domain-related Authority Model for Web Pages based on Source and Related Information.
ICSOFT (1)
Liu Yang, Chunping Li, Ming Gu
2010 — conf
A Refinement-Based Validation Method for Programmable Logic Controllers.
QSIC
Hai Wan, Xiaoyu Song, Gang Chen, Ming Gu
2010 J jnl
Anonymous User Communication for Privacy Protection in Wireless Metropolitan Mesh Networks.
IEEE Trans. Veh. Technol.
Zhiguo Wan, Kui Ren, Bo Zhu, Bart Preneel, Ming Gu
2010 J jnl
BodySec: synchronized key distribution using biometric slots for wireless body sensor networks.
ACM SIGMOBILE Mob. Comput. Commun. Rev.
Jinyang Shi, Kwok-Yan Lam, Ming Gu, Husheng Li
2010 Misc conf
Compositional Abstraction Refinement for Timed Systems.
TASE
Fei He, He Zhu, William N. N. Hung, Xiaoyu Song, Ming Gu
2010 B conf
DAWN: Energy efficient data aggregation in WSN with mobile sinks.
IWQoS
Shaojie Tang, Jing Yuan, Xiang-Yang Li, Yunhao Liu, Guihai Chen, Ming Gu, Jizhong Zhao, Guojun Dai
2010 B conf
Evaluating Importance of Websites on News Topics.
PRICAI
Yajie Miao, Chunping Li, Liu Yang, Lili Zhao, Ming Gu
2010 J jnl
Field programmable gate array prototyping of end-around carry parallel prefix tree architectures.
IET Comput. Digit. Tech.
Feng Liu, Qingping Tan, Gang Chen, Xiaoyu Song, Otmane Aït Mohamed, Ming Gu
2010 J jnl
Integrating Evolutionary Computation with Abstraction Refinement for Model Checking.
IEEE Trans. Computers
Fei He, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun
2010 J jnl
Long-term large-scale sensing in the forest: recent advances and future directions of GreenOrbs.
Frontiers Comput. Sci. China
Yunhao Liu, Guomo Zhou, Jizhong Zhao, Guojun Dai, Xiang-Yang Li, Ming Gu, Huadong Ma, Lufeng Mo, Yuan He, Jiliang Wang
2010 A* conf
On Array Theory of Bounded Elements.
CAV
Min Zhou, Fei He, Bow-Yaw Wang, Ming Gu
2010 J jnl
Overlap-free Karatsuba-Ofman polynomial multiplication algorithms.
IET Inf. Secur.
Haining Fan, Jia-Guang Sun, Ming Gu, Kwok-Yan Lam
2010 Misc conf
Parameterized Specification and Verification of PLC Systems in Coq.
TASE
Hai Wan, Xiaoyu Song, Ming Gu
2010 B conf
Specifying Time-Sensitive Systems with TLA+.
COMPSAC
Hehua Zhang, Ming Gu, Xiaoyu Song
2010 J jnl
Specifying and verifying PLC systems with TLA
Comput. Math. Appl.
Hehua Zhang, Stephan Merz, Ming Gu
2010 J jnl
Trust Based Routing for Misbehavior Detection in Ad Hoc Networks.
J. Networks
Wei Gong, Zhiyang You, Danning Chen, Xibin Zhao, Ming Gu, Kwok-Yan Lam
2009 A conf
Anonymous user communication for privacy protection in wireless metropolitan mesh networks.
AsiaCCS
Zhiguo Wan, Kui Ren, Bo Zhu, Bart Preneel, Ming Gu
2009 B conf
CLEAR: A confidential and Lifetime-Aware Routing Protocol for wireless sensor network.
PIMRC
Xiaoyuan Wang, Xinfeng Li, Zhiguo Wan, Ming Gu
2009 B conf
Data mining based decomposition for assume-guarantee reasoning.
FMCAD
He Zhu, Fei He, William N. N. Hung, Xiaoyu Song, Ming Gu
2009 — conf
Enhanced Location Privacy Protection of Base Station in Wireless Sensor Networks.
MSN
Xinfeng Li, Xiaoyuan Wang, Nan Zheng, Zhiguo Wan, Ming Gu
2009 — conf
Extracting Content from Web Pages Using the Sliding Window.
CSA
Liu Yang, Chunping Li, Ming Gu
2009 B conf
Formal Specification and Code Generation of Programable Logic Controllers.
ICECCS
Rui Wang, Ming Gu, Xiaoyu Song, Hai Wan
2009 J jnl
Formal modeling and analysis of a narrow bandwidth protocol for establishing and terminating connections.
Math. Comput. Model.
Hai Wan, Ming Gu, Xiaoyu Song
2009 — conf
Formalization and Verification of PLC Timers in Coq.
COMPSAC (1)
Hai Wan, Gang Chen, Xiaoyu Song, Ming Gu
2009 J jnl
Heuristic-Guided Abstraction Refinement.
Comput. J.
Fei He, Xiaoyu Song, Ming Gu, Jia-Guang Sun
2009 J jnl
Modeling job shop scheduling with batches and setup times by timed Petri nets.
Math. Comput. Model.
Hehua Zhang, Ming Gu
2009 J jnl
Obtaining More Karatsuba-Like Formulae over The Binary Field.
IACR Cryptol. ePrint Arch.
Haining Fan, Ming Gu, Jiaguang Sun, Kwok-Yan Lam
2009 J jnl
QoS Requirement Generation and Algorithm Selection for Composite Service Based on Reference Vector.
J. Comput. Sci. Technol.
Bangyu Wu, Chi-Hung Chi, Shijie Xu, Ming Gu, Jia-Guang Sun
2009 B conf
Reusable Set Constructions Using Randomized Dissolvent Templates for Biometric Security.
GLOBECOM
Jinyang Shi, Kwok-Yan Lam, Ming Gu, Husheng Li
2009 Misc conf
Specifying and Verifying PLC Systems with TLA+.
TASE
Hehua Zhang, Stephan Merz, Ming Gu
2009 — conf
Towards Energy-Efficient Secure Communications Using Biometric Key Distribution in Wireless Biomedical Healthcare Networks.
BMEI
Jinyang Shi, Kwok-Yan Lam, Ming Gu, Mingze Li, Siu Leung Chung
2009 — conf
Translation-Based Model Checking for PLC Programs.
COMPSAC (1)
Min Zhou, Fei He, Ming Gu, Xiaoyu Song
2009 J jnl
Workflow-based resource allocation to optimize overall performance of composite services.
Future Gener. Comput. Syst.
Bangyu Wu, Chi-Hung Chi, Zhe Chen, Ming Gu, Jiaguang Sun
2008 B conf
A Maximum Weight Heuristic Method for Abstract State Computation.
COMPSAC
Li Li, Xiaoyu Song, Ming Gu, Jianmin Wang
2008 B conf
Biomapping: Privacy trustworthy biometrics using noninvertible and discriminable constructions.
ICPR
Jinyang Shi, Zhiyang You, Ming Gu, Kwok-Yan Lam
2008 Misc conf
Effective Predicate Abstraction for Program Verification.
TASE
Li Li, Ming Gu, Xiaoyu Song, Jianmin Wang
2008 — conf
Modeling and Analysis of Real-Life Job Shop Scheduling Problems by Petri nets.
Annual Simulation Symposium
Hehua Zhang, Ming Gu, Xiaoyu Song
2008 — conf
Modeling and analysis of stage machinery control systems by timed colored Petri nets.
SIES
Hehua Zhang, Ming Gu, Xiaoyu Song
2008 — conf
Verifying programmable logic controllers with abstraction.
SIES
Rui Wang, Ming Gu, Xiaoyu Song, Hehua Zhang
2007 — conf
Effective heuristics for counterexample-guided abstraction refinement.
ACM Great Lakes Symposium on VLSI
Fei He, Xiaoyu Song, Ming Gu, Jiaguang Sun
2007 J jnl
Modelling and verification of program logic controllers using timed automata.
IET Softw.
Rui Wang, Xiaoyu Song, Ming Gu
2007 J jnl
Overlap-free Karatsuba-Ofman Polynomial Multiplication Algorithms.
IACR Cryptol. ePrint Arch.
Haining Fan, Jiaguang Sun, Ming Gu, Kwok-Yan Lam
2007 C conf
Predicting Defective Software Components from Code Complexity Measures.
PRDC
Hongyu Zhang, Xiuzhen Zhang, Ming Gu
2006 B conf
A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement.
ATVA
Fei He, Xiaoyu Song, Ming Gu, Jia-Guang Sun
2006 J jnl
A combinatorial congestion estimation approach with generalized detours.
Comput. Math. Appl.
Fei He, Xiaoyu Song, Ming Gu, Lerong Cheng, Guowu Yang, Zhiwei Tang, Jiaguang Sun
2006 — conf
An Efficient Algorithm for Fingercode-Based Biometric Identification.
OTM Workshops (1)
Hong-Wei Sun, Kwok-Yan Lam, Ming Gu, Jia-Guang Sun
2006 J jnl
Congestion estimation for hexagonal routing.
Int. J. Comput. Math.
Ming Gu, Fei He, Lerong Cheng, Xiaoyu Song, Guowu Yang
2006 A conf
Minimal Threshold Closure.
ESORICS
Xibin Zhao, Kwok-Yan Lam, Guiming Luo, Siu Leung Chung, Ming Gu
2006 J jnl
Probabilistic optimization for FPGA board level routing problems.
IEEE Trans. Circuits Syst. II Express Briefs
Fei He, Xiaoyu Song, Ming Gu, Guowu Yang, William N. N. Hung, Jia-Guang Sun
2006 — conf
Verifying Java Programs By Theorem Prover HOL.
COMPSAC (1)
Anduo Wang, Fei He, Ming Gu, Xiaoyu Song
2005 — conf
A Hierachical Method for Wiring and Congestion Prediction.
ISVLSI
Fei He, Xiaoyu Song, Lerong Cheng, Guowu Yang, Zhiwei Tang, Ming Gu, Jia-Guang Sun
2005 A conf
A SOM-wavelet networks for face identification.
ICME
Zhi Yang, Ming Gu
2005 — conf
Adaptive matching wavelet networks for face recognition.
ICIP (1)
Yang Zhi, Ming Gu
2005 — conf
An Efficient Anomaly Detection Algorithm for Vector-Based Intrusion Detection Systems.
ICCNMC
Hong-Wei Sun, Kwok-Yan Lam, Siu Leung Chung, Ming Gu, Jia-Guang Sun
2005 J jnl
Efficient vector quantization using genetic algorithm.
Neural Comput. Appl.
Hongwei Sun, Kwok-Yan Lam, Siu Leung Chung, Wei-Ming Dong, Ming Gu, Jia-Guang Sun
2005 — conf
Integrating Collaborate and Content-Based Filtering for Personalized Information Recommendation.
CIS (1)
Zhiyun Xin, Jizhong Zhao, Ming Gu, Jiaguang Sun
2005 J jnl
Multiterminal net assignments by scatter search.
Math. Comput. Model.
Ming Gu, Fei He, Xiaoyu Song, Jiaguang Sun
2005 J jnl
On Theoretical Upper Bounds for Routing Estimation.
J. Univers. Comput. Sci.
Fei He, Lerong Cheng, Guowu Yang, Xiaoyu Song, Ming Gu, Jia-Guang Sun
2005 J jnl
On synthesis of 3 × 3 reversible logic functions.
Int. J. Comput. Math.
Ming Gu, Guowu Yang, Xiaoyu Song, Jiaguang Sun
2005 J jnl
Probabilistic Estimation for Routing Space.
Comput. J.
Fei He, Ming Gu, Xiaoyu Song, Zhiwei Tang, Guowu Yang, Lerong Cheng
2005 C conf
Secure Anonymous Communication with Conditional Traceability.
NPC
Zhaofeng Ma, Xibin Zhao, Zhi Guo, Ming Gu, Jiaguang Sun
2005 — conf
Segmented channel routing with pin rearrangements via satisfiability.
ISCAS (6)
Fei He, William N. N. Hung, Xiaoyu Song, Ming Gu, Jiaguang Sun
2004 J jnl
A comparative study on search strategies for cell assignments.
Int. J. Comput. Math.
Ming Gu, Fei He, William N. N. Hung, Xiaoyu Song
2004 J jnl
A stochastic model for cellassignments in PCS networks.
Math. Comput. Model.
Fei He, Ming Gu, Jiaguang Sun, Xiaoyu Song
2004 — conf
Anomaly Detection in Grid Computing Based on Vector Quantization.
GCC
Hong-Wei Sun, Kwok-Yan Lam, Siu Leung Chung, Ming Gu, Jia-Guang Sun
2004 Misc conf
Authorization Mechanisms for Virtual Organizations in Distributed Computing Systems.
ACISP
Xibin Zhao, Kwok-Yan Lam, Siu Leung Chung, Ming Gu, Jia-Guang Sun
2004 — conf
Enhancing the Scalability of the Community Authorization Service for Virtual Organizations.
AWCC
Jian-Ping Yong, Kwok-Yan Lam, Siu Leung Chung, Ming Gu, Jia-Guang Sun
2003 B conf
Efficient Presentation of Multivariate Audit Data for Intrusion Detection of Web-Based Internet Services.
ACNS
Zhi Guo, Kwok-Yan Lam, Siu Leung Chung, Ming Gu, Jia-Guang Sun
2003 Misc conf
Enhancing Grid Security Infrastructure to Support Mobile Computing Nodes.
WISA
Kwok-Yan Lam, Xibin Zhao, Siu Leung Chung, Ming Gu, Jia-Guang Sun
2003 J jnl
Lightweight security for mobile commerce transactions.
Comput. Commun.
Kwok-Yan Lam, Siu Leung Chung, Ming Gu, Jia-Guang Sun
2003 J jnl
Security middleware for enhancing interoperability of Public Key Infrastructure.
Comput. Secur.
Kwok-Yan Lam, Siu Leung Chung, Ming Gu, Jia-Guang Sun