Efficient Presentation of Multivariate Audit Data for Intrusion Detection of Web-Based Internet Services. - Zhi Guo; Kwok-Yan Lam; Siu Leung Chung; Ming Gu 001; Jia-Guang Sun 001 (ACNS, 2003)

Enhancing Grid Security Infrastructure to Support Mobile Computing Nodes. - Kwok-Yan Lam; Xibin Zhao; Siu Leung Chung; Ming Gu 001; Jia-Guang Sun 001 (WISA, 2003)

Lightweight security for mobile commerce transactions. - Kwok-Yan Lam; Siu Leung Chung; Ming Gu 001; Jia-Guang Sun 001 (Comput. Commun., 2003)

Security middleware for enhancing interoperability of Public Key Infrastructure. - Kwok-Yan Lam; Siu Leung Chung; Ming Gu 001; Jia-Guang Sun 001 (Comput. Secur., 2003)

Authorization Mechanisms for Virtual Organizations in Distributed Computing Systems. - Xibin Zhao; Kwok-Yan Lam; Siu Leung Chung; Ming Gu 001; Jia-Guang Sun 001 (ACISP, 2004)

Enhancing the Scalability of the Community Authorization Service for Virtual Organizations. - Jian-Ping Yong; Kwok-Yan Lam; Siu Leung Chung; Ming Gu 001; Jia-Guang Sun 001 (AWCC, 2004)

Anomaly Detection in Grid Computing Based on Vector Quantization. - Hong-Wei Sun; Kwok-Yan Lam; Siu Leung Chung; Ming Gu 001; Jia-Guang Sun 001 (GCC, 2004)

A comparative study on search strategies for cell assignments. - Ming Gu 001; Fei He 001; William N. N. Hung; Xiaoyu Song (Int. J. Comput. Math., 2004)

A stochastic model for cellassignments in PCS networks. - Fei He 001; Ming Gu 001; Jiaguang Sun 001; Xiaoyu Song (Math. Comput. Model., 2004)

Integrating Collaborate and Content-Based Filtering for Personalized Information Recommendation. - Zhiyun Xin; Jizhong Zhao; Ming Gu 001; Jiaguang Sun 001 (CIS (1), 2005)

An Efficient Anomaly Detection Algorithm for Vector-Based Intrusion Detection Systems. - Hong-Wei Sun; Kwok-Yan Lam; Siu Leung Chung; Ming Gu 001; Jia-Guang Sun 001 (ICCNMC, 2005)

Adaptive matching wavelet networks for face recognition. - Yang Zhi; Ming Gu 001 (ICIP (1), 2005)

A SOM-wavelet networks for face identification. - Zhi Yang; Ming Gu 001 (ICME, 2005)

Segmented channel routing with pin rearrangements via satisfiability. - Fei He 001; William N. N. Hung; Xiaoyu Song; Ming Gu 001; Jiaguang Sun 001 (ISCAS (6), 2005)

A Hierachical Method for Wiring and Congestion Prediction. - Fei He 001; Xiaoyu Song; Lerong Cheng; Guowu Yang; Zhiwei Tang; Ming Gu 001; Jia-Guang Sun 001 (ISVLSI, 2005)

Secure Anonymous Communication with Conditional Traceability. - Zhaofeng Ma; Xibin Zhao; Zhi Guo; Ming Gu 001; Jiaguang Sun 001 (NPC, 2005)

Probabilistic Estimation for Routing Space. - Fei He 001; Ming Gu 001; Xiaoyu Song; Zhiwei Tang; Guowu Yang; Lerong Cheng (Comput. J., 2005)

On synthesis of 3 × 3 reversible logic functions. - Ming Gu 001; Guowu Yang; Xiaoyu Song; Jiaguang Sun 001 (Int. J. Comput. Math., 2005)

On Theoretical Upper Bounds for Routing Estimation. - Fei He 001; Lerong Cheng; Guowu Yang; Xiaoyu Song; Ming Gu 001; Jia-Guang Sun 001 (J. Univers. Comput. Sci., 2005)

Multiterminal net assignments by scatter search. - Ming Gu 001; Fei He 001; Xiaoyu Song; Jiaguang Sun 001 (Math. Comput. Model., 2005)

Efficient vector quantization using genetic algorithm. - Hongwei Sun; Kwok-Yan Lam; Siu Leung Chung; Wei-Ming Dong; Ming Gu 001; Jia-Guang Sun 001 (Neural Comput. Appl., 2005)

A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement. - Fei He 001; Xiaoyu Song; Ming Gu 001; Jia-Guang Sun 001 (ATVA, 2006)

Verifying Java Programs By Theorem Prover HOL. - Anduo Wang; Fei He 001; Ming Gu 001; Xiaoyu Song (COMPSAC (1), 2006)

Minimal Threshold Closure. - Xibin Zhao; Kwok-Yan Lam; Guiming Luo; Siu Leung Chung; Ming Gu 001 (ESORICS, 2006)

An Efficient Algorithm for Fingercode-Based Biometric Identification. - Hong-Wei Sun; Kwok-Yan Lam; Ming Gu 001; Jia-Guang Sun 001 (OTM Workshops (1), 2006)

A combinatorial congestion estimation approach with generalized detours. - Fei He 001; Xiaoyu Song; Ming Gu 001; Lerong Cheng; Guowu Yang; Zhiwei Tang; Jiaguang Sun 001 (Comput. Math. Appl., 2006)

Congestion estimation for hexagonal routing. - Ming Gu 001; Fei He 001; Lerong Cheng; Xiaoyu Song; Guowu Yang (Int. J. Comput. Math., 2006)

Probabilistic optimization for FPGA board level routing problems. - Fei He 001; Xiaoyu Song; Ming Gu 001; Guowu Yang; William N. N. Hung; Jia-Guang Sun 001 (IEEE Trans. Circuits Syst. II Express Briefs, 2006)

