On Parameter Synthesis by Parallel Model Checking

Kód výsledku v 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>

Výsledek na webu

<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>

Jazyk výsledku

angličtina

Název v původním jazyce

On Parameter Synthesis by Parallel Model Checking

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

On Parameter Synthesis by Parallel Model Checking

Popis výsledku anglicky

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.

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

<a href="/cs/project/GA201%2F09%2F1389" target="_blank" >GA201/09/1389: Verifikace a analýza velmi velkých počítačových systémů</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)<br>S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2012

Kód důvěrnosti údajů

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

Název periodika

IEEE/ACM Transactions on Computational Biology and Bioinformatics

ISSN

1545-5963

e-ISSN

—

Svazek periodika

9

Číslo periodika v rámci svazku

3

Stát vydavatele periodika

CZ - Česká republika

Počet stran výsledku

13

Strana od-do

693-705

Kód UT WoS článku

000301293900006

EID výsledku v databázi Scopus

—