Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Formal analysis of fault tree using probabilistic model checking: A solar array case study., , und . SysCon, Seite 1-6. IEEE, (2016)VR-LENS: Super Learning-based Cybersickness Detection and Explainable AI-Guided Deployment in Virtual Reality., , , und . IUI, Seite 819-834. ACM, (2023)Rule-based Adaptations to Control Cybersickness in Social Virtual Reality Learning Environments., , , , , und . FiCloud, Seite 350-358. IEEE, (2021)LiteVR: Interpretable and Lightweight Cybersickness Detection using Explainable AI., , , und . VR, Seite 609-619. IEEE, (2023)Formal Dependability Modeling and Optimization of Scrubbed-Partitioned TMR for SRAM-based FPGAs., , und . CoRR, (2018)RobustPdM: Designing Robust Predictive Maintenance against Adversarial Attacks., , , und . CoRR, (2023)Towards an accurate reliability, availability and maintainability analysis approach for satellite systems based on probabilistic model checking., , und . DATE, Seite 1635-1640. ACM, (2015)Model Checking Time Window Temporal Logic for Hyperproperties., , und . MEMOCODE, Seite 100-110. ACM / IEEE, (2023)Attack Trees for Security and Privacy in Social Virtual Reality Learning Environments., , , , und . CCNC, Seite 1-9. IEEE, (2020)Efficient probabilistic model checking of smart building maintenance using fault maintenance trees., , , und . BuildSys@SenSys, Seite 24:1-24:10. ACM, (2017)