Ying Shang
Orcid: 0000-0003-4575-0801
According to our database1,
Ying Shang
authored at least 45 papers
between 2004 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Int. J. Softw. Eng. Knowl. Eng., April, 2024
An Empirical Study of Integer Overflow Detection and False Positive Analysis in Smart Contracts.
Proceedings of the 2024 8th International Conference on Big Data and Internet of Things, 2024
Erinys: Efficient fuzzing by function invoke sequence generation for smart contracts.
Proceedings of the 2024 8th International Conference on Big Data and Internet of Things, 2024
2023
J. Softw. Evol. Process., June, 2023
Proceedings of the 2023 11th International Conference on Information Technology: IoT and Smart City, 2023
Proceedings of the 47th IEEE Annual Computers, Software, and Applications Conference, 2023
Template-Based and Coverage-Guided Verification Instruction Set Automatic Generation Method for DSP Chip.
Proceedings of the 32nd IEEE Asian Test Symposium, 2023
2022
Multiobjective Oriented Task Scheduling in Heterogeneous Mobile Edge Computing Networks.
IEEE Trans. Veh. Technol., 2022
Railway Intrusion Events Classification and Location Based on Deep Learning in Distributed Vibration Sensing.
Symmetry, 2022
Non-Intrusive Pipeline Flow Detection Based on Distributed Fiber Turbulent Vibration Sensing.
Sensors, 2022
Proceedings of the 95th IEEE Vehicular Technology Conference, 2022
Focus on New Test Cases in Continuous Integration Testing based on Reinforcement Learning.
Proceedings of the 22nd IEEE International Conference on Software Quality, 2022
Proceedings of the 14th International Conference on Education Technology and Computers, 2022
Research and Practice of SQL-OJ based on blockchain for the second class of database course.
Proceedings of the 14th International Conference on Education Technology and Computers, 2022
Proceedings of the 9th International Conference on Dependable Systems and Their Applications, 2022
2021
Proceedings of the Blockchain and Trustworthy Systems - Third International Conference, 2021
2020
Int. J. Softw. Eng. Knowl. Eng., 2020
Proceedings of the 32nd International Conference on Software Engineering and Knowledge Engineering, 2020
Occurrence Frequency and All Historical Failure Information Based Method for TCP in CI.
Proceedings of the ICSSP '20: International Conference on Software and System Processes, 2020
Proceedings of the 2020 International Conference on Applications and Techniques in Cyber Intelligence, 2020
2019
Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019
2018
Found. Trends Syst. Control., 2018
2017
IEEE Trans. Autom. Control., 2017
Observer-based controller for disturbance decoupling of max-plus linear systems with applications to a high throughput screening system in drug discovery.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017
2016
An integrated control strategy to solve the disturbance decoupling problem for max-plus linear systems with applications to a high throughput screening system.
Autom., 2016
Robust controllers in disturbance decoupling of uncertain max-plus linear systems: an application to a high throughput screening system for drug discovery.
Proceedings of the 13th International Workshop on Discrete Event Systems, 2016
Proceedings of the Search Based Software Engineering - 8th International Symposium, 2016
2014
An integrated control strategy in disturbance decoupling of Max-plus linear systems with applications to a high throughput screening system in drug discovery.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014
2013
Towards geometric control of max-plus linear systems with applications to queueing networks.
Int. J. Syst. Sci., 2013
Open loop controllers to solve the disturbance decoupling problem for max-plus linear systems.
Proceedings of the 12th European Control Conference, 2013
2011
Proceedings of the International Conference on Electronic and Mechanical Engineering and Information Technology, 2011
Towards geometric control of max-plus linear systems with applications to manufacturing systems.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011
2010
A Geometric Approach for Robotic Arm Kinematics with Hardware Design, Electrical Design, and Implementation.
J. Robotics, 2010
Robust invariance in uncertain discrete event systems with applications to transportation networks.
IMA J. Math. Control. Inf., 2010
Proceedings of the 10th International Workshop on Discrete Event Systems, 2010
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2010
2007
Proceedings of the 46th IEEE Conference on Decision and Control, 2007
Proceedings of the American Control Conference, 2007
2005
Proceedings of the American Control Conference, 2005
Reachability analysis for N-squared state charts over a Boolean semiring applied to a hysteretic discrete event structural control model.
Proceedings of the American Control Conference, 2005
2004
Proceedings of the 2004 American Control Conference, 2004