Complexity Analysis and DSP Implementation of the Fractional-Order Lorenz Hyperchaotic System. - Shaobo He; Kehui Sun; Huihai Wang (Entropy, 2015)

Design of Grid Multiscroll Chaotic Attractors via Transformations. - Xingxing Ai; Kehui Sun; Shaobo He; Huihai Wang (Int. J. Bifurc. Chaos, 2015)

Characteristic Analysis and DSP Realization of Fractional-Order Simplified Lorenz System Based on Adomian Decomposition Method. - Huihai Wang; Kehui Sun; Shaobo He (Int. J. Bifurc. Chaos, 2015)

SMACK software verification toolchain. - Montgomery Carter; Shaobo He; Jonathan Whitaker; Zvonimir Rakamaric; Michael Emmi (ICSE (Companion Volume), 2016)

Modified multiscale permutation entropy algorithm and its application for multiscroll chaotic systems. - Shaobo He; Kehui Sun; Huihai Wang (Complex., 2016)

Counterexample-Guided Bit-Precision Selection. - Shaobo He; Zvonimir Rakamaric (APLAS, 2017)

Verifying Rust Programs with SMACK. - Marek S. Baranowski; Shaobo He; Zvonimir Rakamaric (ATVA, 2018)

Chaos and Symbol Complexity in a Conformable Fractional-Order Memcapacitor System. - Shaobo He; Santo Banerjee; Bo Yan (Complex., 2018)

Complex Dynamics of the Fractional-Order Rössler System and Its Tracking Synchronization Control. - Huihai Wang; Shaobo He; Kehui Sun (Complex., 2018)

Multivariate Multiscale Complexity Analysis of Self-Reproducing Chaotic Systems. - Shaobo He; Chunbiao Li; Kehui Sun; Sajad Jafari (Entropy, 2018)

Verifying Relative Safety, Accuracy, and Termination for Program Approximations. - Shaobo He; Shuvendu K. Lahiri; Zvonimir Rakamaric (J. Autom. Reason., 2018)

Stochastic Local Search for Solving Floating-Point Constraints. - Shaobo He; Marek S. Baranowski; Zvonimir Rakamaric (NSV@CAV, 2019)

Dynamics and Optimization Control of a Robust Chaotic Map. - Chun-Lai Li; Kun Qian 012; Shaobo He; Hongmin Li 003; Wei Feng 011 (IEEE Access, 2019)

Dynamics and synchronization of conformable fractional-order hyperchaotic systems using the Homotopy analysis method. - Shaobo He; Kehui Sun; Huihai Wang (Commun. Nonlinear Sci. Numer. Simul., 2019)

Complex Chaotic Attractor via Fractal Transformation. - Shengqiu Dai; Kehui Sun; Shaobo He; Wei Ai (Entropy, 2019)

Parameter Identification of Fractional-Order Discrete Chaotic Systems. - Yuexi Peng; Kehui Sun; Shaobo He; Dong Peng (Entropy, 2019)

Design of a Network Permutation Entropy and Its Applications for Chaotic Time Series and EEG Signals. - Bo Yan; Shaobo He; Kehui Sun (Entropy, 2019)

分数阶统一混沌系统动力学及其复杂度分析 (Dynamics and Complexity Analysis of Fractional-order Unified Chaotic System). - Bo Yan; Shaobo He (计算机科学, 2019)

Improving Automation and Scalability of Rigorous Program Reasoning. - Shaobo He (2019)

An SMT Theory of Fixed-Point Arithmetic. - Marek S. Baranowski; Shaobo He; Mathias Lechner; Thanh Son Nguyen; Zvonimir Rakamaric (IJCAR (1), 2020)

ct-fuzz: Fuzzing for Timing Leaks. - Shaobo He; Michael Emmi; Gabriela F. Ciocarlie (ICST, 2020)

Leveraging Compiler Intermediate Representation for Multi- and Cross-Language Verification. - Jack J. Garzella; Marek S. Baranowski; Shaobo He; Zvonimir Rakamaric (VMCAI, 2020)

Complexity and Multistability in the Centrifugal Flywheel Governor System With Stochastic Noise. - Bo Yan; Shaobo He; Kehui Sun; Shaojie Wang (IEEE Access, 2020)

