Chengzi Huang

According to our database, Chengzi Huang authored at least 3 papers in 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Artifact for the paper "MIMOS: a Tool Suite for Asynchronous Embedded Systems Design".

Chengzi Huang, Behnam Khodabandeloo, Miaomiao Zhang, Nguyen Duc Anh, Wang Yi

Dataset, October, 2025

Causality Monitoring for MIMOS.

Chengzi Huang, Behnam Khodabandeloo, Duc Anh Nguyen, Wang Yi, Jie An, Zhenya Zhang

Proceedings of the Principles of Formal Quantitative Analysis, 2025

Timing is All You Need.

Susanne Graf, Bengt Jonsson, Behnam Khodabandeloo, Chengzi Huang, Nikolaus Huber, Philipp Rümmer, Wang Yi

Proceedings of the Combined Power of Research, Education, and Dissemination, 2025