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 条

[41] A Parallel Direct Solver for the Simulation of Large-Scale Power/Ground Networks
Cauley, Stephen
Balakrishnan, Venkataramanan
Koh, Cheng-Kok
[J]. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2010, 29 (04) : 636 - 641
[42] A parallel and distributed algorithm for role discovery in large-scale social networks
Xiao, Yunpeng
Lu, Xingyu
Liu, Yanbing
[J]. INTELLIGENT AUTOMATION AND SOFT COMPUTING, 2016, 22 (04): : 675 - 681
[43] Model Reduction and Clusterization of Large-Scale Bidirectional Networks
Ishizaki, Takayuki
Kashima, Kenji
Imura, Jun-ichi
Aihara, Kazuyuki
[J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2014, 59 (01) : 48 - 63
[44] False discovery rates for large-scale model checking under certain dependence
Deng, Lu
Zi, Xuemin
Li, Zhonghua
[J]. COMMUNICATIONS IN STATISTICS-THEORY AND METHODS, 2018, 47 (01) : 64 - 79
[45] Model Checking is Possible to Verify Large-scale Vehicle Distributed Application Systems
Zhang, Haitao
Tuo, Ayang
Li, Guoqiang
[J]. 2019 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2019, : 594 - 597
[46] Implicit model Checking: Formal verification technique for large-scale discrete systems
Park, T
[J]. PROCEEDINGS OF THE 2000 IEEE INTERNATIONAL SYMPOSIUM ON COMPUTER-AIDED CONTROL SYSTEM DESIGN, 2000, : 135 - 140
[47] MKL-GRNI: A parallel multiple kernel learning approach for supervised inference of large-scale gene regulatory networks
Wani N.
Raza K.
[J]. PeerJ Computer Science, 2021, 7 : 1 - 20
[48] MKL-GRNI: A parallel multiple kernel learning approach for supervised inference of large-scale gene regulatory networks
Wani, Nisar
Raza, Khalid
[J]. PEERJ COMPUTER SCIENCE, 2021,
[49] Unravelling the regulatory structure of biochemical networks using stimulus response experiments and large-scale model selection
Wahl, S. A.
Haunschild, M. D.
Oldiges, M.
Wiechert, W.
[J]. IEE PROCEEDINGS SYSTEMS BIOLOGY, 2006, 153 (04): : 275 - 285
[50] KuhnMunkres Parallel Genetic Algorithm for the Set Cover Problem and Its Application to Large-Scale Wireless Sensor Networks
Zhang, Xin-Yuan
Zhang, Jun
Gong, Yue-Jiao
Zhan, Zhi-Hui
Chen, Wei-Neng
Li, Yun
[J]. IEEE TRANSACTIONS ON EVOLUTIONARY COMPUTATION, 2016, 20 (05) : 695 - 710

← 1 2 3 4 5 →