Safety-Critical Systems | Fabien Sironhttps://fabiensiron.github.io/tag/safety-critical-systems/Safety-Critical SystemsHugo Blox Builder (https://hugoblox.com)en-usThu, 05 Feb 2026 00:00:00 +0000https://fabiensiron.github.io/media/icon_hu4a9b1a28ab0f55b13f35c9523385d2b0_10595_512x512_fill_lanczos_center_3.pngSafety-Critical Systemshttps://fabiensiron.github.io/tag/safety-critical-systems/Static Analysis of Contextual Memory Accesses for Safe Memory Sharinghttps://fabiensiron.github.io/publication/2026-contextual-memory/Thu, 05 Feb 2026 00:00:00 +0000https://fabiensiron.github.io/publication/2026-contextual-memory/