Duc Anh Nguyen

Doktorand vid Institutionen för informationsteknologi; Datorteknik

E-post:: ducanh.nguyen@it.uu.se
Besöksadress:: Hus 10, Regementsvägen 10
Postadress:: Box 524
751 20 UPPSALA

Ladda ned kontaktuppgifter för Duc Anh Nguyen vid Institutionen för informationsteknologi; Datorteknik

Publikationer

Senaste publikationer

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

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

Ingår i ASE '26, s. 3502-3506, 2026
- DOI för MIMOS-Tools: An Integrated Toolchain for Model-Based Design of Embedded Systems
- Ladda ner fulltext (pdf) av 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.

Ingår i Principles of Formal Quantitative Analysis, s. 284-300, Springer, 2025
- DOI för Causality Monitoring for MIMOS

Alla publikationer

Kapitel i böcker, delar av antologi

Causality Monitoring for MIMOS

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

Ingår i Principles of Formal Quantitative Analysis, s. 284-300, Springer, 2025
- DOI för Causality Monitoring for MIMOS

Konferensbidrag

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

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

Ingår i ASE '26, s. 3502-3506, 2026
- DOI för MIMOS-Tools: An Integrated Toolchain for Model-Based Design of Embedded Systems
- Ladda ner fulltext (pdf) av MIMOS-Tools: An Integrated Toolchain for Model-Based Design of Embedded Systems