Welkom...

dr. R.E. Monti (Raúl)

Onderzoeker

Expertises

Mathematics
Dependability
Fault Tree
Rare Event Simulation
Repair
Engineering & Materials Science
Discrete Fourier Transforms
Industrial Applications
Semantics
Teaching

Publicaties

Recent
Huisman, M. , & Monti, R. E. (2021). Teaching Design by Contract using Snap! In Proceedings - 2021 3rd International Workshop on Software Engineering Education for the Next Generation, SEENG 2021 (pp. 1-5). [9474640] IEEE. https://doi.org/10.1109/SEENG53126.2021.00007
Huisman, M. , Monti, R. E., Ulbrich, M., & Weigl, A. (2020). The VerifyThis Collaborative Long Term Challenge. In W. Ahrendt, B. Beckert, R. Bubel, R. Hähnle, & M. Ulbrich (Eds.), Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY (pp. 246-260). (Lecture Notes in Computer Science; Vol. 12345). Springer. https://doi.org/10.1007/978-3-030-64354-610
Huisman, M. , & Monti, R. E. (2020). On the Industrial Application of Critical Software Verification with VerCors. In T. Margaria, & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation: Applications - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III (pp. 273-292). (Lecture Notes in Computer Science; Vol. 12478). Springer. https://doi.org/10.1007/978-3-030-61467-6_18
Budde, C. E. , Biagi, M. , Monti, R. E., D’Argenio, P. R. , & Stoelinga, M. (2020). Rare Event Simulation for Non-Markovian Repairable Fault Trees. In A. Biere, & D. Parker (Eds.), Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings (Vol. I, pp. 463-482). (Lecture Notes in Computer Science; Vol. 12078). Springer. https://doi.org/10.1007/978-3-030-45190-5_26
Monti, R. , Budde, C. E., & D’argenio, P. R. (2020). A compositional semantics for repairable fault trees with general distributions. In E. Albert, & L. Kovacs (Eds.), Proceedings of the 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (pp. 354-372). (EPiC Series in Computing; Vol. 73). EasyChair. https://doi.org/10.29007/p16v

Contactgegevens

Bezoekadres

Universiteit Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling (gebouwnr. 11), kamer 3082
Hallenweg 19
7522NH  Enschede

Navigeer naar locatie

Postadres

Universiteit Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling  3082
Postbus 217
7500 AE Enschede