An Experimental Study of Satisfiability Search Heuristics. - Karem A. Sakallah; Fadi A. Aloul; João P. Marques Silva (DATE, 2000)

Scalable Hybrid Verification of Complex Microprocessors. - Maher N. Mneimneh; Fadi A. Aloul; Christopher T. Weaver; Saugata Chatterjee; Karem A. Sakallah; Todd M. Austin (DAC, 2001)

Faster SAT and Smaller BDDs via Common Function Structure. - Fadi A. Aloul; Igor L. Markov; Karem A. Sakallah (ICCAD, 2001)

Solving difficult SAT instances in the presence of symmetry. - Fadi A. Aloul; Arathi Ramani; Igor L. Markov; Karem A. Sakallah (DAC, 2002)

Search-Based SAT Using Zero-Suppressed BDDs. - Fadi A. Aloul; Maher N. Mneimneh; Karem A. Sakallah (DATE, 2002)

Generic ILP versus specialized 0-1 ILP: an update. - Fadi A. Aloul; Arathi Ramani; Igor L. Markov; Karem A. Sakallah (ICCAD, 2002)

Improving the Efficiency of Circuit-to-BDD Conversion by Gate and Input Ordering. - Fadi A. Aloul; Igor L. Markov; Karem A. Sakallah (ICCD, 2002)

ZBDD-Based Backtrack Search SAT Solver. - Fadi A. Aloul; Maher N. Mneimneh; Karem A. Sakallah (IWLS, 2002)

Efficient Gate and Input Ordering for Circuit-to-BDD Conversion. - Fadi A. Aloul; Igor L. Markov; Karem A. Sakallah (IWLS, 2002)

Robust SAT-Based Search Algorithm for Leakage Power Reduction. - Fadi A. Aloul; Soha Hassoun; Karem A. Sakallah; David T. Blaauw (PATMOS, 2002)

Shatter: efficient symmetry-breaking for boolean satisfiability. - Fadi A. Aloul; Igor L. Markov; Karem A. Sakallah (DAC, 2003)

FORCE: a fast and easy-to-implement variable-ordering heuristic. - Fadi A. Aloul; Igor L. Markov; Karem A. Sakallah (ACM Great Lakes Symposium on VLSI, 2003)

Solving difficult instances of Boolean satisfiability in the presence of symmetry. - Fadi A. Aloul; Arathi Ramani; Igor L. Markov; Karem A. Sakallah (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2003)

Satometer: how much have we searched? - Fadi A. Aloul; Brian D. Sierawski; Karem A. Sakallah (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2003)

Scalable algorithms for Boolean satisfiability enabled by problem structure. - Fadi A. Aloul (2003)

ShatterPB: symmetry-breaking for pseudo-Boolean formulas. - Fadi A. Aloul; Arathi Ramani; Igor L. Markov; Karem A. Sakallah (ASP-DAC, 2004)

MINCE: A Static Global Variable-Ordering Heuristic for SAT Search and BDD Manipulation. - Fadi A. Aloul; Igor L. Markov; Karem A. Sakallah (J. Univers. Comput. Sci., 2004)

A Comparative Study of Two Boolean Formulations of FPGA Detailed Routing Constraints. - Gi-Joon Nam; Fadi A. Aloul; Karem A. Sakallah; Rob A. Rutenbar (IEEE Trans. Computers, 2004)

Dynamic symmetry-breaking for improved Boolean optimization. - Fadi A. Aloul; Arathi Ramani; Igor L. Markov; Karem A. Sakallah (ASP-DAC, 2005)

Exciting Stuck-Open faults in CMOS Circuits Using ILP Techniques. - Fadi A. Aloul; Assim Sagahyroon; Bashar Al-Rawi (AICCSA, 2006)

Sensor Selection and Placement for Failure Diagnosis in Networked Aerial Robots. - Nagarajan Kandasamy; Fadi A. Aloul; Tak-John Koo (ICRA, 2006)

Estimation of the weighted maximum switching activity in combinational CMOS circuits. - Fadi A. Aloul; Assim Sagahyroon (ISCAS, 2006)

Breaking Instance-Independent Symmetries In Exact Graph Coloring. - Arathi Ramani; Igor L. Markov; Karem A. Sakallah; Fadi A. Aloul (J. Artif. Intell. Res., 2006)

Search techniques for SAT-based Boolean optimization. - Fadi A. Aloul (J. Frankl. Inst., 2006)

Efficient Symmetry Breaking for Boolean Satisfiability. - Fadi A. Aloul; Karem A. Sakallah; Igor L. Markov (IEEE Trans. Computers, 2006)

