Régis Blanc

Publication Activity (10 Years)

Years Active: 2010-2015
Publications (10 Years): 0

Top Topics

Propositional Satisfiability

Complex Data Types

Top Venues

Publications

Régis Blanc, Viktor Kuncak
Sound reasoning about integral data types with a reusable SMT solver interface. Scala@PLDI (2015)
Régis Blanc
CafeSat: a modern SAT solver for Scala. SCALA@ECOOP (2013)
Régis Blanc, Ashutosh Gupta, Laura Kovács, Bernhard Kragl
Tree Interpolation in Vampire. LPAR (2013)
Régis Blanc, Viktor Kuncak, Etienne Kneuss, Philippe Suter
An overview of the Leon verification system: verification by translation to recursive functions. SCALA@ECOOP (2013)
Viktor Kuncak, Régis Blanc
Interpolation for synthesis on unbounded domains. FMCAD (2013)
Amir Ahmidi, Xavier Guillaud, Yvon Besanger, Régis Blanc
A Multilevel Approach for Optimal Participating of Wind Farms at Reactive Power Balancing in Transmission Power System. IEEE Syst. J. 6 (2) (2012)
Régis Blanc, Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács
ABC: Algebraic Bound Computation for Loops. LPAR (Dakar) (2010)