https://fabiensiron.github.io/publication-type/article-journal/2026-09-01T00:00:00+00:00weeklyhttps://fabiensiron.github.io/tag/formal-verification/2026-09-01T00:00:00+00:00weeklyhttps://fabiensiron.github.io/tag/frama-c/2026-09-01T00:00:00+00:00weeklyhttps://fabiensiron.github.io/project/synchrone/2026-09-01T00:00:00+00:00weeklyhttps://fabiensiron.github.io/tag/lustre/2026-09-01T00:00:00+00:00weeklyhttps://fabiensiron.github.io/publication/2026-synchrone-tcad/2026-09-01T00:00:00+00:00weeklyhttps://fabiensiron.github.io/tag/program-analysis/2026-09-01T00:00:00+00:00weeklyhttps://fabiensiron.github.io/project/2026-09-01T00:00:00+00:00weeklyhttps://fabiensiron.github.io/publication_types/2026-09-01T00:00:00+00:00weeklyhttps://fabiensiron.github.io/publication/2026-09-01T00:00:00+00:00weeklyhttps://fabiensiron.github.io/tag/synchronous-reactive-systems/2026-09-01T00:00:00+00:00weeklyhttps://fabiensiron.github.io/tags/2026-09-01T00:00:00+00:00weeklyhttps://fabiensiron.github.io/project/kind2/2026-08-01T00:00:00+00:00weeklyhttps://fabiensiron.github.io/tag/memory-safety/2026-02-05T00:00:00+00:00weeklyhttps://fabiensiron.github.io/publication-type/paper-conference/2026-02-05T00:00:00+00:00weeklyhttps://fabiensiron.github.io/tag/real-time-systems/2026-02-05T00:00:00+00:00weeklyhttps://fabiensiron.github.io/tag/safety-critical-systems/2026-02-05T00:00:00+00:00weeklyhttps://fabiensiron.github.io/tag/static-analysis/2026-02-05T00:00:00+00:00weeklyhttps://fabiensiron.github.io/publication/2026-contextual-memory/2026-02-05T00:00:00+00:00weeklyhttps://fabiensiron.github.io/talk/modular-extraction-of-lustre-models-from-c-code/2025-11-25T16:15:00+00:00weeklyhttps://fabiensiron.github.io/event/2025-11-25T16:15:00+00:00weeklyhttps://fabiensiron.github.io/tag/avionics/2024-06-11T00:00:00+00:00weeklyhttps://fabiensiron.github.io/tag/certification/2024-06-11T00:00:00+00:00weeklyhttps://fabiensiron.github.io/tag/logical-execution-time/2024-06-11T00:00:00+00:00weeklyhttps://fabiensiron.github.io/tag/multicore/2024-06-11T00:00:00+00:00weeklyhttps://fabiensiron.github.io/publication/2024-amc-20-193/2024-06-11T00:00:00+00:00weeklyhttps://fabiensiron.github.io/project/psykanalyst/2023-12-31T00:00:00+00:00weeklyhttps://fabiensiron.github.io/publication/2023-phd-thesis/2023-12-11T00:00:00+00:00weeklyhttps://fabiensiron.github.io/tag/model-checking/2023-12-11T00:00:00+00:00weeklyhttps://fabiensiron.github.io/tag/psyc/2023-12-11T00:00:00+00:00weeklyhttps://fabiensiron.github.io/publication-type/thesis/2023-12-11T00:00:00+00:00weeklyhttps://fabiensiron.github.io/talk/formal-verification-for-real-time-safety-critical-applications-based-on-logical-time/2023-11-30T16:15:00+00:00weeklyhttps://fabiensiron.github.io/tag/semantics/2023-05-09T00:00:00+00:00weeklyhttps://fabiensiron.github.io/publication/2023-psyc-semantics/2023-05-09T00:00:00+00:00weeklyhttps://fabiensiron.github.io/publication/2023-formal-semantics-psyc/2023-05-01T00:00:00+00:00weeklyhttps://fabiensiron.github.io/publication-type/report/2023-05-01T00:00:00+00:00weeklyhttps://fabiensiron.github.io/2022-10-20T00:00:00+00:00weeklyhttps://fabiensiron.github.io/publication/2022-synchronous-let/2022-06-14T00:00:00+00:00weeklyhttps://fabiensiron.github.io/project/clock/2021-12-01T00:00:00+00:00weeklyhttps://fabiensiron.github.io/talk/synchronous-let-towards-formal-verification/2021-11-24T11:00:00+00:00weeklyhttps://fabiensiron.github.io/publication/2021-etr-let-verification/2021-09-20T00:00:00+00:00weeklyhttps://fabiensiron.github.io/publication/2021-fdl-logical-time/2021-09-08T00:00:00+00:00weeklyhttps://fabiensiron.github.io/project/coqsat/2020-12-01T00:00:00+00:00weeklyhttps://fabiensiron.github.io/project/strace/2016-09-01T00:00:00+00:00weeklyhttps://fabiensiron.github.io/categories/weeklyhttps://fabiensiron.github.io/curriculum/weeklyhttps://fabiensiron.github.io/projects/weeklyhttps://fabiensiron.github.io/research/weeklyhttps://fabiensiron.github.io/teaching/weekly