Automated Property Synthesis of ODEs Based Bio-pathways Models 281
- Bufo, S., Bartocci, E., Sanguinetti, G., Borelli, M., Lucangelo, U., Bortolussi, L.:
Temporal logic based monitoring of assisted ventilation in intensive care patients.
In: Margaria, T., Steffen, B. (eds.) ISoLA 2014. LNCS, vol. 8803, pp. 391–403.
Springer, Heidelberg (2014). doi:10.1007/978-3-662-45231-8 30 - Chen, G., Sabato, Z., Kong, Z.: Active learning based requirement mining for
cyber-physical systems. In: 2016 IEEE 55th Conference on Decision and Control
(CDC), pp. 4586–4593. IEEE (2016) - Donz ́e, A., Maler, O.: Robust satisfaction of temporal logic over real-valued signals.
In: Chatterjee, K., Henzinger, T.A. (eds.) FORMATS 2010. LNCS, vol. 6246, pp.
92–106. Springer, Heidelberg (2010). doi:10.1007/978-3-642-15297-9 9 - Fainekos, G.E., Pappas, G.J.: Robustness of temporal logic specifications for
continuous-time signals. Theor. Comput. Sci. 410 (42), 4262–4291 (2009) - Goldbeter, A., Pourqui ́e, O.: Modeling the segmentation clock as a network of
coupled oscillations in the Notch, Wnt and FGF signaling pathways. J. Theor.
Biol. 252 (3), 574–585 (2008) - Grosu, R., Smolka, S.A., Corradini, F., Wasilewska, A., Entcheva, E., Bartocci,
E.: Learning and detecting emergent behavior in networks of cardiac myocytes.
Commun. ACM 52 (3), 97–105 (2009) - Heath, J., Kwiatkowska, M., Norman, G., Parker, D., Tymchyshyn, O.: Probabilis-
tic model checking of complex biological pathways. Theor. Comput. Sci. 391 (3),
239–257 (2008) - Hockin, M.F., Cawthern, K.M., Kalafatis, M., Mann, K.G.: A model describing
the inactivation of factor Va by APC: bond cleavage, fragment dissociation, and
product inhibition. Biochemistry 38 (21), 6918–6934 (1999) - Hoxha, B., Dokhanchi, A., Fainekos, G.: Mining parametric temporal logic proper-
ties in model-based design for cyber-physical systems. Int. J. Softw. Tools Technol.
Transf. (2017).http://dx.doi.org/10.1007/s10009-017-0447-4 - Jha, S.K., Clarke, E.M., Langmead, C.J., Legay, A., Platzer, A., Zuliani, P.: A
Bayesian approach to model checking biological systems. In: Degano, P., Gorrieri,
R. (eds.) CMSB 2009. LNCS, vol. 5688, pp. 218–234. Springer, Heidelberg (2009).
doi:10.1007/978-3-642-03845-7 15 - Jin, X., Donz ́e, A., Deshmukh, J.V., Seshia, S.A.: Mining requirements from closed-
loop control models. IEEE Trans. Comput. Aided Des. Integr. Circ. Syst. 34 (11),
1704–1717 (2015) - Juty, N., Ali, R., Glont, M., Keating, S., Rodriguez, N., Swat, M.J., Wimalaratne,
S.M., Hermjakob, H., Le Nov`ere, N., Laibe, C., Chelliah, V.: BioModels: content,
features, functionality and use. CPT Pharmacomet. Syst. Pharmacol. 4 , 55–68
(2015)
19.Kass,R.E.,Raftery,A.E.:Bayesfactors.J.Am.Stat.Assoc. 90 (430), 773–795
(1995) - Kholodenko, B.N.: Negative feedback and ultrasensitivity can bring about oscilla-
tions in the mitogen-activated protein kinase cascades. Eur. J. Biochem. 267 (6),
1583–1588 (2000) - Kirkpatrick, S., Gelatt, C.D., Vecchi, M.P., et al.: Optimization by simulated
annealing. Science 220 (4598), 671–680 (1983) - Langlois, W.J., Sasaoka, T., Saltiel, A.R., Olefsky, J.M.: Negative feedback regula-
tion and desensitization of insulin-and epidermal growth factor-stimulated p21ras
activation. J. Biol. Chem. 270 (43), 25320–25323 (1995)