Filters: Author is Carlos E. Budde [Clear All Filters]
“Analysis of non-Markovian repairable fault trees through rare event simulation”, Int. J. Softw. Tools Technol. Transf., vol. 24, pp. 821–841, 2022. paper-386.pdf (1.09 MB)
, “A compositional semantics for Repairable Fault Trees with general distributions”, in LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27, 2020, vol. 73, EasyChair, 2020, pp. 354–372. paper-348.pdf (905.48 KB)
, “An efficient statistical model checker for nondeterminism and rare events”, Int. J. on Software Tools for Technology Transfer, vol. 22, pp. 759–780, 2020. paper-349.pdf (1.05 MB)
, “Rare Event Simulation for Non-Markovian Repairable Fault Trees”, in Tools and Algorithms for the Construction and Analysis of Systems - 26th International Conference, TACAS 2020, Held as Part of ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I, vol. 12078, Springer, 2020, pp. 463–482. paper-346.pdf (4.43 MB)
, “Automated compositional importance splitting”, Science of Computer Programming, vol. 174, pp. 90–108, 2019. paper-345.pdf (1.05 MB)
, “A Statistical Model Checker for Nondeterminism and Rare Events”, in Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II, vol. 10806, Springer, 2018, pp. 340–358. paper-337.pdf (795.55 KB)
, “Better Automated Importance Splitting for Transient Rare Events”, in Dependable Software Engineering. Theories, Tools, and Applications - Third International Symposium, {SETTA} 2017, Changsha, China, October 23-25, 2017, Proceedings, vol. 10606, Springer, 2017, pp. 42–58. paper-323.pdf (1.03 MB)
, “Compositional Construction of Importance Functions in Fully Automated Importance Splitting”, in 10th EAI International Conference on Performance Evaluation Methodologies and Tools {VALUETOOLS 2016}, ACM, 2017. paper-313.pdf (227.67 KB)
, “The Road from Stochastic Automata to the Simulation of Rare Events”, in ModelEd, TestEd, TrustEd. Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday, vol. 10500, Springer, 2017, pp. 276-294. paper-322.pdf (1.51 MB)
, “Rare Event Simulation with Fully Automated Importance Splitting”, in Computer Performance Engineering - 12th European Workshop, {EPEW} 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings, vol. 9272, Springer, 2015, pp. 275–290. paper-273.pdf (309.05 KB)
, “A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems”, in Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems, vol. 8453, Springer Berlin Heidelberg, 2014, pp. 67-86. paper-269.pdf (976.31 KB)
,