Raúl E. Monti
Raúl E. Monti
Bestätigte E-Mail-Adresse bei utwente.nl - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
Compositional construction of importance functions in fully
CE Budde, PR D’Argenio, RE Monti
European Transactions on Telecommunications 13 (4), 363-371, 2002
182002
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
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
72020
Stochastic automata for fault tolerant concurrent systems
RE Monti, IDE Web
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
22020
The VerifyThis Collaborative Long Term Challenge
M Huisman, R Monti, M Ulbrich, A Weigl
Deductive Software Verification: Future Perspectives, 246-260, 2020
12020
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–9