21 citations · 25 across the 2 of their papers we have counts for
2 papers
cs.DS2008★ 21 cited
Accelerated Data-Flow Analysis
Jérôme Leroux, Gregoire Sutre
Acceleration in symbolic verification consists in computing the exact effect of some control-flow loops in order to speed up the iterative fix-point computation of reachable states…
cs.CG2008★ 4 cited
The convex hull of a regular set of integer vectors is polyhedral and effectively computable
Alain Finkel, Jérôme Leroux
Number Decision Diagrams (NDD) provide a natural finite symbolic representation for regular set of integer vectors encoded as strings of digit vectors (least or most significant di…