( en | de | ru )

 

Disambiguation of "Hoque, Khaza Anuarul"

Author of the publication

copydeleteadd this publication to your clipboard
Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees.

, , , and . CoRR, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Serajul Hoque

Enamul Hoque

Mohammad Hoque

Arezo Khazaeli

Mandana Khazand

 

Other publications of authors with the same name

Formal analysis of fault tree using probabilistic model checking: A solar array case study., , and . SysCon, page 1-6. IEEE, (2016)VR-LENS: Super Learning-based Cybersickness Detection and Explainable AI-Guided Deployment in Virtual Reality., , , and . IUI, page 819-834. ACM, (2023)Rule-based Adaptations to Control Cybersickness in Social Virtual Reality Learning Environments., , , , , and . FiCloud, page 350-358. IEEE, (2021)LiteVR: Interpretable and Lightweight Cybersickness Detection using Explainable AI., , , and . VR, page 609-619. IEEE, (2023)Towards Probabilistic Formal Analysis of SATS-Simultaneously Moving Aircraft (SATS-SMA)., , , and . J. Autom. Reason., 60 (1): 85-105 (2018)QTWTL: Quality Aware Time Window Temporal Logic for Performance Monitoring., and . MEMOCODE, page 90-99. ACM / IEEE, (2023)TruVR: Trustworthy Cybersickness Detection using Explainable Machine Learning., , , and . ISMAR, page 777-786. IEEE, (2022)Early Analysis of Soft Error Effects for Aerospace Applications Using Probabilistic Model Checking., , , and . FTSCS, volume 419 of Communications in Computer and Information Science, page 54-70. Springer, (2013)Dependability modeling and optimization of triple modular redundancy partitioning for SRAM-based FPGAs., , and . Reliab. Eng. Syst. Saf., (2019)Towards a Domain-Agnostic Knowledge Graph-as-a-Service Infrastructure for Active Cyber Defense with Intelligent Agents., , , , , , , , , and 15 other author(s). AIPR, page 1-8. IEEE, (2023)