Hai Nguyen Van

According to our database, Hai Nguyen Van authored at least 7 papers between 2015 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Timed Discrete-Event Simulation of Aviation Scenarios.

Hai Nguyen Van, Frédéric Boulanger, Burkhart Wolff

Simul. Notes Eur., 2020

TESL: A Model with Metric Time for Modeling and Simulation.

Hai Nguyen Van, Frédéric Boulanger, Burkhart Wolff

Proceedings of the 27th International Symposium on Temporal Representation and Reasoning, 2020

On the Semantics of Polychronous Polytimed Specifications.

Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Chantal Keller, Benoît Valiron, Burkhart Wolff

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2020

2019

A Formal Development of a Polychronous Polytimed Coordination Language.

Hai Nguyen Van, Frédéric Boulanger, Burkhart Wolff

Arch. Formal Proofs, 2019

2018

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

PhD thesis, 2018

2017

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

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017

2015

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

Proceedings of the Joint Proceedings of the 3rd International Workshop on the Globalization Of Modeling Languages and the 9th International Workshop on Multi-Paradigm Modeling co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, 2015