Towards Zero Alarms in Sound Static Analysis of Finite State Machines. - Josselin Giet; Laurent Mauborgne; Daniel Kästner; Christian Ferdinand (SAFECOMP, 2019)

OFence: Pairing Barriers to Find Concurrency Bugs in the Linux Kernel. - Baptiste Lepers; Josselin Giet; Willy Zwaenepoel; Julia Lawall (EuroSys, 2023)

A Product of Shape and Sequence Abstractions. - Josselin Giet; Félix Ridoux; Xavier Rival (SAS, 2023)

Automatic verification of tasks schedulers. (Vérification automatique d'ordonnanceurs de tâches). - Josselin Giet (2024)