Habilitation Thesis

The defense of my Habilitation Thesis held on the 9th of July 2018. For those who are not familiar with the French academic system, Wikipedia is your friend.

The title of my thesis is From Static Analysis to Runtime Verification with Frama-C and E-ACSL. My memoir and my French curriculum are available.

The examination board consisted of:

Last modification the Tuesday June 23th, 2020 at 08h59min53sec (Paris time).