| 2026 | FASE | LusGen: Leveraging LLMs for Safety-Critical Lustre Design and Requirements Traceability. | Yili Jiang, Zhuoran Yan, Ning Ge, Yuan Wang, Jiahao Weng, Chunming Hu |
| 2025 | APSEC | Constructing and Evaluating Domain-Specific Synthetic QA Datasets for Airborne Software Engineering: An LLM-Based Framework in Practice. | Xiyue Ruan, Zheng Xu, Yifan Xu, Yunduo Wang, Lindong Wang, Minzhe Li, Ning Ge |
| 2025 | ICLR | Learning Splitting Heuristics in Divide-and-Conquer SAT Solvers with Reinforcement Learning. | Shumao Zhai, Ning Ge |
| 2025 | VTC | Satellite Beam Tracking Method Empowered by Dual Codebook Framework. | Shuahang Zhao, Ning Ge, Linling Kuang, Jianhua Lu |
| 2025 | VTC | Outage-Aware Relay Node Placement with Directional Antennas for Wireless Sensor Networks. | Peiyang Zhao, Zihao Xiang, Ning Ge |
| 2024 | ICTAC | Formal Foundations for Efficient Simulation of MOM Systems: The Refinement Calculus for Object-Oriented Event-Graphs. | Sini Chen, Huibiao Zhu, Ran Li, Lili Xiao, Jiapeng Wang, Ning Ge, Xinbin Cao |
| 2024 | ISSRE | A Security Verification Framework for the LoRaWAN Protocol with Application in the Manufacturing Industry. | Wenting Dong, Huibiao Zhu, Sini Chen, Ning Ge |
| 2024 | VTC | Joint Communication and Computing Resource Allocation for MEC-Empowered Control-Oriented UAV Systems. | Daohong Shen, Chengleyang Lei, Wei Feng, Yunfei Chen, Jinxia Cheng, Ning Ge |
| 2023 | APCC | Sensing-Communication-Computing-Control Closed-Loop Optimization for Coordinated UAV-Robot Systems. | Xinran Fang, Wei Feng, Yunfei Chen, Yanmin Wang, Ning Ge |
| 2023 | ICECCS | AutoMTLSpec: Learning to Generate MTL Specifications from Natural Language Contracts. | Ning Ge, Jinwen Yang, Tianyu Yu, Wei Liu |
| 2023 | ICSE | HOME: Heard-Of based Formal Modeling and Verification Environment for Consensus Protocols. | Shumao Zhai, Xiaozhou Li, Ning Ge |
| 2022 | ICASSP | Category-Adaptive Domain Adaptation for Semantic Segmentation. | Zhiming Wang, Yantian Luo, Danlan Huang, Ning Ge, Jianhua Lu |
| 2022 | ISSRE | MC-FLoc: Learning from Traces to Locate Fault in Petri Net Model Checking. | Ning Ge, Yuchen Liu |
| 2022 | MODELS | Towards the practical adoption of LIDL: a toolchain for modeling human-machine interface software interactions. | Ning Ge, Yunduo Wang, Yuan Wang, Yong Wang |
| 2021 | GLOBECOM | Joint Power and Channel Allocation for Safeguarding Cognitive Satellite-UAV Networks. | Chengleyang Lei, Wei Feng, Yunfei Chen, Ning Ge |
| 2021 | GLOBECOM | User Fairness Optimization for Multi-UAV-Aided NOMA Networks: A Location-Aware Perspective. | Yueshan Lin, Wei Feng, Jue Wang, Shi Jin, Ning Ge |
| 2021 | GLOBECOM | Deep Learning Based Device Classification Method for Safeguarding Internet of Things. | Yantian Luo, Xu Chen, Ning Ge, Jianhua Lu |
| 2021 | GLOBECOM | Deformable Geometry based Semantic Reconstruction from Scene Graphs. | Zhiming Wang, Yuxiao Li, Danlan Huang, Yantian Luo, Ning Ge, Jianhua Lu |
| 2021 | ICIP | Eeg Based Visual Classification With Multi-Feature Joint Learning. | Xin Ma, Yiping Duan, Shuzhan Hu, Xiaoming Tao, Ning Ge |
| 2020 | GLOBECOM | Preventing DRDoS Attacks in 5G Networks: a New Source IP Address Validation Approach. | Xu Chen, Wei Feng, Yinglun Ma, Ning Ge, Xianbin Wang |
| 2020 | GLOBECOM | Deep Neural Network-Based Symbol Detection for Highly Dynamic Channels. | Xuantao Lyu, Wei Feng, Ning Ge |
| 2019 | GLOBECOM | Power Allocation for UAV Swarm-Enabled Secure Networks Using Large-Scale CSI. | Xuanxuan Wang, Wei Feng, Yunfei Chen, Ning Ge |
| 2019 | IWCMC | Communication Experiments and Analysis Based on the Plasma Sheath Channel Simulation System. | Yawei Hu, Ning Ge |
| 2018 | ISCAS | Large Memristor Crossbars for Analog Computing. | Can Li, Yunning Li, Hao Jiang, Wenhao Song, Peng Lin, Zhongrui Wang, J. Joshua Yang, Qiangfei Xia, Miao Hu, Eric Montgomery, Jiaming Zhang, Noraica Dvila, Catherine E. Graves, Zhiyong Li, John Paul Strachan, R. Stanley Williams, Ning Ge, Mark Barnell, Qing Wu |
| 2018 | VTC | Sum Rate Maximization for Mobile UAV-Aided Internet of Things Communications System. | Xuanxuan Wang, Wei Feng, Yunfei Chen, Ning Ge |
| 2018 | SEKE | Schedulability Analysis of Real-time Tasks with Precedence Constraints. | Rongfei Xu, Li Zhang, Ning Ge, Xavier Blanc |
| 2018 | SEKE | Timing Analysis for Microkernel-based Real-Time Embedded System. | Rongfei Xu, Li Zhang, Ning Ge, Jing Jiang |
| 2017 | APCC | Analysis of plasma sheath channel characteristics based on the shock tube experiment. | Xuantao Lyu, Wei Feng, Ning Ge |
| 2017 | APCC | Maximization of link capacity by joint power and spectrum allocation for smart satellite transponder. | Haitao Wang, Zhihui Liu, Zijing Cheng, Ye Miao, Wei Feng, Ning Ge |
| 2017 | APNOMS | Adaptive shipborne base station sleeping control for dynamic broadband maritime communications. | Ailing Xiao, Ning Ge, Liuguo Yin, Chuan'ao Jiang, Shaohua Zhao |
| 2017 | APSEC | Framework Information Based Java Software Architecture Recovery. | Xiaocong Li, Li Zhang, Ning Ge |
| 2017 | VTC | A Voyage-Based Cooperative Resource Allocation Scheme in Maritime Broadband Access Network. | Ailing Xiao, Ning Ge, Liuguo Yin, Chuan'ao Jiang |
| 2017 | VTC | Achieving Massive MIMO Gains in the FDD System for 5G: An Environment-Aware Perspective. | Yingjie Zhang, Wei Feng, Yunfei Chen, Ning Ge |
| 2017 | TASE | Formal development process of safety-critical embedded human machine interface systems. | Ning Ge, Arnaud Dieumegard, Eric Jenn, Bruno d'Ausbourg, Yamine At Ameur |
| 2017 | TASE | Formal verification of user-level real-time property patterns. | Ning Ge, Marc Pantel, Silvano Dal-Zilio |
| 2016 | DAC | Dot-product engine for neuromorphic computing: programming 1T1M crossbar to accelerate matrix-vector multiplication. | Miao Hu, John Paul Strachan, Zhiyong Li, Emmanuelle M. Grafals, Noraica Davila, Catherine Graves, Sity Lam, Ning Ge, Jianhua Joshua Yang, R. Stanley Williams |
| 2016 | DATE | A holistic tri-region MLC STT-RAM design with combined performance, energy, and reliability optimizations. | Wujie Wen, Mengjie Mao, Hai Li, Yiran Chen, Yukui Pei, Ning Ge |
| 2016 | FMICS | Formal Verification of a Rover Anti-collision System. | Ning Ge, Eric Jenn, Nicolas Breton, Yoann Fonteneau |
| 2016 | ICASSP | Distributionally robust chance-constrained minimum variance beamforming. | Xiao Zhang, Qiang Feng, Ning Ge, Jianhua Lu |
| 2016 | ICIP | Mouse calibration aided real-time gaze estimation based on boost Gaussian Bayesian learning. | Nanyang Ye, Xiaoming Tao, Linhao Dong, Ning Ge |
| 2016 | NSDI | Diamond: Nesting the Data Center Network with Wireless Rings in 3D Space. | Yong Cui, Shihan Xiao, Xin Wang, Zhenjie Yang, Chao Zhu, Xiangyang Li, Liu Yang, Ning Ge |
| 2016 | VTC | Area-Efficient Fault-Tolerant Design for Low-Density Parity-Check Decoders. | Bohua Li, Yukui Pei, Ning Ge |
| 2016 | VTC | Quantization and Entropy Coding Scheme for Dictionary Learning Based Image Compression. | Juan Wang, Xiaoming Tao, Xijia Liu, Ning Ge, Jianhua Lu |
| 2015 | GLOBECOM | Dynamic-Cell-Based Macro Coordination for Massively Distributed MIMO Systems. | Wei Feng, Feifei Gao, Rui Shi, Ning Ge, Jianhua Lu |
| 2015 | GLOBECOM | Physical Layer Network Coding Aided Two-Way Device-to-Device Communication Underlaying Cellular Networks. | Yulei Zhao, Yong Li, Ning Ge |
| 2015 | ICASSP | Robust minimum variance beamforming under distributional uncertainty. | Xiao Zhang, Yang Li, Ning Ge, Jianhua Lu |
| 2015 | ICIG | A New Radiation Correction Method for Remote Sensing Images Based on Change Detection. | Juan Wang, Xijia Liu, Xiaoming Tao, Ning Ge |
| 2015 | PIMRC | Position-assisted interference coordination for integrated terrestrial-satellite networks. | Xiangming Zhu, Rui Shi, Wei Feng, Ning Ge, Jianhua Lu |
| 2015 | VTC | Remote-Sensing Image Compression Using Priori-Information and Feature Registration. | Xijia Liu, Xiaoming Tao, Ning Ge |
| 2015 | VTC | An On-Line Decoding Algorithm for 3GPP MBMS Raptor Codes. | Yanling Xing, Ning Ge |
| 2015 | VTC | Efficient Multi-Cell Clustering for Coordinated Multi-Point Transmission with Blossom Tree Algorithm. | Nanyang Ye, Linhao Dong, Xiaoming Tao, Ning Ge |
| 2014 | GLOBECOM | Compress-and-forward receiver cooperation for virtual MIMO with finite-alphabet modulation. | Hongliang Mao, Wei Feng, Ning Ge |
| 2014 | ISCAS | New materials for memristive switching. | Byung Joon Choi, Ning Ge, J. Joshua Yang, Min-Xian Zhang, R. Stanley Williams, Kate J. Norris, Nobuhiko P. Kobayashi |
| 2014 | MEDI | Automated Failure Analysis in Model Checking Based on Data Mining. | Ning Ge, Marc Pantel, Xavier Crgut |
| 2014 | WCNC | Iterative soft QRD-M detection and decoding for single carrier block transmission systems. | Si Feng, Hongliang Mao, Wei Feng, Ning Ge, Jianhua Lu |
| 2013 | APCC | A fast convergence and area-efficient decoder for quasi-cyclic low-density parity-check codes. | Zhibin Luan, Yukui Pei, Ning Ge |
| 2013 | APCC | Error analysis and experimental study on indoor UWB TDoA localization with reference tag. | Tiandong Wang, Xi Chen, Ning Ge, Yukui Pei |
| 2013 | GLOBECOM | Capacity gain from receiver cooperation for MIMO broadcast channels. | Hongliang Mao, Wei Feng, Yukui Pei, Ning Ge |
| 2013 | GLOBECOM | SIC based soft QRD detection for coded single carrier block transmission with unique word. | Hongliang Mao, Wei Feng, Yukui Pei, Ning Ge |
| 2013 | GLOBECOM | Multipath grouping for millimeter-wave communications. | Zhenyu Xiao, Xiang-Gen Xia, Depeng Jin, Ning Ge |
| 2013 | VTC | Information Theory Analysis of Blind Detection for PCMA Satellite Communication Systems. | Xijia Liu, Xiaoming Tao, Xiang Chen, Ning Ge |
| 2013 | WCNC | GF(q) LDPC coded spread dimension scheme for anti-jamming communications. | Haiyang Hu, Yukui Pei, Ning Ge |
| 2012 | ISoLA | Formal Specification and Verification of Task Time Constraints for Real-Time Systems. | Ning Ge, Marc Pantel, Xavier Crgut |
| 2012 | VTC | Iterative Block Decision Feedback Equalizer for Time-Frequency Interleave Diversity Scheme. | Hongliang Mao, Yukui Pei, Ning Ge |
| 2011 | IWCMC | UWB-based Wireless Body Area Networks channel modeling and performance evaluation. | Xiyu Lu, Xinlei Chen, Guang Sun, Depeng Jin, Ning Ge, Lieguang Zeng |
| 2010 | DDECS | A 3-5GHz UWB CMOS receiver with digital control technique. | Bo Han, Mengmeng Liu, Ning Ge |
| 2010 | GLOBECOM | Non-NCO Periodical-Pilot-Assisted Tracking Method for Practical High-Rate DS-UWB Systems. | Zhenyu Xiao, Jiaqi Zhang, Depeng Jin, Ning Ge, Lieguang Zeng |
| 2010 | VTC | Analysis of Multipath Interference of SRAKE Receivers in UWB Systems. | Jiaqi Zhang, Zhenyu Xiao, Ning Ge |
| 2003 | PIMRC | An efficient approach for the selection of priority control parameters in adaptive proportional delay differentiated services. | Chongxi Feng, Pingyi Fan, Yichao Wang, Ning Ge |