Skip to content

Home

Jump to bottom
Jan Papoušek edited this page May 18, 2013 · 49 revisions

Parasim is a tool for robustness analysis. Given a SBML model, a property and perturbation set, it computes the robustness of model over the perturbation set with respect to the property. Perturbation set consists of intervals over model parameters and initial variable values. Properties are entered in the form of signal temporal logic formulae.

For more information about principles behind this tool see Bibliography.

(Parasim GUI screenshot)

Acknowledgement

Parasim is developed as a part of ongoing research at Systems Biology Laboratory at Faculty of Informatics Masaryk University.

Throughout 2012, the development was supported by Program for Support of Student Research and Development Projects (in Czech) also at Faculty of Informatics, which has in no small part contributed to the first parasim stable release as well as creation of this wiki.

[![(FI MU logo)](https://raw.github.com/sybila/parasim/master/docs/logos/fi.png)](http://www.fi.muni.cz) [![(Sybila logo)](https://raw.github.com/sybila/parasim/master/docs/logos/sybila.png)](http://sybila.fi.muni.cz)

Downloads

Version Changelog Downloads
2.0.0.Final [changelog] (https://github.com/sybila/parasim/compare/2.0.0.M2...2.0.0.Final) [Parasim] (http://repository-sybila.forge.cloudbees.com/release/org/sybila/parasim/application/parasim/2.0.0.Final/parasim-2.0.0.Final-dist.jar)
2.0.0.M2 [changelog] (https://github.com/sybila/parasim/compare/2.0.0.M1...2.0.0.M2) [Parasim] (http://repository-sybila.forge.cloudbees.com/release/org/sybila/parasim/application/parasim/2.0.0.M2/parasim-2.0.0.M2-dist.jar)
2.0.0.M1 [changelog] (https://github.com/sybila/parasim/compare/1.0.0.Final...2.0.0.M1) [Parasim] (http://repository-sybila.forge.cloudbees.com/release/org/sybila/parasim/application/parasim/2.0.0.M1/parasim-2.0.0.M1-dist.jar)
1.0.0.Final [changelog] (https://github.com/sybila/parasim/issues?milestone=3&page=1&state=closed) [Parasim CLI] (http://repository-sybila.forge.cloudbees.com/release/org/sybila/parasim/application/parasim-cli/1.0.0.Final/parasim-cli-1.0.0.Final-dist.jar), [Parasim GUI] (http://repository-sybila.forge.cloudbees.com/release/org/sybila/parasim/application/parasim-gui/1.0.0.Final/parasim-gui-1.0.0.Final-dist.jar)
1.0.0.M4 [changelog] (https://github.com/sybila/parasim/issues?milestone=6&page=1&state=closed) [Parasim CLI] (http://repository-sybila.forge.cloudbees.com/release/org/sybila/parasim/application/parasim-cli/1.0.0.M4/parasim-cli-1.0.0.M4-dist.jar), [Parasim GUI] (http://repository-sybila.forge.cloudbees.com/release/org/sybila/parasim/application/parasim-gui/1.0.0.M4/parasim-gui-1.0.0.M4-dist.jar)
1.0.0.M3 [changelog] (https://github.com/sybila/parasim/issues?milestone=2&page=1&state=closed) [Parasim CLI] (http://repository-sybila.forge.cloudbees.com/release/org/sybila/parasim/application/parasim-cli/1.0.0.M3/parasim-cli-1.0.0.M3-dist.jar)

For Users

Advanced Topics

For Developers

Parasim logo

Clone this wiki locally