Effective heuristics for counterexample-guided abstraction refinement. - Fei He 001; Xiaoyu Song; Ming Gu 001; Jiaguang Sun 001 (ACM Great Lakes Symposium on VLSI, 2007)

Predicting Defective Software Components from Code Complexity Measures. - Hongyu Zhang 002; Xiuzhen Zhang 001; Ming Gu 001 (PRDC, 2007)

Modelling and verification of program logic controllers using timed automata. - Rui Wang 024; Xiaoyu Song; Ming Gu 001 (IET Softw., 2007)

Modeling and Analysis of Real-Life Job Shop Scheduling Problems by Petri nets. - Hehua Zhang; Ming Gu 001; Xiaoyu Song (Annual Simulation Symposium, 2008)

A Maximum Weight Heuristic Method for Abstract State Computation. - Li Li; Xiaoyu Song; Ming Gu 001; Jianmin Wang 001 (COMPSAC, 2008)

Biomapping: Privacy trustworthy biometrics using noninvertible and discriminable constructions. - Jinyang Shi; Zhiyang You; Ming Gu 001; Kwok-Yan Lam (ICPR, 2008)

Verifying programmable logic controllers with abstraction. - Rui Wang 024; Ming Gu 001; Xiaoyu Song; Hehua Zhang (SIES, 2008)

Modeling and analysis of stage machinery control systems by timed colored Petri nets. - Hehua Zhang; Ming Gu 001; Xiaoyu Song (SIES, 2008)

Effective Predicate Abstraction for Program Verification. - Li Li; Ming Gu 001; Xiaoyu Song; Jianmin Wang 001 (TASE, 2008)

Extracting Content from Web Pages Using the Sliding Window. - Liu Yang; Chunping Li; Ming Gu 001 (CSA, 2009)

Towards Energy-Efficient Secure Communications Using Biometric Key Distribution in Wireless Biomedical Healthcare Networks. - Jinyang Shi; Kwok-Yan Lam; Ming Gu 001; Mingze Li; Siu Leung Chung (BMEI, 2009)

Formalization and Verification of PLC Timers in Coq. - Hai Wan; Gang Chen 004; Xiaoyu Song; Ming Gu 001 (COMPSAC (1), 2009)

Translation-Based Model Checking for PLC Programs. - Min Zhou 001; Fei He 001; Ming Gu 001; Xiaoyu Song (COMPSAC (1), 2009)

Data mining based decomposition for assume-guarantee reasoning. - He Zhu 001; Fei He 001; William N. N. Hung; Xiaoyu Song; Ming Gu 001 (FMCAD, 2009)

Reusable Set Constructions Using Randomized Dissolvent Templates for Biometric Security. - Jinyang Shi; Kwok-Yan Lam; Ming Gu 001; Husheng Li (GLOBECOM, 2009)

Formal Specification and Code Generation of Programable Logic Controllers. - Rui Wang 024; Ming Gu 001; Xiaoyu Song; Hai Wan (ICECCS, 2009)

Enhanced Location Privacy Protection of Base Station in Wireless Sensor Networks. - Xinfeng Li; Xiaoyuan Wang; Nan Zheng; Zhiguo Wan; Ming Gu 001 (MSN, 2009)

CLEAR: A confidential and Lifetime-Aware Routing Protocol for wireless sensor network. - Xiaoyuan Wang; Xinfeng Li; Zhiguo Wan; Ming Gu 001 (PIMRC, 2009)

Specifying and Verifying PLC Systems with TLA+. - Hehua Zhang; Stephan Merz; Ming Gu 001 (TASE, 2009)

Heuristic-Guided Abstraction Refinement. - Fei He 001; Xiaoyu Song; Ming Gu 001; Jia-Guang Sun 001 (Comput. J., 2009)

Workflow-based resource allocation to optimize overall performance of composite services. - Bangyu Wu; Chi-Hung Chi; Zhe Chen; Ming Gu 001; Jiaguang Sun 001 (Future Gener. Comput. Syst., 2009)

n PAKE+: A Tree-Based Group Password-Authenticated Key Exchange Protocol Using Different Passwords. - Zhiguo Wan; Robert H. Deng; Feng Bao 001; Bart Preneel; Ming Gu 001 (J. Comput. Sci. Technol., 2009)

QoS Requirement Generation and Algorithm Selection for Composite Service Based on Reference Vector. - Bangyu Wu; Chi-Hung Chi; Shijie Xu; Ming Gu 001; Jia-Guang Sun 001 (J. Comput. Sci. Technol., 2009)

Formal modeling and analysis of a narrow bandwidth protocol for establishing and terminating connections. - Hai Wan; Ming Gu 001; Xiaoyu Song (Math. Comput. Model., 2009)

Modeling job shop scheduling with batches and setup times by timed Petri nets. - Hehua Zhang; Ming Gu 001 (Math. Comput. Model., 2009)

A Brief Survey on De-anonymization Attacks in Online Social Networks. - Xuan Ding; Lan Zhang; Zhiguo Wan; Ming Gu 001 (CASoN, 2010)

On Array Theory of Bounded Elements. - Min Zhou 001; Fei He 001; Bow-Yaw Wang; Ming Gu 001 (CAV, 2010)

Specifying Time-Sensitive Systems with TLA+. - Hehua Zhang; Ming Gu 001; Xiaoyu Song (COMPSAC, 2010)

A Domain-related Authority Model for Web Pages based on Source and Related Information. - Liu Yang; Chunping Li; Ming Gu 001 (ICSOFT (1), 2010)

DAWN: Energy efficient data aggregation in WSN with mobile sinks. - Shaojie Tang 001; Jing Yuan 002; Xiang-Yang Li 001; Yunhao Liu 001; Guihai Chen; Ming Gu 001; Jizhong Zhao; Guojun Dai (IWQoS, 2010)

Evaluating Importance of Websites on News Topics. - Yajie Miao; Chunping Li; Liu Yang; Lili Zhao; Ming Gu 001 (PRICAI, 2010)

