Shaopeng Xing
Publications by Year
Research Areas
Formal Methods in Verification, Software Testing and Debugging Techniques, Software Reliability and Analysis Research, Aquaculture Nutrition and Growth, Robotic Path Planning Algorithms
Most-Cited Works
- → PDF: Path-Oriented, Derivative-Free Approach for Safety Falsification of Nonlinear and Nondeterministic CPS(2021)8 cited
- → Scenario-Based Online Reachability Validation for CPS Fault Prediction(2019)5 cited
- → Research on Clothing Image Classification by Convolutional Neural Networks(2018)5 cited
- → Incremental Online Verification of Dynamic Cyber-Physical Systems(2019)4 cited
- → Dietary Nanometer Selenium Enhances the Selenium Accumulation, Nutrient Composition and Antioxidant Status of Paramisgurnus dabryanus spp.(2024)3 cited
- → Approximate optimal hybrid control synthesis by classification-based derivative-free optimization(2021)2 cited
- → Combined Online Checking and Control Synthesis: A Study on a Vehicle Platoon Testbed(2021)1 cited
- → Optimization of antimicrobial conditions and isolation of antimicrobial substances from Bacillus amyloliquefaciens X8(2022)