Sensor Deployment for Failure Diagnosis in Networked Aerial Robots: A Satisfiability-Based Approach. - Fadi A. Aloul; Nagarajan Kandasamy (SAT, 2007)

Routing in Optical and Non-Optical Networks using Boolean Satisfiability. - Fadi A. Aloul; Bashar Al-Rawi; Mokhtar Aboelaze (J. Commun., 2007)

Symmetry breaking for pseudo-Boolean formulas. - Fadi A. Aloul; Arathi Ramani; Igor L. Markov; Karem A. Sakallah (ACM J. Exp. Algorithmics, 2007)

Using SAT-based techniques in power estimation. - Assim Sagahyroon; Fadi A. Aloul (Microelectron. J., 2007)

Solution and Optimization of Systems of Pseudo-Boolean Constraints. - Fadi A. Aloul; Arathi Ramani; Karem A. Sakallah; Igor L. Markov (IEEE Trans. Computers, 2007)

Routing and Wavelength Assignment in Optical Networks Using Boolean Satisfiability. - Fadi A. Aloul; Bashar Al-Rawi; Mokhtar Aboelaze (CCNC, 2008)

Two factor authentication using mobile phones. - Fadi A. Aloul; Syed Zahidi; Wassim El-Hajj (AICCSA, 2009)

Using mobiles for on campus location tracking. - Fadi A. Aloul; Assim Sagahyroon; A. Al-Shami; I. Al-Midfa; R. Moutassem (MoMM, 2009)

PN code acquisition using Boolean satisfiability techniques. - Fadi A. Aloul; Mohamed G. El-Tarhuni (WCNC, 2009)

Dynamic symmetry-breaking for Boolean satisfiability. - Fadi A. Aloul; Arathi Ramani; Igor L. Markov; Karem A. Sakallah (Ann. Math. Artif. Intell., 2009)

Transmission coordination for ad hoc networks. - Ananth V. Kini; Steven Weber 001; Fadi A. Aloul; Nagarajan Kandasamy (CISS, 2010)

A Multipath Detection Scheme Using Sat. - Mohamed G. El-Tarhuni; Fadi A. Aloul (ICC, 2010)

Information security awareness in UAE: A survey paper. - Fadi A. Aloul (ICITST, 2010)

Symmetry in Boolean Satisfiability. - Fadi A. Aloul (Symmetry, 2010)

Multipath Detection Using Boolean Satisfiability Techniques. - Fadi A. Aloul; Mohamed G. El-Tarhuni (J. Comput. Networks Commun., 2011)

Using SAT-Based Techniques in Low Power State Assignment. - Assim Sagahyroon; Fadi A. Aloul; Alexander Sudnitson (J. Circuits Syst. Comput., 2011)

M-stock: Efficient stock monitoring for mobile users. - Fadi A. Aloul; Assim Sagahyroon; Nancy Salem; Omar Al-Omar; Sahar Shehada; Bashar Al-Rawi (J. Frankl. Inst., 2011)

Updating snort with a customized controller to thwart port scanning. - Wassim El-Hajj; Hazem M. Hajj; Zouheir Trabelsi; Fadi A. Aloul (Secur. Commun. Networks, 2011)

Sleep Apnea Monitoring using mobile phones. - Shamma Alqassim; Madhumeta Ganesh; Shaheen Khoja; Meher Zaidi; Fadi A. Aloul; Assim Sagahyroon (Healthcom, 2012)

Solving the Clustering Problem in MANETs using SAT & ILP techniques. - Syed Zahidi; Fadi A. Aloul; Assim Sagahyroon; Wassim El-Hajj (ISSPA, 2012)

Using SAT & ILP techniques to solve enhanced ILP formulations of the Clustering Problem in MANETS. - Syed Zahidi; Fadi A. Aloul; Assim Sagahyroon; Wassim El-Hajj (IWCMC, 2012)

On the use of smartphones for detecting obstructive sleep apnea. - Mamoun Al-Mardini 001; Fadi A. Aloul; Assim Sagahyroon; Luai Al-Husseini (BIBE, 2013)

Tutorial 1: Foundations and Practical Design of CMOS Image Sensors. - Ángel Rodríguez-Vázquez; Hamada Alshaer; Bayan S. Sharif; Amr Fahim; Eman El Mandouh; Ashraf Salem; Fadi A. Aloul; Hoda S. Abdel-Aty; John F. Dodge; Baker Mohammad; Hisham Mohamed 002 (ICECS, 2013)

Framework for creating realistic port scanning benchmarks. - Mustafa Al-Tamimi; Wassim El-Hajj; Fadi A. Aloul (IWCMC, 2013)

