Shaobo He

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 53

Top Topics

Image Encryption

Complexity Analysis

Top Venues

Int. J. Bifurc. Chaos

Publications

Craig Disselkoen, Aaron Eline, Shaobo He, Kyle Headley, Michael Hicks, Kesha Hietala, John H. Kastner, Anwar Mamat, Matt McCutchen, Neha Rungta, Bhakti Shah, Emina Torlak, Andrew Wells
How We Built Cedar: A Verification-Guided Approach. SIGSOFT FSE Companion (2024)
Craig Disselkoen, Aaron Eline, Shaobo He, Kyle Headley, Michael Hicks, Kesha Hietala, John H. Kastner, Anwar Mamat, Matt McCutchen, Neha Rungta, Bhakti Shah, Emina Torlak, Andrew Wells
How We Built Cedar: A Verification-Guided Approach. CoRR (2024)
Joseph W. Cutler, Craig Disselkoen, Aaron Eline, Shaobo He, Kyle Headley, Michael Hicks, Kesha Hietala, Eleftherios Ioannidis, John H. Kastner, Anwar Mamat, Darin McAdams, Matt McCutchen, Neha Rungta, Emina Torlak, Andrew Wells
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version). CoRR (2024)
Yousuf Islam, Chunbiao Li, Kehui Sun, Shaobo He
Enhancing image security through an advanced chaotic system with free control and zigzag scrambling encryption. Multim. Tools Appl. 83 (26) (2024)
Shaobo He, Bo Yan, Xianming Wu, Huihai Wang, Mengjiao Wang, Herbert Ho-Ching Iu
Spatiotemporal Chaos in a Sine Map Lattice With Discrete Memristor Coupling. IEEE Trans. Circuits Syst. I Regul. Pap. 71 (3) (2024)
Shaobo He, Kehui Sun, Huihai Wang
Dynamics of the Fractional-Order Lorenz System Based on Adomian Decomposition Method and Its DSP Implementation. IEEE CAA J. Autom. Sinica 11 (5) (2024)
Joseph W. Cutler, Craig Disselkoen, Aaron Eline, Shaobo He, Kyle Headley, Michael Hicks, Kesha Hietala, Eleftherios Ioannidis, John H. Kastner, Anwar Mamat, Darin McAdams, Matt McCutchen, Neha Rungta, Emina Torlak, Andrew Wells
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Longxiang Fu, Xianming Wu, Shaobo He, Huihai Wang, Kehui Sun
A Memristive Hénon Map Based on the State Variable Difference and Its Analog Circuit Implementation. IEEE Trans. Ind. Electron. 71 (8) (2024)
Shaobo He, Jun Liu, Huihai Wang, Kehui Sun
A discrete memristive neural network and its application for character recognition. Neurocomputing 523 (2023)
Worke Adugna Yihyis, Shaobo He, Zhouqing Tang, Huihai Wang
A Class of Discrete Memristor Chaotic Maps Based on the Internal Perturbation. Symmetry 15 (8) (2023)
Haodong Li, Chun-Lai Li, Shaobo He
Locally Active Memristor with Variable Parameters and Its Oscillation Circuit. Int. J. Bifurc. Chaos 33 (3) (2023)
Wenhao Liu, Kehui Sun, Shaobo He, Huihai Wang
The Parallel Chaotification Map and Its Application. IEEE Trans. Circuits Syst. I Regul. Pap. 70 (9) (2023)
Shaobo He
Special Issue Editorial: "Discrete and Continuous Memristive Nonlinear Systems and Symmetry". Symmetry 15 (1) (2023)
Shaobo He, Longxiang Fu, Yao Lu, Xianming Wu, Huihai Wang, Kehui Sun
Analog Circuit of a Simplified Tent Map and its Application in Sensor Position Optimization. IEEE Trans. Circuits Syst. II Express Briefs 70 (3) (2023)
Shaobo He, Vignesh Dhakshinamoorthy, Lamberto Rondoni, Santo Banerjee
Chaos and multi-layer attractors in asymmetric neural networks coupled with discrete fractional memristor. Neural Networks 167 (2023)
Vignesh Dhakshinamoorthy, Shaobo He, Santo Banerjee
Modelling discrete time fractional Rucklidge system with complex state variables and its synchronization. Appl. Math. Comput. 455 (2023)
Zhao Yao, Kehui Sun, Shaobo He
Dynamics of Fractional-Order Chaotic Rocard Relaxation Econometric System. Int. J. Bifurc. Chaos 32 (13) (2022)
Ziyi Liu, Hadi Jahanshahi, Christos K. Volos, Stelios D. Bekiros, Shaobo He, Madini O. Alassafi, Adil M. Ahmad
Distributed Consensus Tracking Control of Chaotic Multi-Agent Supply Chain Network: A New Fault-Tolerant, Finite-Time, and Chatter-Free Approach. Entropy 24 (1) (2022)
Qi Xiong, Xinman Zhang, Shaobo He, Jun Shen
Data Augmentation for Small Sample Iris Image Based on a Modified Sparrow Search Algorithm. Int. J. Comput. Intell. Syst. 15 (1) (2022)
Shaobo He, Donglin Zhan, Huihai Wang, Kehui Sun, Yuexi Peng
Discrete Memristor and Discrete Memristive Systems. Entropy 24 (6) (2022)
Xianming Wu, Shaobo He, Weijie Tan, Huihai Wang
From Memristor-Modeled Jerk System to the Nonlinear Systems with Memristor. Symmetry 14 (4) (2022)
Zhikui Duan, Huwei Wang, Shaobo He, Shiren Li, Shiquan Yan, Xiaomeng Zhao, Xinmei Yu, Guangguang Yang, Haishu Tan
A fully integrated chaos generator based on voltage controlled oscillator. Microelectron. J. 126 (2022)
Qiang Lai, Cong Lai, Paul Didier Kamdem Kuate, Chunbiao Li, Shaobo He
Chaos in a Simplest Cyclic Memristive Neural Network. Int. J. Bifurc. Chaos 32 (3) (2022)
Dizhen Ma, Shaobo He, Kehui Sun
A Modified Multivariable Complexity Measure Algorithm and Its Application for Identifying Mental Arithmetic Task. Entropy 23 (8) (2021)
N. A. A. Fataf, M. F. Abdul Rahim, Shaobo He, Santo Banerjee
A Communication Scheme based on Fractional Order Chaotic Laser for Internet of Things. Internet Things 15 (2021)
Shaobo He, Hayder Natiq, Santo Banerjee, Kehui Sun
Complexity and Chimera States in a Network of Fractional-Order Laser Systems. Symmetry 13 (2) (2021)
Marek S. Baranowski, Shaobo He, Mathias Lechner, Thanh Son Nguyen, Zvonimir Rakamaric
An SMT Theory of Fixed-Point Arithmetic. IJCAR (1) (2020)
Shaojie Wang, Amin Yousefpour, Abdullahi Yusuf, Hadi Jahanshahi, Raúl Alcaraz, Shaobo He, Jesús M. Muñoz-Pacheco
Synchronization of a Non-Equilibrium Four-Dimensional Chaotic System Using a Disturbance-Observer-Based Adaptive Terminal Sliding Mode Control Method. Entropy 22 (3) (2020)
Bo Yan, Shaobo He, Kehui Sun, Shaojie Wang
Complexity and Multistability in the Centrifugal Flywheel Governor System With Stochastic Noise. IEEE Access 8 (2020)
Yuexi Peng, Kehui Sun, Shaobo He
An Improved Return Maps Method for Parameter Estimation of Chaotic Systems. Int. J. Bifurc. Chaos 30 (4) (2020)
Bo Yan, Shaobo He, Shaojie Wang
Multistability in a Fractional-Order Centrifugal Flywheel Governor System and Its Adaptive Control. Complex. 2020 (2020)
Shaobo He, Michael Emmi, Gabriela F. Ciocarlie
ct-fuzz: Fuzzing for Timing Leaks. ICST (2020)
Shaobo He
Complexity and Chimera States in a Ring-Coupled Fractional-Order Memristor Neural Network. Frontiers Appl. Math. Stat. 6 (2020)
Jack J. Garzella, Marek S. Baranowski, Shaobo He, Zvonimir Rakamaric
Leveraging Compiler Intermediate Representation for Multi- and Cross-Language Verification. VMCAI (2020)
Heng Chen, Shaobo He, Ana Dalia Pano-Azucena, Amin Yousefpour, Hadi Jahanshahi, Miguel Ángel López, Raúl Alcaraz
A Multistable Chaotic Jerk System with Coexisting and Hidden Attractors: Dynamical and Complexity Analysis, FPGA-Based Realization, and Chaos Stabilization Using a Robust Controller. Symmetry 12 (4) (2020)
Chen Chen, Kehui Sun, Shaobo He
An improved image encryption algorithm with finite computing precision. Signal Process. 168 (2020)
Chun-Lai Li, Kun Qian, Shaobo He, Hongmin Li, Wei Feng
Dynamics and Optimization Control of a Robust Chaotic Map. IEEE Access 7 (2019)
Yuexi Peng, Kehui Sun, Shaobo He, Dong Peng
Parameter Identification of Fractional-Order Discrete Chaotic Systems. Entropy 21 (1) (2019)
Bo Yan, Shaobo He, Kehui Sun
Design of a Network Permutation Entropy and Its Applications for Chaotic Time Series and EEG Signals. Entropy 21 (9) (2019)
Shaobo He, Michael Emmi, Gabriela F. Ciocarlie
ct-fuzz: Fuzzing for Timing Leaks. CoRR (2019)
Bo Yan, Shaobo He
分数阶统一混沌系统动力学及其复杂度分析 (Dynamics and Complexity Analysis of Fractional-order Unified Chaotic System). 计算机科学 46 (11A) (2019)
Shengqiu Dai, Kehui Sun, Shaobo He, Wei Ai
Complex Chaotic Attractor via Fractal Transformation. Entropy 21 (11) (2019)
Shaobo He, Marek S. Baranowski, Zvonimir Rakamaric
Stochastic Local Search for Solving Floating-Point Constraints. NSV@CAV (2019)
Shaobo He, Kehui Sun, Huihai Wang
Dynamics and synchronization of conformable fractional-order hyperchaotic systems using the Homotopy analysis method. Commun. Nonlinear Sci. Numer. Simul. 73 (2019)
Shaobo He, Santo Banerjee, Bo Yan
Chaos and Symbol Complexity in a Conformable Fractional-Order Memcapacitor System. Complex. 2018 (2018)
Shaobo He, Shuvendu K. Lahiri, Zvonimir Rakamaric
Verifying Relative Safety, Accuracy, and Termination for Program Approximations. J. Autom. Reason. 60 (1) (2018)
Shaobo He, Chunbiao Li, Kehui Sun, Sajad Jafari
Multivariate Multiscale Complexity Analysis of Self-Reproducing Chaotic Systems. Entropy 20 (8) (2018)
Marek S. Baranowski, Shaobo He, Zvonimir Rakamaric
Verifying Rust Programs with SMACK. ATVA (2018)
Huihai Wang, Shaobo He, Kehui Sun
Complex Dynamics of the Fractional-Order Rössler System and Its Tracking Synchronization Control. Complex. 2018 (2018)
Shaobo He, Zvonimir Rakamaric
Counterexample-Guided Bit-Precision Selection. APLAS (2017)
Shaobo He, Shuvendu K. Lahiri, Zvonimir Rakamaric
Verifying Relative Safety, Accuracy, and Termination for Program Approximations. NFM (2016)
Shaobo He, Kehui Sun, Huihai Wang
Modified multiscale permutation entropy algorithm and its application for multiscroll chaotic systems. Complex. 21 (5) (2016)
Montgomery Carter, Shaobo He, Jonathan Whitaker, Zvonimir Rakamaric, Michael Emmi
SMACK software verification toolchain. ICSE (Companion Volume) (2016)
Shaobo He, Kehui Sun, Huihai Wang
Complexity Analysis and DSP Implementation of the Fractional-Order Lorenz Hyperchaotic System. Entropy 17 (12) (2015)
Huihai Wang, Kehui Sun, Shaobo He
Characteristic Analysis and DSP Realization of Fractional-Order Simplified Lorenz System Based on Adomian Decomposition Method. Int. J. Bifurc. Chaos 25 (6) (2015)
Xingxing Ai, Kehui Sun, Shaobo He, Huihai Wang
Design of Grid Multiscroll Chaotic Attractors via Transformations. Int. J. Bifurc. Chaos 25 (10) (2015)