Toward synthesizing executable models in biology

Frontiers in Bioengineering and Biotechnology

Volumn 2, Issue DEC, 2014, Pages

  Fisher, Jasmin ^a,b   Piterman, Nir ^c   Bodik, Rastislav ^d  

^a MICROSOFT RESEARCH   (United Kingdom)

^b UNIVERSITY OF CAMBRIDGE   (United Kingdom)

^c UNIVERSITY OF LEICESTER   (United Kingdom)

^d UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Boolean networks; Executable biology; Signaling pathways; Synthesis; Verification

Indexed keywords

ARTIFICIAL INTELLIGENCE; FORMAL METHODS; GENE EXPRESSION; LEARNING SYSTEMS; SYNTHESIS (CHEMICAL); VERIFICATION;

BOOLEAN NETWORKS; EFFICIENT COMPUTATION; ENVIRONMENTAL CONDITIONS; GENE EXPRESSION DATA; HIGH LEVEL SPECIFICATION; NETWORK CONNECTIVITY; SIGNALING PATHWAYS; SYNTHESIS TECHNIQUES;

MODEL CHECKING;

EID: 84997268036     PISSN: None     EISSN: 22964185     Source Type: Journal    
DOI: 10.3389/fbioe.2014.00075     Document Type: Review

References (15)

1. Bonzanni, N., Garg, A., Feenstra, K. A., Schutte, J., Kinston, S., Miranda-Saavedra, D., et al. (2013). Hard-wired heterogeneity in blood stem cells revealed using a dynamic regulatory network model. Bioinformatics 29, i80-i88. doi: 10.1093/bioinformatics/btt243
2. Clarke, E. M., Grumberg, O., and Peled, D. (1999). Model Checking. Cambridge, MA: MIT Press.
3. Dunn, S. J., Martello, G., Yordanov, B., Emmott, S., and Smith, A. G. (2014). Defining an essential transcription factor program for naive pluripotency. Science 344, 1156-1160. doi:10.1126/science.1248882
4. Efroni, S., Harel, D., and Cohen, I. R. (2007). Emergent dynamics of thymocyte development and lineage determination. PLoS Comput. Biol. 3:e13. doi:10.1371/journal.pcbi.0030013
5. Fisher, J., and Henzinger, T. A. (2007). Executable cell biology. Nat. Biotechnol. 25, 1239-1249. doi:10.1038/nbt1356
6. Fisher, J., Piterman, N., Hajnal, A., and Henzinger, T. A. (2007). Predictive modeling of signaling crosstalk during C. elegans vulval development. PLoS Comput. Biol. 3:e92. doi:10.1371/journal.pcbi.0030092
7. Fränzle, M., Hermanns, H., and Teige, T. (2008). "Stochastic satisfiability modulo theory: a novel technique for the analysis of probabilistic hybrid systems," in Hybrid Systems: Computation and Control, eds M. Egerstedt and B. Mishra (Berlin: Springer), 172-186.
8. Guziolowski, C., Videla, S., Eduati, F., Thiele, S., Cokelaer, T., Siegel, A., et al. (2013). Exhaustively characterizing feasible logic models of a signaling network using answer set programming. Bioinformatics 29, 2320-2326. doi:10.1093/bioinformatics/btt393
9. Jianyong, S., Garibaldi, J. M., and Hodgman, C. (2012). Parameter estimation using metaheuristics in systems biology: a comprehensive review. IEEE/ACM Trans. Comput. Biol. Bioinform. 9, 185-202. doi:10.1109/tcbb.2011.63
10. Kauffman, S. A. (1969). Metabolic stability and epigenesis in randomly constructed genetic nets. J. Theor. Biol. 22, 437-467. doi:10.1016/0022-5193(69)90015-0
11. Koksal, A. S., Pu, Y., Srivastava, S., Bodik, R., Fisher, J., and Piterman, N. (2013). "Synthesis of biological models from mutation experiments," in Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Rome: ACM), 469-482.
12. Kupferman, O. (2012). "Recent challenges and ideas in temporal synthesis," in SOFSEM 2012: Theory and Practice of Computer Science, eds M. Bieliková, G. Friedrich, G. Gottlob, S. Katzenbeisser, and G. Turán (Berlin: Springer), 88-98.
13. Sharan, R., and Karp, R. M. (2013). Reconstructing Boolean models of signaling. J. Comput. Biol. 20, 249-257. doi:10.1089/cmb.2012.0241
14. Torlak, E., and Bodik, R. (2014). "A lightweight symbolic virtual machine for solver-aided host languages," in Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation (Edinburgh: ACM), 530-541. doi:10.1145/2594291.2594340
15. Vardi, M. (2008). "From verification to synthesis," in Verified Software: Theories, Tools, Experiments, eds N. Shankar and J. Woodcock (Berlin: Springer), 2-2.