Pedro R. D'Argenio

Filters: Author is Carlos E. Budde [Clear All Filters]

2022

C. E. Budde, D'Argenio, P. R., Monti, R. E., and Stoelinga, M., “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)

2020

R. E. Monti, Budde, C. E., and D'Argenio, P. R., “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, E. Albert and Kovács, L., Eds. EasyChair, 2020, pp. 354–372.

paper-348.pdf (905.48 KB)

C. E. Budde, D'Argenio, P. R., Hartmanns, A., and Sedwards, S., “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)

C. E. Budde, Biagi, M., Monti, R. E., D'Argenio, P. R., and Stoelinga, M., “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, A. Biere and Parker, D., Eds. Springer, 2020, pp. 463–482.

paper-346.pdf (4.43 MB)

2019

C. E. Budde, D'Argenio, P. R., and Hartmanns, A., “Automated compositional importance splitting”, Science of Computer Programming, vol. 174, pp. 90–108, 2019.

paper-345.pdf (1.05 MB)

2018

C. E. Budde, D'Argenio, P. R., Hartmanns, A., and Sedwards, S., “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, D. Beyer and Huisman, M., Eds. Springer, 2018, pp. 340–358.

paper-337.pdf (795.55 KB)

2017

C. E. Budde, D'Argenio, P. R., and Hartmanns, A., “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, K. G. Larsen, Sokolsky, O., and Wang, J., Eds. Springer, 2017, pp. 42–58.

paper-323.pdf (1.03 MB)

C. E. Budde, D'Argenio, P. R., and Monti, R. E., “Compositional Construction of Importance Functions in Fully Automated Importance Splitting”, in 10th EAI International Conference on Performance Evaluation Methodologies and Tools {VALUETOOLS 2016}, A. Puliafito, Trivedi, K. S., Tuffin, B., Scarpa, M., Machida, F., and Alonso, J., Eds. ACM, 2017.

paper-313.pdf (227.67 KB)

P. R. D'Argenio, Budde, C. E., Lee, M. D., Monti, R. E., Rodríguez, L., and Wolovick, N., “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, J. - P. Katoen, Langerak, R., and Rensink, A., Eds. Springer, 2017, pp. 276-294.

paper-322.pdf (1.51 MB)

2015

C. E. Budde, D'Argenio, P. R., and Hermanns, H., “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, M. Beltrán, Knottenbelt, W. J., and Bradley, J. T., Eds. Springer, 2015, pp. 275–290.

paper-273.pdf (309.05 KB)

2014

C. E. Budde, D'Argenio, P. R., Sánchez Terraf, P., and Wolovick, N., “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, A. Remke and Stoelinga, M., Eds. Springer Berlin Heidelberg, 2014, pp. 67-86.

paper-269.pdf (976.31 KB)