Title
Model Checking Genetic Regulatory Networks Using GNA and CADP
Abstract
The study of genetic regulatory networks, which underlie the functioning of living organisms, has received a major impetus from the recent development of high-throughput genomic techniques. This experimental progress calls for the development of appropriate computer tools supporting the analysis of genetic regulatory processes. We have developed a modeling and simulation method [5,7], based on piecewise-linear differential equations, that is well-adapted to the qualitative nature of most available biological data. The method has been implemented in the tool Genetic Network Analyzer (GNA) [6], which produces a graph of qualitative states and transitions between qualitative states. The graph provides a discrete abstraction of the dynamics of the system.
Year
DOI
Venue
2004
10.1007/978-3-540-24732-6_12
Lecture Notes in Computer Science
Keywords
Field
DocType
piecewise linear,modeling and simulation,biological data,model checking,high throughput,differential equation
Biological data,Abstraction,Model checking,Modeling and simulation,Computer science,Computer tools,Theoretical computer science,Temporal logic,Genetic algorithm,Hybrid automaton
Conference
Volume
ISSN
Citations 
2989
0302-9743
18
PageRank 
References 
Authors
0.87
9
5
Name
Order
Citations
PageRank
Grégory Batt136425.79
Damien Bergamini2442.46
Hidde de Jong31328132.83
Hubert Garavel4119484.45
Radu Mateescu5128777.10