Chengzi Huang

PhD student at Department of Information Technology; Division of Computer Systems

E-mail:: chengzi.huang@it.uu.se
Visiting address:: Hus 10, Regementsvägen 10
Postal address:: Box 524
751 20 UPPSALA

Download contact information for Chengzi Huang at Department of Information Technology; Division of Computer Systems

Publications

Recent publications

Causality Monitoring for MIMOS

Huang, Chengzi; Khodabandeloo, Behnam; Nguyen, Duc Anh; Wang, Yi et al.

Part of Principles of Formal Quantitative Analysis, p. 284-300, Springer, 2025
- DOI for Causality Monitoring for MIMOS
Timing is All You Need

Graf, Susanne; Jonsson, Bengt; Khodabandeloo, Behnam; Huang, Chengzi et al.

Part of The Combined Power of Research, Education, and Dissemination, p. 259-279, Springer, 2025
- DOI for Timing is All You Need

All publications

Chapters in book

Causality Monitoring for MIMOS

Huang, Chengzi; Khodabandeloo, Behnam; Nguyen, Duc Anh; Wang, Yi et al.

Part of Principles of Formal Quantitative Analysis, p. 284-300, Springer, 2025
- DOI for Causality Monitoring for MIMOS
Timing is All You Need

Graf, Susanne; Jonsson, Bengt; Khodabandeloo, Behnam; Huang, Chengzi et al.

Part of The Combined Power of Research, Education, and Dissemination, p. 259-279, Springer, 2025
- DOI for Timing is All You Need