Émilie THOMÉ

2
Documents

Publications

Publications

Image document

GRust: Bridging Modeling and Rust Development for Software-Defined Vehicles

Émilie Thomé , Matthieu Massif
13th European Congress of Embedded Real Time Systems (ERTS), Feb 2026, Toulouse, France. ⟨10.82331/ERTS.2026.51⟩
Communication dans un congrès hal-05513956 v1

GRust: A Programming Language for Automotive Engineering

Émilie Thomé , Xavier Denis , Christine Tasson
Formal Methods for Industrial Critical Systems (FMICS), Aug 2025, Aarhus, Denmark. pp.127-143, ⟨10.1007/978-3-032-00942-5_7⟩
Communication dans un congrès hal-05447919 v1