Grants / Awards

Grants

  • CNRS travel grants, obtain in 2012, 2013, and 2014.
  • Inria exploratory grant 2011.

Awards

  • Best Paper Award from FME and the PC of FM’2012 for the paper Decentralised LTL Monitoring.
  • Best Paper Award from IFIP and the PC of ICTSS’2010 for the paper More Testable Properties.