Émilie THOMÉ
4
Documents
Publications
Publications
|
|
Reactive Programming Language Applied to Automotive Functional Specification and Model-Based DesignComputer Science [cs]. Sorbonne Université, 2026. English. ⟨NNT : 2026SORUS006⟩ |
|
|
GRust: Bridging Modeling and Rust Development for Software-Defined Vehicles13th European Congress of Embedded Real Time Systems (ERTS), Feb 2026, Toulouse, France. ⟨10.82331/ERTS.2026.51⟩ |
GRust: A Programming Language for Automotive EngineeringFormal Methods for Industrial Critical Systems (FMICS), Aug 2025, Aarhus, Denmark. pp.127-143, ⟨10.1007/978-3-032-00942-5_7⟩ |
|
|
GRust: A Programming Language for Automotive EngineeringProgramming Language Design and Implementation - Student Research Competition (PLDI SRC), Jun 2024, Copenhagen, Denmark |
Chargement...
Chargement...