Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE
Electronic Notes in Theoretical Computer Science (ENTCS)
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications
HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control
Approximating Continuous Systems by Timed Automata
FMSB '08 Proceedings of the 1st international workshop on Formal Methods in Systems Biology
CMSB '08 Proceedings of the 6th International Conference on Computational Methods in Systems Biology
Computation Tree Regular Logic for Genetic Regulatory Networks
ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
Local Identification of Piecewise Deterministic Models of Genetic Networks
HSCC '09 Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control
A Bayesian Approach to Model Checking Biological Systems
CMSB '09 Proceedings of the 7th International Conference on Computational Methods in Systems Biology
Model checking genetic regulatory networks with parameter uncertainty
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Piecewise constant feedback control of piecewise affine gene network models
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Model checking liveness properties of genetic regulatory networks
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
From model-checking to temporal logic constraint solving
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
Theoretical Computer Science
Communications of the ACM
Stabilization of Finite Automata with Application to Hybrid Systems Control
Discrete Event Dynamic Systems
A fully automated framework for control of linear systems from LTL specifications
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
Modelling and analysing genetic networks: from boolean networks to petri nets
CMSB'06 Proceedings of the 2006 international conference on Computational Methods in Systems Biology
Experimentally driven verification of synthetic biological circuits
DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe
Model-Checking signal transduction networks through decreasing reachability sets
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification
| Hi-index | 3.85 |
Motivation: The modeling and simulation of genetic regulatory networks have created the need for tools for model validation. The main challenges of model validation are the achievement of a match between the precision of model predictions and experimental data, as well as the efficient and reliable comparison of the predictions and observations. Results: We present an approach towards the validation of models of genetic regulatory networks addressing the above challenges. It combines a method for qualitative modeling and simulation with techniques for model checking, and is supported by a new version of the computer tool Genetic Network Analyzer (GNA). The model-validation approach has been applied to the analysis of the network controlling the nutritional stress response in Escherichia coli. Availability: GNA and the model of the stress response network are available at http://www-helix.inrialpes.fr/gna Contact: Hidde.de-Jong@inrialpes.fr