Talks

• Statistical Model Checking for SystemC Models. Talk at HASE 2016, Orlando, FL, USA, January 2016.

• Translation Validation for Synchronous Data-flow Specification in the SIGNAL Compiler. Talk at FORTE-DisCoTec 2015, Grenoble, France, June 2015. [Slides]

• Translation Validation for Clock Transformations in a Synchronous Compiler. Talk at FASE-ETAPS 2015, London, UK, April 2015. [Slides]

• Case Study: Dependability Analysis of Embedded Control Systems using SystemC and Statistical Model Checking. Talk at INRIA Rennes, France, March 2015.[Slides]

• Precise Deadlock Detection for Polychronous Data-flow Specifications. Talk at ESLsyn-DAC 2014, San Francisco, CA, USA, June 2014. [Slides]

• Seminar: Compilation and Execution of Streaming Programs. St Germain au Mont d'Or, France, April 2014.

• Formal Verification of Transformations on Clocks in Synchronous Data-flow Compilers. Talk at 19th Open International Workshop on Synchronous Programming 2012, Le Croisic, France, November 2012.

• Formal Verification of Transformations on Clocks in Synchronous Data-flow Compilers. Invited Talk at Beihang University (BUAA), Beijing, China, October 2012.

• Formal Verification of Compiler Transformations on Polychronous Equations. Talk at IFM 2012, Pisa, Italy, June 2012. [Slides]

• Formal Indistinguishability Extended to the Random Oracle Model. Talk at ESORICS 2009, Le Croisic, France, September 2009. [Slides]