Name
Title | ||
|---|---|---|
Modeling and formal verification of biological regulatory networks: An integrative approach |
Abstract | ||
|---|---|---|
The study of large models of biological networks by means of analysis and simulation tools leads to large amounts of predictions. This raises the question of how to identify interesting predictions of novel phenomena that can be confronted with experimental data. Formal verification techniques based on model-checking have recently been used to the analysis of these networks. The application of these techniques is hampered, however, by several key issues. First, properties of the network dynamics like multistability and oscillations, are not easily expressed using classical temporal logics. Second, the problem of posing relevant questions in temporal logic, is difficult for non-expert users. Finally, most of the existing modeling and simulation tools are not capable of applying model-checking techniques in a transparent way. |
Year | DOI | Venue |
|---|---|---|
2010 | 10.1109/BIBMW.2010.5703920 | Bioinformatics and Biomedicine Workshops |
Keywords | DocType | ISSN |
biology computing,formal verification,temporal logic,biological regulatory networks,model-checking techniques,multistability,oscillations,qualitative modelling,systems biology,biological network,mathematical model,network dynamics,modeling and simulation,model checking,bioinformatics,predictive models | Conference | 2163-6966 |
ISBN | Citations | PageRank |
978-1-4244-8304-4 | 0 | 0.34 |
References | Authors | |
7 | 5 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Pedro Monteiro | 1 | 21 | 7.49 |
| Ana T. Freitas | 2 | 454 | 26.72 |
| delphine ropers | 3 | 0 | 0.34 |
| radu mateescu | 4 | 0 | 0.34 |
| Hidde de Jong | 5 | 1328 | 132.83 |