Bryant Israelsen

According to our database, Bryant Israelsen authored at least 4 papers between 2023 and 2024.

Collaborative distances:

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

2024

Tools at the Frontiers of Quantitative Verification.

Roman Andriushchenko, Alexander Bork, Carlos E. Budde, Milan Ceska, Kush Grover, Ernst Moritz Hahn, Arnd Hartmanns, Bryant Israelsen, Nils Jansen, Joshua Jeppson, Sebastian Junges, Maximilian A. Köhl, Bettina Könighofer, Jan Kretínský, Tobias Meggendorfer, David Parker, Stefan Pranger, Tim Quatmann, Enno Ruijters, Landon Taylor, Matthias Volk, Maximilian Weininger, Zhen Zhang

CoRR, 2024

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