Probabilistic verification of partially observable dynamical systems

Bayesian inference in statistical analysis

Box, G.E., Tiao, G.C.: · 1973

Earlier work this paper cites.

Automatic symbolic verification of embedded systems

Alur, R., Henzinger, T.A., Ho, P.H.: · 1996

Earlier work this paper cites.

Markov chain Monte Carlo in practice

Gilks, W.R., Richardson, S., Spiegelhalter, D.J., eds.: · 1996

Earlier work this paper cites.

Model Checking

Clarke, E.M., Grumberg, O., Peled, D.A.: · 1999

Earlier work this paper cites.

Probabilistic verification of discrete event systems using acceptance sampling

Younes, H.L., Simmons, R.G.: · 2002

Earlier work this paper cites.

Identification of nucleocytoplasmic cycling as a remote sensor in cellular signaling by databased modeling

Swameye, I., Müller, T., Timmer, J.t., Sandra, O., Klingmüller, U.: · 2003

Earlier work this paper cites.

Approximate probabilistic model checking

Hérault, T., Lassaigne, R., Magniette, F., Peyronnet, S.: · 2004

Earlier work this paper cites.

Monte Carlo statistical methods. Second edn

Robert, C.P., Casella, G.: · 2004

Earlier work this paper cites.

Systems biology in practice: concepts, implementation and application

Klipp, E., Herwig, R., Kowald, A., Wierling, C., Lehrach, H.: · 2005

Earlier work this paper cites.

Statistical probabilistic model checking with a focus on time-bounded properties

Younes, H.L.S., Simmons, R.G.: · 2006

Earlier work this paper cites.

Physicochemical modelling of cell signalling pathways

Aldridge, B.B., Burke, J.M., Lauffenburger, D.A., Sorger, P.K.: · 2006

Cited alongside, same era.

Predictive modeling of signaling crosstalk during c. elegans vulval development

Fisher, J., Piterman, N., Hajnal, A., Henzinger, T.A.: · 2007

Cited alongside, same era.

Stochastic model checking

Kwiatkowska, M., Norman, G., Parker, D.: · 2007

Cited alongside, same era.

Statistical model checking in BioLab: Applications to the automated analysis of T-cell receptor signaling pathway

Clarke, E.M., Faeder, J.R., Langmead, C.J., Harris, L.A., Jha, S.K., Legay, A.: · 2008

Cited alongside, same era.

Probabilistic model checking of complex biological pathways

Heath, J., Kwiatkowska, M., Norman, G., Parker, D., Tymchyshyn, O.: · 2008

Cited alongside, same era.

Learning and Inference in Computational Systems Biology

Lawrence, N.D., Girolami, M., Rattray, M., Sanguinetti, G.: · 2009

Statistical model checking: An overview

Legay, A., Delahaye, B., Bensalem, S.: · 2010

Later among the works it cites.

Inferring signaling pathway topologies from multiple perturbation measurements of specific biochemical species

Xu, T.R., Vyshemirsky, V., Gormand, A., von Kriegsheim, A., Girolami, M., Baillie, G.S., Ketley, D., Dunlop, A.J., Milligan, G., Houslay, M.D., et al.: · 2010

Later among the works it cites.

Bayesian parameter inference for stochastic biochemical network models using particle markov chain monte carlo

Golightly, A., Wilkinson, D.J.: · 2011

Later among the works it cites.

An integrated strategy for prediction uncertainty analysis

Vanlier, J., Tiemann, C., Hilbers, P.A., van Riel, N.A.: · 2012

Later among the works it cites.

Stochastic modelling for systems biology. Volume 44

Wilkinson, D.J.: · 2012

Later among the works it cites.

Statistical model checking based calibration and analysis of bio-pathway models