Publisher
Springer International Publishing
Reference33 articles.
1. Barbot, B., Haddad, S., Picaronny, C.: Coupling and importance sampling for statistical model checking. In: TACAS. LNCS, vol. 7214, pp. 331–346. Springer, Berlin Heidelberg (2012).
https://doi.org/10.1007/978-3-642-28756-5_23
2. Budde, C.E.:
Automation of Importance Splitting Techniques for Rare Event Simulation
. Ph.D. thesis, FAMAF, Universidad Nacional de Córdoba, Córdoba, Argentina (2017),
https://famaf.biblio.unc.edu.ar/cgi-bin/koha/opac-detail.pl?biblionumber=18143
3. Budde, C.E.: FIG: the Finite Improbability Generator. 4TU.Centre for Research Data (2020).
https://doi.org/10.4121/uuid:1d5ddcd6-b3a9-4425-92b3-c46db98b7d8e
4. Budde, C.E., D’Argenio, P.R., Hartmanns, A.: Better automated importance splitting for transient rare events. In: SETTA. LNCS, vol. 10606, pp. 42–58. Springer (2017).
https://doi.org/10.1007/978-3-319-69483-2_3
5. Budde, C.E., D’Argenio, P.R., Hartmanns, A., Sedwards, S.: A statistical model checker for nondeterminism and rare events. In: TACAS. LNCS, vol. 10806, pp. 340–358. Springer (2018).
https://doi.org/10.1007/978-3-319-89963-3_20
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Analysis of non-Markovian repairable fault trees through rare event simulation;International Journal on Software Tools for Technology Transfer;2022-10
2. FIG;ACM SIGMETRICS Performance Evaluation Review;2022-06-02
3. Replicating $$\textsc {Restart}$$ with Prolonged Retrials: An Experimental Report;Tools and Algorithms for the Construction and Analysis of Systems;2021
4. The Dynamic Fault Tree Rare Event Simulator;Quantitative Evaluation of Systems;2020