Régis Blanc

According to our database, Régis Blanc authored at least 8 papers between 2010 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Verification by Reduction to Functional Programs.

Régis Blanc

PhD thesis, 2017

2015

Sound reasoning about integral data types with a reusable SMT solver interface.

Régis Blanc, Viktor Kuncak

Proceedings of the 6th ACM SIGPLAN Symposium on Scala, 2015

2013

Tree Interpolation in Vampire.

Régis Blanc, Ashutosh Gupta, Laura Kovács, Bernhard Kragl

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

Interpolation for synthesis on unbounded domains.

Viktor Kuncak, Régis Blanc

Proceedings of the Formal Methods in Computer-Aided Design, 2013

An overview of the Leon verification system: verification by translation to recursive functions.

Régis Blanc, Viktor Kuncak, Etienne Kneuss, Philippe Suter

Proceedings of the 4th Workshop on Scala, 2013

CafeSat: a modern SAT solver for Scala.

Régis Blanc

Proceedings of the 4th Workshop on Scala, 2013

2012

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

2010

ABC: Algebraic Bound Computation for Loops.

Régis Blanc, Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010