Autoencoder-Based Optical Wireless Communications Systems. - Morteza Soltani; Wael Fatnassi; Ahmed Aboutaleb; Zouheir Rezki; Arupjyoti Bhuyan; Paul Titus (GLOBECOM Workshops, 2018)

Increasing the Reliability of Smart Metering System Using Millimeter Wave Technology. - Wael Fatnassi; Zouheir Rezki (ICC Workshops, 2018)

Reliability Enhancement of Smart Metering System Using Millimeter Wave Technology. - Wael Fatnassi; Zouheir Rezki (IEEE Trans. Commun., 2018)

Symbol Detection and Channel Estimation using Neural Networks in Optical Communication Systems. - Ahmed Aboutaleb; Wael Fatnassi; Morteza Soltani; Zouheir Rezki (ICC, 2019)

PolyAR: A Highly Parallelizable Solver For Polynomial Inequality Constraints Using Convex Abstraction Refinement. - Wael Fatnassi; Yasser Shoukry (ADHS, 2021)

Provably Safe Model-Based Meta Reinforcement Learning: An Abstraction-Based Approach. - Xiaowu Sun; Wael Fatnassi; Ulices Santa Cruz; Yasser Shoukry (CDC, 2021)

Optimal Diversity and Coding Gains for Millimeter-Wave Communication. - Ahmed Aboutaleb; Wael Fatnassi; Zouheir Rezki; Anas Chaaban (IEEE Trans. Veh. Technol., 2021)

BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic. - Wael Fatnassi; Haitham Khedr; Valen Yamamoto; Yasser Shoukry (HSCC, 2023)

Formal Verification of AI-Controlled Cyber-Physical Systems Using Polynomial Approximations: Constraints Solver, Model Checkers, and Applications - Wael Fatnassi (2024)

PolyARBerNN: A Neural Network Guided Solver and Optimizer for Bounded Polynomial Inequalities. - Wael Fatnassi; Yasser Shoukry (ACM Trans. Embed. Comput. Syst., 2024)

BERN-NN-IBF: Enhancing Neural Network Bound Propagation Through Implicit Bernstein Form and Optimized Tensor Operations. - Wael Fatnassi; Arthur Feeney; Valen Yamamoto; Aparna Chandramowlishwaran; Yasser Shoukry (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)