| 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 | 26 | 2016 |
| Compositional construction of importance functions in fully CE Budde, PR D’Argenio, RE Monti European Transactions on Telecommunications 13 (4), 363-371, 2002 | 23 | 2002 |
| The VerifyThis collaborative long term challenge M Huisman, R Monti, M Ulbrich, A Weigl Deductive Software Verification: Future Perspectives: Reflections on the …, 2020 | 14 | 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 | 13 | 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 | 13 | 2018 |
| On the Industrial Application of Critical Software Verification with VerCors M Huisman, RE Monti Leveraging Applications of Formal Methods, Verification and Validation …, 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 | 7 | 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 | 7 | 2022 |
| A compositional semantics for Repairable Fault Trees with general distributions RE Monti, PR D'Argenio, CE Budde arXiv preprint arXiv:1910.10507, 2019 | 7 | 2019 |
| Stochastic automata for fault tolerant concurrent systems RE Monti Ph. D. thesis, FAMAF, Universidad Nacional de Córdoba, Córdoba, Argentina, 2018 | 6 | 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 | 4 | 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 | 4 | 2022 |
| 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 |
| 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, 2024 | | 2024 |
| The VerifyThis Collaborative Long-Term Challenge Series RE Monti, M Ulbrich, A Weigl TOOLympics Challenge 2023, 160, 0 | | |
| Autómatas estocásticos para sistemas concurrentes y tolerantes a fallas RE Monti, PR D'Argenio | | |
| 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 - CONICETDirección de correo verificada de famaf.unc.edu.ar
