SMT-Based Model Checking of Industrial Simulink Models. - Daisuke Ishii; Takashi Tomita; Toshiaki Aoki; The Quyen Ngo; Thi Bich Ngoc Do; Hideaki Takai (ICFEM, 2022)

Coverage Testing of Industrial Simulink Models using Monte-Carlo and SMT-Based Methods. - Daisuke Ishii; Takashi Tomita; Toshiaki Aoki; The Quyen Ngo; Thi Bich Ngoc Do; Hideaki Takai (QRS, 2022)

VLP Methods at the MedNLP-SC Social Media Adverse Drug Event Detection of NTCIR-17. - The Quyen Ngo; Duy-Dao Do; Phuong Le-Hong (NTCIR, 2023)