Hai Nguyen Van
Orcid: 0000-0002-0585-1651
According to our database1,
Hai Nguyen Van
authored at least 7 papers
between 2015 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
2015
2016
2017
2018
2019
2020
0
1
2
3
4
1
1
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2020
Proceedings of the 27th International Symposium on Temporal Representation and Reasoning, 2020
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2020
2019
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).
PhD thesis, 2018
2017
A Symbolic Operational Semantics for TESL - With an Application to Heterogeneous System Testing.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017
2015
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