G. Batt, B. Yordanov, R. Weiss, and C. Belta, Robustness analysis and tuning of synthetic gene networks, Bioinformatics, vol.23, issue.18, pp.2415-2422, 2007.

Y. Benenson, R. Adar, T. Paz-elizur, Z. Livneh, and E. Shapiro, DNA molecule provides a computing machine with both data and fuel, Proceedings of the National Academy of Sciences, vol.100, issue.5, pp.2191-2196, 2003.

O. Bournez, D. S. Graça, and A. Pouly, Polynomial Time corresponds to Solutions of Polynomial Ordinary Differential Equations of Polynomial Length, 43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016, vol.55, pp.1-109, 2016.

H. Cao, L. Kang, Y. Chen, and J. Yu, Evolutionary modeling of systems of ordinary differential equations with genetic programming, Genetic Programming and Evolvable Machines, vol.1, issue.4, pp.309-337, 2000.

H. Cao, F. J. Romero-campero, S. Heeb, M. Cámara, and N. Krasnogor, Evolving cell models for systems and synthetic biology, Systems and Synthetic Biology, vol.4, issue.1, pp.55-84, 2010.

L. Cardelli, M. ?e?ka, M. Fränzle, M. Kwiatkowska, L. Laurenti et al., Syntax-guided optimal synthesis for chemical reaction networks, International Conference on Computer Aided Verification, pp.375-395, 2017.

L. Cardelli and A. Csikász-nagy, The cell cycle switch computes approximate majority, Scientific Reports, vol.2, 2012.

L. Cardelli, M. Kwiatkowska, and M. Whitby, Chemical Reaction Network Designs for Asynchronous Logic Circuits, pp.67-81, 2016.

D. C. Carothers, G. E. Parker, J. S. Sochacki, and P. G. Warne, Some properties of solutions to polynomial systems of differential equations, Electronic Journal of Differential Equations, issue.40, pp.1-17, 2005.

V. Chelliah, C. Laibe, and N. Novère, Biomodels database: A repository of mathematical models of biological processes, Silico Systems Biology, vol.1021, pp.189-199, 2013.

Y. Chen, N. Dalchau, N. Srinivas, A. Phillips, L. Cardelli et al., Programmable chemical controllers made from DNA, Nature Nanotechnology, vol.8, pp.755-762, 2013.

Y. Chen and C. D. Smolke, From DNA to targeted therrapeutics: bringing synthetic biology moving to the clinic, Sci. Transl. Med, vol.3, issue.106, 2011.

A. Courbet, P. Amar, F. Fages, E. Renard, and F. Molina, Computer-aided biochemical programming of synthetic microreactors as diagnostic devices, Molecular Systems Biology, vol.14, issue.4, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01779791

A. Courbet, F. Molina, and P. Amar, Computing with synthetic protocells, Acta Biotheoretica, vol.63, issue.3, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01153130

N. Dalchau, N. Murphy, R. Petersen, and B. Yordanov, Synthesizing and tuning chemical reaction networks with specified behaviours, International Workshop on DNA-Based Computers, pp.16-33, 2015.

L. D. Dalcin, R. R. Paz, P. A. Kler, and A. Cosimo, Parallel distributed computing using Python, Advances in Water Resources, vol.34, issue.9, pp.1124-1139, 2011.

R. Daniel, J. R. Rubens, R. Sarpeshkar, and T. K. Lu, Synthetic analog computation in living cells, Nature, vol.497, issue.7451, pp.619-623, 2013.

H. Q. Dinh, N. Aubert, N. Noman, T. Fujii, Y. Rondelez et al., An Effective Method for Evolving Reaction Networks in Synthetic Biochemical Systems, IEEE Transactions on Evolutionary Computation, vol.19, issue.3, pp.374-386, 2015.

X. Duportet, L. Wroblewska, P. Guye, Y. Li, J. Eyquem et al., A platform for rapid prototyping of synthetic gene networks in mammalian cells, Nucleic Acids Research, vol.42, issue.21, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01103532

F. Fages, G. Le-guludec, O. Bournez, and A. Pouly, Strong Turing Completeness of Continuous Chemical Reaction Networks and Compilation of Mixed Analog-Digital Programs, CMSB'17: Proceedings of the fiveteen international conference on Computational Methods in Systems Biology, vol.10545, pp.108-127, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01519828

F. Fages, S. Gay, and S. Soliman, Inferring reaction systems from ordinary differential equations, Theoretical Computer Science, vol.599, pp.64-78, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01103692

F. Fages and S. Soliman, On robustness computation and optimization in biocham-4, CMSB'18: Proceedings of the sixteenth international conference on Computational Methods in Systems Biology, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01814854

S. Gay, F. Fages, T. Martinez, S. Soliman, and C. Solnon, On the subgraph epimorphism problem, Discrete Applied Mathematics, vol.162, pp.214-228, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01098527

