| 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. |
Other formats:
BibTeX
LaTeX
RIS
@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.
|
