Fadi A. Aloul

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