Solving the Employee Timetabling Problem Using Advanced SAT & ILP Techniques. - Fadi A. Aloul; Syed Z. H. Zahidi; Anas Al-Farra; Basel Al-Roh; Bashar Al-Rawi (J. Comput., 2013)

Classifying obstructive sleep apnea using smartphones. - Mamoun Al-Mardini 001; Fadi A. Aloul; Assim Sagahyroon; Luai Al-Husseini (J. Biomed. Informatics, 2014)

Security of mobile health (mHealth) systems. - Fatma Zubaydi; Ayat Saleh; Fadi A. Aloul; Assim Sagahyroon (BIBE, 2015)

Internet of things (IoT) security: Current status, challenges and prospective measures. - Rwan Mahmoud; Tasneem Yousuf; Fadi A. Aloul; Imran A. Zualkernan (ICITST, 2015)

iBump: Smartphone application to detect car accidents. - Fadi A. Aloul; Imran A. Zualkernan; Ruba Abu-Salma; Humaid Al-Ali; May Al-Merri (Comput. Electr. Eng., 2015)

Real traffic logs creation for testing intrusion detection systems. - Wassim El-Hajj; Mustafa Al-Tamimi; Fadi A. Aloul (Wirel. Commun. Mob. Comput., 2015)

ParkNosis: Diagnosing Parkinson's disease using mobile phones. - Abdulwahab Sahyoun; Karim Chehab; Osama Al-Madani; Fadi A. Aloul; Assim Sagahyroon (HealthCom, 2016)

Cultural and psychological factors in cyber-security. - Tzipora Halevi; Nasir D. Memon; James Lewis; Ponnurangam Kumaraguru; Sumit Arora; Nikita Dagar; Fadi A. Aloul; Jay Chen (iiWAS, 2016)

MobSpiro: Mobile based spirometry for detecting COPD. - Fatma Zubaydi; Assim Sagahyroon; Fadi A. Aloul; Hasan Mir (CCWC, 2017)

AutiAid: A learning mobile application for autistic children. - Raafat Aburukba; Fadi A. Aloul; Anam Mahmoud; Kamil Kamili; Suad Ajmal (Healthcom, 2017)

Emotion recognition using mobile phones. - Imran A. Zualkernan; Fadi A. Aloul; Shams Shapsough; Ahmed Hesham; Youssef Elkhorazaty (Comput. Electr. Eng., 2017)

Cultural and Psychological Factors in Cyber-Security. - Tzipora Halevi; Nasir D. Memon; James Levis; Ponnurangam Kumaraguru; Sumit Arora; Nikita Dagar; Fadi A. Aloul; Jay Chen (J. Mobile Multimedia, 2017)

Brokering Services for Integrating Health Cloud Platforms for Remote Patient Monitoring. - Raafat Aburukba; Assim Sagahyroon; Fadi A. Aloul; Niha Thodika (HealthCom, 2018)

Intelligent accident detection classification using mobile phones. - Imran A. Zualkernan; Fadi A. Aloul; Fayiz Basheer; Gurdit Khera; Shruthi Srinivasan (ICOIN, 2018)

On the Implementation of a Rotated Chaotic Lorenz System on FPGA. - Hammam Orabi; Mohammed Elnawawy; Assim Sagahyroon; Fadi A. Aloul; Ahmed S. Elwakil; Ahmed G. Radwan (APCCAS, 2019)

Detecting Heart Anomalies Using Mobile Phones and Machine Learning. - Elhoussine Talab; Omar Mohamed; Labeeba Begum; Fadi A. Aloul; Assim Sagahyroon (BIBE, 2019)

An IoT-based Emergency Evacuation System. - Imran A. Zualkernan; Fadi A. Aloul; Vikram Sakkia; Hassan Al Noman; Salman Sowdagar; Omar Al Hammadi (IoTaIS, 2019)

Two-Dimensional Rotation of Chaotic Attractors: Demonstrative Examples and FPGA Realization. - Wafaa S. Sayed; Ahmed Gomaa Radwan; Mohammed Elnawawy; Hammam Orabi; Assim Sagahyroon; Fadi A. Aloul; Ahmed S. Elwakil; Hossam A. H. Fahmy; Abdel-Latif El-Sedeek (Circuits Syst. Signal Process., 2019)

Little Genius: An Experiment in Internet of Tangible Learning Things. - Imran A. Zualkernan; Fadi A. Aloul; Eilaf Algebail; Mohamed El Refaay; Abdulkarim Ali; Omar El Sabaa (ICALT, 2020)

