Alexandre Rocca
PhD in Applied Mathematics and Embedded Systems and Software Engineer

Research engineer in Verimag Laboratory and TIMC-IMAG Laboratory.


Contact and Info

Research Topics

Domain: Non-linear optimization; Analysis of dynamical systems
Keywords: Reachability analysis; Bernstein expansion; Non-linear optimization; Mathematical modelling; Hybrid dynamical systems; Boolean networks; Answer set programming.

Awards and Scholarship

[July 2017] Best Paper Award at ARITH 24 Conference (24th IEEE Symposium on Computer Arithmetic).
[October 2014] MSTII (Mathématiques, Sciences et Technologies de l'Information, Informatique), Doctoral School PhD scholarship in Grenoble, France
[March 2013] NII (National Institute of Informatics) international student scholarship program, Japan.


Journal papers and Book chapters

[Submitted in May 2018] Set-Based Analysis for Biological Modelling. (pdf before review)
Thao Dang, Tommaso Dreossi, Eric Fanchon, Carla Piazza and Alexandre Rocca.
in Automated Reasoning for Systems Biology and Medicine.
[2018] Formal methods for modelling and validation of biological models. (pdf before review)
Alexandre Rocca.
PhD Thesis in Applied Mathematics of the University Grenoble Alpes.
[2018] Certified Roundoff Error Bounds using Bernstein Expansions and Sparse Krivine-Stengle Representations. (pdf)
Victor Magron, Alexandre Rocca, Thao Dang.
in IEEE Transactions on Computers.
[2016] Multi-scale Modelling of Erythropoiesis and Hemoglobin Production. (pdf)
Anass Bouchnita, Alexandre Rocca, Eric Fanchon, Mark Koury, Jean-Marc Moulis and Vitaly Volpert.
in Journal of Inorganic and Organometallic Polymers and Materials, November 2016, Volume 26, Issue 6, pp 1362–1379.
[2014] ASP for Construction and Validation of Regulatory Biological Networks. (pdf before proceeding)
Alexandre Rocca, Nicolas Mobilia, Eric Fancon, Tony Ribeiro, Laurent Trilling and Katsumi Inoue.
in Logical Modelling of Biological Systems chapter 5, Wiley-ISTE 2014, ISBN: 978-1-84821-680-8.

International Conference and Workshop Papers (with peer review)

[2018] Occupation measure methods for modelling and analysis of biological hybrid systems. (pdf)
Alexandre Rocca, Marcelo Forets, Victor Magron, Eric Fanchon, and Thao Dang.
IFAC Conference on Analysis and Design of Hybrid Systems(ADHS 2018), Oxford, United Kingdom.
[2016] Certified Roundoff Error Bounds using Bernstein Expansions and Sparse Krivine-Stengle Representations. (pdf)
Alexandre Rocca, Victor Magron, Thao Dang.
Best paper award , 24th IEEE Symposium on Computer Arithmetic, London, United Kingdom.
[2016] Application of the Reachability Analysis for the Iron Homeostasis Study. (pdf)
Alexandre Rocca, Thao Dang, Eric Fanchon, and Jean-Marc Moulis.
Fifth International Workshop on Hybrid Systems Biology(HSB 2016), Grenoble, France..
[2015] Logical Modeling and Analysis of Regulatory Genetic Networks in a Non Monotonic Framework. (pdf)
Nicolas Mobilia, Alexandre Rocca, Samuel Chorlton, Eric Fanchon, and Laurent Trilling.
Third International Work-Conference on Bioinformatics and Biomedical Engineering(IWBBIO 2015), Granada, Spain.
[2014] Exploiting the Eigenstructure of Linear Systems to speed up Reachability Computations. (pdf)
Alexandre Rocca, Eric Fanchon, Thao Dang.
Third International Workshop on Hybrid Systems Biology(HSB 2014), Vienna, Austria.
[2013] Inference and Learning of Boolean Networks Using Answer Set Programming. (pdf)
Alexandre Rocca, Tony Ribeiro, Katsumi Inoue.
First International Workshop on Learning and Nonmonotonic Reasoning (LNMR 2013), Corunna, Spain.