I share the deep conviction that formal methods are a cost-effective answer to verify and validate critical software-intensive systems. In particular, my research is about formalizing the TESL simulation language by designing its semantics in Isabelle/HOL .
- H. Nguyen Van, T. Balabonski, F. Boulanger, C. Keller, B. Valiron, B. Wolff. A symbolic operational semantics for TESL with an application to heterogeneous system testing. 15th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2017).
- H. Nguyen Van, T. Balabonski, F. Boulanger, S. Taha, B. Valiron, B. Wolff, L. Ye. Towards a formal semantics of the TESL specification language. 3rd International Workshop on The Globalization of Modeling Languages at MODELS 2015.
- H. Nguyen Van, S. Flih, I. Blanchard, B. Robert, L. Viens, M. Arnoux, P. Coïsson, O. Robert et al. French students build a ground station for Pratham satellite (abstract). 39th Committee on Space Research Scientific Assembly (COSPAR).
Apart from work matters, my interests mostly lie in traveling the world to discover and capture endless wild landscapes. Distribution licences are provided by Getty Images.