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.