in english Research

I am a member of the TIMA laboratory (since 2006), previously in the AMfoRS group and now in the SLS group (from April 2018).
Among my current and recent activities (see the references in the "Publications" tab):

Previous activities:

Interesting page on Formal Methods: Formal Methods Wiki



Main tutorials and invited talks

Participation in FETCH'2019 (Ecole d'hiver Francophone sur les Technologies de Conception des Systèmes embarqués Hétérogènes), January 2019, presentation "Runtime Assertion-Based Verification for Correctness and Reliability Analysis".

Participation in 2nd ARVI COST School on Runtime Verification, March 2018, presentation "Runtime Assertion-Based Verification for Hardware and Embedded Systems".

Participation in FETCH'2018 (Ecole d'hiver Francophone sur les Technologies de Conception des Systèmes embarqués Hétérogènes), January 2018, presentation "Verification of Cyber-physical Systems: from Requirements to Automated Tests".

Participation in Journée Vérification en ligne du matériel au logiciel of GDR SOC2, December 2017.

Participation in FETCH'2015 (Ecole d'hiver Francophone sur les Technologies de Conception des Systèmes embarqués Hétérogènes), January 2015, presentation "Runtime verification of embedded systems requirements throughout the design flow".

Participation in Forum Méthodes Formelles, "Preuve de modèle, preuve de programme" (Aerospace Valley - Minalogic), February 2014, tutorial "Outils de démonstration automatique et preuve de circuits électroniques".

Presentation at the TORRENTS working day (Time ORiented Reliable Embedded NeTworked Systems), December 2013, "Assertion-Based Verification for the validation and safety analysis of hardware/software systems on chip", slides.

Participation in FETCH'2013 (Ecole d'hiver Francophone sur les Technologies de Conception des Systèmes embarqués Hétérogènes), January 2013, presentation "Runtime verification of functional requirements for SoC models: integration of PSL in SystemC TLM", slides.

Participation in the Dagstuhl Seminar Verifying Reliability, August 2012, presentation "On the Use of Semi-Formal Methods for Reliability Analysis (at RT and TLM Abstraction Levels)". Dagstuhl report.

Participation in the panel "Low Power HW/SW Design: from Technology to Verification" of the MemoCODE'2010 conference, July 2010.

Invited talk on the formal verification of NoC infrastructures, at the Computer Laboratory of University of Cambridge (UK), in June 2008.

Invited talk (in French) on the integration of model-checking and theorem proving, at ENS Lyon, in March 2005.

Tutorial (in French) on ACL2, at Texas Instrument (Villeneuve-Loubet), in June 2003.





Last modification April 19, 2021