A Monitoring and Control Gateway for IoT Edge Devices in Smart Home. - Fadi A. Aloul; Imran A. Zualkernan; Shams Shapsough; Mohammed Towheed (ICOIN, 2020)

CDMC'19 - The 10th International Cybersecurity Data Mining Competition. - Shaoning Pang 001; Tao Ban; Youki Kadobayashi; Jungsuk Song; Kaizhu Huang; Geongsen Poh; Iqbal Gondal; Kitsuchart Pasupa; Fadi A. Aloul (ICONIP (2), 2020)

Botnet Attack Detection using Machine Learning. - Mustafa Alshamkhany; Wisam Alshamkhany; Mohamed Mansour; Mueez Khan; Salam Dhou; Fadi A. Aloul (IIT, 2020)

Predicting Hospital No-Shows Using Machine Learning. - Tasneem Zaman Batool; Mostafa Abuelnoor; Omar El Boutari; Fadi A. Aloul; Assim Sagahyroon (IoTaIS, 2020)

Digital Twin Conceptual Model within the Context of Internet of Things. - Abdul-Rahman Al-Ali; Ragini Gupta; Tasneem Zaman Batool; Taha Landolsi; Fadi A. Aloul; Ahmad Al Nabulsi (Future Internet, 2020)

Using Mobiles to Monitor Respiratory Diseases. - Fatma Zubaydi; Assim Sagahyroon; Fadi A. Aloul; Hasan Mir; Bassam Mahboub (Informatics, 2020)

FPGA implementation of a chaotic oscillator with odd/even symmetry and its application. - Mohamed F. Tolba 002; Ahmed S. Elwakil; Hammam Orabi; Mohammed Elnawawy; Fadi A. Aloul; Assim Sagahyroon; Ahmed G. Radwan (Integr., 2020)

Network Intrusion Detection on the IoT Edge Using Adversarial Autoencoders. - Fadi A. Aloul; Imran A. Zualkernan; Nada Abdalgawad; Lana Alhaj Hussain; Dara Sakhnini (ICIT, 2021)

Smart Monitoring System for Stroke Rehabilitation. - Mais Al Atallah; Zainab Jamil; Hania Khafagy; Mehnaz Ummar; Fadi A. Aloul; Assim Sagahyroon (IoTaIS, 2021)

FPGA Realizations of Chaotic Epidemic and Disease Models Including Covid-19. - Mohammed Elnawawy; Fadi A. Aloul; Assim Sagahyroon; Ahmed S. Elwakil; Wafaa S. Sayed; Lobna A. Said; Sara M. Mohamed; Ahmed G. Radwan (IEEE Access, 2021)

Detecting Replay Attack on Voice-Controlled Systems using Small Neural Networks. - Nadeen Ahmed; Jowaria Khan; Nouran Sheta; Rahma Tarek; Imran A. Zualkernan; Fadi A. Aloul (RTSI, 2022)

Generative Deep Learning to Detect Cyberattacks for the IoT-23 Dataset. - Nada Abdalgawad; Ali Reza Sajun; Yara Kaddoura; Imran A. Zualkernan; Fadi A. Aloul (IEEE Access, 2022)

Investigating the Feasibility of Assessing Depression Severity and Valence-Arousal with Wearable Sensors Using Discrete Wavelet Transforms and Machine Learning. - Abdullah Ahmed; Jayroop Ramesh; Sandipan Ganguly; Raafat Aburukba; Assim Sagahyroon; Fadi A. Aloul (Inf., 2022)

Security Analysis of a Digital Twin Framework Using Probabilistic Model Checking. - Eman Shaikh; Abdul-Rahman Al-Ali; Shahabuddin Muhammad; Nazeeruddin Mohammad; Fadi A. Aloul (IEEE Access, 2023)

Malicious URL and Intrusion Detection using Machine Learning. - Amr Hamza; Farah Hammam; Medhat Abouzeid; Mohammad Arsalan Ahmed; Salam Dhou; Fadi A. Aloul (ICOIN, 2024)

Android Malware Detection Using Machine Learning. - Shaikha Al Ali; Ali Suleiman; Ghina Hallal; Sultan Alseiari; Yiguang Ma; Salam Dhou; Fadi A. Aloul (IoTaIS, 2024)

Efficient Machine Learning Frameworks for Strengthening Cybersecurity in Internet of Medical Things (IoMT) Ecosystems. - Keshav Ramesh; Nikita Christ Miller; Aariz Faridi; Fadi A. Aloul; Imran A. Zualkernan; Ali Reza Sajun (IoTaIS, 2024)