I agree that this site is using cookies. You can find further informations here.
X
Israelsen, Bryant
6  results:
Search for persons X
?
1

Efficient Trace Generation for Rare-Event Analysis in Chemi..:

, In: Model Checking Software; Lecture Notes in Computer Science,
Israelsen, Bryant ; Taylor, Landon ; Zhang, Zhen - p. 83-102 , 2023
Link: https://doi.org/10.1007/..
 
?
2

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

, In: Quantitative Evaluation of Systems; Lecture Notes in Computer Science,
Jeppson, Joshua ; Volk, Matthias ; Israelsen, Bryant... - p. 101-109 , 2023
Link: https://doi.org/10.1007/..
 
?
3

Cycle and Commute: Rare-Event Probability Verification for ..:

, In: 2023 Formal Methods in Computer-Aided Design (FMCAD),
Taylor, Landon ; Israelsen, Bryant ; Zhang, Zhen - p. 284-293 , 2023
Link: https://doi.org/10.34727..
 
?
4

Compressed file for RAGTIMER_007 (Goes with TACAS23 VM):

Israelsen, Bryant
doi:10.5281/zenodo.7972210.  , 2023
Link: https://zenodo.org/recor..
 
?
5

Compressed file for RAGTIMER_007 (Goes with TACAS23 VM):

Israelsen, Bryant
doi:10.5281/zenodo.7972210.  , 2023
Link: https://zenodo.org/recor..
 
?
6

Artifact for Efficient Trace Generation for Rare-Event Anal..:

Israelsen, Bryant ; Taylor, Landon ; Zhang, Zhen
doi:10.5281/zenodo.7105423.  , 2022
Link: https://zenodo.org/recor..
 
1-6