Nathanaël Sensfelder

Profile

Status: PhD student

Team: DTIS/SEAS


Fields of Interest

  • Formal Methods
  • Embedded Systems
  • Parallel Computing
  • Distributed Computing
  • Aerospace Applications

Teachings

  • AltaRica at ISAE/Supaéro (2017)
  • C Programming & Algorithms at ISAE/Supaéro (2018)
  • Lustre Programming at ENSEEIHT (2018)
  • SDL Programming at ENSEEIHT (2018)
  • Transition Systems (TLA+) at ENSEEIHT (2019)
  • Real Time Systems (C, Xenomai) at INSA (2019)

Publications


Relevant External Links

Relation between safety and temporal interferences in COTS multi-cores

Ref: TIS-DTIM-2017-022

Laboratory: ONERA

Division: DTIS

Supervisors: Claire Pagetti and Julien Brunel

 

Static Analysis of VHDL using Temporal Logic

Supervisors: Julien Brunel, Youcef Bouchebaba.