Model checking
Symbolic Model Checking of Biochemical Networks
CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
Modeling and querying biomolecular interaction networks
Theoretical Computer Science - Special issue: Computational systems biology
Theoretical Computer Science - Special issue: Computational systems biology
BioAmbients: an abstraction for biological compartments
Theoretical Computer Science - Special issue: Computational systems biology
A unifying framework for modelling and analysing biochemical pathways using Petri nets
CMSB'07 Proceedings of the 2007 international conference on Computational methods in systems biology
Temporal logic constraints in the biochemical abstract machine BIOCHAM
LOPSTR'05 Proceedings of the 15th international conference on Logic Based Program Synthesis and Transformation
Probabilistic model checking of complex biological pathways
CMSB'06 Proceedings of the 2006 international conference on Computational Methods in Systems Biology
Analysis of signalling pathways using continuous time markov chains
Transactions on Computational Systems Biology VI
Machine learning biochemical networks from temporal logic properties
Transactions on Computational Systems Biology VI
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
From syntax to semantics in systems biology towards automated reasoning tools
Transactions on Computational Systems Biology IV
A Model Checking Approach to the Parameter Estimation of Biochemical Pathways
CMSB '08 Proceedings of the 6th International Conference on Computational Methods in Systems Biology
Formal cell biology in biocham
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
Petri nets for systems and synthetic biology
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
A flexible and extensible architecture for experimental model validation
Proceedings of the 3rd International ICST Conference on Simulation Tools and Techniques
Proceedings of the 8th International Conference on Computational Methods in Systems Biology
A hybrid factored frontier algorithm for dynamic Bayesian network models of biopathways
Proceedings of the 9th International Conference on Computational Methods in Systems Biology
A Hybrid Factored Frontier Algorithm for Dynamic Bayesian Networks with a Biopathways Application
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
Proceedings of the Winter Simulation Conference
Verification and testing of biological models
Proceedings of the Winter Simulation Conference
Hi-index | 0.00 |
Temporal logics and model-checking techniques have proved successful to respectively express biological properties of complex bio-chemical systems, and automatically verify their satisfaction in both qualitative and quantitative models. In this paper, we propose a finite time horizon model-checking algorithm for the existential fragment of LTL with numerical constraints over the reals, with the ability to compute the range of values of the real variables occurring in a formula that makes it true in a model. We illustrate this approach for the analysis of biological data time series, provide a set of biologically relevant patterns of formulas, and evaluate them on models of the cell cycle control and MAPK signal transduction.