C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Bryant Israelsen
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 3
Top Topics
Formal Specification
Chemical Reaction
Model Checker
Probability Distribution
Top Venues
FMCAD
SPIN
QEST
</>
Publications
</>
Joshua Jeppson
,
Matthias Volk
,
Bryant Israelsen
,
Riley Roberts
,
Andrew Williams
,
Lukas Buecherl
,
Chris J. Myers
,
Hao Zheng
,
Chris Winstead
,
Zhen Zhang
STAMINA in C++: Modernizing an Infinite-State Probabilistic Model Checker.
QEST
(2023)
Landon Taylor
,
Bryant Israelsen
,
Zhen Zhang
Cycle and Commute: Rare-Event Probability Verification for Chemical Reaction Networks.
FMCAD
(2023)
Bryant Israelsen
,
Landon Taylor
,
Zhen Zhang
Efficient Trace Generation for Rare-Event Analysis in Chemical Reaction Networks.
SPIN
(2023)