Amr Al-Anwar

34 papers B 1C 1Journal 20Unranked 12
YearRankTypeTitle / Venue / Authors
2026 J jnl
Conformalized Data-Driven Reachability Analysis with PAC Guarantees.
CoRR
Yanliang Huang, Zhen Zhang, Peng Xie, Zhuoqi Zeng, Amr Al-Anwar
2025 J jnl
An Affine Transformation Method to Privacy-Preserving Consensus for Multi-Agent Systems.
IEEE Control. Syst. Lett.
Tu Zhang, Guobao Zhang, Amr Al-Anwar, Yongming Huang
2025 — conf
Data-Driven Nonconvex Reachability Analysis Using Exact Multiplication.
CDC
Zhen Zhang, Muhammad Umar B. Niazi, Michelle S. Chong, Karl Henrik Johansson, Amr Al-Anwar
2025 J jnl
Data-Driven Nonconvex Reachability Analysis using Exact Multiplication.
CoRR
Zhen Zhang, Muhammad Umar B. Niazi, Michelle S. Chong, Karl Henrik Johansson, Amr Al-Anwar
2025 — conf
Data-Driven Reachability Analysis for Piecewise Affine Systems.
CDC
Peng Xie, Johannes Betz, Davide M. Raimondo, Amr Al-Anwar
2025 — conf
Data-Driven Safety Verification using Barrier Certificates and Matrix Zonotopes.
CDC
Mohammed Adib Oumer, Amr Al-Anwar, Majid Zamani
2025 J jnl
Guiding Giants: Lightweight Controllers for Weighted Activation Steering in LLMs.
CoRR
Amr Hegazy, Mostafa Elhoushi, Amr Al-Anwar
2025 J jnl
Hybrid Polynomial Zonotopes: A Set Representation for Reachability Analysis in Hybrid Nonaffine Systems.
CoRR
Peng Xie, Zhen Zhang, Amr Al-Anwar
2025 J jnl
Informed Hybrid Zonotope-based Motion Planning Algorithm.
CoRR
Peng Xie, Johannes Betz, Amr Al-Anwar
2025 J jnl
Online Data-Driven Reachability Analysis using Zonotopic Recursive Least Squares.
CoRR
Alireza Naderi Akhormeh, Amr Hegazy, Amr Al-Anwar
2025 J jnl
Polynomial logical zonotope: A set representation for reachability analysis of logical systems.
Autom.
Amr Al-Anwar, Frank J. Jiang, Karl Henrik Johansson
2025 J jnl
Privacy-Preserving Set-Based Estimation Using Differential Privacy and Zonotopes.
IEEE Internet Things J.
Mohammed M. Dawoud, Changxin Liu, Karl Henrik Johansson, Amr Al-Anwar
2025 J jnl
Roundabout Constrained Convex Generators: A Unified Framework for Multiply-Connected Reachable Sets.
CoRR
Peng Xie, Sabin Diaconescu, Florin Stoican, Amr Al-Anwar
2025 J jnl
Safe LLM-Controlled Robots with Formal Guarantees via Reachability Analysis.
CoRR
Ahmad Hafez, Alireza Naderi Akhormeh, Amr Hegazy, Amr Al-Anwar
2024 J jnl
Publishers' Note to "Distributed set-based observers using diffusion strategies" [Journal of the Franklin Institute 360 (2023) 6976-6993].
J. Frankl. Inst.
Amr Al-Anwar, Jagat Jyoti Rath, Hazem Said, Karl Henrik Johansson, Matthias Althoff
2024 J jnl
Reachability Analysis Using Constrained Polynomial Logical Zonotopes.
IEEE Control. Syst. Lett.
Ahmad Hafez, Frank J. Jiang, Karl Henrik Johansson, Amr Al-Anwar
2023 J jnl
Distributed set-based observers using diffusion strategies.
J. Frankl. Inst.
Amr Al-Anwar, Jagat Jyoti Rath, Hazem Said, Karl Henrik Johansson, Matthias Althoff
2023 J jnl
Resilient set-based state estimation for linear time-invariant systems using zonotopes.
Eur. J. Control
Muhammad Umar B. Niazi, Amr Al-Anwar, Michelle S. Chong, Karl Henrik Johansson
2023 J jnl
Robust data-driven predictive control of unknown nonlinear systems using reachability analysis.
Eur. J. Control
Mahsa Farjadnia, Amr Al-Anwar, Muhammad Umar B. Niazi, Marco Molinari, Karl Henrik Johansson
2022 — conf
Safe Reinforcement Learning using Data-Driven Predictive Control.
ICCSPA
Mahmoud Selim, Amr Al-Anwar, M. Watheq El-Kharashi, Hazem M. Abbas, Karl Henrik Johansson
2017 B conf
D-SLATS: Distributed Simultaneous Localization and Time Synchronization.
MobiHoc
Amr Al-Anwar, Henrique Ferraz, Kevin Hsieh, Rohit Thazhath, Paul Martin, João Pedro Hespanha, Mani B. Srivastava
2017 J jnl
D-SLATS: Distributed Simultaneous Localization and Time Synchronization.
CoRR
Amr Al-Anwar, Henrique Ferraz, Kevin Hsieh, Rohit Thazhath, Paul Martin, João Pedro Hespanha, Mani B. Srivastava
2017 J jnl
Dynamic FPGA Detection and Protection of Hardware Trojan: A Comparative Analysis.
CoRR
Amr Al-Anwar, Mona A. Aboelnaga, Yousra Alkabani, M. Watheq El-Kharashi, Hassan Bedour
2017 — conf
PrOLoc: resilient localization with private observers using partial homomorphic encryption.
IPSN
Amr Al-Anwar, Yasser Shoukry, Supriyo Chakraborty, Paul Martin, Paulo Tabuada, Mani B. Srivastava
2017 — conf
PrOLoc: resilient localization with private observers using partial homomorphic encryption: demo abstract.
IPSN
Amr Al-Anwar, Yasser Shoukry, Supriyo Chakraborty, Bharathan Balaji, Paul Martin, Paulo Tabuada, Mani B. Srivastava
2017 — conf
SeleCon: Scalable IoT Device Selection and Control Using Hand Gestures.
IoTDI
Amr Al-Anwar, Moustafa Alzantot, Bo-Jhang Ho, Paul Martin, Mani B. Srivastava
2016 J jnl
CryptoImg: Privacy Preserving Processing Over Encrypted Images.
CoRR
M. Tarek Ibn Ziad, Amr Al-Anwar, Moustafa Alzantot, Mani B. Srivastava
2016 — conf
CryptoImg: Privacy preserving processing over encrypted images.
CNS
M. Tarek Ibn Ziad, Amr Al-Anwar, Moustafa Alzantot, Mani B. Srivastava
2016 — conf
Privacy-aware quadratic optimization using partially homomorphic encryption.
CDC
Yasser Shoukry, Konstantinos Gatsis, Amr Al-Anwar, George J. Pappas, Sanjit A. Seshia, Mani B. Srivastava, Paulo Tabuada
2016 — conf
Realizing Uncertainty-Aware Timing Stack in Embedded Operating System.
EWiLi
Amr Al-Anwar, Fatima M. Anwar, João P. Hespanha, Mani B. Srivastava
2015 — conf
Homomorphic Data Isolation for Hardware Trojan Protection.
ISVLSI
M. Tarek Ibn Ziad, Amr Al-Anwar, Yousra Alkabani, M. Watheq El-Kharashi, Hassan Bedour
2015 J jnl
Homomorphic Data Isolation for Hardware Trojan Protection.
CoRR
M. Tarek Ibn Ziad, Amr Al-Anwar, Yousra Alkabani, M. Watheq El-Kharashi, Hassan Bedour
2014 — conf
E-Voting Attacks and Countermeasures.
AINA Workshops
M. Tarek Ibn Ziad, Amr Al-Anwar, Yousra Alkabani, M. Watheq El-Kharashi, Hassan Bedour
2013 C conf
Hardware Trojan Protection for Third Party IPs.
DSD
Amr Al-Anwar, Yousra Alkabani, M. Watheq El-Kharashi, Hassan Bedour