Multistability in a Fractional-Order Centrifugal Flywheel Governor System and Its Adaptive Control. - Bo Yan; Shaobo He; Shaojie Wang (Complex., 2020)

Synchronization of a Non-Equilibrium Four-Dimensional Chaotic System Using a Disturbance-Observer-Based Adaptive Terminal Sliding Mode Control Method. - Shaojie Wang; Amin Yousefpour; Abdullahi Yusuf; Hadi Jahanshahi; Raúl Alcaraz 001; Shaobo He; Jesús M. Muñoz-Pacheco (Entropy, 2020)

Complexity and Chimera States in a Ring-Coupled Fractional-Order Memristor Neural Network. - Shaobo He (Frontiers Appl. Math. Stat., 2020)

An Improved Return Maps Method for Parameter Estimation of Chaotic Systems. - Yuexi Peng; Kehui Sun; Shaobo He (Int. J. Bifurc. Chaos, 2020)

An improved image encryption algorithm with finite computing precision. - Chen Chen 013; Kehui Sun; Shaobo He (Signal Process., 2020)

A Multistable Chaotic Jerk System with Coexisting and Hidden Attractors: Dynamical and Complexity Analysis, FPGA-Based Realization, and Chaos Stabilization Using a Robust Controller. - Heng Chen; Shaobo He; Ana Dalia Pano-Azucena; Amin Yousefpour; Hadi Jahanshahi; Miguel Ángel López 001; Raúl Alcaraz 001 (Symmetry, 2020)

A Modified Multivariable Complexity Measure Algorithm and Its Application for Identifying Mental Arithmetic Task. - Dizhen Ma; Shaobo He; Kehui Sun (Entropy, 2021)

A Communication Scheme based on Fractional Order Chaotic Laser for Internet of Things. - N. A. A. Fataf; M. F. Abdul Rahim; Shaobo He; Santo Banerjee (Internet Things, 2021)

Complexity and Chimera States in a Network of Fractional-Order Laser Systems. - Shaobo He; Hayder Natiq; Santo Banerjee; Kehui Sun (Symmetry, 2021)

Discrete Memristor and Discrete Memristive Systems. - Shaobo He; Donglin Zhan; Huihai Wang; Kehui Sun; Yuexi Peng (Entropy, 2022)

Distributed Consensus Tracking Control of Chaotic Multi-Agent Supply Chain Network: A New Fault-Tolerant, Finite-Time, and Chatter-Free Approach. - Ziyi Liu; Hadi Jahanshahi; Christos K. Volos; Stelios D. Bekiros; Shaobo He; Madini O. Alassafi; Adil M. Ahmad (Entropy, 2022)

Chaos in a Simplest Cyclic Memristive Neural Network. - Qiang Lai; Cong Lai; Paul Didier Kamdem Kuate; Chunbiao Li; Shaobo He (Int. J. Bifurc. Chaos, 2022)

Dynamics of Fractional-Order Chaotic Rocard Relaxation Econometric System. - Zhao Yao; Kehui Sun; Shaobo He (Int. J. Bifurc. Chaos, 2022)

Data Augmentation for Small Sample Iris Image Based on a Modified Sparrow Search Algorithm. - Qi Xiong; Xinman Zhang; Shaobo He; Jun Shen 001 (Int. J. Comput. Intell. Syst., 2022)

A fully integrated chaos generator based on voltage controlled oscillator. - Zhikui Duan; Huwei Wang; Shaobo He; Shiren Li; Shiquan Yan; Xiaomeng Zhao; Xinmei Yu; Guangguang Yang; Haishu Tan (Microelectron. J., 2022)

From Memristor-Modeled Jerk System to the Nonlinear Systems with Memristor. - Xianming Wu; Shaobo He; Weijie Tan; Huihai Wang (Symmetry, 2022)

Modelling discrete time fractional Rucklidge system with complex state variables and its synchronization. - Vignesh Dhakshinamoorthy; Shaobo He; Santo Banerjee (Appl. Math. Comput., 2023)

A discrete memristive neural network and its application for character recognition. - Shaobo He; Jun Liu; Huihai Wang; Kehui Sun (Neurocomputing, 2023)

Special Issue Editorial: "Discrete and Continuous Memristive Nonlinear Systems and Symmetry". - Shaobo He (Symmetry, 2023)

Locally Active Memristor with Variable Parameters and Its Oscillation Circuit. - Haodong Li; Chun-Lai Li; Shaobo He (Int. J. Bifurc. Chaos, 2023)

