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
Publications
Recent publications
-
Boost-At-The-Tail: Work-Triggered Frequency Boosting for Fixed-Priority Scheduling
Part of 38th European Conference on Real-Time Systems (ECRTS 2026), 2026
-
MIMOS-Tools: An Integrated Toolchain for Model-Based Design of Embedded Systems
Part of ASE '26, p. 3502-3506, 2026
- DOI for MIMOS-Tools: An Integrated Toolchain for Model-Based Design of Embedded Systems
- Download full text (pdf) of MIMOS-Tools: An Integrated Toolchain for Model-Based Design of Embedded Systems
-
Causality Monitoring for MIMOS
Part of Principles of Formal Quantitative Analysis, p. 284-300, Springer, 2025
-
Part of The Combined Power of Research, Education, and Dissemination, p. 259-279, Springer, 2025
All publications
Chapters in book
-
Causality Monitoring for MIMOS
Part of Principles of Formal Quantitative Analysis, p. 284-300, Springer, 2025
-
Part of The Combined Power of Research, Education, and Dissemination, p. 259-279, Springer, 2025
Conference papers
-
Boost-At-The-Tail: Work-Triggered Frequency Boosting for Fixed-Priority Scheduling
Part of 38th European Conference on Real-Time Systems (ECRTS 2026), 2026
-
MIMOS-Tools: An Integrated Toolchain for Model-Based Design of Embedded Systems
Part of ASE '26, p. 3502-3506, 2026
- DOI for MIMOS-Tools: An Integrated Toolchain for Model-Based Design of Embedded Systems
- Download full text (pdf) of MIMOS-Tools: An Integrated Toolchain for Model-Based Design of Embedded Systems