A Refinement-Based Validation Method for Programmable Logic Controllers. - Hai Wan; Xiaoyu Song; Gang Chen 004; Ming Gu 001 (QSIC, 2010)

Compositional Abstraction Refinement for Timed Systems. - Fei He 001; He Zhu 001; William N. N. Hung; Xiaoyu Song; Ming Gu 001 (TASE, 2010)

Parameterized Specification and Verification of PLC Systems in Coq. - Hai Wan; Xiaoyu Song; Ming Gu 001 (TASE, 2010)

Specifying and verifying PLC systems with TLA+ : A case study. - Hehua Zhang; Stephan Merz; Ming Gu 001 (Comput. Math. Appl., 2010)

Long-term large-scale sensing in the forest: recent advances and future directions of GreenOrbs. - Yunhao Liu 001; Guomo Zhou; Jizhong Zhao; Guojun Dai; Xiang-Yang Li 001; Ming Gu 001; Huadong Ma; Lufeng Mo; Yuan He 004; Jiliang Wang (Frontiers Comput. Sci. China, 2010)

Field programmable gate array prototyping of end-around carry parallel prefix tree architectures. - Feng Liu 029; Qingping Tan; Gang Chen 004; Xiaoyu Song; Otmane Aït Mohamed; Ming Gu 001 (IET Comput. Digit. Tech., 2010)

Overlap-free Karatsuba-Ofman polynomial multiplication algorithms. - Haining Fan; Jia-Guang Sun 001; Ming Gu 001; Kwok-Yan Lam (IET Inf. Secur., 2010)

Trust Based Routing for Misbehavior Detection in Ad Hoc Networks. - Wei Gong 001; Zhiyang You; Danning Chen; Xibin Zhao; Ming Gu 001; Kwok-Yan Lam (J. Networks, 2010)

BodySec: synchronized key distribution using biometric slots for wireless body sensor networks. - Jinyang Shi; Kwok-Yan Lam; Ming Gu 001; Husheng Li (ACM SIGMOBILE Mob. Comput. Commun. Rev., 2010)

Integrating Evolutionary Computation with Abstraction Refinement for Model Checking. - Fei He 001; Xiaoyu Song; William N. N. Hung; Ming Gu 001; Jiaguang Sun 001 (IEEE Trans. Computers, 2010)

Anonymous User Communication for Privacy Protection in Wireless Metropolitan Mesh Networks. - Zhiguo Wan; Kui Ren 001; Bo Zhu 001; Bart Preneel; Ming Gu 001 (IEEE Trans. Veh. Technol., 2010)

Directional diagnosis for wireless sensor networks. - Wei Gong 001; Kebin Liu; Yunhao Liu 001; Xibin Zhao; Ming Gu 001 (DCOSS, 2011)

De-Anonymizing Dynamic Social Networks. - Xuan Ding; Lan Zhang; Zhiguo Wan; Ming Gu 001 (GLOBECOM, 2011)

Domain-Driven Probabilistic Analysis of Programmable Logic Controllers. - Hehua Zhang; Yu Jiang 001; William N. N. Hung; Xiaoyu Song; Ming Gu 001 (ICFEM, 2011)

Hierarchical Attribute-Set Based Encryption for Scalable, Flexible and Fine-Grained Access Control in Cloud Computing. - Jun-e Liu; Zhiguo Wan; Ming Gu 001 (ISPEC, 2011)

Proving Computational Geometry Algorithms in TLA+2. - Hui Kong 004; Hehua Zhang; Xiaoyu Song; Ming Gu 001; Jiaguang Sun 001 (TASE, 2011)

An Efficient Resolution Based Algorithm for SAT. - Min Zhou 001; Fei He 001; Ming Gu 001 (TASE, 2011)

MENs: Multi-user Emergency Navigation System Using. - XuFei Mao; Shaojie Tang 001; Xiang-Yang Li 001; Ming Gu 001 (Ad Hoc Sens. Wirel. Networks, 2011)

Competent predicate abstraction in model checking. - Li Li; Xiaoyu Song; Ming Gu 001; Xiangyu Luo (Sci. China Inf. Sci., 2011)

Formal modeling and synthesis of programmable logic controllers. - Rui Wang 024; Xiaoyu Song; Jianzhong Zhu; Ming Gu 001 (Comput. Ind., 2011)

Formalisation and verification of programmable logic controllers timers in Coq. - Hai Wan; Gang Chen 004; Xiaoyu Song; Ming Gu 001 (IET Softw., 2011)

Energy-Efficient Key Distribution Using Electrocardiograph Biometric Set for Secure Communications in Wireless Body Healthcare Networks. - Jinyang Shi; Kwok-Yan Lam; Ming Gu 001; Mingze Li; Siu Leung Chung (J. Medical Syst., 2011)

A novel fault diagnosis mechanism for wireless sensor networks. - Zhiyang You; Xibin Zhao; Hai Wan; William N. N. Hung; Yuke Wang; Ming Gu 001 (Math. Comput. Model., 2011)

Uncertain Model and Algorithm for Hardware/Software Partitioning. - Yu Jiang 001; Hehua Zhang; Xun Jiao; Xiaoyu Song; William N. N. Hung; Ming Gu 001; Jiaguang Sun 001 (ISVLSI, 2012)

Reliability Analysis of PLC Systems by Bayesian Network. - Hehua Zhang; Yu Jiang 001; Xun Jiao; Xiaoyu Song; William N. N. Hung; Ming Gu 001 (SERE, 2012)

Modeling and Validation of PLC-Controlled Systems: A Case Study. - Rui Wang 024; Min Zhou 001; Liangze Yin; Lianyi Zhang; Jiaguang Sun 001; Ming Gu 001; Marius Bozga (TASE, 2012)

Obtaining more Karatsuba-like formulae over the binary field. - Haining Fan; Ming Gu 001; Jiaguang Sun 001; Kwok-Yan Lam (IET Inf. Secur., 2012)

