L’excellence passionnément
Recent
System engineering, Model-Based Engineering of Aerospace Systems (SysML), Timing Analysis in Real Time Systems.
Earlier
Formal Methods, Static analysis, Abstract interpretation, Semantics-based code transformations, Validation of Embedded Systems, Computer arithmetic, Numerical accuracy, Compilation.