by Beg, Omar Ali, Nguyen, Luan Viet, Johnson, Taylor T., Davoudi, Ali
Published in IEEE access (2021)

by Luan Viet Nguyen, Hoang-Dung Tran, Johnson, Taylor T.
Published in IEEE transactions on energy conversion (01.12.2014)

by Bak, Stanley, Beg, Omar Ali, Bogomolov, Sergiy, Johnson, Taylor T., Nguyen, Luan Viet, Schilling, Christian
Published in International journal on software tools for technology transfer (01.02.2019)

by Tran, Hoang-Dung, Nguyen, Luan Viet, Xiang, Weiming, Johnson, Taylor T.
Published in Discrete event dynamic systems (01.06.2017)

by Tran, Hoang-Dung, Pal, Neelanjana, Lopez, Diego Manzanas, Musau, Patrick, Yang, Xiaodong, Nguyen, Luan Viet, Xiang, Weiming, Bak, Stanley, Johnson, Taylor T.
Published in Formal aspects of computing (01.08.2021)

by Tran, Hoang-Dung, Nguyen, Luan Viet, Musau, Patrick, Xiang, Weiming, Johnson, Taylor T.
Published in Formal Techniques for Distributed Objects, Components, and Systems

by Tran, Hoang-Dung, Nguyen, Luan Viet, Hamilton, Nathaniel, Xiang, Weiming, Johnson, Taylor T.
Published in Formal Modeling and Analysis of Timed Systems

by Nguyen, Luan Viet, Schilling, Christian, Bogomolov, Sergiy, Johnson, Taylor T.
Published in Runtime Verification

by Bonnah, Ernest, Nguyen, Luan Viet, Hoque, Khaza Anuarul
Published in 2023 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design (MEMOCODE) (21.09.2023)

by Viet Nguyen, Luan, Mohan, Gautam, Weimer, James, Sokolsky, Oleg, Lee, Insup, Alur, Rajeev
Published in 2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) (02.12.2020)

by Tran, Hoang-Dung, Lopez, Diego Manzanas, Yang, Xiaodong, Musau, Patrick, Nguyen, Luan Viet, Xiang, Weiming, Bak, Stanley, Johnson, Taylor T.
Published in 2020 IEEE Workshop on Design Automation for CPS and IoT (DESTION) (01.04.2020)

by Nguyen, Luan Viet, Tran, Hoang-Dung, Johnson, Taylor, Gupta, Vijay
Published in IEEE transactions on control of network systems (01.09.2023)

by Tran, Hoang-Dung, Nguyen, Luan Viet, Musau, Patrick, Xiang, Weiming, Johnson, Taylor T.
Published in Leibniz transactions on embedded systems (01.12.2022)

by Duggirala, Parasara Sridhar, Fan, Chuchu, Potok, Matthew, Bolun Qi, Mitra, Sayan, Viswanathan, Mahesh, Bak, Stanley, Bogomolov, Sergiy, Johnson, Taylor T., Luan Viet Nguyen, Schilling, Christian, Sogokon, Andrew, Hoang-Dung Tran, Weiming Xiang
Published in 2016 IEEE Conference on Control Applications (CCA) (01.09.2016)

by Bonnah, Ernest, Nguyen, Luan Viet, Hoque, Khaza Anuarul
Published in arXiv.org (10.08.2023)

by Nguyen, Luan Viet
Year of Publication 2014

by Tran, Hoang-Dung, Musau, Patrick, Manzanas Lopez, Diego, Yang, Xiaodong, Nguyen, Luan Viet, Xiang, Weiming, Johnson, Taylor T
Published in 2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE) (01.05.2019)

by Ivashchenko, Mykhailo, Choi, Sung Woo, Nguyen, Luan Viet, Tran, Hoang-Dung
Published in 2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE) (01.05.2023)

by Tran, Hoang-Dung, Nguyen, Luan Viet, Musau, Patrick, Xiang, Weiming, Johnson, Taylor T
Year of Publication 19.09.2019

by Tran, Hoang-Dung, Yang, Xiaodong, Lopez, Diego Manzanas, Musau, Patrick, Nguyen, Luan Viet, Xiang, Weiming, Bak, Stanley, Johnson, Taylor T
Year of Publication 11.04.2020