Raúl E. Monti
Raúl E. Monti
Dirección de correo verificada de utwente.nl - Página principal
Título
Citado por
Citado por
Año
Compositional construction of importance functions in fully
CE Budde, PR D’Argenio, RE Monti
European Transactions on Telecommunications 13 (4), 363-371, 2002
192002
Input/output stochastic automata
PR D’Argenio, MD Lee, RE Monti
International Conference on Formal Modeling and Analysis of Timed Systems, 53-68, 2016
182016
Rare event simulation for non-Markovian repairable fault trees
CE Budde, M Biagi, RE Monti, PR D'Argenio, M Stoelinga
arXiv preprint arXiv:1910.11672, 2019
82019
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
82018
Stochastic automata for fault tolerant concurrent systems
RE Monti
Ph. D. thesis, FAMAF, Universidad Nacional de Córdoba, Córdoba, Argentina, 2018
52018
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
32020
The VerifyThis collaborative long term challenge
M Huisman, R Monti, M Ulbrich, A Weigl
Deductive Software Verification: Future Perspectives, 246-260, 2020
22020
Teaching Design by Contract using Snap!
M Huisman, RE Monti
2021 Third International Workshop on Software Engineering Education for the …, 2021
2021
A compositional semantics for Repairable Fault Trees with general distributions
RE Monti, PR D'Argenio, CE Budde
arXiv preprint arXiv:1910.10507, 2019
2019
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, 276-294, 2017
2017
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–10