Software Verification Based on Linear Programming. - S. Dellacherie; Samuel Devulder; Jean-Luc Lambert (World Congress on Formal Methods, 1999)

A Comparative Study between Linear Programming Validation (LPV) and other Verification Methods. - Samuel Devulder; Jean-Luc Lambert (ASE, 1999)

A dynamic constraint-based BMC strategy for generating counterexamples. - Hélène Collavizza; Nguyen Le Vinh; Michel Rueher; Samuel Devulder; Thierry Gueguen (SAC, 2011)