Émilie THOMÉ

4
Documents

Publications

Publications

Deposit thumbnail

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-05513956v1

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-05447919v1
Deposit thumbnail

GRust: A Programming Language for Automotive Engineering

Émilie Thomé

Programming Language Design and Implementation - Student Research Competition (PLDI SRC), Jun 2024, Copenhagen, Denmark

Poster de conférence hal-05519229v1