Welcome...

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

Researcher

Expertise

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

Publications

Recent
Huisman, M. , & Monti, R. E. (2022). Teaching Design by Contract Using Snap! In W. Ahrendt, B. Beckert, R. Bubel, & E. B. Johnsen (Eds.), The Logic of Software: A Tasting Menu of Formal Methods (1 ed., pp. 243–263). (Lecture Notes in Computer Science; Vol. 13360). Springer. https://doi.org/10.1007/978-3-031-08166-8_12
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-6_10
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

Contact Details

Visiting Address

University of Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling (building no. 11), room 3082
Hallenweg 19
7522NH  Enschede
The Netherlands

Navigate to location

Mailing Address

University of Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling  3082
P.O. Box 217
7500 AE Enschede
The Netherlands