1 citations · 1 across the 4 of their papers we have counts for
5 papers
BioSimulators: a central registry of simulation engines and services for recommending specific tools
Bilal Shaikh, Lucian P. Smith, Dan Vasilescu +68
Computational models have great potential to accelerate bioscience, bioengineering, and medicine. However, it remains challenging to reproduce and reuse simulations, in part, becau…
Using Decision Diagrams to Compactly Represent the State Space for Explicit Model Checking
Hao Zheng, Andrew Price, Chris Myers
The enormous number of states reachable during explicit model checking is the main bottleneck for scalability. This paper presents approaches of using decision diagrams to represen…
Local State Space Analysis to Assist Partial Order Reduction
Hao Zheng, Yingying Zhang, Chris Myers
This paper presents an approach to more efficient partial order reduction for model checking concurrent systems. This approach utilizes a compositional reachability analysis to gen…
STAMINA: STochastic Approximate Model-checker for INfinite-state Analysis
Thakur Neupane, Chris J. Myers, Curtis Madsen +2
Stochastic model checking is a technique for analyzing systems that possess probabilistic characteristics. However, its scalability is limited as probabilistic models of real-world…
Approximation Techniques for Stochastic Analysis of Biological Systems
Thakur Neupane, Zhen Zhang, Curtis Madsen +2
There has been an increasing demand for formal methods in the design process of safety-critical synthetic genetic circuits. Probabilistic model checking techniques have demonstrate…