Sheep in wolf's Clothing: Implementation Models for Dataflow Multi-Threaded Software. - Keryan Didier; Albert Cohen 001; Dumitru Potop-Butucaru; Adrien Gauffriau (ACSD, 2019)

Correct-by-Construction Parallelization of Hard Real-Time Avionics Applications on Off-the-Shelf Predictable Hardware. - Keryan Didier; Dumitru Potop-Butucaru; Guillaume Iooss; Albert Cohen 001; Jean Souyris; Philippe Baufreton; Amaury Graillat (ACM Trans. Archit. Code Optim., 2019)

Contributions to the safe and efficient parallelisation of hard real-time systems. (Contributions à la parallélisation sûre et efficace de systèmes temps réel durs). - Keryan Didier (2019)