Wael Fatnassi

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 13

Top Topics

Highly Parallelizable

Interval Arithmetic

Equality Constraints

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

Wael Fatnassi, Yasser Shoukry
PolyARBerNN: A Neural Network Guided Solver and Optimizer for Bounded Polynomial Inequalities. ACM Trans. Embed. Comput. Syst. 23 (2) (2024)
Wael Fatnassi, Haitham Khedr, Valen Yamamoto, Yasser Shoukry
BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic. HSCC (2023)
Wael Fatnassi, Yasser Shoukry
PolyARBerNN: A Neural Network Guided Solver and Optimizer for Bounded Polynomial Inequalities. CoRR (2022)
Wael Fatnassi, Haitham Khedr, Valen Yamamoto, Yasser Shoukry
BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic. CoRR (2022)
Xiaowu Sun, Wael Fatnassi, Ulices Santa Cruz, Yasser Shoukry
Provably Safe Model-Based Meta Reinforcement Learning: An Abstraction-Based Approach. CoRR (2021)
Ahmed Aboutaleb, Wael Fatnassi, Zouheir Rezki, Anas Chaaban
Optimal Diversity and Coding Gains for Millimeter-Wave Communication. IEEE Trans. Veh. Technol. 70 (5) (2021)
Wael Fatnassi, Yasser Shoukry
PolyAR: A Highly Parallelizable Solver For Polynomial Inequality Constraints Using Convex Abstraction Refinement. ADHS (2021)
Wael Fatnassi, Yasser Shoukry
PolyAR: A Highly Parallelizable Solver For Polynomial Inequality Constraints Using Convex Abstraction Refinement. CoRR (2021)
Xiaowu Sun, Wael Fatnassi, Ulices Santa Cruz, Yasser Shoukry
Provably Safe Model-Based Meta Reinforcement Learning: An Abstraction-Based Approach. CDC (2021)
Ahmed Aboutaleb, Wael Fatnassi, Morteza Soltani, Zouheir Rezki
Symbol Detection and Channel Estimation using Neural Networks in Optical Communication Systems. ICC (2019)
Wael Fatnassi, Zouheir Rezki
Reliability Enhancement of Smart Metering System Using Millimeter Wave Technology. IEEE Trans. Commun. 66 (10) (2018)
Wael Fatnassi, Zouheir Rezki
Increasing the Reliability of Smart Metering System Using Millimeter Wave Technology. ICC Workshops (2018)
Morteza Soltani, Wael Fatnassi, Ahmed Aboutaleb, Zouheir Rezki, Arup Bhuyan, Paul Titus
Autoencoder-Based Optical Wireless Communications Systems. GLOBECOM Workshops (2018)