34 citations · 119 across the 18 of their papers we have counts for
Showing 2014Show all
3 papers · 1 filter
cs.LO2014★ 5 cited
Synthesizing Modular Invariants for Synchronous Code
Pierre-Loic Garoche, Arie Gurfinkel, Temesghen Kahsai
In this paper, we explore different techniques to synthesize modular invariants for synchronous code encoded as Horn clauses. Modular invariants are a set of formulas that characte…
cs.LO2014★ 2 cited
Quadratic Zonotopes:An extension of Zonotopes to Quadratic Arithmetics
Assalé Adjé, Pierre-Loïc Garoche, Alexis Werey
Affine forms are a common way to represent convex sets of using a base of error terms . Quadratic forms are an extension of affine forms enabling the u…
math.OC2014
Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs
Assalé Adje, Pierre-Loïc Garoche
Among the various critical systems that worth to be formally analyzed, a wide set consists of controllers for dynamical systems. Those programs typically execute an infinite loop i…