A formal definition of complex software Complex software systems : Formalization and applications, 3rd International Conference on Software Engineering Advances, pp.47-62, 2008. ,
Temporal Logic Analysis of Gene Networks Under Parameter Uncertainty, IEEE Transactions on Automatic Control, vol.53, issue.Special Issue, pp.215-244, 2008. ,
DOI : 10.1109/TAC.2007.911330
Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coli, Bioinformatics, vol.21, issue.Suppl 1, p.19, 2005. ,
DOI : 10.1093/bioinformatics/bti1048
URL : https://hal.archives-ouvertes.fr/hal-00171939
Application of formal methods to biological regulatory networks: extending Thomas??? asynchronous logical approach with temporal logic, Journal of Theoretical Biology, vol.229, issue.3, pp.339-386, 2004. ,
DOI : 10.1016/j.jtbi.2004.04.003
Behaviour preservation of a biological regulatory network when embedded into a larger network, Fundam, Inf, vol.91, pp.3-4, 2009. ,
Applications of a formal approach to decipher discrete genetic networks, BMC Bioinformatics, vol.11, issue.1, p.385, 2010. ,
DOI : 10.1186/1471-2105-11-385
A declarative constraint-based method for analyzing discrete genetic regulatory networks, Biosystems, vol.98, issue.2, pp.91-104, 2009. ,
DOI : 10.1016/j.biosystems.2009.07.007
URL : https://hal.archives-ouvertes.fr/hal-00793012
Introduction to algorithms, 2001. ,
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
Genetic Network Analyzer: qualitative simulation of genetic regulatory networks, Bioinformatics, vol.19, issue.3, pp.336-380, 2003. ,
DOI : 10.1093/bioinformatics/btf851
URL : https://hal.archives-ouvertes.fr/inria-00072325
Qualitative simulation of genetic regulatory networks using piecewise-linear models, Bulletin of Mathematical Biology, vol.66, issue.2, pp.301-341, 2004. ,
DOI : 10.1016/j.bulm.2003.08.010
URL : https://hal.archives-ouvertes.fr/hal-00173849
Three logics for branching bisimulation, J. ACM, vol.42, issue.2, pp.458-87, 1995. ,
Handbook of theoretical computer science, volume b : formal models and semantics, ch. Temporal and modal logic, pp.995-1072, 1990. ,
Formal Cell Biology in Biocham, Lecture Notes in Computer Science, vol.5016, pp.54-80, 2008. ,
DOI : 10.1007/978-3-540-68894-5_3
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.140.2675
Embedding of biological regulatory networks and property preservation 33 ,
Regulondb version 7.0: transcriptional regulation of escherichia coli k-12 integrated within genetic sensory response units (gensor units), no. Database issue, pp.98-105, 2011. ,
A Boolean Model of the Gene Regulatory Network Underlying Mammalian Cortical Area Development, PLoS Computational Biology, vol.223, issue.9, pp.251-62, 2010. ,
DOI : 10.1371/journal.pcbi.1000936.s001
Refinement in branching time semantics, Proc. IFIP Conference, pp.613-631, 1989. ,
The logical analysis of continuous, non-linear biochemical control networks, Journal of Theoretical Biology, vol.39, issue.1, pp.39-103, 1973. ,
DOI : 10.1016/0022-5193(73)90208-7
Institutions: abstract model theory for specification and programming, Journal of the ACM, vol.39, issue.1, pp.95-146, 1992. ,
DOI : 10.1145/147508.147524
Genetic regulatory mechanisms in the synthesis of proteins, Journal of Molecular Biology, vol.3, issue.3, pp.318-56, 1961. ,
DOI : 10.1016/S0022-2836(61)80072-7
The SMBioNet method for discovering models of gene regulatory networks, Genes, Genomes and Genomics, vol.3, issue.1, pp.15-22, 2009. ,
Property Preservation along Embedding of Biological Regulatory Networks, Lecture Notes in Computer Science, vol.5147, pp.125-163, 2008. ,
DOI : 10.1007/978-3-540-85101-1_10
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.190.3020
Efficient on-the-fly model-checking for regular alternation-free mu-calculus, Science of Computer Programming, vol.46, issue.3, pp.255-81, 2003. ,
DOI : 10.1016/S0167-6423(02)00094-1
URL : https://hal.archives-ouvertes.fr/inria-00072755
SYMBOLIC MODELING OF GENETIC REGULATORY NETWORKS, Journal of Bioinformatics and Computational Biology, vol.05, issue.02b, pp.627-667, 2007. ,
DOI : 10.1142/S0219720007002850
URL : https://hal.archives-ouvertes.fr/hal-00293530
Current approaches to gene regulatory network modelling, BMC Bioinformatics, vol.8, issue.Suppl 6, p.9, 2007. ,
DOI : 10.1186/1471-2105-8-S6-S9
URL : http://doi.org/10.1186/1471-2105-8-s6-s9
Deriving Behavior of Boolean Bioregulatory Networks from Subnetwork Dynamics, Mathematics in Computer Science, vol.2, issue.3, pp.421-463, 2009. ,
DOI : 10.1007/s11786-008-0064-4
From global expression data to gene networks, BioEssays, vol.27, issue.11, pp.895-99, 1999. ,
DOI : 10.1002/(SICI)1521-1878(199911)21:11<895::AID-BIES1>3.0.CO;2-F
Logical analysis of systems comprising feedback loops, Journal of Theoretical Biology, vol.73, issue.4, pp.631-56, 1978. ,
DOI : 10.1016/0022-5193(78)90127-3
Inheritance of temporal logic properties, FMOODS, pp.79-93, 2003. ,