Semantic characterization of programmable logic controller programs. - Litian Xiao; Rui Wang 024; Ming Gu 001; Jiaguang Sun 001 (Math. Comput. Model., 2012)

New strategies for reliability analysis of Programmable Logic Controllers. - Hehua Zhang; Yu Jiang 001; William N. N. Hung; Guowu Yang; Ming Gu 001; Jiaguang Sun 001 (Math. Comput. Model., 2012)

Maxterm Covering for Satisfiability. - Liangze Yin; Fei He 001; William N. N. Hung; Xiaoyu Song; Ming Gu 001 (IEEE Trans. Computers, 2012)

USOR: An Unobservable Secure On-Demand Routing Protocol for Mobile Ad Hoc Networks. - Zhiguo Wan; Kui Ren 001; Ming Gu 001 (IEEE Trans. Wirel. Commun., 2012)

Sequential dependency and reliability analysis of embedded systems. - Hehua Zhang; Yu Jiang 001; Xiaoyu Song; William N. N. Hung; Ming Gu 001; Jiaguang Sun 001 (ASP-DAC, 2013)

Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems. - Hui Kong 004; Fei He 001; Xiaoyu Song; William N. N. Hung; Ming Gu 001 (CAV, 2013)

Verification and Implementation of the Protocol Standard in Train Control System. - Yu Jiang 001; Hehua Zhang; Xiaoyu Song; William N. N. Hung; Ming Gu 001; Jiaguang Sun 001 (COMPSAC, 2013)

Component-Based Modeling and Code Synthesis for Cyclic Programs. - Min Zhou 001; Hai Wan; Chen Su; Liangze Yin; Lianyi Zhang; Fei He 001; Ming Gu 001 (COMPSAC, 2013)

Seamless Privacy: Privacy-Preserving Subgraph Counting in Interactive Social Network Analysis. - Xuan Ding; Wei Wang; Meng Wan; Ming Gu 001 (CyberC, 2013)

Modeling and Verification of Component-Based Systems with Data Passing Using BIP. - Chen Su; Min Zhou 001; Liangze Yin; Hai Wan; Ming Gu 001 (ICECCS, 2013)

Reusing Search Tree for Incremental SAT Solving of Temporal Induction. - Liangze Yin; Fei He 001; Min Zhou 001; Ming Gu 001 (ICECCS, 2013)

Design and optimization of multi-clocked embedded systems using formal technique. - Yu Jiang 001; Zonghui Li; Hehua Zhang; Yangdong Deng; Xiaoyu Song; Ming Gu 001; Jiaguang Sun 001 (ESEC/SIGSOFT FSE, 2013)

System reliability calculation based on the run-time analysis of ladder program. - Yu Jiang 001; Hehua Zhang; Han Liu 010; Xiaoyu Song; William N. N. Hung; Ming Gu 001; Jiaguang Sun 001 (ESEC/SIGSOFT FSE, 2013)

Optimizing the SAT Decision Ordering of Bounded Model Checking by Structural Information. - Liangze Yin; Fei He 001; Ming Gu 001 (TASE, 2013)

The IFC-based path planning for 3D indoor spaces. - Ya-Hong Lin; Yu-Shen Liu; Ge Gao; Xiao-Guang Han; Chengyuan Lai; Ming Gu 001 (Adv. Eng. Informatics, 2013)

Formal component-based modeling and synthesis for PLC systems. - Min Zhou 001; Hai Wan; Rui Wang 024; Xiaoyu Song; Chen Su; Ming Gu 001; Jiaguang Sun 001 (Comput. Ind., 2013)

Probabilistic analysis of system outage in distributed antenna systems with composite channels. - Jie Cai; Xibin Zhao; Jin-Yuan Wang; Ming Gu 001 (EURASIP J. Wirel. Commun. Netw., 2013)

OntCheck: An Ontology-Driven Static Correctness Checking Tool for Component-Based Models. - Xi Lin; Hehua Zhang; Ming Gu 001 (J. Appl. Math., 2013)

An Effective Heuristic-Based Approach for Partitioning. - Xibin Zhao; Hehua Zhang; Yu Jiang 001; Songzheng Song; Xun Jiao; Ming Gu 001 (J. Appl. Math., 2013)

A Unified Framework for DPLL(T) + Certificates. - Min Zhou 001; Fei He 001; Bow-Yaw Wang; Ming Gu 001; Jiaguang Sun 001 (J. Appl. Math., 2013)

Bayesian-Network-Based Reliability Analysis of PLC Systems. - Yu Jiang 001; Hehua Zhang; Xiaoyu Song; Xun Jiao; William N. N. Hung; Ming Gu 001; Jiaguang Sun 001 (IEEE Trans. Ind. Electron., 2013)

Optimal robust control for generalized fuzzy dynamical systems: A novel use on fuzzy uncertainties. - Jin Huang 002; Jia-Guang Sun 001; Xibin Zhao; Ming Gu 001 (CICA, 2014)

Clause Replication and Reuse in Incremental Temporal Induction. - Liangze Yin; Fei He 001; Ming Gu 001; Jia-Guang Sun 001 (ICECCS, 2014)

Tsmart-GalsBlock: a toolkit for modeling, validation, and synthesis of multi-clocked embedded systems. - Yu Jiang 001; Hehua Zhang; Huafeng Zhang; Xinyan Zhao; Han Liu 010; Chengnian Sun; Xiaoyu Song; Ming Gu 001; Jia-Guang Sun 001 (SIGSOFT FSE, 2014)

Application-Specific Architecture Selection for Embedded Systems via Schedulability Analysis. - Han Liu 010; Hehua Zhang; Yu Jiang 001; Xiaoyu Song; Ming Gu 001; Jiaguang Sun 001 (TASE, 2014)

iDola: Bridge Modeling to Verification and Implementation of Interrupt-Driven Systems. - Han Liu 010; Hehua Zhang; Yu Jiang 001; Xiaoyu Song; Ming Gu 001; Jia-Guang Sun 001 (TASE, 2014)

