Wael Fatnassi

According to our database, Wael Fatnassi authored at least 11 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

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., November, 2024

PolyARBerNN: A Neural Network Guided Solver and Optimizer for Bounded Polynomial Inequalities.

Wael Fatnassi, Yasser Shoukry

ACM Trans. Embed. Comput. Syst., March, 2024

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

Wael Fatnassi

PhD thesis, 2024

2023

BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic.

Wael Fatnassi, Haitham Khedr, Valen Yamamoto, Yasser Shoukry

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

2021

Optimal Diversity and Coding Gains for Millimeter-Wave Communication.

Ahmed Aboutaleb, Wael Fatnassi, Zouheir Rezki, Anas Chaaban

IEEE Trans. Veh. Technol., 2021

Provably Safe Model-Based Meta Reinforcement Learning: An Abstraction-Based Approach.

Xiaowu Sun, Wael Fatnassi, Ulices Santa Cruz, Yasser Shoukry

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

PolyAR: A Highly Parallelizable Solver For Polynomial Inequality Constraints Using Convex Abstraction Refinement.

Wael Fatnassi, Yasser Shoukry

Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021

2019

Symbol Detection and Channel Estimation using Neural Networks in Optical Communication Systems.

Ahmed Aboutaleb, Wael Fatnassi, Morteza Soltani, Zouheir Rezki

Proceedings of the 2019 IEEE International Conference on Communications, 2019

2018

Reliability Enhancement of Smart Metering System Using Millimeter Wave Technology.

Wael Fatnassi, Zouheir Rezki

IEEE Trans. Commun., 2018

Increasing the Reliability of Smart Metering System Using Millimeter Wave Technology.

Wael Fatnassi, Zouheir Rezki

Proceedings of the 2018 IEEE International Conference on Communications Workshops, 2018

Autoencoder-Based Optical Wireless Communications Systems.

Morteza Soltani, Wael Fatnassi, Ahmed Aboutaleb, Zouheir Rezki, Arup Bhuyan, Paul Titus

Proceedings of the IEEE Globecom Workshops, 2018