13 citations · 23 across the 6 of their papers we have counts for
6 papers
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…
Approximate probabilistic verification of hybrid systems
Benjamin M. Gyori, Bing Liu, Soumya Paul +2
Hybrid systems whose mode dynamics are governed by non-linear ordinary differential equations (ODEs) are often a natural model for biological processes. However such models are dif…
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…
Parameter Synthesis for Cardiac Cell Hybrid Models Using Delta-Decisions
Bing Liu, Soonho Kong, Sicun Gao +2
A central problem in systems biology is to identify parameter values such that a biological model satisfies some behavioral constraints (\eg, time series). In this paper we focus o…