Amr Abdelhafez

Prof. Dr. rer. nat.

20132024

Research activity per year

Filter
Conference contribution

Search results

  • 2023

    Data-Driven Reachability Analysis of Pedestrians Using Behavior Modes

    Söderlund, A., Jiang, F. J., Narri, V., Alanwar, A. & Johansson, K. H., 2023, 2023 IEEE 26th International Conference on Intelligent Transportation Systems, ITSC 2023. Institute of Electrical and Electronics Engineers Inc., p. 4025-4031 7 p. (IEEE Conference on Intelligent Transportation Systems, Proceedings, ITSC).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Differentially Private Set-Based Estimation Using Zonotopes

    Dawoud, M. M., Liu, C., Alanwar, A. & Johansson, K. H., 2023, 2023 European Control Conference, ECC 2023. Institute of Electrical and Electronics Engineers Inc., (2023 European Control Conference, ECC 2023).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Logical Zonotopes: A Set Representation for the Formal Verification of Boolean Functions

    Alanwar, A., Jiang, F. J., Amin, S. & Johansson, K. H., 2023, 2023 62nd IEEE Conference on Decision and Control, CDC 2023. Institute of Electrical and Electronics Engineers Inc., p. 60-66 7 p. (Proceedings of the IEEE Conference on Decision and Control).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Shared Situational Awareness with V2X Communication and Set-membership Estimation

    Narri, V., Alanwar, A., Mårtensson, J., Norén, C. & Johansson, K. H., 2023, 2023 IEEE 26th International Conference on Intelligent Transportation Systems, ITSC 2023. Institute of Electrical and Electronics Engineers Inc., p. 3335-3342 8 p. (IEEE Conference on Intelligent Transportation Systems, Proceedings, ITSC).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • 2022

    Data-driven Set-based Estimation of Polynomial Systems with Application to SIR Epidemics

    Alanwar, A., Niazi, M. U. B. & Johansson, K. H., 2022, 2022 European Control Conference, ECC 2022. Institute of Electrical and Electronics Engineers Inc., p. 888-893 6 p. (2022 European Control Conference, ECC 2022).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    4 Scopus citations
  • Data-Driven Set-Based Estimation using Matrix Zonotopes with Set Containment Guarantees

    Alanwar, A., Berndt, A., Johansson, K. H. & Sandberg, H., 2022, 2022 European Control Conference, ECC 2022. Institute of Electrical and Electronics Engineers Inc., p. 875-881 7 p. (2022 European Control Conference, ECC 2022).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    7 Scopus citations
  • Enhancing Data-Driven Reachability Analysis using Temporal Logic Side Information

    Alanwar, A., Jiang, F. J., Sharifi, M., Dimarogonas, D. V. & Johansson, K. H., 2022, 2022 IEEE International Conference on Robotics and Automation, ICRA 2022. Institute of Electrical and Electronics Engineers Inc., p. 6793-6799 7 p. (Proceedings - IEEE International Conference on Robotics and Automation).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    3 Scopus citations
  • Privacy Guarantees for Cloud-based State Estimation using Partially Homomorphic Encryption

    Emad, S., Alanwar, A., Alkabani, Y., El-Kharashi, M. W., Sandberg, H. & Johansson, K. H., 2022, 2022 European Control Conference, ECC 2022. Institute of Electrical and Electronics Engineers Inc., p. 98-105 8 p. (2022 European Control Conference, ECC 2022).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    3 Scopus citations
  • Safe Reinforcement Learning using Data-Driven Predictive Control

    Selim, M., Alanwar, A., Watheq El-Kharashi, M., Abbas, H. M. & Johansson, K. H., 2022, 2022 5th International Conference on Communications, Signal Processing, and their Applications, ICCSPA 2022. Institute of Electrical and Electronics Engineers Inc., (2022 5th International Conference on Communications, Signal Processing, and their Applications, ICCSPA 2022).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • 2021

    Set-membership estimation in shared situational awareness for automated vehicles in occluded scenarios

    Narri, V., Alanwar, A., Martensson, J., Noren, C., Dal Col, L. & Johansson, K. H., 11 Jul 2021, 32nd IEEE Intelligent Vehicles Symposium, IV 2021. Institute of Electrical and Electronics Engineers Inc., p. 385-392 8 p. (IEEE Intelligent Vehicles Symposium, Proceedings; vol. 2021-July).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    13 Scopus citations
  • 2020

    Event-triggered diffusion kalman filters

    Alanwar, A., Said, H., Mehta, A. & Althoff, M., Apr 2020, Proceedings - 2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems, ICCPS 2020. Institute of Electrical and Electronics Engineers Inc., p. 206-215 10 p. 9095983. (Proceedings - 2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems, ICCPS 2020).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    4 Scopus citations
  • 2019

    Distributed Secure State Estimation Using Diffusion Kalman Filters and Reachability Analysis

    Alanwar, A., Said, H. & Althoff, M., Dec 2019, 2019 IEEE 58th Conference on Decision and Control, CDC 2019. Institute of Electrical and Electronics Engineers Inc., p. 4133-4139 7 p. 9029929. (Proceedings of the IEEE Conference on Decision and Control; vol. 2019-December).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    11 Scopus citations
  • 2018

    OpenClock: A Testbed for Clock Synchronization Research

    Anwar, F. M., Alanwar, A. & Srivastava, M. B., 21 Nov 2018, ISPCS 2018 - International IEEE Symposium on Precision Clock Synchronization for Measurement, Control, and Communication, Proceedings. IEEE Computer Society, 8543080. (IEEE International Symposium on Precision Clock Synchronization for Measurement, Control, and Communication, ISPCS; vol. 2018-September).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    3 Scopus citations
  • 2017

    CryptoImg: Privacy preserving processing over encrypted images

    Ziad, M. T. I., Alanwar, A., Alzantot, M. & Srivastava, M., 21 Feb 2017, 2016 IEEE Conference on Communications and Network Security, CNS 2016. Institute of Electrical and Electronics Engineers Inc., p. 570-575 6 p. 7860550. (2016 IEEE Conference on Communications and Network Security, CNS 2016).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    32 Scopus citations
  • Cyclops: PRU programming framework for precise timing applications

    Alanwar, A., Anwar, F. M., Zhang, Y. F., Pearson, J., Hespanha, J. & Srivastava, M. B., 2 Oct 2017, ISPCS 2017 - International IEEE Symposium on Precision Clock Synchronization for Measurement, Control, and Communication, Proceedings. IEEE Computer Society, 8056744. (IEEE International Symposium on Precision Clock Synchronization for Measurement, Control, and Communication, ISPCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    7 Scopus citations
  • Demo abstract: PrOLoc: Resilient localization with private observers using partial homomorphic encryption

    Alanwar, A., Shoukry, Y., Chakraborty, S., Balaji, B., Martin, P., Tabuada, P. & Srivastava, M., 18 Apr 2017, Proceedings - 2017 16th ACM/IEEE International Conference on Information Processing in Sensor Networks, IPSN 2017. Association for Computing Machinery, Inc, p. 257-258 2 p. (Proceedings - 2017 16th ACM/IEEE International Conference on Information Processing in Sensor Networks, IPSN 2017).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    14 Scopus citations
  • D-SLATS: Distributed simultaneous localization and time synchronization

    Alanwar, A., Ferraz, H., Hsieh, K., Thazhath, R., Martin, P., Hespanha, J. & Srivastava, M., 10 Jul 2017, MobiHoc 2017 - Proceedings of the 18th ACM International Symposium on Mobile Ad Hoc Networking and Computing. Association for Computing Machinery, a14. (Proceedings of the International Symposium on Mobile Ad Hoc Networking and Computing (MobiHoc); vol. Part F129153).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    9 Scopus citations
  • EchoSafe: Sonar-based Verifiable Interaction with Intelligent Digital Agents

    Alanwar, A., Balaji, B., Tian, Y., Srivastava, M. & Yang, S., 5 Nov 2017, SafeThings 2017 - Proceedings of the 1st ACM International Workshop on the Internet of Safe Things, Part of SenSys 2017. Eskicioglu, R. (ed.). Association for Computing Machinery, Inc, p. 38-43 6 p. (SafeThings 2017 - Proceedings of the 1st ACM International Workshop on the Internet of Safe Things, Part of SenSys 2017).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    11 Scopus citations
  • Node localization based on distributed constrained optimization using Jacobi's method

    Ferraz, H., Alanwar, A., Srivastava, M. & Hespanha, J. P., 28 Jun 2017, 2017 IEEE 56th Annual Conference on Decision and Control, CDC 2017. Institute of Electrical and Electronics Engineers Inc., p. 3380-3385 6 p. (2017 IEEE 56th Annual Conference on Decision and Control, CDC 2017; vol. 2018-January).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    3 Scopus citations
  • PrOLoc: Resilient localization with private observers using partial homomorphic encryption

    Alanwar, A., Shoukry, Y., Chakraborty, S., Martin, P., Tabuada, P. & Srivastava, M., 18 Apr 2017, Proceedings - 2017 16th ACM/IEEE International Conference on Information Processing in Sensor Networks, IPSN 2017. Association for Computing Machinery, Inc, p. 41-52 12 p. (Proceedings - 2017 16th ACM/IEEE International Conference on Information Processing in Sensor Networks, IPSN 2017).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    27 Scopus citations
  • SeleCon: Scalable IoT device selection and control using hand gestures

    Alanwar, A., Alzantot, M., Ho, B. J., Martin, P. & Srivastava, M., 18 Apr 2017, Proceedings - 2017 IEEE/ACM 2nd International Conference on Internet-of-Things Design and Implementation, IoTDI 2017 (part of CPS Week). Association for Computing Machinery, Inc, p. 47-58 12 p. (Proceedings - 2017 IEEE/ACM 2nd International Conference on Internet-of-Things Design and Implementation, IoTDI 2017 (part of CPS Week)).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    19 Scopus citations
  • 2016

    Privacy-aware quadratic optimization using partially homomorphic encryption

    Shoukry, Y., Gatsis, K., Alanwar, A., Pappas, G. J., Seshia, S. A., Srivastava, M. & Tabuada, P., 27 Dec 2016, 2016 IEEE 55th Conference on Decision and Control, CDC 2016. Institute of Electrical and Electronics Engineers Inc., p. 5053-5058 6 p. 7799042. (2016 IEEE 55th Conference on Decision and Control, CDC 2016).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    72 Scopus citations
  • 2015

    Homomorphic data isolation for hardware Trojan protection

    Ziad, M. T. I., Alanwar, A., Alkabani, Y., El-Kharashi, M. W. & Bedour, H., 27 Oct 2015, Proceedings - IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2015. IEEE Computer Society, p. 131-136 6 p. 7309551. (Proceedings of IEEE Computer Society Annual Symposium on VLSI, ISVLSI; vol. 07-10-July-2015).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    5 Scopus citations
  • 2014

    E-voting attacks and countermeasures

    Ziad, M. T. I., Al-Anwar, A., Alkabani, Y., El-Kharashi, M. W. & Bedour, H., 2014, Proceedings - 2014 IEEE 28th International Conference on Advanced Information Networking and Applications Workshops, IEEE WAINA 2014. IEEE Computer Society, p. 269-274 6 p. 6844649. (Proceedings - 2014 IEEE 28th International Conference on Advanced Information Networking and Applications Workshops, IEEE WAINA 2014).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    5 Scopus citations
  • 2013

    Defeating hardware spyware in third party IPs

    Al-Anwar, A., Alkabani, Y., El-Kharashi, M. W. & Bedour, H., 2013, 2013 Saudi International Electronics, Communications and Photonics Conference, SIECPC 2013. 6550785. (2013 Saudi International Electronics, Communications and Photonics Conference, SIECPC 2013).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    8 Scopus citations
  • Hardware trojan detection methodology for FPGA

    Al-Anwar, A., Alkabani, Y., El-Kharashi, M. W. & Bedour, H., 2013, 2013 IEEE Pacific Rim Conference on Communications, Computers and Signal Processing, PACRIM 2013. p. 177-182 6 p. 6625470. (IEEE Pacific RIM Conference on Communications, Computers, and Signal Processing - Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    14 Scopus citations
  • Hardware trojan protection for third party IPs

    Al-Anwar, A., Alkabani, Y., Watheq El-Kharashi, M. & Bedour, H., 2013, Proceedings - 16th Euromicro Conference on Digital System Design, DSD 2013. p. 662-665 4 p. 6628342. (Proceedings - 16th Euromicro Conference on Digital System Design, DSD 2013).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    17 Scopus citations