A New Barrier Certificate for Safety Verification of Hybrid Systems. - Hui Kong 004; Xiaoyu Song; Dong Han; Ming Gu 001; Jiaguang Sun 001 (Comput. J., 2014)

Reliability analysis for chain topology wireless sensor networks with multiple-sending transmission scheme. - Jie Cai; Xiaoyu Song; Jin-Yuan Wang; Ming Gu 001 (EURASIP J. Wirel. Commun. Netw., 2014)

Functional Verification of High Performance Adders in COQ. - Qian Wang; Xiaoyu Song; Ming Gu 001; Jia-Guang Sun 001 (J. Appl. Math., 2014)

Modeling a Heterogeneous Embedded System in Coloured Petri Nets. - Huafeng Zhang; Hehua Zhang; Ming Gu 001; Jiaguang Sun 001 (J. Appl. Math., 2014)

Array Theory of Bounded Elements and its Applications. - Min Zhou 001; Fei He 001; Bow-Yaw Wang; Ming Gu 001; Jiaguang Sun 001 (J. Autom. Reason., 2014)

Symbolic Analysis of Programmable Logic Controllers. - Hehua Zhang; Yu Jiang 001; William N. N. Hung; Xiaoyu Song; Ming Gu 001; Jia-Guang Sun 001 (IEEE Trans. Computers, 2014)

Reliability Analysis for a Data Flow in Event-Driven Wireless Sensor Networks. - Jie Cai; Xiaoyu Song; Jin-Yuan Wang; Ming Gu 001 (Wirel. Pers. Commun., 2014)

PLC programs' checking method and strategy based on module state transfer. - Litian Xiao; Mengyuan Li; Ming Gu 001; Jiaguang Sun 001 (ICIA, 2015)

VeRV: A temporal and data-concerned verification framework for the vehicle bus systems. - Shuo Zhang; Fei He 001; Ming Gu 001 (INFOCOM, 2015)

Generalized interface automata with multicast synchronization. - Fei He 001; Xiaoyu Song; Ming Gu 001; Jiaguang Sun 001 (Frontiers Comput. Sci., 2015)

Estimating the Volume of Solution Space for Satisfiability Modulo Linear Real Arithmetic. - Min Zhou 001; Fei He 001; Xiaoyu Song; Shi He; Gangyi Chen; Ming Gu 001 (Theory Comput. Syst., 2015)

Scalable Verification of a Generic End-Around-Carry Adder for Floating-Point Units by Coq. - Qian Wang; Xiaoyu Song; William N. N. Hung; Ming Gu 001; Jiaguang Sun 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2015)

Design and Optimization of Multiclocked Embedded Systems Using Formal Techniques. - Yu Jiang 001; Hehua Zhang; Zonghui Li; Yangdong Deng; Xiaoyu Song; Ming Gu 001; Jia-Guang Sun 001 (IEEE Trans. Ind. Electron., 2015)

Design of Mixed Synchronous/Asynchronous Systems with Multiple Clocks. - Yu Jiang 001; Hehua Zhang; Huafeng Zhang; Han Liu 010; Xiaoyu Song; Ming Gu 001; Jiaguang Sun 001 (IEEE Trans. Parallel Distributed Syst., 2015)

First, Debug the Test Oracle. - Xinrui Guo; Min Zhou 001; Xiaoyu Song; Ming Gu 001; Jiaguang Sun 001 (IEEE Trans. Software Eng., 2015)

An integrated Medical CPS for early detection of paroxysmal sympathetic hyperactivity. - Zuxing Gu; Hong Song; Yu Jiang 001; Jeonghone Choi; Hongjiang He; Lui Sha; Ming Gu 001 (BIBM, 2016)

Automatic Fix for C Integer Errors by Precision Improvement. - Xi Cheng; Min Zhou 001; Xiaoyu Song; Ming Gu 001; Jiaguang Sun 001 (COMPSAC, 2016)

Improving Failure Detection by Automatically Generating Test Cases Near the Boundaries. - Min Zhou 001; Xi Cheng; Xinrui Guo; Ming Gu 001; Hongyu Zhang 002; Xiaoyu Song (COMPSAC, 2016)

Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle Bus Controller. - Yu Jiang 001; Han Liu 010; Houbing Song; Hui Kong 004; Ming Gu 001; Jiaguang Sun 001; Lui Sha (FM, 2016)

Taming Interrupts for Verifying Industrial Multifunction Vehicle Bus Controllers. - Han Liu 010; Yu Jiang 001; Huafeng Zhang; Ming Gu 001; Jiaguang Sun 001 (FM, 2016)

Automatic Integrity Checking of IFC Models relative to building Regulations. - Jianqiao Gu; Hehua Zhang; Ming Gu 001 (ICIMCS, 2016)

Verifying simulink stateflow model: timed automata approach. - Yixiao Yang; Yu Jiang 001; Ming Gu 001; Jia-Guang Sun 001 (ASE, 2016)

Model driven design of heterogeneous synchronous embedded systems. - Huafeng Zhang; Yu Jiang 001; Han Liu 010; Hehua Zhang; Ming Gu 001; Jia-Guang Sun 001 (ASE, 2016)

C Code Verification based on the Extended Labeled Transition System Model. - Dexi Wang; Chao Zhang; Guang Chen; Ming Gu 001; Jiaguang Sun 001 (D&P@MoDELS, 2016)

Tsmart-BIPEX: An Integrated Graphical Design Toolkit for Software Systems. - Huafeng Zhang; Yu Jiang 001; Han Liu 010; Ming Gu 001; Jiaguang Sun 001 (D&P@MoDELS, 2016)

From Stateflow Simulation to Verified Implementation: A Verification Approach and A Real-Time Train Controller Design. - Yu Jiang 001; Yixiao Yang; Han Liu 010; Hui Kong 004; Ming Gu 001; Jia-Guang Sun 001; Lui Sha (RTAS, 2016)

