A. Raouf

Publication Activity (10 Years)

Years Active: 1992-2023
Publications (10 Years): 2

Top Topics

Computer Networks

Mutation Testing

Formal Verification

Top Venues

Publications

G. Cao, M. Li, H. Yuan, W. Chen, L. Li, A. Raouf
Error Performance of RIS-Assisted NOMA Networks with Imperfect Channel State Information. VTC2023-Spring (2023)
A. Chakrapani Rao, A. Raouf, Gunwant Dhadyalla, V. Pasupuleti
Mutation Testing Based Evaluation of Formal Verification Tools. DSA (2017)
Salih O. Duffuaa, A. Raouf
A simulation model for determining maintenance staffing in an industrial environment. Simul. 59 (2) (1992)