Burkhart Wolff
6
Documents
Présentation
[https://www.lri.fr/~wolff/](https://www.lri.fr/~wolff/ "Home Page at UPSud / LRI")
[https://www.lri.fr/~wolff/](https://www.lri.fr/~wolff/ "Home Page at UPSud / LRI")
Publications
- 6
- 4
- 3
- 3
- 2
- 2
- 1
- 1
|
Timed Discrete-Event Simulation of Aviation ScenariosSNE Simulation Notes Europe, 2020, 30 (2), pp.51-60. ⟨10.11128/sne.30.tn.10512⟩
Article dans une revue
hal-02881889v1
|
A Formal Development of a Polychronous Polytimed Coordination LanguageArchive of Formal Proofs, 2019, https://www.isa-afp.org/entries/TESL_Language.html
Article dans une revue
hal-04495414v1
|
|
On the Semantics of Polychronous Polytimed Specifications18th 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⟩
Communication dans un congrès
hal-02931403v1
|
|
TESL: a Model with Metric Time for Modeling and Simulation27th International Symposium on Temporal Representation and Reasoning, Sep 2020, Bozen-Bolzano, Italy. ⟨10.4230/LIPIcs.TIME.2020.15⟩
Communication dans un congrès
hal-02931401v1
|
|
A Symbolic Operational Semantics for TESL with an Application to Heterogeneous System Testing15th International Conference on Formal Modelling and Analysis of Timed Systems FORMATS 2017, Sep 2017, Berlin, Germany. ⟨10.1007/978-3-319-65765-3_18⟩
Communication dans un congrès
hal-01583815v1
|
|
Towards a formal semantics of the TESL specification language3rd International Workshop on the Globalization Of Modeling Languages (GEMOC 2015), Benoit Combemale; Julien Deantoni; Jeff Gray, Sep 2015, Ottawa, Canada. pp.14-19
Communication dans un congrès
hal-01239669v1
|