On Parameter Synthesis by Parallel Model Checking

J 2012

On Parameter Synthesis by Parallel Model Checking

BARNAT, Jiří, Luboš BRIM, Adam KREJČÍ, Adam STRECK, David ŠAFRÁNEK et. al.

Basic information

Original name

On Parameter Synthesis by Parallel Model Checking

Authors

BARNAT, Jiří (203 Czech Republic, belonging to the institution), Luboš BRIM (203 Czech Republic, belonging to the institution), Adam KREJČÍ (203 Czech Republic, belonging to the institution), Adam STRECK (203 Czech Republic, belonging to the institution), David ŠAFRÁNEK (203 Czech Republic, guarantor, belonging to the institution), Martin VEJNÁR (203 Czech Republic, belonging to the institution) and Tomáš VEJPUSTEK (203 Czech Republic, belonging to the institution)

Edition

IEEE/ACM Transactions on Computational Biology and Bioinformatics, Los Alamitos, IEEE Computer Society, 2012, 1545-5963

Other information

Language

English

Type of outcome

Článek v odborném periodiku

Field of Study

10201 Computer sciences, information science, bioinformatics

Country of publisher

Czech Republic

Confidentiality degree

není předmětem státního či obchodního tajemství

References:

URL

Impact factor

Impact factor: 1.616

RIV identification code

RIV/00216224:14330/12:00057196

Organization unit

Faculty of Informatics

DOI

http://dx.doi.org/10.1109/TCBB.2011.110

UT WoS

000301293900006

Keywords in English

biological networks; parallel model checking; dynamical systems; parameter synthesis; systems biology

Abstract

V originále

An important problem in current computational systems biology is to analyse models of biological systems dynamics under parameter uncertainty. This paper presents a novel algorithm for parameter synthesis based on parallel model checking. The algorithm is conceptually universal with respect to the modelling approach employed. We introduce the algorithm, show its scalability, and examine its applicability on several biological models.

Links

GA201/09/1389, research and development project

Name: Verifikace a analýza velmi velkých počítačových systémů

Investor: Czech Science Foundation, Verification and Analysis of Large-Scale Computer Systems

MSM0021622419, plan (intention)

Name: Vysoce paralelní a distribuované výpočetní systémy

Investor: Ministry of Education, Youth and Sports of the CR, Highly Parallel and Distributed Computing Systems

MUNI/A/0914/2009, interní kód MU

Name: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace (Acronym: SV-FI MAV)

Investor: Masaryk University, Category A

Citovat

BARNAT, Jiří, Luboš BRIM, Adam KREJČÍ, Adam STRECK, David ŠAFRÁNEK, Martin VEJNÁR and Tomáš VEJPUSTEK. On Parameter Synthesis by Parallel Model Checking. IEEE/ACM Transactions on Computational Biology and Bioinformatics. Los Alamitos: IEEE Computer Society, 2012, vol. 9, No 3, p. 693-705. ISSN 1545-5963. Available from: https://dx.doi.org/10.1109/TCBB.2011.110.

@article{947077,
   author = {Barnat, Jiří and Brim, Luboš and Krejčí, Adam and Streck, Adam and Šafránek, David and Vejnár, Martin and Vejpustek, Tomáš},
   article_location = {Los Alamitos},
   article_number = {3},
   doi = {http://dx.doi.org/10.1109/TCBB.2011.110},
   keywords = {biological networks; parallel model checking; dynamical systems; parameter synthesis; systems biology},
   language = {eng},
   issn = {1545-5963},
   journal = {IEEE/ACM Transactions on Computational Biology and Bioinformatics},
   title = {On Parameter Synthesis by Parallel Model Checking},
   url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=5963639},
   volume = {9},
   year = {2012}
}

TY  - JOUR
ID  - 947077
AU  - Barnat, Jiří - Brim, Luboš - Krejčí, Adam - Streck, Adam - Šafránek, David - Vejnár, Martin - Vejpustek, Tomáš
PY  - 2012
TI  - On Parameter Synthesis by Parallel Model Checking
JF  - IEEE/ACM Transactions on Computational Biology and Bioinformatics
VL  - 9
IS  - 3
SP  - 693-705
EP  - 693-705
PB  - IEEE Computer Society
SN  - 15455963
KW  - biological networks
KW  - parallel model checking
KW  - dynamical systems
KW  - parameter synthesis
KW  - systems biology
UR  - http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=5963639
L2  - http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=5963639
N2  - An important problem in current computational systems biology is to analyse models of biological systems dynamics under parameter uncertainty. This paper presents a novel algorithm for parameter synthesis based on parallel model checking. The algorithm is conceptually universal with respect to the modelling approach employed. We introduce the algorithm, show its scalability, and examine its applicability on several biological models.
ER  -

BARNAT, Jiří, Luboš BRIM, Adam KREJČÍ, Adam STRECK, David ŠAFRÁNEK, Martin VEJNÁR and Tomáš VEJPUSTEK. On Parameter Synthesis by Parallel Model Checking. \textit{IEEE/ACM Transactions on Computational Biology and Bioinformatics}. Los Alamitos: IEEE Computer Society, 2012, vol.~9, No~3, p.~693-705. ISSN~1545-5963. Available from: https://dx.doi.org/10.1109/TCBB.2011.110.

Detailed Information on Publication Record