Growth rate of Escherichia coli, Microbiol. Rev, vol.55, pp.316-333, 1991. ,
Multistability in the lactose utilization network of Escherichia coli, Nature, vol.427, issue.6976, pp.737-740, 2004. ,
DOI : 10.1038/nature02298
Foundations and techniques for software recongurability, 2013. ,
A method for rigorous design of reconfigurable systems, Science of Computer Programming, vol.132, pp.50-76, 2016. ,
DOI : 10.1016/j.scico.2016.05.001
Relating Bisimulations with Attractors in Boolean Network Models, International Conference on Algorithms for Computational Biology, pp.17-25, 2016. ,
DOI : 10.1016/j.automatica.2013.01.015
URL : http://ria.ua.pt/bitstream/10773/16097/1/Article.pdf
Molecular logic-based computation, 2012. ,
A reconfigurable NAND/NOR genetic logic gate, BMC Systems Biology, vol.6, issue.1, 2012. ,
DOI : 10.1038/nature03461
Robust multicellular computing using genetically encoded NOR gates and chemical ???wires???, Nature, vol.14, issue.7329, pp.212-215, 2011. ,
DOI : 10.1080/00207177108932113
URL : http://www.ncbi.nlm.nih.gov/pmc/articles/PMC3904220
Introduction to Discrete Event Systems, 2 nd Ed, 2008. ,
DOI : 10.1007/978-1-4757-4070-7
Formal Methods for, Computational Systems Biology Lecture Notes in Computer Science, vol.5016, 2008. ,
Logical analysis of hybrid systems: proving theorems for complex dynamics, 2010. ,
Certifying the safe design of a virtual fixture control algorithm for a surgical robot, Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC '13, pp.263-272, 2013. ,
DOI : 10.1145/2461328.2461369
Formal Verification of Curved Flight Collision Avoidance Maneuvers: A Case Study, 2009. ,
DOI : 10.1007/978-3-642-05089-3_35
European Train Control System, pp.246-265, 2009. ,
DOI : 10.1007/978-3-642-14509-4_7
Temporal Logic Analysis of Gene Networks Under Parameter Uncertainty, IEEE Transactions on Automatic Control, vol.53, issue.Special Issue, pp.215-229, 2008. ,
DOI : 10.1109/TAC.2007.911330
Dynamic logic, 2000. ,
The theory of hybrid automata, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, pp.278-292, 1996. ,
DOI : 10.1109/LICS.1996.561342
Hierarchy of models: From qualitative to quantitative analysis of circadian rhythms in cyanobacteria, Chaos: An Interdisciplinary Journal of Nonlinear Science, vol.23, issue.2, p.25113, 2013. ,
DOI : 10.1073/pnas.1007613107
URL : https://hal.archives-ouvertes.fr/hal-00850373
Modeling and Simulation of Genetic Regulatory Systems: A Literature Review, Journal of Computational Biology, vol.9, issue.1, pp.67-103, 2002. ,
DOI : 10.1089/10665270252833208
URL : https://hal.archives-ouvertes.fr/inria-00072606
Piecewise-linear Models of Genetic Regulatory Networks: Equilibria and their Stability, Journal of Mathematical Biology, vol.52, issue.1, pp.27-56, 2006. ,
DOI : 10.1007/s00285-005-0338-2
URL : https://hal.archives-ouvertes.fr/inria-00071250
The logical analysis of continuous, nonlinear biochemical control networks, J. Theor. Biol, pp.39-103, 1973. ,
Reachability and Control Synthesis for Piecewise-Affine Hybrid Systems on Simplices, IEEE Transactions on Automatic Control, vol.51, issue.6, pp.938-948, 2006. ,
DOI : 10.1109/TAC.2006.876952
Genetic Network Analyzer: qualitative simulation of genetic regulatory networks, Bioinformatics, vol.19, issue.3, pp.336-344, 2003. ,
DOI : 10.1093/bioinformatics/btf851
URL : https://hal.archives-ouvertes.fr/inria-00072325
Differential dynamic logic and applications, Master's thesis, 2015. ,
Exact control of genetic networks in a qualitative framework: The bistable switch example, Automatica, vol.47, issue.6, pp.1105-1112, 2011. ,
DOI : 10.1016/j.automatica.2011.01.071
URL : https://hal.archives-ouvertes.fr/inria-00507040
Interactive verification of cyber-physical systems: Interfacing averest and keymaera, Computer Science and Information Systems (FedCSIS), 2013 Federated Conference on, pp.1405-1412, 2013. ,
dReach: ??-Reachability Analysis for Hybrid Systems, pp.200-205, 2015. ,
DOI : 10.1007/978-3-662-46681-0_15