Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE

被引：9
|
作者：
Barnat, J. [1 ]
Brim, L. [1 ]
Cerna, I. [1 ]
Drazan, S. [1 ]
Safranek, D. [1 ]
机构：
[1] Masaryk Univ, Fac Informat, Brno, Czech Republic
来源：
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2008年 / 194卷 / 03期
关键词：
genetic regulatory networks; discrete simulation; parallel model checking;
D O I：
10.1016/j.entcs.2007.12.001
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Studies of cells in silico can greatly reduce the need for expensive and prolonged laboratory experimentation. The use of model checking for the analysis of biological networks has attracted much attention recently. One of the practical limitations is the size of the model. In the paper we report on parallel model checking of genetic regulatory network using the model-checker DiVinE. The approach can check linear time properties on large networks.
引用
收藏
页码：35 / 50
页数：16
相关论文
共 50 条
  • [1] Large-Scale Computational Modeling of Genetic Regulatory Networks
    M. Stetter
    G. Deco
    M. Dejori
    [J]. Artificial Intelligence Review, 2003, 20 : 75 - 93
  • [2] Large-scale computational modeling of genetic regulatory networks
    Stetter, M
    Deco, G
    Dejori, M
    [J]. ARTIFICIAL INTELLIGENCE REVIEW, 2003, 20 (1-2) : 75 - 93
  • [3] Efficient Large-Scale Model Checking
    Verstoep, Kees
    Bal, Henri E.
    Barnat, Jiri
    Brim, Lubos
    [J]. 2009 IEEE INTERNATIONAL SYMPOSIUM ON PARALLEL & DISTRIBUTED PROCESSING, VOLS 1-5, 2009, : 201 - +
  • [4] A New Asynchronous Parallel Algorithm for Inferring Large-Scale Gene Regulatory Networks
    Xiao, Xiangyun
    Zhang, Wei
    Zou, Xiufen
    [J]. PLOS ONE, 2015, 10 (03):
  • [5] Large-scale directed model checking LTL
    Edelkamp, S
    Jabbar, S
    [J]. MODEL CHECKING SOFTWARE, PROCEEDINGS, 2006, 3925 : 1 - 18
  • [6] Model checking genetic regulatory networks with parameter uncertainty
    Batt, Gregory
    Belta, Calin
    Weiss, Ron
    [J]. HYBRID SYSTEMS: COMPUTATION AND CONTROL, PROCEEDINGS, 2007, 4416 : 61 - +
  • [7] Model checking liveness properties of genetic regulatory networks
    Batt, Gregory
    Belta, Calin
    Weiss, Ron
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2007, 4424 : 323 - +
  • [8] Parallel simulation techniques for large-scale networks
    Bhatt, S
    Fujimoto, R
    Ogielski, A
    Perumalla, K
    [J]. IEEE COMMUNICATIONS MAGAZINE, 1998, 36 (08) : 42 - 47
  • [9] A parallel algorithm for analysis of large-scale networks
    Alexander, AE
    Ali, AL
    [J]. COMPUTERS & INDUSTRIAL ENGINEERING, 1996, 31 (1-2) : 375 - 378
  • [10] Reconstruction of Large-Scale Gene Regulatory Networks Using Bayesian Model Averaging
    Kim, Haseong
    Gelenbe, Erol
    [J]. IEEE TRANSACTIONS ON NANOBIOSCIENCE, 2012, 11 (03) : 259 - 265
12345