Xin Xin

Orcid: 0000-0003-4703-7356

Affiliations:

University of Glasgow, School of Computing Science, UK
TÜV SÜD Asia Pacific, Singapore

According to our database¹, Xin Xin authored at least 4 papers between 2020 and 2022.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2022

Adaptive Model Verification for Modularized Industry 4.0 Applications.

[BibT_eX]

[DOI]

IEEE Access, 2022

Run-Time Probabilistic Model Checking for Failure Prediction: A Smart Lift Case Study.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE World Forum on Internet of Things, 2022

Enhancing UAV Flight Safety through Sensor-based Runtime Risk Assessment.

[BibT_eX]

[DOI]

Yong Zhi Lim

Xin Xin

Teck Ping Khoo

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.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE International Conference on Smart Internet of Things, 2020

Xin Xin

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...