Context Modelling and Partial-Order Reduction: Application to SDL Industrial Embedded Systems. - Xavier Dumas; Frédéric Boniol; Philippe Dhaussy; Eric Bonnafous (SIES, 2010)

Application of partial-order methods for the verification of closed-loop SDL systems. - Xavier Dumas; Philippe Dhaussy; Frédéric Boniol; Eric Bonnafous (SAC, 2011)

Certified ML Object Detection for Surveillance Missions. - Mohammed Belcaid; Eric Bonnafous; Louis Crison; Christophe Faure; Eric Jenn; Claire Pagetti (CoRR, 2024)