Thanh-Hung Nguyen

Rigorous Component-Based System Design Using the BIP Framework

Ananda Basu, Bensalem Bensalem, Marius Bozga et al. · IEEE Software · 2011 · 276 citations · Full text

Incremental Component-based Construction and Verification using Invariants

Saddek Bensalem, Marius Bozga, Axel Legay et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2010 · 80 citations · Full text

PM2.5 Prediction Using Genetic Algorithm-Based Feature Selection and Encoder-Decoder Model

Minh Hieu Nguyen, Phi Le Nguyen, Kien Nguyen et al. · IEEE Access · 2021 · 47 citations · Full text

Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation

Ylìès Falcone, Mohamad Jaber, Thanh-Hung Nguyen et al. · Software & Systems Modeling · 2013 · 44 citations · Full text

Engineering, Verification, Computer-aided Verification +17

Multiple Objective Social Group Optimization for Time–Cost–Quality–Carbon Dioxide in Generalized Construction Projects

Van-Hiep Huynh, Thanh-Hung Nguyen, Hai Chien Pham et al. · International Journal of Civil Engineering · 2021 · 33 citations

Construction Technology, Construction Project Management, Engineering +9