On Parameter Synthesis by Parallel Model Checking

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F12%3A00057196" target="_blank" >RIV/00216224:14330/12:00057196 - isvavai.cz</a>
Result on the web
<a href="http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=5963639" target="_blank" >http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=5963639</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1109/TCBB.2011.110" target="_blank" >10.1109/TCBB.2011.110</a>

Result language
angličtina
Original language name
On Parameter Synthesis by Parallel Model Checking
Original language description
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.
Czech name
—
Czech description
—

Project
<a href="/en/project/GA201%2F09%2F1389" target="_blank" >GA201/09/1389: Verification and Analysis of Large-Scale Computer Systems</a>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP) Z - Vyzkumny zamer (s odkazem do CEZ) S - Specificky vyzkum na vysokych skolach

Publication year
2012
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Name of the periodical
IEEE/ACM Transactions on Computational Biology and Bioinformatics
ISSN
1545-5963
e-ISSN
—
Volume of the periodical
9
Issue of the periodical within the volume
3
Country of publishing house
CZ - CZECH REPUBLIC
Number of pages
13
Pages from-to
693-705
UT code for WoS article
000301293900006
EID of the result in the Scopus database
—

Similar results(10)