Visitenkarte

Univ.Ass.in Nahla El-Araby , PhD
Univ.Ass.in Nahla El-Araby, PhD

Kontaktinformation

Telefon:
+43 1 58801 38432
E-Mail:
nahla.el-araby@tuwien.ac.at
Raum:
CA0223
TISS:
TISS
Aufklappen um ausgewählte Publikationen zu sehen

Ausgewählte Publikationen

Towards a Hybrid Verification Approach: Elaraby, N., Kuehn, E., Anita Messinger, Radschek, S.T., STAF 2018 Workshops, LNCS 11176, Springer (2018) Distributed Coordination Runtime Assertions for the Peer Model: Kuehn, E., Radschek, S.T., Elaraby, N., In: 20th Int. Conf. on Coordination Models and Languages (COORDINATION). LNCS, Springer (2018)
Aufklappen um alle Publikationen (TU Wien) zu sehen

Alle Publikationen

  • Y. Elderhalli, N. El-Araby, O. Hasan, A. Jantsch, S. Tahar, Dynamic Fault Tree Models for FPGA Fault Tolerance and Reliability, in 2021 IEEE Computer Society Annual Symposium on VLSI (ISVLSI), 2021, S. 194 - 199.