Dongdong Gao

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 8

Top Topics

Embedded Software

Asymptotic Stability

Top Venues

Commun. Nonlinear Sci. Numer. Simul.

Publications

Daipeng Kuang, Jianli Li, Dongdong Gao
Input-to-state stability of stochastic differential systems with hybrid delay-dependent impulses. Commun. Nonlinear Sci. Numer. Simul. 128 (2024)
Junyuan Teng, Tingting Yu, Rui Chen, Dongdong Gao, Chunpeng Jia
DeepHC: Efficient Generating Tests with High Coverage for Deep Neural Networks. QRS Companion (2023)
Boxiang Wang, Rui Chen, Chao Li, Tingting Yu, Dongdong Gao, Mengfei Yang
SpecChecker-ISA: a data sharing analyzer for interrupt-driven embedded software. ISSTA (2022)
Chao Li, Rui Chen, Boxiang Wang, Tingting Yu, Dongdong Gao, Mengfei Yang
Precise and efficient atomicity violation detection for interrupt-driven programs via staged path pruning. ISSTA (2022)
Dongdong Gao, Jianli Li
Global Asymptotic Stability of Periodic Solutions for Neutral-Type BAM Neural Networks with Delays. Neural Process. Lett. 51 (1) (2020)
Rui Chen, Tingting Yu, Yunsong Jiang, Chunpeng Jia, Chao Li, Dongdong Gao, Mengfei Yang
Detecting Out-of-Bounds Array Access Errors in Aerospace Embedded Software. DSA (2020)
Xin Li, Dongdong Gao, Haijiang Hao
Method for Recognition Pneumonia Based on Convolutional Neural Network. ICPCSEE (2) (2019)
Xinsheng Zhang, Teng Gao, Dongdong Gao
A new deep spatial transformer convolutional neural network for image saliency detection. Des. Autom. Embed. Syst. 22 (3) (2018)
Dongdong Gao, Guanghong Gong, Jiangyun Wang, Liang Han
Multi-resolution path planning for Miniature Air Vehicles with wind effect. INDIN (2012)