Chengzi Huang

Causality Monitoring for MIMOS

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

Part of Principles of Formal Quantitative Analysis - Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday, Springer, 2025

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

Causality Monitoring for MIMOS

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

Part of Principles of Formal Quantitative Analysis - Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday, Springer, 2025

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