| 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 | 10* | 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 |
| 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 HN Van Université Paris Saclay (COmUE), 2018 | | 2018 |
Burkhart WolffProfessor für Informatik, Universität Paris-SudVerified email at lri.fr