Fadi A. Aloul

According to our database, Fadi A. Aloul authored at least 82 papers between 2000 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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

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

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

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

Proceedings of the 7th IEEE Forum on Research and Technologies for Society and Industry Innovation, 2022

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

Smart Monitoring System for Stroke Rehabilitation.

Mais Al Atallah, Zainab Jamil, Hania Khafagy, Mehnaz Ummar, Fadi A. Aloul, Assim Sagahyroon

Proceedings of the IEEE International Conference on Internet of Things and Intelligence Systems, 2021

Network Intrusion Detection on the IoT Edge Using Adversarial Autoencoders.

Fadi A. Aloul, Imran A. Zualkernan, Nada Abdalgawad, Lana Alhaj Hussain, Dara Sakhnini

Proceedings of the International Conference on Information Technology, 2021

2020

FPGA implementation of a chaotic oscillator with odd/even symmetry and its application.

Mohamed F. Tolba, Ahmed S. Elwakil, Hammam Orabi, Mohammed Elnawawy, Fadi A. Aloul, Assim Sagahyroon, Ahmed G. Radwan

Integr., 2020

Using Mobiles to Monitor Respiratory Diseases.

Fatma Zubaydi, Assim Sagahyroon, Fadi A. Aloul, Hasan Mir, Bassam Mahboub

Informatics, 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

Predicting Hospital No-Shows Using Machine Learning.

Tasneem Zaman Batool, Mostafa Abuelnoor, Omar El Boutari, Fadi A. Aloul, Assim Sagahyroon

Proceedings of the IEEE International Conference on Internet of Things and Intelligence System, 2020

Botnet Attack Detection using Machine Learning.

Mustafa Alshamkhany, Wisam Alshamkhany, Mohamed Mansour, Mueez Khan, Salam Dhou, Fadi A. Aloul

Proceedings of the 14th International Conference on Innovations in Information Technology, 2020

CDMC'19 - The 10th International Cybersecurity Data Mining Competition.

Shaoning Pang, Tao Ban, Youki Kadobayashi, Jungsuk Song, Kaizhu Huang, Geongsen Poh, Iqbal Gondal, Kitsuchart Pasupa, Fadi A. Aloul

Proceedings of the Neural Information Processing - 27th International Conference, 2020

A Monitoring and Control Gateway for IoT Edge Devices in Smart Home.

Fadi A. Aloul, Imran A. Zualkernan, Shams Shapsough, Mohammed Towheed

Proceedings of the 2020 International Conference on Information Networking, 2020

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

Proceedings of the 20th IEEE International Conference on Advanced Learning Technologies, 2020

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

An IoT-based Emergency Evacuation System.

Imran A. Zualkernan, Fadi A. Aloul, Vikram Sakkia, Hassan Al Noman, Salman Sowdagar, Omar Al Hammadi

Proceedings of the 2019 IEEE International Conference on Internet of Things and Intelligence System, 2019

Detecting Heart Anomalies Using Mobile Phones and Machine Learning.

Elhoussine Talab, Omar Mohamed, Labeeba Begum, Fadi A. Aloul, Assim Sagahyroon

Proceedings of the 19th IEEE International Conference on Bioinformatics and Bioengineering, 2019

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

Proceedings of the 2019 IEEE Asia Pacific Conference on Circuits and Systems, 2019

2018

Intelligent accident detection classification using mobile phones.

Imran A. Zualkernan, Fadi A. Aloul, Fayiz Basheer, Gurdit Khera, Shruthi Srinivasan

Proceedings of the 2018 International Conference on Information Networking, 2018

Brokering Services for Integrating Health Cloud Platforms for Remote Patient Monitoring.

Raafat Aburukba, Assim Sagahyroon, Fadi A. Aloul, Niha Thodika

Proceedings of the 20th IEEE International Conference on e-Health Networking, 2018

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

Emotion recognition using mobile phones.

Imran A. Zualkernan, Fadi A. Aloul, Shams Shapsough, Ahmed Hesham, Youssef Elkhorazaty

Comput. Electr. Eng., 2017

AutiAid: A learning mobile application for autistic children.

Raafat Aburukba, Fadi A. Aloul, Anam Mahmoud, Kamil Kamili, Suad Ajmal

Proceedings of the 19th IEEE International Conference on e-Health Networking, 2017

MobSpiro: Mobile based spirometry for detecting COPD.

Fatma Zubaydi, Assim Sagahyroon, Fadi A. Aloul, Hasan Mir

Proceedings of the IEEE 7th Annual Computing and Communication Workshop and Conference, 2017

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

