On Parameter Synthesis by Parallel Model Checking

Warning

This publication doesn't include Institute of Computer Science. It includes Faculty of Informatics. Official publication website can be found on muni.cz.

Authors	BARNAT Jiří BRIM Luboš KREJČÍ Adam STRECK Adam ŠAFRÁNEK David VEJNÁR Martin VEJPUSTEK Tomáš
Year of publication	2012
Type	Article in Periodical
Magazine / Source	IEEE/ACM Transactions on Computational Biology and Bioinformatics
MU Faculty or unit	Faculty of Informatics
Citation
Web	http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=5963639
Doi	http://dx.doi.org/10.1109/TCBB.2011.110
Field	Informatics
Keywords	biological networks; parallel model checking; dynamical systems; parameter synthesis; systems biology
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.
Related projects:	Highly Parallel and Distributed Computing Systems Verification and Analysis of Large-Scale Computer Systems Rozsáhlé výpočetní systémy: modely, aplikace a verifikace