Task and Participant Scheduling of Trading Platforms in Vehicular Participatory Sensing Networks. - Heyuan Shi; Xiaoyu Song; Ming Gu 001; Jiaguang Sun 001 (Sensors, 2016)

Human experience knowledge induction based intelligent train driving. - Jin Huang 002; Fan Yang; Yangdong Deng; Xibin Zhao; Ming Gu 001 (ICIS, 2017)

A Constraint-Pattern Based Method for Reachability Determination. - Yuexing Wang; Zuxing Gu; Xi Cheng; Min Zhou 001; Xiaoyu Song; Ming Gu 001; Jiaguang Sun 001 (COMPSAC (1), 2017)

Assertion Recommendation for Formal Program Verification. - Cong Wang 020; Fei He 001; Xiaoyu Song; Yu Jiang 001; Ming Gu 001; Jiaguang Sun 001 (COMPSAC (1), 2017)

Stochastic optimization of program obfuscation. - Han Liu 010; Chengnian Sun; Zhendong Su 001; Yu Jiang 001; Ming Gu 001; Jiaguang Sun 001 (ICSE, 2017)

Vertex-Weighted Hypergraph Learning for Multi-View Object Classification. - Lifan Su; Yue Gao 002; Xibin Zhao; Hai Wan; Ming Gu 001; Jiaguang Sun 001 (IJCAI, 2017)

Handling scheduling uncertainties through traffic shaping in Time-Triggered train networks. - Qinghan Yu; Xibin Zhao; Hai Wan; Yue Gao 002; Chenyang Lu 001; Ming Gu 001 (IWQoS, 2017)

IntPTI: automatic integer error repair with proper-type inference. - Xi Cheng; Min Zhou 001; Xiaoyu Song; Ming Gu 001; Jiaguang Sun 001 (ASE, 2017)

A static analysis tool with optimizations for reachability determination. - Yuexing Wang; Min Zhou 001; Yu Jiang 001; Xiaoyu Song; Ming Gu 001; Jiaguang Sun 001 (ASE, 2017)

A language model for statements of software code. - Yixiao Yang; Yu Jiang 001; Ming Gu 001; Jiaguang Sun 001; Jian Gao 008; Han Liu 010 (ASE, 2017)

Path compression kd-trees with multi-layer parallel construction a case study on ray tracing. - Zonghui Li; Yangdong Deng; Ming Gu 001 (I3D, 2017)

Verification of Implementations of Cryptographic Hash Functions. - Dexi Wang; Yu Jiang 001; Houbing Song; Fei He 001; Ming Gu 001; Jiaguang Sun 001 (IEEE Access, 2017)

BIMTag: Concept-based automatic semantic annotation of online BIM product resources. - Ge Gao; Yu-Shen Liu; Pengpeng Lin; Meng Wang 001; Ming Gu 001; Jun-Hai Yong (Adv. Eng. Informatics, 2017)

Formal Modeling and Verification of a Rate-Monotonic Scheduling Implementation with Real-Time Maude. - Jiaxiang Liu 001; Min Zhou 001; Xiaoyu Song; Ming Gu 001; Jiaguang Sun 001 (IEEE Trans. Ind. Electron., 2017)

Data-Centered Runtime Verification of Wireless Medical Cyber-Physical System. - Yu Jiang 001; Houbing Song; Rui Wang 024; Ming Gu 001; Jiaguang Sun 001; Lui Sha (IEEE Trans. Ind. Informatics, 2017)

Enhanced Explicit Semantic Analysis for Product Model Retrieval in Construction Industry. - Han Liu 010; Yu-Shen Liu; Pieter Pauwels; Hongling Guo; Ming Gu 001 (IEEE Trans. Ind. Informatics, 2017)

Energy-Efficient Automatic Train Driving by Learning Driving Patterns. - Jin Huang 002; Yue Gao 002; Sha Lu; Xibin Zhao; Yangdong Deng; Ming Gu 001 (AAAI, 2018)

Scalable Verification Framework for C Program. - Guang Chen; Dexi Wang; Tianchi Li; Chao Zhang; Ming Gu 001; Jiaguang Sun 001 (APSEC, 2018)

Model-based adaptation to extreme physical environments: a case study on mixed-criticality industrial ethernet. - Zonghui Li; Hai Wan; Yangdong Deng; Qinghan Yu; Tianchi Li; Kang Wei; Ming Gu 001 (ICSE (Companion Volume), 2018)

Weak-assert: a weakness-oriented assertion recommendation toolkit for program analysis. - Cong Wang 020; Yu Jiang 001; Xibin Zhao; Xiaoyu Song; Ming Gu 001; Jiaguang Sun 001 (ICSE (Companion Volume), 2018)

Fast Real-Time Scheduling for Ethernet-Based Train Control Networks. - Qinghan Yu; Tian Wang; Xibin Zhao; Hai Wang; Yue Gao 002; Chenyang Lu 001; Ming Gu 001 (ISPA/IUCC/BDCloud/SocialCom/SustainCom, 2018)

Managing concurrent testing of data race with ComRaDe. - Jian Gao 008; Xin Yang; Yu Jiang 001; Han Liu 010; Weiliang Ying; Wanting Sun; Ming Gu 001 (ISSTA, 2018)

Work-in-Progress: A Flattened Priority Framework for Mixed-Criticality Real-Time Systems. - Zonghui Li; Hai Wan; Yangdong Deng; Ming Gu 001 (RTAS, 2018)

Which Defect Should Be Fixed First? Semantic Prioritization of Static Analysis Report. - Han Wang; Min Zhou 001; Xi Cheng; Guang Chen; Ming Gu 001 (SATE, 2018)

A Cyber-Physical System Framework for Early Detection of Paroxysmal Diseases. - Zuxing Gu; Yu Jiang 001; Min Zhou 001; Ming Gu 001; Xiaoyu Song; Lui Sha (IEEE Access, 2018)

