Expertises
Mathematics
# Dependability
# Fault Tree
# Rare Event Simulation
# Repair
Engineering & Materials Science
# Discrete Fourier Transforms
# Industrial Applications
# Semantics
# Teaching
Verbonden aan
Publicaties
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. (2021).
Teaching Design by Contract using Snap! (arXiv.org). arXiv.org.
https://arxiv.org/abs/2107.05679
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
Monti, R., D'Argenio, P. R.
, & Budde, C. E. (2019).
A compositional semantics for Repairable Fault Trees with general distributions. ArXiv.
https://arxiv.org/abs/1910.10507
Contactgegevens
Bezoekadres
Universiteit Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling
(gebouwnr. 11), kamer 3082
Hallenweg 19
7522NH Enschede
Postadres
Universiteit Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling
3082
Postbus 217
7500 AE Enschede