Paper Info
Title
Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coli.
Abstract
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.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.GNA and the model of the stress response network are available at http://www-helix.inrialpes.fr/gna.
Year
DOI
Venue
2005
10.1093/bioinformatics/bti1048
ISMB (Supplement of Bioinformatics)
Keywords
Field
DocType
stress response network,model checking,genetic regulatory network,escherichia coli,nutritional stress response,qualitative modeling,computer tool genetic network,model-validation approach,model validation,model prediction,modeling and simulation,genetics,stress response
Data mining,Fight-or-flight response,Model checking,Experimental data,Modeling and simulation,Computer science,Computer tools,Bioinformatics,Genetic network
Conference
Volume
Issue
ISSN
21 Suppl 1
1
1367-4803
Citations 
PageRank 
References 
83
8.38
13
Authors
7
Name
Order
Citations
PageRank
Grégory Batt136425.79
Delphine Ropers221821.43
Hidde de Jong31328132.83
Johannes Geiselmann425426.07
Radu Mateescu5128777.10
Michel Page631025.93
Dominique Schneider7989.88