A Theoretical Framework of Data Parallelism and Its Operational Semantics. - Philippe Gerner; Eric Violard (Euro-Par, 2000)

Computing Schedules for Multithreaded Real-Time Programs Using Geometry. - Philippe Gerner; Thao Dang 001 (FORMATS/FTRTFT, 2004)

Modelling, Analysis and Parallel Implementation of an On-line Video Encoder. - Ismail Assayad; Philippe Gerner; Sergio Yovine; Valérie Bertin (DFMA, 2005)

Jahuel: A Formal Framework for Software Synthesis. - Ismail Assayad; Valérie Bertin; F.-X. Defaut; Philippe Gerner; O. Quévreux; Sergio Yovine (ICFEM, 2005)

Scheduling for multi-threaded real-time programs via path planning. - Thao Dang 001; Philippe Gerner (EMSOFT, 2006)