Studies of biological networks with statistical model checking: application to immune system cells

Authors:
Natasa Miskov-Zivanov;Paolo Zuliani;Edmund M. Clarke;James R. Faeder
Affiliations:
University of Pittsburgh, Pittsburgh, PA, USA;Newcastle University, Newcastle upon Tyne, UK;Carnegie Mellon University, Pittsburgh, PA, USA;University of Pittsburgh, Pittsburgh, PA, USA
Venue:
Proceedings of the International Conference on Bioinformatics, Computational Biology and Biomedical Informatics
Year:
2013

Citing 3
Cited 0

Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling

CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
A Bayesian Approach to Model Checking Biological Systems

CMSB '09 Proceedings of the 7th International Conference on Computational Methods in Systems Biology
Bayesian statistical model checking with application to Simulink/Stateflow verification

Proceedings of the 13th ACM international conference on Hybrid systems: computation and control

Quantified Score

Hi-index	0.00

Visualization

Abstract

We use computational modeling and formal analysis techniques to study temporal behavior of a discrete logical model of the naïve T cell differentiation. The model is analyzed formally and automatically by performing temporal logic queries via statistical model checking. The results obtained using model checking provide details about relative timing of events in the system, which would otherwise be very cumbersome and time consuming to obtain through simulations only.