Fadi A. Aloul

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 29

Top Topics

Obstructive Sleep Apnea

Intrusion Detection

Patient Monitoring

Top Venues

Publications

Amr Hamza, Farah Hammam, Medhat Abouzeid, Mohammad Arsalan Ahmed, Salam Dhou, Fadi A. Aloul
Malicious URL and Intrusion Detection using Machine Learning. ICOIN (2024)
Eman Shaikh, Abdul-Rahman Al-Ali, Shahabuddin Muhammad, Nazeeruddin Mohammad, Fadi A. Aloul
Security Analysis of a Digital Twin Framework Using Probabilistic Model Checking. IEEE Access 11 (2023)
Nadeen Ahmed, Jowaria Khan, Nouran Sheta, Rahma Tarek, Imran A. Zualkernan, Fadi A. Aloul
Detecting Replay Attack on Voice-Controlled Systems using Small Neural Networks. RTSI (2022)
Abdullah Ahmed, Jayroop Ramesh, Sandipan Ganguly, Raafat Aburukba, Assim Sagahyroon, Fadi A. Aloul
Investigating the Feasibility of Assessing Depression Severity and Valence-Arousal with Wearable Sensors Using Discrete Wavelet Transforms and Machine Learning. Inf. 13 (9) (2022)
Nada Abdalgawad, Ali Reza Sajun, Y. Kaddoura, Imran A. Zualkernan, Fadi A. Aloul
Generative Deep Learning to Detect Cyberattacks for the IoT-23 Dataset. IEEE Access 10 (2022)
Mais Al Atallah, Zainab Jamil, Hania Khafagy, Mehnaz Ummar, Fadi A. Aloul, Assim Sagahyroon
Smart Monitoring System for Stroke Rehabilitation. IoTaIS (2021)
Mohammed Elnawawy, Fadi A. Aloul, Assim Sagahyroon, Ahmed S. Elwakil, Wafaa S. Sayed, Lobna A. Said, Sara M. Mohamed, Ahmed G. Radwan
FPGA Realizations of Chaotic Epidemic and Disease Models Including Covid-19. IEEE Access 9 (2021)
Fadi A. Aloul, Imran A. Zualkernan, Nada Abdalgawad, Lana Alhaj Hussain, Dara Sakhnini
Network Intrusion Detection on the IoT Edge Using Adversarial Autoencoders. ICIT (2021)
Fatma Zubaydi, Assim Sagahyroon, Fadi A. Aloul, Hasan Mir, Bassam Mahboub
Using Mobiles to Monitor Respiratory Diseases. Informatics 7 (4) (2020)
Abdul-Rahman Al-Ali, Ragini Gupta, Tasneem Zaman Batool, Taha Landolsi, Fadi A. Aloul, Ahmad Al Nabulsi
Digital Twin Conceptual Model within the Context of Internet of Things. Future Internet 12 (10) (2020)
Mustafa Alshamkhany, Wisam Alshamkhany, Mohamed Mansour, Mueez Khan, Salam Dhou, Fadi A. Aloul
Botnet Attack Detection using Machine Learning. IIT (2020)
Shaoning Pang, Tao Ban, Youki Kadobayashi, Jungsuk Song, Kaizhu Huang, Geongsen Poh, Iqbal Gondal, Kitsuchart Pasupa, Fadi A. Aloul
CDMC'19 - The 10th International Cybersecurity Data Mining Competition. ICONIP (2) (2020)
Fadi A. Aloul, Imran A. Zualkernan, Shams Shapsough, Mohammed Towheed
A Monitoring and Control Gateway for IoT Edge Devices in Smart Home. ICOIN (2020)
Tasneem Zaman Batool, Mostafa Abuelnoor, Omar El Boutari, Fadi A. Aloul, Assim Sagahyroon
Predicting Hospital No-Shows Using Machine Learning. IoTaIS (2020)
Mohamed F. Tolba, Ahmed S. Elwakil, Hammam Orabi, Mohammed Elnawawy, Fadi A. Aloul, Assim Sagahyroon, Ahmed G. Radwan
FPGA implementation of a chaotic oscillator with odd/even symmetry and its application. Integr. 72 (2020)
Imran A. Zualkernan, Fadi A. Aloul, Eilaf Algebail, Mohamed El Refaay, Abdulkarim Ali, Omar El Sabaa
Little Genius: An Experiment in Internet of Tangible Learning Things. ICALT (2020)
Elhoussine Talab, Omar Mohamed, Labeeba Begum, Fadi A. Aloul, Assim Sagahyroon
Detecting Heart Anomalies Using Mobile Phones and Machine Learning. BIBE (2019)
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
Two-Dimensional Rotation of Chaotic Attractors: Demonstrative Examples and FPGA Realization. Circuits Syst. Signal Process. 38 (10) (2019)
Imran A. Zualkernan, Fadi A. Aloul, Vikram Sakkia, Hassan Al Noman, Salman Sowdagar, Omar Al Hammadi
An IoT-based Emergency Evacuation System. IoTaIS (2019)
Hammam Orabi, Mohammed Elnawawy, Assim Sagahyroon, Fadi A. Aloul, Ahmed S. Elwakil, Ahmed G. Radwan
On the Implementation of a Rotated Chaotic Lorenz System on FPGA. APCCAS (2019)
Raafat Aburukba, Assim Sagahyroon, Fadi A. Aloul, Niha Thodika
Brokering Services for Integrating Health Cloud Platforms for Remote Patient Monitoring. HealthCom (2018)
Imran A. Zualkernan, Fadi A. Aloul, Fayiz Basheer, Gurdit Khera, Shruthi Srinivasan
Intelligent accident detection classification using mobile phones. ICOIN (2018)
Fatma Zubaydi, Assim Sagahyroon, Fadi A. Aloul, Hasan Mir
MobSpiro: Mobile based spirometry for detecting COPD. CCWC (2017)
Raafat Aburukba, Fadi A. Aloul, Anam Mahmoud, Kamil Kamili, Suad Ajmal
AutiAid: A learning mobile application for autistic children. Healthcom (2017)
Tzipora Halevi, Nasir D. Memon, James Levis, Ponnurangam Kumaraguru, Sumit Arora, Nikita Dagar, Fadi A. Aloul, Jay Chen
Cultural and Psychological Factors in Cyber-Security. J. Mobile Multimedia 13 (1&2) (2017)
Imran A. Zualkernan, Fadi A. Aloul, Shams Shapsough, Ahmed Hesham, Youssef Elkhorazaty
Emotion recognition using mobile phones. Comput. Electr. Eng. 60 (2017)
Tzipora Halevi, Nasir D. Memon, James Lewis, Ponnurangam Kumaraguru, Sumit Arora, Nikita Dagar, Fadi A. Aloul, Jay Chen
Cultural and psychological factors in cyber-security. iiWAS (2016)
Shams Shapsough, Ahmed Hesham, Youssef Elkhorazaty, Imran A. Zualkernan, Fadi A. Aloul
Emotion recognition using mobile phones. HealthCom (2016)
Abdulwahab Sahyoun, Karim Chehab, Osama Al-Madani, Fadi A. Aloul, Assim Sagahyroon
ParkNosis: Diagnosing Parkinson's disease using mobile phones. HealthCom (2016)
Wassim El-Hajj, Mustafa Al-Tamimi, Fadi A. Aloul
Real traffic logs creation for testing intrusion detection systems. Wirel. Commun. Mob. Comput. 15 (14) (2015)
Fadi A. Aloul, Imran A. Zualkernan, Ruba Abu-Salma, Humaid Al-Ali, May Al-Merri
iBump: Smartphone application to detect car accidents. Comput. Electr. Eng. 43 (2015)
Fatma Zubaydi, Ayat Saleh, Fadi A. Aloul, Assim Sagahyroon
Security of mobile health (mHealth) systems. BIBE (2015)
Rwan Mahmoud, Tasneem Yousuf, Fadi A. Aloul, Imran A. Zualkernan
Internet of things (IoT) security: Current status, challenges and prospective measures. ICITST (2015)
Mamoun Al-Mardini, Fadi A. Aloul, Assim Sagahyroon, Luai Al-Husseini
Classifying obstructive sleep apnea using smartphones. J. Biomed. Informatics 52 (2014)
Mamoun Al-Mardini, Fadi A. Aloul, Assim Sagahyroon, Luai Al-Husseini
On the use of smartphones for detecting obstructive sleep apnea. BIBE (2013)
Mustafa Al-Tamimi, Wassim El-Hajj, Fadi A. Aloul
Framework for creating realistic port scanning benchmarks. IWCMC (2013)
Á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
Tutorial 1: Foundations and Practical Design of CMOS Image Sensors. ICECS (2013)
Fadi A. Aloul, Syed Z. H. Zahidi, Anas Al-Farra, Basel Al-Roh, Bashar Al-Rawi
Solving the Employee Timetabling Problem Using Advanced SAT & ILP Techniques. J. Comput. 8 (4) (2013)
Syed Zahidi, Fadi A. Aloul, Assim Sagahyroon, Wassim El-Hajj
Solving the Clustering Problem in MANETs using SAT & ILP techniques. ISSPA (2012)
Syed Zahidi, Fadi A. Aloul, Assim Sagahyroon, Wassim El-Hajj
Using SAT & ILP techniques to solve enhanced ILP formulations of the Clustering Problem in MANETS. IWCMC (2012)
Shamma Alqassim, Madhumeta Ganesh, Shaheen Khoja, Meher Zaidi, Fadi A. Aloul, Assim Sagahyroon
Sleep Apnea Monitoring using mobile phones. Healthcom (2012)
Fadi A. Aloul, Mohamed G. El-Tarhuni
Multipath Detection Using Boolean Satisfiability Techniques. J. Comput. Networks Commun. 2011 (2011)
Assim Sagahyroon, Fadi A. Aloul, Alexander Sudnitson
Using SAT-Based Techniques in Low Power State Assignment. J. Circuits Syst. Comput. 20 (8) (2011)
Wassim El-Hajj, Hazem M. Hajj, Zouheir Trabelsi, Fadi A. Aloul
Updating snort with a customized controller to thwart port scanning. Secur. Commun. Networks 4 (8) (2011)
Fadi A. Aloul, Assim Sagahyroon, Nancy Salem, Omar Al-Omar, Sahar Shehada, Bashar Al-Rawi
M-stock: Efficient stock monitoring for mobile users. J. Frankl. Inst. 348 (7) (2011)
Fadi A. Aloul, Igor L. Markov, Arathi Ramani, Karem A. Sakallah
Breaking Instance-Independent Symmetries In Exact Graph Coloring CoRR (2011)
Ananth V. Kini, Steven Weber, Fadi A. Aloul, Nagarajan Kandasamy
Transmission coordination for ad hoc networks. CISS (2010)
Mohamed G. El-Tarhuni, Fadi A. Aloul
A Multipath Detection Scheme Using Sat. ICC (2010)
Fadi A. Aloul
Information security awareness in UAE: A survey paper. ICITST (2010)
Fadi A. Aloul
Symmetry in Boolean Satisfiability. Symmetry 2 (2) (2010)
Fadi A. Aloul, Mohamed G. El-Tarhuni
PN code acquisition using Boolean satisfiability techniques. WCNC (2009)
Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah
Dynamic symmetry-breaking for Boolean satisfiability. Ann. Math. Artif. Intell. 57 (1) (2009)
Fadi A. Aloul, Assim Sagahyroon, A. Al-Shami, I. Al-Midfa, R. Moutassem
Using mobiles for on campus location tracking. MoMM (2009)
Fadi A. Aloul, Syed Zahidi, Wassim El-Hajj
Two factor authentication using mobile phones. AICCSA (2009)
Fadi A. Aloul, Bashar Al-Rawi, Mokhtar Aboelaze
Routing and Wavelength Assignment in Optical Networks Using Boolean Satisfiability. CCNC (2008)
Fadi A. Aloul, Arathi Ramani, Karem A. Sakallah, Igor L. Markov
Solution and Optimization of Systems of Pseudo-Boolean Constraints. IEEE Trans. Computers 56 (10) (2007)
Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah
Symmetry breaking for pseudo-Boolean formulas. ACM J. Exp. Algorithmics 12 (2007)
Fadi A. Aloul, Bashar Al-Rawi, Mokhtar Aboelaze
Routing in Optical and Non-Optical Networks using Boolean Satisfiability. J. Commun. 2 (4) (2007)
Assim Sagahyroon, Fadi A. Aloul
Using SAT-based techniques in power estimation. Microelectron. J. 38 (6-7) (2007)
Fadi A. Aloul, Nagarajan Kandasamy
Sensor Deployment for Failure Diagnosis in Networked Aerial Robots: A Satisfiability-Based Approach. SAT (2007)
Nagarajan Kandasamy, Fadi A. Aloul, Tak-John Koo
Sensor Selection and Placement for Failure Diagnosis in Networked Aerial Robots. ICRA (2006)
Arathi Ramani, Igor L. Markov, Karem A. Sakallah, Fadi A. Aloul
Breaking Instance-Independent Symmetries In Exact Graph Coloring. J. Artif. Intell. Res. 26 (2006)
Fadi A. Aloul, Assim Sagahyroon, Bashar Al-Rawi
Exciting Stuck-Open faults in CMOS Circuits Using ILP Techniques. AICCSA (2006)
Fadi A. Aloul
Search techniques for SAT-based Boolean optimization. J. Frankl. Inst. 343 (4-5) (2006)
Fadi A. Aloul, Assim Sagahyroon
Estimation of the weighted maximum switching activity in combinational CMOS circuits. ISCAS (2006)
Fadi A. Aloul, Karem A. Sakallah, Igor L. Markov
Efficient Symmetry Breaking for Boolean Satisfiability. IEEE Trans. Computers 55 (5) (2006)
Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah
Dynamic symmetry-breaking for improved Boolean optimization. ASP-DAC (2005)
Gi-Joon Nam, Fadi A. Aloul, Karem A. Sakallah, Rob A. Rutenbar
A Comparative Study of Two Boolean Formulations of FPGA Detailed Routing Constraints. IEEE Trans. Computers 53 (6) (2004)
Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah
ShatterPB: symmetry-breaking for pseudo-Boolean formulas. ASP-DAC (2004)
Arathi Ramani, Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah
Breaking Instance-Independent Symmetries in Exact Graph Coloring. DATE (2004)
Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah
MINCE: A Static Global Variable-Ordering Heuristic for SAT Search and BDD Manipulation. J. Univers. Comput. Sci. 10 (12) (2004)
Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah
Shatter: efficient symmetry-breaking for boolean satisfiability. DAC (2003)
Fadi A. Aloul, Karem A. Sakallah, Igor L. Markov
Efficient Symmetry Breaking for Boolean Satisfiability. IJCAI (2003)
Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah
Solving difficult instances of Boolean satisfiability in the presence of symmetry. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 22 (9) (2003)
Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah
FORCE: a fast and easy-to-implement variable-ordering heuristic. ACM Great Lakes Symposium on VLSI (2003)
Fadi A. Aloul, Brian D. Sierawski, Karem A. Sakallah
Satometer: how much have we searched? IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 22 (8) (2003)
Fadi A. Aloul, Maher N. Mneimneh, Karem A. Sakallah
ZBDD-Based Backtrack Search SAT Solver. IWLS (2002)
Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah
Generic ILP versus specialized 0-1 ILP: an update. ICCAD (2002)
Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah
Solving difficult SAT instances in the presence of symmetry. DAC (2002)
Fadi A. Aloul, Brian D. Sierawski, Karem A. Sakallah
Satometer: how much have we searched? DAC (2002)
Fadi A. Aloul, Maher N. Mneimneh, Karem A. Sakallah
Search-Based SAT Using Zero-Suppressed BDDs. DATE (2002)
Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah
Efficient Gate and Input Ordering for Circuit-to-BDD Conversion. IWLS (2002)
Fadi A. Aloul, Soha Hassoun, Karem A. Sakallah, David T. Blaauw
Robust SAT-Based Search Algorithm for Leakage Power Reduction. PATMOS (2002)
Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah
Improving the Efficiency of Circuit-to-BDD Conversion by Gate and Input Ordering. ICCD (2002)
Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah
Faster SAT and Smaller BDDs via Common Function Structure. ICCAD (2001)
Gi-Joon Nam, Fadi A. Aloul, Karem A. Sakallah, Rob A. Rutenbar
A comparative study of two Boolean formulations of FPGA detailed routing constraints. ISPD (2001)
Maher N. Mneimneh, Fadi A. Aloul, Christopher T. Weaver, Saugata Chatterjee, Karem A. Sakallah, Todd M. Austin
Scalable Hybrid Verification of Complex Microprocessors. DAC (2001)
Karem A. Sakallah, Fadi A. Aloul, João P. Marques Silva
An Experimental Study of Satisfiability Search Heuristics. DATE (2000)