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.