FAUST: Formal Analysis Using Specification Tools. - André Rifaut; Philippe Massonet; Jean-François Molderez; Christophe Ponsard; Pierre Stadnik; Axel van Lamsweerde; Hung Tran Van (RE, 2003)

Goal-Oriented Requirements Animation. - Hung Tran Van; Axel van Lamsweerde; Philippe Massonet; Christophe Ponsard (RE, 2004)

Early Verification and Validation of Mission Critical Systems. - Christophe Ponsard; Philippe Massonet; André Rifaut; Jean-François Molderez; Axel van Lamsweerde; Hung Tran Van (FMICS, 2004)

Direction of Arrival Estimation for Coherent Signals' Method Based on LSTM Neural Network. - Thanh Han-Trong; Nam Ngo Duc; Hung Tran Van; Hung Pham-Viet (Appl. Comput. Intell. Soft Comput., 2022)