Analog Circuit of a Simplified Tent Map and its Application in Sensor Position Optimization. - Shaobo He; Longxiang Fu; Yao Lu 004; Xianming Wu; Huihai Wang; Kehui Sun (IEEE Trans. Circuits Syst. II Express Briefs, 2023)

A Class of Discrete Memristor Chaotic Maps Based on the Internal Perturbation. - Worke Adugna Yihyis; Shaobo He; Zhouqing Tang; Huihai Wang (Symmetry, 2023)

The Parallel Chaotification Map and Its Application. - Wenhao Liu; Kehui Sun; Shaobo He; Huihai Wang (IEEE Trans. Circuits Syst. I Regul. Pap., 2023)

Chaos and multi-layer attractors in asymmetric neural networks coupled with discrete fractional memristor. - Shaobo He; Vignesh Dhakshinamoorthy; Lamberto Rondoni; Santo Banerjee (Neural Networks, 2023)

How We Built Cedar: A Verification-Guided Approach. - Craig Disselkoen; Aaron Eline; Shaobo He; Kyle Headley; Michael Hicks 001; Kesha Hietala; John H. Kastner; Anwar Mamat; Matt McCutchen; Neha Rungta; Bhakti Shah; Emina Torlak; et al. (SIGSOFT FSE Companion, 2024)

Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version). - Joseph W. Cutler; Craig Disselkoen; Aaron Eline; Shaobo He; Kyle Headley; Michael Hicks 001; Kesha Hietala; Eleftherios Ioannidis; John H. Kastner; Anwar Mamat; Darin McAdams; Matt McCutchen; et al. (CoRR, 2024)

Implementation of a fully integrated memristive Chua's chaotic circuit with a voltage-controlled oscillator. - Zhikui Duan; Xin Zhang; Shaobo He; Xinmei Yu; Peng Xiong; Jiahui Chen; Qiang Wang (Integr., 2024)

Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization. - Joseph W. Cutler; Craig Disselkoen; Aaron Eline; Shaobo He; Kyle Headley; Michael Hicks 001; Kesha Hietala; Eleftherios Ioannidis; John H. Kastner; Anwar Mamat; Darin McAdams; Matt McCutchen; et al. (Proc. ACM Program. Lang., 2024)

Spatiotemporal Chaos in a Sine Map Lattice With Discrete Memristor Coupling. - Shaobo He; Bo Yan; Xianming Wu; Huihai Wang; Mengjiao Wang 003; Herbert Ho-Ching Iu (IEEE Trans. Circuits Syst. I Regul. Pap., 2024)

Dynamics of the Fractional-Order Lorenz System Based on Adomian Decomposition Method and Its DSP Implementation. - Shaobo He; Kehui Sun; Huihai Wang (IEEE CAA J. Autom. Sinica, 2024)

Enhancing image security through an advanced chaotic system with free control and zigzag scrambling encryption. - Yousuf Islam; Chunbiao Li; Kehui Sun; Shaobo He (Multim. Tools Appl., 2024)

A Memristive Hénon Map Based on the State Variable Difference and Its Analog Circuit Implementation. - Longxiang Fu; Xianming Wu; Shaobo He; Huihai Wang; Kehui Sun (IEEE Trans. Ind. Electron., 2024)

SA-TPE: An ideal thumbnail-preserving encryption method based on selective area. - Yuexi Peng; Zeng Huang; Zhijun Li; Shaobo He (Expert Syst. Appl., 2025)

A fractional-order JAYA algorithm with memory effect for solving global optimization problem. - Yuexi Peng; Shiren Sun; Shaobo He; Juan Zou; Yuan Liu 026; Yizhang Xia (Expert Syst. Appl., 2025)

A Novel Dynamical System: Chaos, Hidden Dynamics, Multistability, and Applications. - Gopinath Barathi; Hayder Natiq; Shaobo He; Huihai Wang; Karthikeyan Rajagopal; Iqtadar Hussain (Int. J. Bifurc. Chaos, 2025)

What is the impact of discrete memristor on the performance of neural network: A research on discrete memristor-based BP neural network. - Yuexi Peng; Maolin Li; Zhijun Li 005; Minglin Ma; Mengjiao Wang 003; Shaobo He (Neural Networks, 2025)