Expertises
Mathematics
# Convergence Time
# Ring
# Self-Stabilization
Engineering & Materials Science
# Fault Tree Analysis
# Fires
# Model Checking
# Stabilization
# Statistical Models
Verbonden aan
Publicaties
Recent
Khan, S.
, Katoen, J.
, Volk, M., Zafar, A., & Sher, F. (2022).
Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees. In
2021 10th Latin-American Symposium on Dependable Computing (LADC)
https://doi.org/10.1109/LADC53747.2021.9672579
Volk, M., Bonakdarpour, B.
, Katoen, J-P., & Aflaki, S. (2021).
Synthesizing optimal bias in randomized self-stabilization.
Distributed computing.
https://doi.org/10.1007/s00446-021-00408-4
Khan, S.
, Katoen, J-P.
, Volk, M., & Bouissou, M. (2021).
Scalable Reliability Analysis by Lazy Verification. In A. Dutle, M. M. Moscato, L. Titolo, C. A. Muñoz, & I. Perez (Eds.),
NASA Formal Methods - 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings (Vol. 12673, pp. 180-197). (Lecture Notes in Computer Science). Springer.
https://doi.org/10.1007/978-3-030-76384-812
Khan, S.
, Volk, M.
, Katoen, J-P., Braibant, A., & Bouissou, M. (2021).
Model Checking the Multi-Formalism Language FIGARO. In
51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2021, Taipei, Taiwan, June 21-24, 2021 (pp. 463-470). IEEE/EUCA.
https://doi.org/10.1109/DSN48987.2021.00056
Contactgegevens
Bezoekadres
Universiteit Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling
(gebouwnr. 11), kamer 3110
Hallenweg 19
7522NH Enschede
Postadres
Universiteit Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling
3110
Postbus 217
7500 AE Enschede