Wael Fatnassi

16 papers C 1Journal 8Unranked 6
YearRankTypeTitle / Venue / Authors
2025 C conf
CDOPS: Complex Dynamics of Online Professional Squads.
CoG
Brianna Duffy, Jonathan Gallagher, Jocelyn Rego, Wael Fatnassi, Michael A. Warren
2024 J jnl
BERN-NN-IBF: Enhancing Neural Network Bound Propagation Through Implicit Bernstein Form and Optimized Tensor Operations.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Wael Fatnassi, Arthur Feeney, Valen Yamamoto, Aparna Chandramowlishwaran, Yasser Shoukry
2024 — —
Formal Verification of AI-Controlled Cyber-Physical Systems Using Polynomial Approximations: Constraints Solver, Model Checkers, and Applications
Wael Fatnassi
2024 J jnl
PolyARBerNN: A Neural Network Guided Solver and Optimizer for Bounded Polynomial Inequalities.
ACM Trans. Embed. Comput. Syst.
Wael Fatnassi, Yasser Shoukry
2023 — conf
BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic.
HSCC
Wael Fatnassi, Haitham Khedr, Valen Yamamoto, Yasser Shoukry
2022 J jnl
BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic.
CoRR
Wael Fatnassi, Haitham Khedr, Valen Yamamoto, Yasser Shoukry
2022 J jnl
PolyARBerNN: A Neural Network Guided Solver and Optimizer for Bounded Polynomial Inequalities.
CoRR
Wael Fatnassi, Yasser Shoukry
2021 J jnl
Optimal Diversity and Coding Gains for Millimeter-Wave Communication.
IEEE Trans. Veh. Technol.
Ahmed Aboutaleb, Wael Fatnassi, Zouheir Rezki, Anas Chaaban
2021 — conf
PolyAR: A Highly Parallelizable Solver For Polynomial Inequality Constraints Using Convex Abstraction Refinement.
ADHS
Wael Fatnassi, Yasser Shoukry
2021 J jnl
PolyAR: A Highly Parallelizable Solver For Polynomial Inequality Constraints Using Convex Abstraction Refinement.
CoRR
Wael Fatnassi, Yasser Shoukry
2021 — conf
Provably Safe Model-Based Meta Reinforcement Learning: An Abstraction-Based Approach.
CDC
Xiaowu Sun, Wael Fatnassi, Ulices Santa Cruz, Yasser Shoukry
2021 J jnl
Provably Safe Model-Based Meta Reinforcement Learning: An Abstraction-Based Approach.
CoRR
Xiaowu Sun, Wael Fatnassi, Ulices Santa Cruz, Yasser Shoukry
2019 — conf
Symbol Detection and Channel Estimation using Neural Networks in Optical Communication Systems.
ICC
Ahmed Aboutaleb, Wael Fatnassi, Morteza Soltani, Zouheir Rezki
2018 — conf
Autoencoder-Based Optical Wireless Communications Systems.
GLOBECOM Workshops
Morteza Soltani, Wael Fatnassi, Ahmed Aboutaleb, Zouheir Rezki, Arupjyoti Bhuyan, Paul Titus
2018 — conf
Increasing the Reliability of Smart Metering System Using Millimeter Wave Technology.
ICC Workshops
Wael Fatnassi, Zouheir Rezki
2018 J jnl
Reliability Enhancement of Smart Metering System Using Millimeter Wave Technology.
IEEE Trans. Commun.
Wael Fatnassi, Zouheir Rezki
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling