CARVER: A Slicing Tool for Communicating Automata Specifications. - Sébastien Labbé 002; Arnault Lapitre (ISoLA, 2006)

Slicing Communicating Automata Specifications for Efficient Model Reduction. - Sébastien Labbé 002; Jean-Pierre Gallois; Marc Pouzet (ASWEC, 2007)

Réduction paramétrée de spécifications formées d'automates communicants : algorithmes polynomiaux pour la réduction de modèles. (Slicing Communicating Automata Specifications: Polynomial Algorithms for Model Reduction). - Sébastien Labbé 002 (2007)

Slicing communicating automata specifications: polynomial algorithms for model reduction. - Sébastien Labbé 002; Jean-Pierre Gallois (Formal Aspects Comput., 2008)

Formal Verification of Industrial Software with Dynamic Memory Management. - Sébastien Labbé 002; Arnaud Sangnier (PRDC, 2010)

Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software. - Richard Bonichon; Géraud Canet; Loïc Correnson; Eric Goubault; Emmanuel Haucourt; Michel Hirschowitz; Sébastien Labbé 002; Samuel Mimram (SAFECOMP, 2011)

Binary-Level Testing of Embedded Programs. - Sébastien Bardin; Philippe Baufreton; Nicolas Cornuet; Philippe Herrmann; Sébastien Labbé 002 (QSIC, 2013)