Priestley Duality for Strong Proximity Lattices. - Mohamed A. El-Zawawy; Achim Jung (MFPS, 2006)

Clustering with Obstacles in Spatial Databases - Mohamed A. El-Zawawy; Mohamed E. El-Sharkawi (CoRR, 2009)

Algorithm for Spatial Clustering with Obstacles - Mohamed E. El-Sharkawi; Mohamed A. El-Zawawy (CoRR, 2009)

Flow Sensitive-Insensitive Pointer Analysis Based Memory Safety for Multithreaded Programs. - Mohamed A. El-Zawawy (ICCSA (5), 2011)

Program Optimization Based Pointer Analysis and Live Stack-Heap Analysis - Mohamed A. El-Zawawy (CoRR, 2011)

Partial Redundancy Elimination for Multi-threaded Programs - Mohamed A. El-Zawawy; Hamada A. Nayel (CoRR, 2011)

Probabilistic pointer analysis for multithreaded programs - Mohamed A. El-Zawawy (CoRR, 2011)

Heap Slicing Using Type Systems. - Mohamed A. El-Zawawy (ICCSA (3), 2012)

Abstraction Analysis and Certified Flow and Context Sensitive Points-to Relation for Distributed Programs. - Mohamed A. El-Zawawy (ICCSA (4), 2012)

New Error-recovery Techniques for Faulty-Calls of Functions. - Mohamed A. El-Zawawy; Nagwan Moustafa Daoud (Comput. Inf. Sci., 2012)

Type Systems Based Data Race Detector. - Mohamed A. El-Zawawy; Hamada A. Nayel (Comput. Inf. Sci., 2012)

Efficient techniques for mining spatial databases - Mohamed A. El-Zawawy (CoRR, 2012)

Dynamic Verification for File Safety of Multithreaded Programs - Mohamed A. El-Zawawy; Nagwan Moustafa Daoud (CoRR, 2012)

Dead code elimination based pointer analysis for multithreaded programs - Mohamed A. El-Zawawy (CoRR, 2012)

Recognition of Logically Related Regions Based Heap Abstraction - Mohamed A. El-Zawawy (CoRR, 2012)

Frequent Statement and De-reference Elimination for Distributed Programs. - Mohamed A. El-Zawawy (ICCSA (3), 2013)

Detection of Probabilistic Dangling References in Multi-core Programs Using Proof-Supported Tools. - Mohamed A. El-Zawawy (ICCSA (5), 2013)

Proof-Carrying Model for Parsing Techniques. - Mohamed A. El-Zawawy (ICCSA (5), 2014)

Certified Transformation for Static Single Assignment of SPMD Programs. - Mohamed A. El-Zawawy (ICCSA (Workshops/Short Papers/Posters), 2014)

ConNet: A Network Programming Language with Concurrency. - Mohamed A. El-Zawawy (ICCSA (Workshops/Short Papers/Posters), 2014)

Testing Automation of Context-Oriented Programs Using Separation Logic. - Mohamed A. El-Zawawy (Appl. Comput. Intell. Soft Comput., 2014)

Distributed Data and Programs Slicing. - Mohamed A. El-Zawawy (CoRR, 2014)

A new model for Context-Oriented Programs. - Mohamed A. El-Zawawy; Eisa A. Aleisa (CoRR, 2014)

ImNet: An Imperative Network Programming Language. - Mohamed A. El-Zawawy; Adel I. AlSalem (CoRR, 2014)

An Efficient Binary Technique for Trace Simplifications of Concurrent Programs. - Mohamed A. El-Zawawy; Mohammad N. Alanazi (CoRR, 2014)

Probabilistic Alias Analysis for Parallel Programming in SSA Forms. - Mohamed A. El-Zawawy; Mohammad N. Alanazi (CoRR, 2014)

ImpNet: Programming Software-Defied Networks Using Imperative Techniques. - Mohamed A. El-Zawawy; Adel I. AlSalem (CoRR, 2014)

Novel Designs for Memory Checkers Using Semantics and Digital Sequential Circuits. - Mohamed A. El-Zawawy (ICCSA (4), 2015)

Boosting the Software Quality of Parallel Programming Using Logical Means. - Mohamed A. El-Zawawy (ICCSA (5), 2015)

An Efficient Layer-Aware Technique for Developing Asynchronous Context-Oriented Software (ACOS). - Mohamed A. El-Zawawy (ICCSA (Short Papers/poster papers/PhD student showcase works), 2015)

Asynchronous Programming in a Prioritized Form. - Mohamed A. El-Zawawy (CoRR, 2015)

An Operational Semantics for Android Applications. - Mohamed A. El-Zawawy (ICCSA (5), 2016)

A Type System for Android Applications. - Mohamed A. El-Zawawy (ICCSA (5), 2016)

Finding Divergent Executions in Asynchronous Programs. - Mohamed A. El-Zawawy (ICCSA (5), 2016)

Modeling Android Fragments and Activities Life Cycles Coordination. - Mohamed A. El-Zawawy (ICCSA (5), 2017)

Separation Logic for States Dependencies in Life Cycles of Android Activities and Fragments. - Mohamed A. El-Zawawy (ICCSA (6), 2017)

Posting Graphs for Finding Non-Terminating Executions in Asynchronous Programs. - Mohamed A. El-Zawawy (ICCSA (6), 2017)

Middleware for Internet of Things: Survey and Challenges. - Samia Allaoua Chelloug; Mohamed A. El-Zawawy (Intell. Autom. Soft Comput., 2018)

A new technique for intent elicitation in Android applications. - Mohamed A. El-Zawawy (Iran J. Comput. Sci., 2019)

Vulnerabilities in Android webview objects: Still not the end! - Mohamed A. El-Zawawy; Eleonora Losiouk; Mauro Conti (Comput. Secur., 2021)

Do not let Next-Intent Vulnerability be your next nightmare: type system-based approach to detect it in Android apps. - Mohamed A. El-Zawawy; Eleonora Losiouk; Mauro Conti (Int. J. Inf. Sec., 2021)

SETCAP: Service-Based Energy-Efficient Temporal Credential Authentication Protocol for Internet of Drones. - Mohamed A. El-Zawawy; Alessandro Brighente; Mauro Conti (Comput. Networks, 2022)

Formal model for inter-component communication and its security in android. - Mohamed A. El-Zawawy; Parvez Faruki; Mauro Conti (Computing, 2022)

Authenticating Drone-Assisted Internet of Vehicles Using Elliptic Curve Cryptography and Blockchain. - Mohamed A. El-Zawawy; Alessandro Brighente; Mauro Conti (IEEE Trans. Netw. Serv. Manag., 2023)

Honey-list based authentication protocol for industrial IoT swarms. - Mohamed A. El-Zawawy; Pallavi Kaliyar; Mauro Conti; Sokratis K. Katsikas (Comput. Commun., 2023)

A Location-Aware and Healing Attestation Scheme for Air-Supported Internet of Vehicles. - Mohamed A. El-Zawawy; Chhagan Lal; Mauro Conti (IEEE Trans. Intell. Transp. Syst., 2024)

BDMFA: Forensic-enabling attestation technique for Internet of Medical Things. - Mohamed A. El-Zawawy; Harsha Vasudev; Mauro Conti (Internet Things, 2025)

Detection of hidden privilege escalations in android. - Mohamed A. El-Zawawy; Aya Hamdy (Autom. Softw. Eng., 2025)