| Input/output stochastic automata: Compositionality and determinism PR D’Argenio, MD Lee, RE Monti International Conference on Formal Modeling and Analysis of Timed Systems, 53-68, 2016 | 27 | 2016 |
| Compositional construction of importance functions in fully automated importance splitting C Budde, P D'Argenio, R Monti proceedings of the 10th EAI International Conference on Performance …, 2017 | 24 | 2017 |
| The VerifyThis collaborative long term challenge M Huisman, R Monti, M Ulbrich, A Weigl Deductive Software Verification: Future Perspectives: Reflections on the …, 2020 | 17 | 2020 |
| Rare event simulation for non-Markovian repairable fault trees CE Budde, M Biagi, RE Monti, PR D’Argenio, M Stoelinga International Conference on Tools and Algorithms for the Construction and …, 2020 | 16 | 2020 |
| Input/output stochastic automata with urgency: Confluence and weak determinism PR D’Argenio, RE Monti International Colloquium on Theoretical Aspects of Computing, 132-152, 2018 | 15 | 2018 |
| On the industrial application of critical software verification with VerCors M Huisman, RE Monti International Symposium on Leveraging Applications of Formal Methods, 273-292, 2020 | 12 | 2020 |
| Deductive verification of parameterized embedded systems modeled in SystemC P Tasche, RE Monti, SE Drerup, P Blohm, P Herber, M Huisman International Conference on Verification, Model Checking, and Abstract …, 2023 | 10 | 2023 |
| On deductive verification of an industrial concurrent software component with VerCors RE Monti, R Rubbens, M Huisman International Symposium on Leveraging Applications of Formal Methods, 517-534, 2022 | 9 | 2022 |
| A compositional semantics for Repairable Fault Trees with general distributions RE Monti, PR D'Argenio, CE Budde arXiv preprint arXiv:1910.10507, 2019 | 9 | 2019 |
| Stochastic automata for fault tolerant concurrent systems RE Monti Ph. D. thesis, FAMAF, Universidad Nacional de Córdoba, Córdoba, Argentina, 2018 | 7 | 2018 |
| Analysis of non-Markovian repairable fault trees through rare event simulation CE Budde, PR D’Argenio, RE Monti, M Stoelinga International Journal on Software Tools for Technology Transfer 24 (5), 821-841, 2022 | 6 | 2022 |
| Teaching Design by Contract using Snap! M Huisman, RE Monti The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to …, 2022 | 6 | 2022 |
| The VerifyThis Collaborative Long-Term Challenge Series W Ahrendt, G Ernst, P Herber, M Huisman, RE Monti, M Ulbrich, A Weigl International TOOLympics Challenge, 160-170, 2023 | 2 | 2023 |
| The road from stochastic automata to the simulation of rare events PR D’Argenio, CE Budde, MD Lee, RE Monti, L Rodríguez, N Wolovick ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of …, 2017 | 2 | 2017 |
| Autómatas estocásticos para sistemas concurrentes y tolerantes a fallas RE Monti Universidad Nacional de Córdoba (UNC), 2018 | | 2018 |
| The VerifyThis Collaborative Long-Term Challenge Series RE Monti, M Ulbrich, A Weigl TOOLympics Challenge 2023, 160, 0 | | |
| Falluto2. 0 Un Model Checker para la verificación automática de sistemas tolerantes a fallas RE Monti, N Aguirre | | |
Pedro R. D'ArgenioFAMAF, Universidad Nacional de Córdoba - CONICETVerified email at famaf.unc.edu.ar
