2020
Conference papers
- auteur
- Hai Nguyen Van, Frédéric Boulanger, Burkhart Wolff
- titre
- TESL: a Model with Metric Time for Modeling and Simulation
- article
- 27th International Symposium on Temporal Representation and Reasoning, Sep 2020, Bozen-Bolzano, Italy. ⟨10.4230/LIPIcs.TIME.2020.15⟩
- Accès au texte intégral et bibtex
-
- auteur
- Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Chantal Keller, Benoît Valiron, Burkhart Wolff
- titre
- On the Semantics of Polychronous Polytimed Specifications
- article
- 18th International Conference on Formal Modeling and Analysis of Timed Systems, Sep 2020, Vienna, Austria. pp.23-40, ⟨10.1007/978-3-030-57628-8_2⟩
- Accès au texte intégral et bibtex
-
2019
Journal articles
- auteur
- Frédéric Boulanger, Burkhart Wolff, Hai Nguyen Van
- titre
- A Formal Development of a Polychronous Polytimed Coordination Language
- article
- Archive of Formal Proofs, 2019, https://www.isa-afp.org/entries/TESL_Language.html
- Accès au bibtex
-
2015
Conference papers
- auteur
- Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Safouan Taha, Benoît Valiron, Burkhart Wolff, Lina Ye
- titre
- Towards a formal semantics of the TESL specification language
- article
- 3rd International Workshop on the Globalization Of Modeling Languages (GEMOC 2015), Benoit Combemale; Julien Deantoni; Jeff Gray, Sep 2015, Ottawa, Canada. pp.14-19
- Accès au texte intégral et bibtex
-