Efficient verification for logical models of regulatory networks

Advances in Intelligent and Soft Computing

Volumn 154 AISC, Issue , 2012, Pages 259-267

  Monteiro, Pedro T ^a   Chaouiya, Claudine ^a  

^a INSTITUTO GULBENKIAN DE CIÊNCIA   (Portugal)

Author keywords

Logical modelling; Model checking; Regulatory networks

Indexed keywords

CELLULAR PROCESS; COMBINATORIAL EXPLOSION; COMPLEX REGULATORY NETWORK; DROSOPHILA EMBRYOS; LOGICAL FRAMEWORKS; LOGICAL MODELLING; LOGICAL MODELS; NUMBER OF STATE; PRIORITY CLASS; QUALITATIVE ANALYSIS; REGULATORY NETWORK; STATE SPACE;

ENCODING (SYMBOLS); MODEL CHECKING;

BIOINFORMATICS;

EID: 84861205185     PISSN: 18675662     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-642-28839-5_30     Document Type: Conference Paper

References (10)

1. Batt, G., Ropers, D., de Jong, H., Geiselmann, J., Mateescu, R., Page, M., Schneider, D.: Validation of qualitative models of genetic regulatory networks by model checking: Analysis of the nutritional stress response in Escherichia coli. Bioinformatics 21 (suppl.), i19-i28 (2005)
2. Bernot, G., Comet, J., Richard, A., Guespin, J.: Application of formal methods to biological regulatory networks: Extending Thomas' asynchronous logical approach with temporal logic. J. Theor. Biol. 229(3), 339-348 (2004)
3. Cimatti, A., Clarke, E., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV 2: An OpenSource Tool for Symbolic Model Checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 359-364. Springer, Heidelberg (2002)
4. Fauré, A., Naldi, A., Chaouiya, C., Thieffry, D.: Dynamical analysis of a generic boolean model for the control of the mammalian cell cycle. Bioinformatics 22(14), 124-131 (2006)
5. Müller-Olm, M., Schmidt, D., Steffen, B.: Model-checking: A Tutorial Introduction. In: Cortesi, A., Filé, G. (eds.) SAS 1999. LNCS, vol. 1694, pp. 330-354. Springer, Heidelberg (1999)
6. Naldi, A., Berenguier, D., Fauré, A., Lopez, F., Thieffry, D., Chaouiya, C.: Logical modelling of regulatory networks with GINsim 2.3. Biosystems 97(2), 134-139 (2009)
7. Pecheur, C., Raimondi, F.: Symbolic Model Checking of Logics with Actions. In: Edelkamp, S., Lomuscio, A. (eds.) MoChArt IV. LNCS (LNAI), vol. 4428, pp. 113-128. Springer, Heidelberg (2007)
8. Sánchez, L., Chaouiya, C., Thieffry, D.: Segmenting the fly embryo: a logical analysis of the segment-polarity cross-regulatory module. Int. J. Dev. Biol. 52(8), 1059-1075 (2008)
9. Sánchez, L., Thieffry, D.: Segmenting the fly embryo: a logical analysis of the pair-rule cross-regulatory module. J. Theor. Biol. 224(4), 517-537 (2003)
10. Thomas, R., D'Ari, R.: Biological Feedback. CRC Press (1990)