A Symbolic Operational Semantics for TESL H Nguyen Van, T Balabonski, F Boulanger, C Keller, B Valiron, B Wolff International Conference on Formal Modeling and Analysis of Timed Systems …, 2017 | 11* | 2017 |
Towards a formal semantics of the TESL specification language HN Van, T Balabonski, F Boulanger, S Taha, B Valiron, B Wolff, L Ye 3rd International Workshop on the Globalization Of Modeling Languages (GEMOC …, 2015 | 5* | 2015 |
Timed Discrete-Event Simulation of Aviation Scenarios HN Van, F Boulanger, B Wolff SNE Simulation Notes Europe 30 (2), 51-60, 2020 | 2 | 2020 |
A formal development of a polychronous polytimed coordination language HN Van, F Boulanger, B Wolff | 1 | 2024 |
TESL: a model with metric time for modeling and simulation HN Van, F Boulanger, B Wolff 27th International Symposium on Temporal Representation and Reasoning, 2020 | 1 | 2020 |
TESL: A Model with Metric Time for Modeling and Simulation H Nguyen Van, F Boulanger, B Wolff 27th International Symposium on Temporal Representation and Reasoning (TIME …, 2020 | | 2020 |
On the Semantics of Polychronous Polytimed Specifications H Nguyen Van, T Balabonski, F Boulanger, C Keller, B Valiron, B Wolff Formal Modeling and Analysis of Timed Systems: 18th International Conference …, 2020 | | 2020 |
Formalizing Time and Causality in Polychronous Polytimed Models H Nguyen Van Université Paris-Saclay (ComUE), 2018 | | 2018 |