Bryant Israelsen

According to our database, Bryant Israelsen authored at least 3 papers in 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Efficient Trace Generation for Rare-Event Analysis in Chemical Reaction Networks.

Bryant Israelsen, Landon Taylor, Zhen Zhang

Proceedings of the Model Checking Software - 29th International Symposium, 2023

STAMINA in C++: Modernizing an Infinite-State Probabilistic Model Checker.

Joshua Jeppson, Matthias Volk, Bryant Israelsen, Riley Roberts, Andrew Williams, Lukas Buecherl, Chris J. Myers, Hao Zheng, Chris Winstead, Zhen Zhang

Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023

Cycle and Commute: Rare-Event Probability Verification for Chemical Reaction Networks.

Landon Taylor, Bryant Israelsen, Zhen Zhang

Proceedings of the Formal Methods in Computer-Aided Design, 2023