S. Gay, S. Soliman, and F. Fages, A graphical method for reducing and relating models in systems biology, Bioinformatics, vol.26, issue.18, pp.575-581, 2010.
URL : https://hal.archives-ouvertes.fr/hal-01431335

H. F. Gomez, M. Hucka, S. M. Keating, G. Nudelman, D. Iber et al., Moccasin: converting matlab ode models to sbml, Bioinformatics, vol.21, issue.12, pp.1905-1906, 2016.

R. N. Gutenkunst, J. J. Waterfall, F. P. Casey, K. S. Brown, C. R. Myers et al., Universally sloppy parameter sensitivities in systems biology models, PLOS Computational Biology, vol.3, issue.10, pp.1-8, 2007.

N. Hansen, A. Auger, R. Ros, S. Finck, and P. Po?ík, Comparing results of 31 algorithms from the black-box optimization benchmarking BBOB-2009, Proceedings of the 12th annual conference comp on Genetic and evolutionary computation -GECCO '10, p.1689, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00545727

N. Hansen and A. Ostermeier, Completely derandomized self-adaptation in evolution strategies, Evolutionary Computation, vol.9, issue.2, pp.159-195, 2001.

V. Hárs and J. Tóth, On the inverse problem of reaction kinetics, Colloquia Mathematica Societatis János Bolyai. Qualitative Theory of Differential Equations, vol.30, pp.363-379, 1979.

D. Heitzler, G. Durand, N. Gallay, A. Rizk, S. Ahn et al., Competing G protein-coupled receptor kinases balance G protein and ?-arrestin signaling, Molecular Systems Biology, vol.8, issue.590, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00776169

M. Hemery and P. François, In silico evolution of biochemical log-response. The Journal of, Physical Chemistry B, 2019.

C. I. Hong, J. Zã¡mborszky, and A. Csikasz-nagy, Minimum criteria for dna damageinduced phase advances in circadian rhythms, PLoS Computational Biology, vol.5, issue.5, p.1000384, 2009.

Y. T. Hsiao and W. P. Lee, Reverse engineering gene regulatory networks: Coupling an optimization algorithm with a parameter identification technique, BMC Bioinformatics, vol.15, 2014.

C. Y. Huang and J. E. Ferrell, Ultrasensitivity in the mitogen-activated protein kinase cascade, PNAS, vol.93, pp.10078-10083, 1996.

H. Kageyama, T. Nishiwaki, M. Nakajima, H. Iwasaki, T. Oyama et al., Cyanobacterial circadian pacemaker: Kai protein complex dynamics in the kaic phosphorylation cycle in vitro, Molecular Cell, vol.23, issue.2, pp.161-171, 2006.

N. I. Markevich, J. B. Hoek, and B. N. Kholodenko, Signaling switches and bistability arising from multisite phosphorylation in protein kinase cascades, Journal of Cell Biology, vol.164, issue.3, pp.353-359, 2004.

K. Oishi and E. Klavins, Biomolecular implementation of linear i/o systems, IET SYstems Biology, vol.5, issue.4, pp.252-260, 2011.

L. Qian, D. Soloveichik, and E. Winfree, Efficient turing-universal computation with DNA polymers, Proc. DNA Computing and Molecular Programming, vol.6518, pp.123-140, 2011.

A. Rizk, G. Batt, F. Fages, and S. Soliman, A general computational method for robustness analysis with applications to synthetic gene networks, Bioinformatics, vol.12, issue.25, pp.69-78, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00419708

A. Rizk, G. Batt, F. Fages, and S. Soliman, Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures, Theoretical Computer Science, vol.412, issue.26, pp.2827-2839, 2011.
URL : https://hal.archives-ouvertes.fr/hal-01431314

J. R. Rubens, G. Selvaggio, and T. K. Lu, Synthetic mixed-signal computation in living cells, Nature Communications, vol.7, 2016.

R. Sarpeshkar, Analog synthetic biology, Philosophical Transactions of the Royal Society of London A: Mathematical, Physical and Engineering Sciences, vol.372, 2012.

H. M. Sauro and K. Kim, Synthetic biology: It's an analog world, Nature, vol.497, issue.7451, pp.572-573, 2013.

J. Uhlendorf, A. Miermont, T. Delaveau, G. Charvin, F. Fages et al., Long-term model predictive control of gene expression at the population and single-cell levels, Proceedings of the National Academy of Sciences USA, vol.109, issue.35, pp.14271-14276, 2012.
URL : https://hal.archives-ouvertes.fr/hal-01528440

L. Valiant, , 2013.

M. Vasic, D. Soloveichik, and S. Khurshid, CRN++: Molecular programming language, Proc. DNA Computing and Molecular Programming, vol.11145, pp.1-18, 2018.

D. D. Vecchio, H. Abdallah, Y. Qian, and J. J. Collins, A blueprint for a synthetic genetic feedback controller to reprogram cell fate, Cell Systems, vol.4, pp.109-120, 2017.