Compositional construction of importance functions in fully CE Budde, PR D’Argenio, RE Monti European Transactions on Telecommunications 13 (4), 363-371, 2002 | 25 | 2002 |
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 | 23 | 2016 |
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 | 14 | 2018 |
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 |
On the Industrial Application of Critical Software Verification with VerCors M Huisman, RE Monti Leveraging Applications of Formal Methods, Verification and Validation …, 2020 | 13 | 2020 |
The VerifyThis collaborative long term challenge M Huisman, R Monti, M Ulbrich, A Weigl Deductive Software Verification: Future Perspectives: Reflections on the …, 2020 | 13 | 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 | 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 | 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 |
Autómatas estocásticos para sistemas concurrentes y tolerantes a fallas RE Monti | | 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 | | |