8 citations · 14 across the 3 of their papers we have counts for
3 papers
math.NA2018
Certified Roundoff Error Bounds using Bernstein Expansions and Sparse Krivine-Stengle Representations
Victor Magron, Alexandre Rocca, Thao Dang
Floating point error is a drawback of embedded systems implementation that is difficult to avoid. Computing rigorous upper bounds of roundoff errors is absolutely necessary for the…
eess.SY2017★ 8 cited
Occupation measure methods for modelling and analysis of biological hybrid automata
Alexandre Rocca, Marcelo Forets, Victor Magron +2
Mechanistic models in biology often involve numerous parameters about which we do not have direct experimental information. The traditional approach is to fit these parameters usin…
math.NA2016★ 6 cited
Certified Roundoff Error Bounds using Bernstein Expansions and Sparse Krivine-Stengle Representations
Alexandre Rocca, Victor Magron, Thao Dang
Floating point error is an inevitable drawback of embedded systems implementation. Computing rigorous upper bounds of roundoff errors is absolutely necessary to the validation of c…