Publication details
On Parameter Synthesis by Parallel Model Checking
| Basic information | |
|---|---|
| Original title: | On Parameter Synthesis by Parallel Model Checking |
| Authors: | Jiří Barnat, Luboš Brim, Adam Krejčí, Adam Streck, David Šafránek, Martin Vejnár, Tomáš Vejpustek |
| Further information | |
|---|---|
| Citation: | BARNAT, Jiří  - BRIM, Luboš - KREJČÍ, Adam - STRECK, Adam - ŠAFRÁNEK, David - VEJNÁR, Martin - VEJPUSTEK, Tomáš. On Parameter Synthesis by Parallel Model Checking. IEEE/ACM Transactions on Computational Biology and Bioinformatics, Los Alamitos, IEEE Computer Society. ISSN 1545-5963, 2012, vol. 9, no. 3, pp. 693-705. |
| Original language: | English |
| Field: | Informatika |
| Type: | Article in Periodical |
| Keywords: | biological networks; parallel model checking; dynamical systems; parameter synthesis; systems biology |
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