Proceedings of the 18th International Conference on Information Integration and Web-based Applications and Services, 2016

ParkNosis: Diagnosing Parkinson's disease using mobile phones.

Abdulwahab Sahyoun, Karim Chehab, Osama Al-Madani, Fadi A. Aloul, Assim Sagahyroon

Proceedings of the 18th IEEE International Conference on e-Health Networking, 2016

2015

Real traffic logs creation for testing intrusion detection systems.

Wassim El-Hajj, Mustafa Al-Tamimi, Fadi A. Aloul

Wirel. Commun. Mob. Comput., 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

Internet of things (IoT) security: Current status, challenges and prospective measures.

Rwan Mahmoud, Tasneem Yousuf, Fadi A. Aloul, Imran A. Zualkernan

Proceedings of the 10th International Conference for Internet Technology and Secured Transactions, 2015

Security of mobile health (mHealth) systems.

Fatma Zubaydi, Ayat Saleh, Fadi A. Aloul, Assim Sagahyroon

Proceedings of the 15th IEEE International Conference on Bioinformatics and Bioengineering, 2015

2014

Classifying obstructive sleep apnea using smartphones.

Mamoun Al-Mardini, Fadi A. Aloul, Assim Sagahyroon, Luai Al-Husseini

J. Biomed. Informatics, 2014

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

Framework for creating realistic port scanning benchmarks.

Mustafa Al-Tamimi, Wassim El-Hajj, Fadi A. Aloul

Proceedings of the 2013 9th International Wireless Communications and Mobile Computing Conference, 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

Proceedings of the 20th IEEE International Conference on Electronics, 2013

On the use of smartphones for detecting obstructive sleep apnea.

Mamoun Al-Mardini, Fadi A. Aloul, Assim Sagahyroon, Luai Al-Husseini

Proceedings of the 13th IEEE International Conference on BioInformatics and BioEngineering, 2013

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

Proceedings of the 8th International Wireless Communications and Mobile Computing Conference, 2012

Solving the Clustering Problem in MANETs using SAT & ILP techniques.

Syed Zahidi, Fadi A. Aloul, Assim Sagahyroon, Wassim El-Hajj

Proceedings of the 11th International Conference on Information Science, 2012

Sleep Apnea Monitoring using mobile phones.

Shamma Alqassim, Madhumeta Ganesh, Shaheen Khoja, Meher Zaidi, Fadi A. Aloul, Assim Sagahyroon

Proceedings of the IEEE 14th International Conference on e-Health Networking, 2012

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

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

Using SAT-Based Techniques in Low Power State Assignment.

Assim Sagahyroon, Fadi A. Aloul, Alexander Sudnitson

J. Circuits Syst. Comput., 2011

Multipath Detection Using Boolean Satisfiability Techniques.

Fadi A. Aloul, Mohamed G. El-Tarhuni

J. Comput. Networks Commun., 2011

2010

Symmetry in Boolean Satisfiability.

Fadi A. Aloul

Symmetry, 2010

Information security awareness in UAE: A survey paper.

Fadi A. Aloul

Proceedings of the 5th International Conference for Internet Technology and Secured Transactions, 2010

A Multipath Detection Scheme Using Sat.

Mohamed G. El-Tarhuni, Fadi A. Aloul

Proceedings of IEEE International Conference on Communications, 2010

Transmission coordination for ad hoc networks.

Ananth V. Kini, Steven Weber, Fadi A. Aloul, Nagarajan Kandasamy

Proceedings of the 44th Annual Conference on Information Sciences and Systems, 2010

2009

Dynamic symmetry-breaking for Boolean satisfiability.

Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah

Ann. Math. Artif. Intell., 2009

PN code acquisition using Boolean satisfiability techniques.

Fadi A. Aloul, Mohamed G. El-Tarhuni

Proceedings of the 2009 IEEE Wireless Communications and Networking Conference, 2009

Using mobiles for on campus location tracking.

Fadi A. Aloul, Assim Sagahyroon, A. Al-Shami, I. Al-Midfa, R. Moutassem

Proceedings of the MoMM'2009, 2009

Two factor authentication using mobile phones.

Fadi A. Aloul, Syed Zahidi, Wassim El-Hajj

Proceedings of the 7th IEEE/ACS International Conference on Computer Systems and Applications, 2009

2008

Routing and Wavelength Assignment in Optical Networks Using Boolean Satisfiability.

Fadi A. Aloul, Bashar Al-Rawi, Mokhtar Aboelaze

