Follow
Raúl E. Monti
Raúl E. Monti
Verified email at utwente.nl - Homepage
Title
Cited by
Cited by
Year
Compositional construction of importance functions in fully
CE Budde, PR D’Argenio, RE Monti
European Transactions on Telecommunications 13 (4), 363-371, 2002
252002
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
232016
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
142018
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
132020
On the Industrial Application of Critical Software Verification with VerCors
M Huisman, RE Monti
Leveraging Applications of Formal Methods, Verification and Validation …, 2020
132020
The VerifyThis collaborative long term challenge
M Huisman, R Monti, M Ulbrich, A Weigl
Deductive Software Verification: Future Perspectives: Reflections on the …, 2020
132020
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
72023
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
72022
A compositional semantics for Repairable Fault Trees with general distributions
RE Monti, PR D'Argenio, CE Budde
arXiv preprint arXiv:1910.10507, 2019
72019
Stochastic automata for fault tolerant concurrent systems
RE Monti
Ph. D. thesis, FAMAF, Universidad Nacional de Córdoba, Córdoba, Argentina, 2018
72018
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
42022
Teaching Design by Contract using Snap!
M Huisman, RE Monti
The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to …, 2022
42022
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
22017
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
The system can't perform the operation now. Try again later.
Articles 1–17