Medical Systems Biology

You are here:  Software > ViSiBooL


A tool to model, visualize and simulate Boolean Networks.
ViSiBooL is a tool for GUI-based modeling of Boolean Networks. It supports an extended version of synchronous Boolean Networks with temporal predicates. ViSiBooL allows user-friendly modeling, organization and visualization of these networks as well as attractor simulation for different experimental setups like e.g. knock-out experiments. ViSiBooL supports SBML-qual as well as BoolNet-syntax(BoolNet).
With its graph-based representation of the whole network as well as the transitions functions of regulatory factors, ViSiBooL aims to increase clarity in Boolean Network design and also to reduce expenditure of time and errors in the modeling process.
ViSiBooL Screenshot 600
ViSiBooL is a java application that can be used on OS X, Windows and Linux. A runnable .jar file and the source code of the latest version (supporting exhaustive attractor search) can be downloaded here: 
Download .jar file ViSiBooL-latest.jar
Download source code

Previous versions are available here: 
Download .jar file ViSiBooL-1.01.jar
Download OS X application ViSiBooL.dmg
Download installer for Windows ViSiBooLSetup.exe
Download debian package ViSiBooL.deb
Download source files
All the system dependent installer-files include a version of the Java Runtime. To run the .jar file the current Java Runtime (>8.90) has to be installed manually (download Java Runtime).
To launch the .jar file make it executable and use double-click or enter 'java -jar ViSiBool1.01.jar' in the corresponding folder in command line.
The OS X application can be installed using the .dmg file. On Windows ViSiBooL can be installed using the windows installer.
To install ViSiBooL on Debian systems, please download the debian package and then run "sudo dpkg -i visibool-1.0.deb" in the command line. 
Getting started:
After installing ViSiBooL an examplary file, a model of the mammalian cellcycle can be started as exemplary network model. 
After launching the ViSiBooL application the example can be loaded by clicking "load example network" in the middle of the window. 
A network model of the mammalian cellcycle and an exemplary simulation setup are loaded.
You can also download the example file cellcycle.visibool (Right click and save link as..). In some browsers the file extension might be changed. The file then has to be renamed to cellcycle.visibool again. 
A manual of ViSiBooL is available via the help-menu of the application itself.

Please also see our corresponding publication:

Schwab J, Burkovski A, Siegle L, Müssel C, Kestler HA. ViSiBooL — visualization and simulation of Boolean networks with temporal constraints. Bioinformatics 33(4): 601-604, 2017.

Job Openings

Wissenschaftlicher Mitarbeiter (m/w/d) 


Latest News


  1. Our paper "Permutation-invariant linear classifiers" has been published in Machine Learning.


    Our paper "Prediction of resistance to bevacizumab plus FOLFOX in metastatic colorectal cancer-Results of the prospective multicenter PERMAD trial" has been published in PLoS One.


  2. "Introducing a machine learning algorithm for delirium prediction—the Supporting SURgery with GEriatric Co-Management and AI project (SURGE-Ahead)has been published in Age and Ageing.

Our paper "Segmentation-based cardiomegaly detection based on semi-supervised estimation of cardiothoracic ratio" has been published in Scientific Reports.


"Prospective study validating a multidimensional treatment decision score predicting the 24-month outcome in untreated patients with clinically isolated syndrome and early relapsing–remitting multiple sclerosis, the ProVal-MS study" has been published in Neurological Research and Practice.


Our paper "GatekeepR: an R shiny application for the identification of nodes with high dynamic impact in boolean networks" has been published online first in Bioinformatics.


Our paper "The Necessity of Interoperability to Uncover the Full Potential of Digital Health Devices" has been published in JMIR Medical Informatics.


"Multicentric pilot study to standardize clinical whole exome sequencing (WES) for cancer patients" has been published in npj Precision Oncology.


Our paper "AMBAR-interactive alteration annotations for molecular tumor boards" has been published in Computer Methods and Programs in Biomedicine.


"A protocol for the use of cloud-based quantum computers for logical network analysis of biological systems" has been published in STAR Protocols.


Our paper "A systems biology approach to define mechanisms, phenotypes, and drivers in PanNETs with a personalized perspective" has been published in npj systems biology and applications.


"Supporting SURgery with GEriatric Co-Management and AI (SURGE-Ahead): A study protocol for the development of a digital geriatrician" has been published in PLoS One.


"Self-Assessment of Having COVID-19 With the Corona Check Mhealth App" has been published in IEEE Journal of Biomedical and Health Informatics.

Our first quantum computing paper "Leveraging quantum computing for dynamic analyses of logical networks in systems biology" has been published in Patterns.