Qin Li
Orcid: 0000-0001-7476-4079Affiliations:
- East China Normal University, Shanghai Key Laboratory of Trustworthy Computing, China
- University of Queensland, School of Information Technology and Electrical Engineering, Australia (former)
According to our database1,
Qin Li
authored at least 55 papers
between 2007 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
Automated Test Cases Generator for IEC 61131-3 Structured Text Based Dynamic Symbolic Execution.
IEEE Trans. Computers, April, 2024
GreedW: A Flexible and Efficient Decentralized Framework for Distributed Machine Learning.
IEEE Trans. Computers, March, 2024
2023
A Hierarchical Spatial Logic for Knowledge Sharing and Fusion in Intelligent Connected Vehicle Cooperation.
Proceedings of the Theoretical Aspects of Software Engineering, 2023
2022
A refinement development approach for enhancing the safety of PLC programs with Event-B.
Sci. Comput. Program., 2022
Sci. Comput. Program., 2022
Selected papers from the 14th international symposium on Theoretical Aspects of Software Engineering.
Sci. Comput. Program., 2022
A Model Checking Based Approach to Detect Safety-Critical Adversarial Examples on Autonomous Driving Systems.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022
2021
Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021
Proceedings of the Knowledge Science, Engineering and Management, 2021
2020
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020
Divideup: A Generic Improvement Approach for Supervised Learning Using Dataset Partition with Finer Semantical Information.
Proceedings of the 2020 IEEE International Conference on Systems, Man, and Cybernetics, 2020
2019
ACM Trans. Softw. Eng. Methodol., 2019
J. Exp. Theor. Artif. Intell., 2019
A Scenario-Based Approach for Formal Modelling and Verification of Safety Properties in Automated Driving.
IEEE Access, 2019
A Quantitative Safety Verification Approach for the Decision-making Process of Autonomous Driving.
Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019
2018
A new roadmap for linking theories of programming and its applications on GCL and CSP.
Sci. Comput. Program., 2018
2017
Formal Aspects Comput., 2017
A bounded multi-dimensional modal logic for autonomous cars based on local traffic and estimation.
Proceedings of the 11th International Symposium on Theoretical Aspects of Software Engineering, 2017
Proceedings of the Concurrency, Security, and Puzzles, 2017
2016
2015
ACM Trans. Embed. Comput. Syst., 2015
Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015
A Macro-Level Model for Investigating the E ect of Directional Bias on Network Coverage.
Proceedings of the 38th Australasian Computer Science Conference, 2015
2014
Innov. Syst. Softw. Eng., 2014
IEICE Trans. Inf. Syst., 2014
Frontiers Comput. Sci., 2014
A macro-level model for investigating the effect of directional bias on network coverage.
CoRR, 2014
Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014
Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014
Proceedings of the Bio-Inspired Computing - Theories and Applications, 2014
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014
2013
Proceedings of the Formal Methods: Foundations and Applications - 16th Brazilian Symposium, 2013
Using Bounded Fairness to Specify and Verify Ordered Asynchronous Multi-agent Systems.
Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013
2011
Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011
Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011
Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011
Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011
2010
Proceedings of the Unifying Theories of Programming - Third International Symposium, 2010
Proceedings of the Theoretical Aspects of Computing, 2010
Proceedings of the Distributed Computing and Internet Technology, 2010
Proceedings of the 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2010
Formal Modeling and Verifications of Deadlock Prevention Solutions in Web Service Oriented System.
Proceedings of the 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2010
2009
Proceedings of the TASE 2009, 2009
Proceedings of the 33rd Annual IEEE Software Engineering Workshop, 2009
Proceedings of the Fourth International Conference on Frontier of Computer Science and Technology, 2009
Proceedings of the CSIE 2009, 2009 WRI World Congress on Computer Science and Information Engineering, March 31, 2009
A Formal Perspective for Service Coordination Framework in Service Oriented Architecture.
Proceedings of the 20th Australian Software Engineering Conference (ASWEC 2009), 2009
2008
Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008
2007
Scalable Formalization of Publish/Subscribe Messaging Scheme Based on Message Brokers.
Proceedings of the Web Services and Formal Methods, 4th International Workshop, 2007
Proceedings of the 31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 2007