13 citations · 23 across the 6 of their papers we have counts for
4 papers · 1 filter
A Model Checking-based Analysis Framework for Systems Biology Models
Bing Liu
Biological systems are often modeled as a system of ordinary differential equations (ODEs) with time-invariant parameters. However, cell signaling events or pharmacological interve…
Statistical Model Checking based Analysis of Biological Networks
Bing Liu, Benjamin M. Gyori, P. S. Thiagarajan
We introduce a framework for analyzing ordinary differential equation (ODE) models of biological networks using statistical model checking (SMC). A key aspect of our work is the mo…
Formal Modeling and Analysis of Pancreatic Cancer Microenvironment
Qinsi Wang, Natasa Miskov-Zivanov, Bing Liu +3
The focus of pancreatic cancer research has been shifted from pancreatic cancer cells towards their microenvironment, involving pancreatic stellate cells that interact with cancer…
Towards Personalized Prostate Cancer Therapy Using Delta-Reachability Analysis
Bing Liu, Soonho Kong, Sicun Gao +2
Recent clinical studies suggest that the efficacy of hormone therapy for prostate cancer depends on the characteristics of individual patients. In this paper, we develop a computat…