Pedro R. D'Argenio

Filters: Author is Raúl E. Monti [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, 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)

2018

P. R. D'Argenio and Monti, R. E., “Input/Output Stochastic Automata with Urgency: Confluence and Weak Determinism”, in Theoretical Aspects of Computing - ICTAC 2018 - 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings, vol. 11187, B. Fischer and Uustalu, T., Eds. Springer, 2018, pp. 132–152.

paper-340.pdf (597.6 KB)

2017

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)

2016

P. R. D'Argenio, Lee, M. D., and Monti, R. E., “Input/Output Stochastic Automata - Compositionality and Determinism”, in Formal Modeling and Analysis of Timed Systems - 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings, vol. 9884, M. Fränzle and Markey, N., Eds. Springer, 2016, pp. 53–68.

paper-301.pdf (1.49 MB)