Yi-Ting Hsieh

Orcid: 0009-0000-5857-075X

Affiliations:

National Taiwan University, Taipei, Taiwan

According to our database¹, Yi-Ting Hsieh authored at least 2 papers between 2020 and 2023.

Collaborative distances:

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

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2023

System Verification and Runtime Monitoring with Multiple Weakly-Hard Constraints.

[BibT_eX]

[DOI]

ACM Trans. Cyber Phys. Syst., July, 2023

2020

Efficient System Verification with Multiple Weakly-Hard Constraints for Runtime Monitoring.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 20th International Conference, 2020

Yi-Ting Hsieh

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...