关注
Raúl E. Monti
Raúl E. Monti
在 utwente.nl 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Compositional construction of importance functions in fully
CE Budde, PR D’Argenio, RE Monti
European Transactions on Telecommunications 13 (4), 363-371, 2002
242002
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
222016
On the Industrial Application of Critical Software Verification with VerCors
M Huisman, RE Monti
Leveraging Applications of Formal Methods, Verification and Validation …, 2020
122020
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
122018
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
112020
The VerifyThis collaborative long term challenge
M Huisman, R Monti, M Ulbrich, A Weigl
Deductive Software Verification: Future Perspectives: Reflections on the …, 2020
82020
Stochastic automata for fault tolerant concurrent systems
RE Monti
Ph. D. thesis, FAMAF, Universidad Nacional de Córdoba, Córdoba, Argentina, 2018
72018
A compositional semantics for Repairable Fault Trees with general distributions
RE Monti, PR D'Argenio, CE Budde
arXiv preprint arXiv:1910.10507, 2019
62019
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
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
32022
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
22022
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
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
2023
Autómatas estocásticos para sistemas concurrentes y tolerantes a fallas
RE Monti
2018
Falluto2. 0 Un Model Checker para la verificación automática de sistemas tolerantes a fallas
RE Monti
系统目前无法执行此操作,请稍后再试。
文章 1–15