default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFadi A. Aloul
Person information
- affiliation: American University of Sharjah, UAE
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c56]Amr Hamza, Farah Hammam, Medhat Abouzeid, Mohammad Arsalan Ahmed, Salam Dhou, Fadi A. Aloul:
Malicious URL and Intrusion Detection using Machine Learning. ICOIN 2024: 795-800- 2023
- [j31]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: 26358-26374 (2023) - 2022
- [j30]Nada Abdalgawad, Ali Reza Sajun, Yara Kaddoura, Imran A. Zualkernan, Fadi A. Aloul:
Generative Deep Learning to Detect Cyberattacks for the IoT-23 Dataset. IEEE Access 10: 6430-6441 (2022) - [j29]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): 406 (2022) - [c55]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: 50-54 - 2021
- [j28]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: 21085-21093 (2021) - [c54]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: 120-125 - [c53]Mais Al Atallah, Zainab Jamil, Hania Khafagy, Mehnaz Ummar, Fadi A. Aloul, Assim Sagahyroon:
Smart Monitoring System for Stroke Rehabilitation. IoTaIS 2021: 42-48 - 2020
- [j27]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): 163 (2020) - [j26]Fatma Zubaydi, Assim Sagahyroon, Fadi A. Aloul, Hasan Mir, Bassam Mahboub:
Using Mobiles to Monitor Respiratory Diseases. Informatics 7(4): 56 (2020) - [j25]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: 163-170 (2020) - [c52]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: 69-71 - [c51]Fadi A. Aloul, Imran A. Zualkernan, Shams Shapsough, Mohammed Towheed:
A Monitoring and Control Gateway for IoT Edge Devices in Smart Home. ICOIN 2020: 696-701 - [c50]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: 235-245 - [c49]Mustafa Alshamkhany, Wisam Alshamkhany, Mohamed Mansour, Mueez Khan, Salam Dhou, Fadi A. Aloul:
Botnet Attack Detection using Machine Learning. IIT 2020: 203-208 - [c48]Tasneem Zaman Batool, Mostafa Abuelnoor, Omar El Boutari, Fadi A. Aloul, Assim Sagahyroon:
Predicting Hospital No-Shows Using Machine Learning. IoTaIS 2020: 142-148
2010 – 2019
- 2019
- [j24]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): 4890-4903 (2019) - [c47]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: 417-422 - [c46]Elhoussine Talab, Omar Mohamed, Labeeba Begum, Fadi A. Aloul, Assim Sagahyroon:
Detecting Heart Anomalies Using Mobile Phones and Machine Learning. BIBE 2019: 428-432 - [c45]Imran A. Zualkernan, Fadi A. Aloul, Vikram Sakkia, Hassan Al Noman, Salman Sowdagar, Omar Al Hammadi:
An IoT-based Emergency Evacuation System. IoTaIS 2019: 62-66 - 2018
- [c44]Raafat Aburukba, Assim Sagahyroon, Fadi A. Aloul, Niha Thodika:
Brokering Services for Integrating Health Cloud Platforms for Remote Patient Monitoring. HealthCom 2018: 1-6 - [c43]Imran A. Zualkernan, Fadi A. Aloul, Fayiz Basheer, Gurdit Khera, Shruthi Srinivasan:
Intelligent accident detection classification using mobile phones. ICOIN 2018: 504-509 - 2017
- [j23]Imran A. Zualkernan, Fadi A. Aloul, Shams Shapsough, Ahmed Hesham, Youssef Elkhorazaty:
Emotion recognition using mobile phones. Comput. Electr. Eng. 60: 1-13 (2017) - [j22]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): 43-56 (2017) - [c42]Fatma Zubaydi, Assim Sagahyroon, Fadi A. Aloul, Hasan Mir:
MobSpiro: Mobile based spirometry for detecting COPD. CCWC 2017: 1-4 - [c41]Raafat Aburukba, Fadi A. Aloul, Anam Mahmoud, Kamil Kamili, Suad Ajmal:
AutiAid: A learning mobile application for autistic children. Healthcom 2017: 1-6 - 2016
- [c40]Abdulwahab Sahyoun, Karim Chehab, Osama Al-Madani, Fadi A. Aloul, Assim Sagahyroon:
ParkNosis: Diagnosing Parkinson's disease using mobile phones. HealthCom 2016: 1-6 - [c39]Shams Shapsough, Ahmed Hesham, Youssef Elkhorazaty, Imran A. Zualkernan, Fadi A. Aloul:
Emotion recognition using mobile phones. HealthCom 2016: 1-6 - [c38]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: 318-324 - 2015
- [j21]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: 66-75 (2015) - [j20]Wassim El-Hajj, Mustafa Al-Tamimi, Fadi A. Aloul:
Real traffic logs creation for testing intrusion detection systems. Wirel. Commun. Mob. Comput. 15(14): 1851-1864 (2015) - [c37]Fatma Zubaydi, Ayat Saleh, Fadi A. Aloul, Assim Sagahyroon:
Security of mobile health (mHealth) systems. BIBE 2015: 1-5 - [c36]Rwan Mahmoud, Tasneem Yousuf, Fadi A. Aloul, Imran A. Zualkernan:
Internet of things (IoT) security: Current status, challenges and prospective measures. ICITST 2015: 336-341 - 2014
- [j19]Mamoun Al-Mardini, Fadi A. Aloul, Assim Sagahyroon, Luai Al-Husseini:
Classifying obstructive sleep apnea using smartphones. J. Biomed. Informatics 52: 251-259 (2014) - 2013
- [j18]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): 851-858 (2013) - [c35]Mamoun Al-Mardini, Fadi A. Aloul, Assim Sagahyroon, Luai Al-Husseini:
On the use of smartphones for detecting obstructive sleep apnea. BIBE 2013: 1-4 - [c34]Á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 - [c33]Mustafa Al-Tamimi, Wassim El-Hajj, Fadi A. Aloul:
Framework for creating realistic port scanning benchmarks. IWCMC 2013: 1114-1119 - 2012
- [c32]Shamma Alqassim, Madhumeta Ganesh, Shaheen Khoja, Meher Zaidi, Fadi A. Aloul, Assim Sagahyroon:
Sleep Apnea Monitoring using mobile phones. Healthcom 2012: 443-446 - [c31]Syed Zahidi, Fadi A. Aloul, Assim Sagahyroon, Wassim El-Hajj:
Solving the Clustering Problem in MANETs using SAT & ILP techniques. ISSPA 2012: 624-629 - [c30]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: 1085-1090 - 2011
- [j17]Fadi A. Aloul, Mohamed G. El-Tarhuni:
Multipath Detection Using Boolean Satisfiability Techniques. J. Comput. Networks Commun. 2011: 365107:1-365107:9 (2011) - [j16]Assim Sagahyroon, Fadi A. Aloul, Alexander Sudnitson:
Using SAT-Based Techniques in Low Power State Assignment. J. Circuits Syst. Comput. 20(8): 1605-1618 (2011) - [j15]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): 1298-1311 (2011) - [j14]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): 807-814 (2011) - [i1]Fadi A. Aloul, Igor L. Markov, Arathi Ramani, Karem A. Sakallah:
Breaking Instance-Independent Symmetries In Exact Graph Coloring. CoRR abs/1109.2347 (2011) - 2010
- [j13]Fadi A. Aloul:
Symmetry in Boolean Satisfiability. Symmetry 2(2): 1121-1134 (2010) - [c29]Ananth V. Kini, Steven Weber, Fadi A. Aloul, Nagarajan Kandasamy:
Transmission coordination for ad hoc networks. CISS 2010: 1-6 - [c28]Mohamed G. El-Tarhuni, Fadi A. Aloul:
A Multipath Detection Scheme Using Sat. ICC 2010: 1-5 - [c27]Fadi A. Aloul:
Information security awareness in UAE: A survey paper. ICITST 2010: 1-6
2000 – 2009
- 2009
- [j12]Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah:
Dynamic symmetry-breaking for Boolean satisfiability. Ann. Math. Artif. Intell. 57(1): 59-73 (2009) - [c26]Fadi A. Aloul, Syed Zahidi, Wassim El-Hajj:
Two factor authentication using mobile phones. AICCSA 2009: 641-644 - [c25]Fadi A. Aloul, Assim Sagahyroon, A. Al-Shami, I. Al-Midfa, R. Moutassem:
Using mobiles for on campus location tracking. MoMM 2009: 231-235 - [c24]Fadi A. Aloul, Mohamed G. El-Tarhuni:
PN code acquisition using Boolean satisfiability techniques. WCNC 2009: 632-637 - 2008
- [c23]Fadi A. Aloul, Bashar Al-Rawi, Mokhtar Aboelaze:
Routing and Wavelength Assignment in Optical Networks Using Boolean Satisfiability. CCNC 2008: 185-189 - 2007
- [j11]Fadi A. Aloul, Bashar Al-Rawi, Mokhtar Aboelaze:
Routing in Optical and Non-Optical Networks using Boolean Satisfiability. J. Commun. 2(4): 49-56 (2007) - [j10]Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah:
Symmetry breaking for pseudo-Boolean formulas. ACM J. Exp. Algorithmics 12: 1.3:1-1.3:14 (2007) - [j9]Assim Sagahyroon, Fadi A. Aloul:
Using SAT-based techniques in power estimation. Microelectron. J. 38(6-7): 706-715 (2007) - [j8]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): 1415-1424 (2007) - [c22]Fadi A. Aloul, Nagarajan Kandasamy:
Sensor Deployment for Failure Diagnosis in Networked Aerial Robots: A Satisfiability-Based Approach. SAT 2007: 369-376 - 2006
- [j7]Arathi Ramani, Igor L. Markov, Karem A. Sakallah, Fadi A. Aloul:
Breaking Instance-Independent Symmetries In Exact Graph Coloring. J. Artif. Intell. Res. 26: 289-322 (2006) - [j6]Fadi A. Aloul:
Search techniques for SAT-based Boolean optimization. J. Frankl. Inst. 343(4-5): 436-447 (2006) - [j5]Fadi A. Aloul, Karem A. Sakallah, Igor L. Markov:
Efficient Symmetry Breaking for Boolean Satisfiability. IEEE Trans. Computers 55(5): 549-558 (2006) - [c21]Fadi A. Aloul, Assim Sagahyroon, Bashar Al-Rawi:
Exciting Stuck-Open faults in CMOS Circuits Using ILP Techniques. AICCSA 2006: 409-414 - [c20]Nagarajan Kandasamy, Fadi A. Aloul, Tak-John Koo:
Sensor Selection and Placement for Failure Diagnosis in Networked Aerial Robots. ICRA 2006: 2182-2187 - [c19]Fadi A. Aloul, Assim Sagahyroon:
Estimation of the weighted maximum switching activity in combinational CMOS circuits. ISCAS 2006 - 2005
- [c18]Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah:
Dynamic symmetry-breaking for improved Boolean optimization. ASP-DAC 2005: 445-450 - 2004
- [j4]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): 1562-1596 (2004) - [j3]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): 688-696 (2004) - [c17]Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah:
ShatterPB: symmetry-breaking for pseudo-Boolean formulas. ASP-DAC 2004: 883-886 - [c16]Arathi Ramani, Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah:
Breaking Instance-Independent Symmetries in Exact Graph Coloring. DATE 2004: 324-331 - 2003
- [b1]Fadi A. Aloul:
Scalable algorithms for Boolean satisfiability enabled by problem structure. University of Michigan, USA, 2003 - [j2]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): 995-1004 (2003) - [j1]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): 1117-1137 (2003) - [c15]Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah:
Shatter: efficient symmetry-breaking for boolean satisfiability. DAC 2003: 836-839 - [c14]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: 116-119 - [c13]Fadi A. Aloul, Karem A. Sakallah, Igor L. Markov:
Efficient Symmetry Breaking for Boolean Satisfiability. IJCAI 2003: 271-276 - 2002
- [c12]Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah:
Solving difficult SAT instances in the presence of symmetry. DAC 2002: 731-736 - [c11]Fadi A. Aloul, Brian D. Sierawski, Karem A. Sakallah:
Satometer: how much have we searched? DAC 2002: 737-742 - [c10]Fadi A. Aloul, Maher N. Mneimneh, Karem A. Sakallah:
Search-Based SAT Using Zero-Suppressed BDDs. DATE 2002: 1082 - [c9]Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah:
Generic ILP versus specialized 0-1 ILP: an update. ICCAD 2002: 450-457 - [c8]Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah:
Improving the Efficiency of Circuit-to-BDD Conversion by Gate and Input Ordering. ICCD 2002: 64-69 - [c7]Fadi A. Aloul, Maher N. Mneimneh, Karem A. Sakallah:
ZBDD-Based Backtrack Search SAT Solver. IWLS 2002: 131-136 - [c6]Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah:
Efficient Gate and Input Ordering for Circuit-to-BDD Conversion. IWLS 2002: 137-142 - [c5]Fadi A. Aloul, Soha Hassoun, Karem A. Sakallah, David T. Blaauw:
Robust SAT-Based Search Algorithm for Leakage Power Reduction. PATMOS 2002: 167-177 - 2001
- [c4]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: 41-46 - [c3]Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah:
Faster SAT and Smaller BDDs via Common Function Structure. ICCAD 2001: 443-448 - [c2]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: 222-227 - 2000
- [c1]Karem A. Sakallah, Fadi A. Aloul, João P. Marques Silva:
An Experimental Study of Satisfiability Search Heuristics. DATE 2000: 745
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:16 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
