Duc Anh Nguyen

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

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

Download contact information for Duc Anh Nguyen at Department of Information Technology; Division of Computer Systems

Publications

Recent publications

MIMOS-Tools: An Integrated Toolchain for Model-Based Design of Embedded Systems

Wang, Yi; Huang, Chengzi; Khodabandeloo, Behnam; Nguyen, Duc Anh

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

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

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

Conference papers

MIMOS-Tools: An Integrated Toolchain for Model-Based Design of Embedded Systems

Wang, Yi; Huang, Chengzi; Khodabandeloo, Behnam; Nguyen, Duc Anh

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