On Parameter Synthesis by Parallel Model Checking

Varování

Publikace nespadá pod Pedagogickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Autoři	BARNAT Jiří BRIM Luboš KREJČÍ Adam STRECK Adam ŠAFRÁNEK David VEJNÁR Martin VEJPUSTEK Tomáš
Rok publikování	2012
Druh	Článek v odborném periodiku
Časopis / Zdroj	IEEE/ACM Transactions on Computational Biology and Bioinformatics
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
www	http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=5963639
Doi	http://dx.doi.org/10.1109/TCBB.2011.110
Obor	Informatika
Klíčová slova	biological networks; parallel model checking; dynamical systems; parameter synthesis; systems biology
Popis	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.
Související projekty:	Vysoce paralelní a distribuované výpočetní systémy Verifikace a analýza velmi velkých počítačových systémů Rozsáhlé výpočetní systémy: modely, aplikace a verifikace