Parallelizing SMT solving: Lazy decomposition and conciliation. - Xi Cheng; Min Zhou 001; Xiaoyu Song; Ming Gu 001; Jiaguang Sun 001 (Artif. Intell., 2018)

Temporal Coverage Analysis for Dynamic Verification. - Min Zhou 001; William N. N. Hung; Xiaoyu Song; Ming Gu 001; Jiaguang Sun 001 (IEEE Trans. Circuits Syst. II Express Briefs, 2018)

Constructing Cost-Aware Functional Test-Suites Using Nested Differential Evolution Algorithm. - Yuexing Wang; Min Zhou 001; Xiaoyu Song; Ming Gu 001; Jiaguang Sun 001 (IEEE Trans. Evol. Comput., 2018)

Necessity and Capability of Flow, Context, Field and Quasi Path Sensitive Points-to Analysis. - Yuexing Wang; Min Zhou 001; Ming Gu 001; Jiaguang Sun 001 (APSEC, 2019)

An Empirical Study on API-Misuse Bugs in Open-Source C Programs. - Zuxing Gu; Jiecheng Wu; Jiaxiang Liu 001; Min Zhou 001; Ming Gu 001 (COMPSAC (1), 2019)

Vetting API usages in C programs with IMChecker. - Zuxing Gu; Jiecheng Wu; Chi Li; Min Zhou 001; Yu Jiang 001; Ming Gu 001; Jiaguang Sun 001 (ICSE (Companion Volume), 2019)

Go-Sanitizer: Bug-Oriented Assertion Generation for Golang. - Cong Wang 020; Hao Sun 021; Yiwen Xu; Yu Jiang 001; Huafeng Zhang; Ming Gu 001 (ISSRE Workshops, 2019)

VBSAC: a value-based static analyzer for C. - Chi Li; Min Zhou 001; Zuxing Gu; Guang Chen; Yuexing Wang; Jiecheng Wu; Ming Gu 001 (ISSTA, 2019)

Go-clone: graph-embedding based clone detector for Golang. - Cong Wang 020; Jian Gao 008; Yu Jiang 001; Zhenchang Xing; Huafeng Zhang; Weiliang Yin; Ming Gu 001; Jiaguang Sun 001 (ISSTA, 2019)

Ares: Inferring Error Specifications through Static Analysis. - Chi Li; Min Zhou 001; Zuxing Gu; Ming Gu 001; Hongyu Zhang 002 (ASE, 2019)

TsmartGP: A Tool for Finding Memory Defects with Pointer Analysis. - Yuexing Wang; Guang Chen; Min Zhou 001; Ming Gu 001; Jiaguang Sun 001 (ASE, 2019)

Fast Low-rank Metric Learning for Large-scale and High-dimensional Data. - Han Liu 010; Zhizhong Han; Yu-Shen Liu; Ming Gu 001 (NeurIPS, 2019)

SSLDoc: Automatically Diagnosing Incorrect SSL API Usages in C Programs. - Zuxing Gu; Jiecheng Wu; Chi Li; Min Zhou 001; Ming Gu 001 (SEKE, 2019)

Dynamically Optimizing End-to-End Latency for Time-Triggered Networks. - Zonghui Li; Hai Wan; Boxu Zhao; Yangdong Deng; Ming Gu 001 (NEAT@SIGCOMM, 2019)

IMSpec: An Extensible Approach to Exploring the Incorrect Usage of APIs. - Zuxing Gu; Min Zhou 001; Jiecheng Wu; Yu Jiang 001; Jiaxiang Liu 001; Ming Gu 001 (TASE, 2019)

MVDLite: A Light-weight Representation of Model View Definition with Fast Validation for BIM Applications. - Han Liu 010; Ge Gao; Hehua Zhang; Yu-Shen Liu; Yan Song; Ming Gu 001 (CoRR, 2019)

API Misuse Detection in C Programs: Practice on SSL APIs. - Chi Li; Zuxing Gu; Min Zhou 001; Jiecheng Wu; Jiarui Zhang; Ming Gu 001 (Int. J. Softw. Eng. Knowl. Eng., 2019)

Tolerating C Integer Error via Precision Elevation. - Xi Cheng; Min Zhou 001; Xiaoyu Song; Ming Gu 001; Jiaguang Sun 001 (IEEE Trans. Computers, 2019)

Dependable Model-driven Development of CPS: From Stateflow Simulation to Verified Implementation. - Yu Jiang 001; Houbing Song; Yixiao Yang; Han Liu 010; Ming Gu 001; Yong Guan; Jiaguang Sun 001; Lui Sha (ACM Trans. Cyber Phys. Syst., 2019)

Synthesizing Fault-Tolerant Schedule for Time-Triggered Network Without Hot Backup. - Lifan Su; Hai Wan; Yufang Qin; Xibin Zhao; Yue Gao 002; Xiaoyu Song; Chenyang Lu 001; Ming Gu 001 (IEEE Trans. Ind. Electron., 2019)

An Enhanced Reconfiguration for Deterministic Transmission in Time-Triggered Networks. - Zonghui Li; Hai Wan; Zaiyu Pang; Qiubo Chen; Yangdong Deng; Xibin Zhao; Yue Gao 002; Xiaoyu Song; Ming Gu 001 (IEEE/ACM Trans. Netw., 2019)

Escape from escape analysis of Golang. - Cong Wang 020; Mingrui Zhang; Yu Jiang 001; Huafeng Zhang; Zhenchang Xing; Ming Gu 001 (ICSE (SEIP), 2020)

Adaptive Group Routing and Scheduling in Multicast Time-Sensitive Networks. - Qinghan Yu; Ming Gu 001 (IEEE Access, 2020)

Time-Triggered Switch-Memory-Switch Architecture for Time-Sensitive Networking Switches. - Zonghui Li; Hai Wan; Yangdong Deng; Xibin Zhao; Yue Gao 002; Xiaoyu Song; Ming Gu 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

