Towards a Formal Semantics of the TESL Specification Language. - Hai Nguyen Van; Thibaut Balabonski; Frédéric Boulanger; Safouan Taha; Benoît Valiron; Burkhart Wolff; Lina Ye (GEMOC+MPM@MoDELS, 2015)

A Symbolic Operational Semantics for TESL - With an Application to Heterogeneous System Testing. - Hai Nguyen Van; Thibaut Balabonski; Frédéric Boulanger; Chantal Keller; Benoît Valiron; Burkhart Wolff (FORMATS, 2017)

Formalizing Time and Causality in Polychronous Polytimed Models. (Formalisation du temps et de la causalité dans les modèles polychrones polytemporisés). - Hai Nguyen Van (2018)

A Formal Development of a Polychronous Polytimed Coordination Language. - Hai Nguyen Van; Frédéric Boulanger; Burkhart Wolff (Arch. Formal Proofs, 2019)

On the Semantics of Polychronous Polytimed Specifications. - Hai Nguyen Van; Thibaut Balabonski; Frédéric Boulanger; Chantal Keller; Benoît Valiron; Burkhart Wolff (FORMATS, 2020)

TESL: A Model with Metric Time for Modeling and Simulation. - Hai Nguyen Van; Frédéric Boulanger; Burkhart Wolff (TIME, 2020)

Timed Discrete-Event Simulation of Aviation Scenarios. - Hai Nguyen Van; Frédéric Boulanger; Burkhart Wolff (Simul. Notes Eur., 2020)