Yu Du

Orcid: 0009-0005-8023-8936

Affiliations:

Hiroshima University, Graduate School of Advanced Science and Engineering, Japan

According to our database¹, Yu Du authored at least 3 papers between 2023 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

Design and implementation of an automated maintainability assessment tool for SOFL formal specifications.

[DOI]

J. Syst. Softw., 2026

2024

A Methodology for Rating Maintainability Metrics of SOFL Formal Specifications.

[DOI]

Proceedings of the Software Fault Prevention, Verification, and Validation, 2024

2023

Maintainability Assessment for SOFL Formal Specifications.

[DOI]

Proceedings of the 10th International Conference on Dependable Systems and Their Applications, 2023