Author:
Budde Carlos E.,D'Argenio Pedro R.,Hartmanns Arnd
Reference74 articles.
1. A variant of importance splitting for rare event estimation: fixed number of successes;Amrein;ACM Trans. Model. Comput. Simul.,2011
2. Approximate symbolic model checking of continuous-time Markov chains;Baier,1999
3. Statistical techniques for simulation models;Bayes;Aust. Comput. J.,1970
4. A minimum variance sampling technique for simulation models;Bayes;J. ACM,1972
5. On fatigue damage assessment in bimodal random processes;Benasciutti;Int. J. Fatigue,2007
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Efficient Trace Generation for Rare-Event Analysis in Chemical Reaction Networks;Model Checking Software;2023
2. Using Statistical Model Checking for Cybersecurity Analysis;Communications in Computer and Information Science;2023
3. Analysis of non-Markovian repairable fault trees through rare event simulation;International Journal on Software Tools for Technology Transfer;2022-10
4. FIG;ACM SIGMETRICS Performance Evaluation Review;2022-06-02
5. An Overview of Modest Models and Tools for Real Stochastic Timed Systems;Electronic Proceedings in Theoretical Computer Science;2022-03-21