Xin Xin
Orcid: 0000-0003-4703-7356Affiliations:
- University of Glasgow, School of Computing Science, UK
- TÜV SÜD Asia Pacific, Singapore
According to our database1,
Xin Xin
authored at least 6 papers
between 2020 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
Mach. Intell. Res., June, 2024
2022
IEEE Access, 2022
Run-Time Probabilistic Model Checking for Failure Prediction: A Smart Lift Case Study.
Proceedings of the 8th IEEE World Forum on Internet of Things, 2022
Proceedings of the 8th IEEE World Forum on Internet of Things, 2022
2020
Dynamic Probabilistic Model Checking for Sensor Validation in Industry 4.0 Applications.
Proceedings of the 2020 IEEE International Conference on Smart Internet of Things, 2020