• PSCV: A Runtime Verification Tool for Probabilistic SystemC Models. Talk at CAV 2016, Toronto, Ontario, Canada, July 2016.

  • 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.

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

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

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

  • 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.

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