Li Huang
Affiliations:- Sun Yat-Sen University, School of Data and Computer Science, Guangzhou, China
According to our database1,
Li Huang
authored at least 15 papers
between 2017 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2019
CoRR, 2019
CoRR, 2019
Work-in-Progress: Formal Analysis of Hybrid-Dynamic Timing Behaviors in Cyber-Physical Systems.
Proceedings of the IEEE Real-Time Systems Symposium, 2019
Tool-Supported Analysis of Dynamic and Stochastic Behaviors in Cyber-Physical Systems.
Proceedings of the 19th IEEE International Conference on Software Quality, 2019
Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019
Formal Verification of Safety & Security Related Timing Constraints for a Cooperative Automotive System.
Proceedings of the Fundamental Approaches to Software Engineering, 2019
2018
Formal Specification & Analysis of Autonomous Systems in PrCCSL/Simulink Design Verifier.
CoRR, 2018
CoRR, 2018
Probabilistic Analysis of Timing Constraints in Autonomous Automotive Systems Using Simulink Design Verifier.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2018
Formal verification of energy and timed requirements for a cooperative automotive system.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018
Probabilistic Verification of Timing Constraints in Automotive Systems Using UPPAAL-SMC.
Proceedings of the Integrated Formal Methods - 14th International Conference, 2018
2017
Model-Based Analysis of Timing and Energy Constraints in an Autonomous Vehicle System.
Proceedings of the 2017 IEEE International Conference on Software Quality, 2017
Proceedings of the 2017 IEEE International Conference on Software Quality, 2017