Model-Based Adaptation of Mixed-Criticality Multiservice Systems for Extreme Physical Environments. - Zonghui Li; Hai Wan; Yangdong Deng; Xibin Zhao; Yue Gao 002; Xiaoyu Song; Ming Gu 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

A Flattened-Priority Framework for Mixed-Criticality Systems. - Zonghui Li; Hai Wan; Yangdong Deng; Xibin Zhao; Yue Gao 002; Ming Gu 001; Xiaoyu Song (IEEE Trans. Ind. Electron., 2020)

Online Scheduling for Dynamic VM Migration in Multicast Time-Sensitive Networks. - Qinghan Yu; Hai Wan; Xibin Zhao; Yue Gao 002; Ming Gu 001 (IEEE Trans. Ind. Informatics, 2020)

Scalable Fault Detection Based on Precise Access Path. - Chi Li; Yuexing Wang; Min Zhou 001; Ming Gu 001 (APSEC, 2021)

Sensing Error Handling Bugs in SSL Library Usages. - Chi Li; Min Zhou 001; Xinrong Han; Ming Gu 001 (TrustCom, 2021)

Knowledge Enhanced Fact Checking and Verification. - Biru Zhu; Xingyao Zhang; Ming Gu 001; Yangdong Deng (IEEE ACM Trans. Audio Speech Lang. Process., 2021)

Automatic Integer Error Repair by Proper-Type Inference. - Xi Cheng; Min Zhou 001; Xiaoyu Song; Ming Gu 001; Jiaguang Sun 001 (IEEE Trans. Dependable Secur. Comput., 2021)

A GPU Acceleration Framework for Motif and Discord Based Pattern Mining. - Biru Zhu; Youyou Jiang; Ming Gu 001; Yangdong Deng (IEEE Trans. Parallel Distributed Syst., 2021)

Pass off Fish Eyes for Pearls: Attacking Model Selection of Pre-trained Models. - Biru Zhu; Yujia Qin; Fanchao Qi; Yangdong Deng; Zhiyuan Liu 001; Maosong Sun 001; Ming Gu 001 (ACL (1), 2022)

A New Baseline of Policy Gradient for Traveling Salesman Problem. - Hua Yang; Ming Gu 001 (DSAA, 2022)

A Geometric-Relational Deep Learning Framework for BIM Object Classification. - Hairong Luo; Ge Gao; Han Huang; Ziyi Ke; Cheng Peng; Ming Gu 001 (ECCV Workshops (7), 2022)

Moderate-fitting as a Natural Backdoor Defender for Pre-trained Language Models. - Biru Zhu; Yujia Qin; Ganqu Cui; Yangyi Chen; Weilin Zhao; Chong Fu; Yangdong Deng; Zhiyuan Liu 001; Jingang Wang; Wei Wu 014; Maosong Sun 001; Ming Gu 001 (NeurIPS, 2022)

Beat LLMs at Their Own Game: Zero-Shot LLM-Generated Text Detection via Querying ChatGPT. - Biru Zhu; Lifan Yuan; Ganqu Cui; Yangyi Chen; Chong Fu; Bingxiang He; Yangdong Deng; Zhiyuan Liu 001; Maosong Sun 001; Ming Gu 001 (EMNLP, 2023)

A Parallel IFC Normalization Algorithm for Incremental Storage and Version Control. - Han Liu 010; Ge Gao; Ming Gu 001 (CoRR, 2023)

Removing Backdoors in Pre-trained Models by Regularized Continual Pre-training. - Biru Zhu; Ganqu Cui; Yangyi Chen; Yujia Qin; Lifan Yuan; Chong Fu; Yangdong Deng; Zhiyuan Liu 001; Maosong Sun 001; Ming Gu 001 (Trans. Assoc. Comput. Linguistics, 2023)

Design of multimodal hub-and-spoke transportation network for emergency relief under COVID-19 pandemic: A meta-heuristic approach. - Chi Li; Peixiu Han; Min Zhou 001; Ming Gu 001 (Appl. Soft Comput., 2023)

Modeling and validating temporal rules with semantic Petri net for digital twins. - Han Liu 010; Xiaoyu Song; Ge Gao; Hehua Zhang; Yu-Shen Liu; Ming Gu 001 (Adv. Eng. Informatics, 2023)

MVDLite: A fast validation algorithm for Model View Definition rules. - Han Liu 010; Ge Gao; Hehua Zhang; Yu-Shen Liu; Yan Song; Ming Gu 001 (Adv. Eng. Informatics, 2023)

NeuSurf: On-Surface Priors for Neural Surface Reconstruction from Sparse Input Views. - Han Huang; Yulun Wu; Junsheng Zhou; Ge Gao; Ming Gu 001; Yu-Shen Liu (AAAI, 2024)

GridFormer: Point-Grid Transformer for Surface Reconstruction. - Shengtao Li; Ge Gao; Yudong Liu; Yu-Shen Liu; Ming Gu 001 (AAAI, 2024)

Implicit Filtering for Learning Neural Signed Distance Functions from 3D Point Clouds. - Shengtao Li; Ge Gao; Yudong Liu; Ming Gu 001; Yu-Shen Liu (ECCV (6), 2024)

Chronos: Finding Timeout Bugs in Practical Distributed Systems by Deep-Priority Fuzzing with Transient Delay. - Yuanliang Chen; Fuchen Ma; Yuanhang Zhou; Ming Gu 001; Qing Liao 001; Yu Jiang 001 (SP, 2024)

FatesGS: Fast and Accurate Sparse-View Surface Reconstruction Using Gaussian Splatting with Depth-Feature Consistency. - Han Huang; Yulun Wu; Chao Deng; Ge Gao; Ming Gu 001; Yu-Shen Liu (AAAI, 2025)

Sparis: Neural Implicit Surface Reconstruction of Indoor Scenes from Sparse Views. - Yulun Wu; Han Huang; Wenyuan Zhang; Chao Deng; Ge Gao; Ming Gu 001; Yu-Shen Liu (AAAI, 2025)