Author: Hung Tran Van

Publications

Co-authors

Philippe Massonet

2

Christophe Ponsard

2

Axel van Lamsweerde

2

Productive Colleagues

Philippe Massonet

6

Christophe Ponsard

8

Axel van Lamsweerde

15

Publications

Rifaut, André, Massonet, Philippe, Molderez, Jean-François, Ponsard, Christophe, Stadnik, Pierre, Lamsweerde, Axel van, Van, Hung Tran (2003): FAUST: Formal Analysis Using Specification Tools. In: 11th IEEE International Conference on Requirements Engineering RE 2003 8-12 September, 2003, Monterey Bay, CA, USA. pp. 350. https://csdl.computer.org/comp/proceedings/re/2003/1980/00/19800350abs.htm

Van, Hung Tran, Lamsweerde, Axel van, Massonet, Philippe, Ponsard, Christophe (2004): Goal-Oriented Requirements Animation. In: 12th IEEE International Conference on Requirements Engineering RE 2004 6-10 September, 2004, Kyoto, Japan. pp. 218-228. https://doi.ieeecomputersociety.org/10.1109/RE.2004.24