Alexandre Rocca

Application of the Reachability Analysis for the Iron Homeostasis Study

Alexandre Rocca, Thao Dang, Eric Fanchon, 2016, HSB.

Occupation measure methods for modelling and analysis of biological hybrid systems

Victor Magron, Alexandre Rocca, Thao Dang, 2017, ADHS.

Index-2 hybrid DAE: a case study with well-posedness and numerical analysis

Vincent Acary, Bernard Brogliato, Alexandre Rocca, 2020, IFAC-PapersOnLine.

Occupation measure methods for modelling and analysis of biological hybrid automata pdf

Victor Magron, Alexandre Rocca, Thao Dang, 2017, ArXiv.

Exploiting the Eigenstructure of Linear Systems to Speed up Reachability Computations

Alexandre Rocca, Thao Dang, Eric Fanchon, 2014, HSB.

Certified Roundoff Error Bounds Using Bernstein Expansions and Sparse Krivine-Stengle Representations

Victor Magron, Alexandre Rocca, Thao Dang, 2016, 2017 IEEE 24th Symposium on Computer Arithmetic (ARITH).

Certified Roundoff Error Bounds Using Bernstein Expansions and Sparse Krivine-Stengle Representations

Victor Magron, Alexandre Rocca, Thao Dang, 2018, IEEE Transactions on Computers.

Set-Based Analysis for Biological Modeling

Carla Piazza, Oded Maler, Alexandre Rocca, 2019, Automated Reasoning for Systems Biology and Medicine.

Logical Modeling and Analysis of Regulatory Genetic Networks in a Non Monotonic Framework

Laurent Trilling, Alexandre Rocca, Eric Fanchon, 2015, IWBBIO.

Multi-scale Modelling of Erythropoiesis and Hemoglobin Production

Alexandre Rocca, Eric Fanchon, Vitaly Volpert, 2016, Journal of Inorganic and Organometallic Polymers and Materials.