Certification du code embarqu d'un micro-drone. Master's thesis, 2005. ,
The synchronous dataflow programming language LUSTRE, Proceedings of the IEEE, pp.1305-1320, 1991. ,
The paparazzi problem, Proceedings. 2000 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2000) (Cat. No.00CH37113), 2000. ,
DOI : 10.1109/IROS.2000.895271
Minimum complexity uninhabited air vehicle guidance and flight control system, 20th DASC. 20th Digital Avionics Systems Conference (Cat. No.01CH37219), 2001. ,
DOI : 10.1109/DASC.2001.963345
Papabench: a free real-time benchmark, Time Analysis, 2006. ,
Horizon sensing attitude stabilisation: A VMC autopilot, 18th International UAV Systems Conference, 2003. ,