Yong Li
Orcid: 0000-0002-7301-9234Affiliations:
- Chinese Academy of Sciences, Science, Institute of Software, State Key Laboratory of Computer Science, Beijing, China
According to our database1,
Yong Li
authored at least 37 papers
between 2015 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Singly exponential translation of alternating weak Büchi automata to unambiguous Büchi automata.
Theor. Comput. Sci., 2024
2023
Inf. Process. Lett., 2023
CoRR, 2023
CoRR, 2023
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023
A Novel Family of Finite Automata for Recognizing and Learning ømega-Regular Languages.
Proceedings of the Automated Technology for Verification and Analysis, 2023
Proceedings of the Automated Technology for Verification and Analysis, 2023
2022
Artifact for the CAV'22 paper "Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition".
Dataset, May, 2022
Artifact for the CAV'22 paper "Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition".
Dataset, May, 2022
Proceedings of the Verified Software. Theories, Tools and Experiments, 2022
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2022
CHA: Supporting SVA-Like Assertions in Formal Verification of Chisel Programs (Tool Paper).
Proceedings of the Software Engineering and Formal Methods - 20th International Conference, 2022
Proceedings of the Computer Aided Verification - 34th International Conference, 2022
Proceedings of the Principles of Systems Design, 2022
2021
A novel learning algorithm for Büchi automata based on family of DFAs and classification trees.
Inf. Comput., 2021
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021
Proceedings of the Formal Methods - 24th International Symposium, 2021
2020
Proceedings of the Proceedings 11th International Symposium on Games, 2020
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2020
Proceedings of the Automated Technology for Verification and Analysis, 2020
Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020
2019
A Noise-Sensitivity-Analysis-Based Test Prioritization Technique for Deep Neural Networks.
CoRR, 2019
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
Proceedings of the Formal Methods and Software Engineering, 2019
2018
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018
Ultimate Automizer and the Search for Perfect Interpolants - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018
Proceedings of the Engineering Trustworthy Software Systems - 4th International School, 2018
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018
2016
Proceedings of the 23rd International Symposium on Temporal Representation and Reasoning, 2016
An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time Properties.
Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016
2015
Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015