BMA: visual tool for modeling and analyzing biological networks

Authors:
David Benque;Sam Bourton;Caitlin Cockerton;Byron Cook;Jasmin Fisher;Samin Ishtiaq;Nir Piterman;Alex Taylor;Moshe Y. Vardi
Affiliations:
Microsoft Research, Cambridge;Microsoft Research, Cambridge;Microsoft Research, Cambridge;Microsoft Research, Cambridge;Microsoft Research, Cambridge;Microsoft Research, Cambridge;University of Leicester, UK;Microsoft Research, Cambridge;Rice University
Venue:
CAV'12 Proceedings of the 24th international conference on Computer Aided Verification
Year:
2012

Citing 6
Cited 2

GemCell: A generic platform for modeling multi-cellular biological systems

Theoretical Computer Science
Rule-Based Modelling and Model Perturbation

Transactions on Computational Systems Biology XI
Automated symbolic reachability analysis: with application to delta-notch signaling automata

HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
Proving stabilization of biological systems

VMCAI'11 Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation
Probabilistic model checking of complex biological pathways

CMSB'06 Proceedings of the 2006 international conference on Computational Methods in Systems Biology
Mechanistic insights into metabolic disturbance during type-2 diabetes and obesity using qualitative networks

Transactions on Computational Systems Biology XII

At the interface of biology and computation

Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Model-Checking signal transduction networks through decreasing reachability sets

CAV'13 Proceedings of the 25th international conference on Computer Aided Verification

Quantified Score

Hi-index	0.00

Visualization

Abstract

BioModel Analyzer (bma) is a tool for modeling and analyzing biological networks. Designed with a lightweight graphical user interface, the tool facilitates usage for biologists with no previous knowledge in programming or formal methods. The current implementation analyzes systems to establish stabilization. The results of the analysis--whether they be proofs or counterexamples--are represented visually. This paper describes the approach to modeling used in bma and also notes soon-to-be-released extensions to the tool.