ABC: Algebraic Bound Computation for Loops. - Régis Blanc; Thomas A. Henzinger; Thibaud Hottelier; Laura Kovács (LPAR (Dakar), 2010)

A Multilevel Approach for Optimal Participating of Wind Farms at Reactive Power Balancing in Transmission Power System. - Amir Ahmidi; Xavier Guillaud; Yvon Besanger; Régis Blanc (IEEE Syst. J., 2012)

CafeSat: a modern SAT solver for Scala. - Régis Blanc (SCALA@ECOOP, 2013)

An overview of the Leon verification system: verification by translation to recursive functions. - Régis Blanc; Viktor Kuncak; Etienne Kneuss; Philippe Suter (SCALA@ECOOP, 2013)

Interpolation for synthesis on unbounded domains. - Viktor Kuncak; Régis Blanc (FMCAD, 2013)

Tree Interpolation in Vampire. - Régis Blanc; Ashutosh Gupta; Laura Kovács; Bernhard Kragl (LPAR, 2013)

Sound reasoning about integral data types with a reusable SMT solver interface. - Régis Blanc; Viktor Kuncak (Scala@PLDI, 2015)

Verification by Reduction to Functional Programs. - Régis Blanc (2017)