Thakur Neupane

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 4

Top Topics

Deterministic Finite Automaton

Formal Verification

Biological Systems

Top Venues

Publications

Riley Roberts, Thakur Neupane, Lukas Buecherl, Chris J. Myers, Zhen Zhang
STAMINA 2.0: Improving Scalability of Infinite-State Stochastic Model Checking. VMCAI (2022)
Thakur Neupane, Chris J. Myers, Curtis Madsen, Hao Zheng, Zhen Zhang
STAMINA: STochastic Approximate Model-checker for INfinite-state Analysis. CoRR (2019)
Thakur Neupane, Chris J. Myers, Curtis Madsen, Hao Zheng, Zhen Zhang
STAMINA: STochastic Approximate Model-Checker for INfinite-State Analysis. CAV (1) (2019)
Thakur Neupane, Zhen Zhang, Curtis Madsen, Hao Zheng, Chris J. Myers
Approximation Techniques for Stochastic Analysis of Biological Systems. CoRR (2019)