Proceedings of the 5th IEEE Consumer Communications and Networking Conference, 2008

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

Using SAT-based techniques in power estimation.

Assim Sagahyroon, Fadi A. Aloul

Microelectron. J., 2007

Symmetry breaking for pseudo-Boolean formulas.

Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah

ACM J. Exp. Algorithmics, 2007

Routing in Optical and Non-Optical Networks using Boolean Satisfiability.

Fadi A. Aloul, Bashar Al-Rawi, Mokhtar Aboelaze

J. Commun., 2007

Sensor Deployment for Failure Diagnosis in Networked Aerial Robots: A Satisfiability-Based Approach.

Fadi A. Aloul, Nagarajan Kandasamy

Proceedings of the Theory and Applications of Satisfiability Testing, 2007

2006

Efficient Symmetry Breaking for Boolean Satisfiability.

Fadi A. Aloul, Karem A. Sakallah, Igor L. Markov

IEEE Trans. Computers, 2006

Search techniques for SAT-based Boolean optimization.

Fadi A. Aloul

J. Frankl. Inst., 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

Estimation of the weighted maximum switching activity in combinational CMOS circuits.

Fadi A. Aloul, Assim Sagahyroon

Proceedings of the International Symposium on Circuits and Systems (ISCAS 2006), 2006

Sensor Selection and Placement for Failure Diagnosis in Networked Aerial Robots.

Nagarajan Kandasamy, Fadi A. Aloul, Tak-John Koo

Proceedings of the 2006 IEEE International Conference on Robotics and Automation, 2006

Exciting Stuck-Open faults in CMOS Circuits Using ILP Techniques.

Fadi A. Aloul, Assim Sagahyroon, Bashar Al-Rawi

Proceedings of the 2006 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2006), 2006

2005

Dynamic symmetry-breaking for improved Boolean optimization.

Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah

Proceedings of the 2005 Conference on Asia South Pacific Design Automation, 2005

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

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

ShatterPB: symmetry-breaking for pseudo-Boolean formulas.

Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah

Proceedings of the 2004 Conference on Asia South Pacific Design Automation: Electronic Design and Solution Fair 2004, 2004

2003

Scalable algorithms for Boolean satisfiability enabled by problem structure.

Fadi A. Aloul

PhD thesis, 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

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

FORCE: a fast and easy-to-implement variable-ordering heuristic.

Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah

Proceedings of the 13th ACM Great Lakes Symposium on VLSI 2003, 2003

Shatter: efficient symmetry-breaking for boolean satisfiability.

Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah

Proceedings of the 40th Design Automation Conference, 2003

2002

Robust SAT-Based Search Algorithm for Leakage Power Reduction.

Fadi A. Aloul, Soha Hassoun, Karem A. Sakallah, David T. Blaauw

Proceedings of the Integrated Circuit Design. Power and Timing Modeling, 2002

Efficient Gate and Input Ordering for Circuit-to-BDD Conversion.

Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah

Proceedings of the 11th IEEE/ACM International Workshop on Logic & Synthesis, 2002

ZBDD-Based Backtrack Search SAT Solver.

Fadi A. Aloul, Maher N. Mneimneh, Karem A. Sakallah

Proceedings of the 11th IEEE/ACM International Workshop on Logic & Synthesis, 2002

Improving the Efficiency of Circuit-to-BDD Conversion by Gate and Input Ordering.

Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah

Proceedings of the 20th International Conference on Computer Design (ICCD 2002), 2002

Generic ILP versus specialized 0-1 ILP: an update.

Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah

Proceedings of the 2002 IEEE/ACM International Conference on Computer-aided Design, 2002

Search-Based SAT Using Zero-Suppressed BDDs.

Fadi A. Aloul, Maher N. Mneimneh, Karem A. Sakallah

Proceedings of the 2002 Design, 2002

Solving difficult SAT instances in the presence of symmetry.

Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah

Proceedings of the 39th Design Automation Conference, 2002

2001

Faster SAT and Smaller BDDs via Common Function Structure.

Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah

Proceedings of the 2001 IEEE/ACM International Conference on Computer-Aided Design, 2001

Scalable Hybrid Verification of Complex Microprocessors.

Maher N. Mneimneh, Fadi A. Aloul, Christopher T. Weaver, Saugata Chatterjee, Karem A. Sakallah, Todd M. Austin

Proceedings of the 38th Design Automation Conference, 2001

2000

An Experimental Study of Satisfiability Search Heuristics.

Karem A. Sakallah, Fadi A. Aloul, João P. Marques Silva

Proceedings of the 2000 Design, 2000