Fadi.jpg Fadi A. Aloul, Ph.D., CISSP

Dean - College of Engineering
Professor - Computer Science & Engineering
American University of Sharjah (AUS), UAE



          View Fadi Aloul, PhD, CISSP's profile on LinkedIn


Winner of the Prestigious 2015 Global Engineering Deans Council (GEDC) Airbus Diversity Award
(Awarded annually to one faculty worldwide for promoting Diversity in Engineering Education)
(The first in the Middle East to receive this award)

Winner of the Prestigious 2013 Abdul Hameed Shoman Award for Young Arab Researchers
(Awarded annually to one faculty from the Arab World - category: Mathematics & Information Technology)

Winner of the Prestigious 2011 Excellence in Teaching Award
(Awarded annually to one faculty from the College of Engineering at AUS)

Winner of the Prestigious 2009 H.H. Sheikh Khalifa Award for Higher Education
(Awarded annually to one faculty from all UAE Universities for excellence in teaching, research, and service)

Winner of the Prestigious 2008 Microsoft Imagine Cup Gulf Competition
(An annual competition which brings together young technologists to help resolve some of the world's toughest challenges)


Dr. Aloul received his Ph.D. in Computer Science and Engineering from the University of Michigan - Ann Arbor. His research interests include Cyber Security, Mobile Applications, Teaching Innovation, and Design Automation (His research summary can be found here).

Dr. Aloul is a Certified Information Systems Security Professional (CISSP). He is one of the leading researchers in studying the general Cyber security awareness in UAE. He is also a frequent speaker at international conferences and guest editor of various articles in local media related to cyber security, technology, innovation and education.

UAE Wireless Security (WarDrive) Project

UAE Phishing Security Project


Latest News
Feb 2021 - Featured in the Innovation @ UAE Magazine by the Ministry of Education with an article about Leading From The Front. (Magazine).
Jan 2021 - Won the Best Paper Award @ IEEE International Conference on Internet of Things and Intelligence System (IoTaIS), 2020.
Nov 2020 - Ranked among the top 2% scientists worldwide in their field according to a (study) by Stanford University Researchers.
Aug 2020 - Presented a Talk as part of the UAE Advanced Sciences Office on the Importance of Computer Science & Engineering Today.
Jul 2020 - Won the Best Short Paper Award @ IEEE International Conference on Advanced Learning Technologies (ICALT), 2020.
Jan 2020 - Participated in a panel on "Powering Education with Artificial Intelligence" at The Education Growth Summit.(TEGS).
Nov 2019 - Check out the recent interview with GulfNews on building UAE's data science knowledge. Click (here).
Sep 2019 - Will be judging the (HITB+CyberWeek AI Challenge).
Jun 2019 - Check out the recent interview with CIO.com on MENA IT Skills Gap. Click (here).
Feb 2019 - Presented the Cyber Security for Senior Executives Workshop as part of the Sharjah Leadership Program.(SLP).
Feb 2019 - Launched the CSE Attendance Mobile Application for AUS Students. Attendance is taken in 10 seconds for any number of students!
Jan 2019 - Check out the second CSE Newsletter (Fall 2018). Click (here).
Sep 2018 - Won the Best Student Paper Award at the IEEE International Symposium on Sensing and Instrumentation in IoT Era (ISSI), 2018.(Article).
May 2018 - Our Capstone Project (Smart Car) won the best AUS Engineering Design Project for 2017-2018. (Article).
Apr 2018 - Check out the first CSE Newsletter (Spring 2018). Click (here).
Apr 2018 - My interview with The Arab Weekly on how UAE is embracing emerging technologies in education. (Article).
Jan 2018 - Joined the Advisory Panel of the Emirates International Forensic Conference (MESA), 2017-2018.
Jan 2018 - Launched the CSE Job/Internship Portal and GER Courses Portal. Click here for CSE Students CV page for employers.
Dec 2017 - Our Senior Design Team Developed 'Smart System' to lower rate of car accidents. (press release)
Dec 2017 - Launched the AUS High School Computing Camp (for Grades 10-12). (press release) (HS Camp)
Nov 2017 - Launched the UPE Computing Honor Society at AUS (first chapter in the Middle East). (press release) (AUS UPE Chapter)
Oct 2017 - Will be speaking at Gartner Security & Risk Management Summit.
Sep 2017 - Launched the Red Hat and Amazon AWS academies at AUS. Click here for CSE academies information.
Sep 2017 - Launched the revised CSE Student Advising and Registration Portal
Nov 2016 - Launched the NEW AUS Computer Science & Engineering (CSE) Portal.
Apr 2016 - My interview with TheNational Newspaper on the 2015 GEDC Airbus Diversity Award. Click here for article.
Mar 2016 - My interview with Airbus Group's magazine Forum on the 2015 GEDC Airbus Diversity Award. Click here for article.
Jan 2016 - My interview with Al-Bayan Newspaper on the 2015 GEDC Airbus Diversity Award. Click here for article.
Dec 2015 - Won the 2015 GEDC Airbus Diversity Award. Click here for video. [Airbus Press Release] [AUS Press Release]
Nov 2015 - Featured in an Al-Fanar Media article on Diversity in Engineering. [ENGLISH] + [ARABIC]
Oct 2015 - Selected among the top 3 finalists for the 2015 GEDC Airbus Diversity Award. Click here for more info.
Jun 2015 - Check out the Video of the 13th NGN110 Light Weight Race Car Competition. Click here for video.
Dec 2014 - Judging the $1M UAE Drones for Good Award. Click here for more info.
Nov 2014 - Received Sheikh Rashid's Award for Outstanding Scientific Achievement. Click here for newsclip.
Oct 2014 - UAE Cyber Security Boot Camp will be offered in December 2014. Click here for course info and registration.
Sep 2014 - HP ATA Technology Certification courses will be offered starting October 2014. Click here for course info and registration.
Jun 2014 - Awarded an early promotion to Full Professor rank.
Jun 2014 - My interview with Al Jazeera TV about Middle East Cyber Crimes. Click here for the video.
Jun 2014 - My interview with Al Dafrah TV about the UAE Cyber Security Boot Camp. Click here for the video.
May 2014 - Recent articles on our COPD Detection Phone Application. Khaleej and TheNational Newspaper
May 2014 - Check out the Video of the 11th NGN110 Light Weight Dome Competition. Click here for video.
May 2014 - My undergraduate team wins 4 amazing awards on their COPD health application.
Feb 2014 - Recent articles on our Accident Detection Smart Phone Application. Khaleej and TheNational Newspaper
Dec 2013 - Video highlighting the past 9 NGN110 (Intro to Engineering) Competitions. Click here.
Nov 2013 - Presented the Inauguration Talk of the Spectrum Science Fair at the GEMS Modern Academy School.
Oct 2013 - My interview with Financial Times about Middle East Cyber Crimes. Click here for the article.
Oct 2013 - My interview with Gulf News about World Teachers' Day. Click here for the article.
Jul 2013 - My interview with Dubai Eye radio about Innovation & Security. Click here to listen.
Jun 2013 - Won the Abdul Hameed Shoman Award for Young Arab Researchers.
Apr 2013 - My interview with Dubai Eye radio about AUS. Click here to listen.
Apr 2013 - AUS team wins 1st Place in Emirates Skills Programming Competition. Read more about it in: TheNational Newspaper.
Jan 2013 - Selected to serve on the Advisory Board of UAE's Advanced National Research and Education Network (ANKABUT).
Nov 2012 - Giving a talk at the American University of Beirut (AUB) and Khalifa University (KUSTAR).
Sep 2012 - Will be judging at the Sharjah Startup Weekend Entrepreneurship Event.
May 2012 - My undergraduate team wins 6 amazing awards on their Sleep Apnea Monitoring (SAM) application.
Feb 2012 - Organizing the 5th IEEE Made in UAE Competition - Deadline is April 15. Click here for more information.
Jan 2012 - Working with my research group on a mobile Sleep Apnea detection application. Read more about it in: TheNational Newspaper and Khaleej Newspaper.
Apr 2011 - Will be giving a 5-days CISSP Security workshop in April 2011. Click here for course information and registration.
Nov 2010 - A security awareness phishing experiment conducted at AUS by my research group. Click here for the results. Published in: TheNational Newspaper and Khaleej Newspaper.
Oct 2010 - Organizing the 1st Graduate Forum @ the 2011 IEEE GCC Conference - Deadline is November 12. Click here for more information.
Jun 2009 - I was recently featured in Gulf News's Friday Magazine. Click here to read the article.


Invited Talks, Tutorials, Conference Organization, Community Service, Awards, Teaching, Education, Publications, Patents, Tools, News
Research Summary, Students, SAT Benchmarks, Wireless Security, Phishing Security, NGN110 Course


Professional Activities
Awards
Teaching
Education
Publications -

Click here for the research summary. (#Papers = 150; #Citations = 6800, h-index = 38, 2024)

Journals:
  1. Evaluating Multimodal Wearable Sensors for Quantifying Affective States and Depression with Neural Networks
    A. Ahmed, J. Ramesh, S. Ganguly, R. Aburukba, A. Sagahyroon and F. Aloul
    IEEE Sensors Journal, vol. 23, no. 19, pp. 22788-22802, October 2023.

  2. Security Analysis of a Digital Twin Framework Using Probabilistic Model Checking
    E. Shaikh, A. Al-Ali, S. Muhammad, N. Mohammad, and F. Aloul
    IEEE Access, vol. 11, 26358-26374, March 2023.

  3. Investigating the Feasibility of Assessing Depression Severity and Valence-Arousal with Wearable Sensors Using Discrete Wavelet Transforms and Machine Learning
    A. Ahmed, J. Ramesh, S. Ganguly, R. Aburukba, A. Sagahyroon, and F. Aloul
    Information, MDPI, 13(9), 406, August 2022.

  4. Generative Deep Learning to Detect Cyberattacks for the IoT-23 Dataset
    N. Abdalgawad, A. Sajun, Y. Kaddoura, I. Zualkernan, and F. Aloul
    IEEE Access, vol. 10, 6430-6441, January 2022.

  5. A Machine Learning Approach to Predicting Diabetes Complications
    Y. Jian, M. Pasquier, A. Sagahyroon, and F. Aloul
    Healthcare, MDPI, 9(12), 1712, December 2021.

  6. Towards Validating the Effectiveness of Obstructive Sleep Apnea Classification from Electronic Health Records using Machine Learning
    J. Ramesh, N. Keeran, A. Sagahyroon, and F. Aloul
    Healthcare, MDPI, 9(11), 1450, October 2021.

  7. Optimization of Energy Consumption in Cloud Computing Datacenters
    A. Osman, A. Sagahyroon, R. Aburukba, and F. Aloul
    International Journal of Electrical and Computer Engineering (IJECE), 11(1), February 2021.

  8. FPGA Realizations of Chaotic Epidemic and Disease Models Including Covid-19
    M. Elnawawy, F. Aloul, A. Sagahyroon, A. Elwakil, W. Sayed, L. Said, S. Mostafa, and A. Radwan
    IEEE Access, vol. 9, 21085-21093, January 2021.

  9. Using Mobiles to Monitor Respiratory Diseases
    F. Zubaydi, A. Sagahyroon, F. Aloul, H. Mir, and B. Mahboub
    Informatics, MDPI, 7(4), 56, December 2020.

  10. Digital Twin Conceptual Model within the Context of Internet of Things
    A. Al-Ali, R. Gupta, T. Batool, T. Landolsi, F. Aloul, and A. Al Nabulsi
    Future Internet, MDPI, 12(10), 163, September 2020.

  11. FPGA Implementation of a Novel Chaotic Oscillator System With Odd and Even Symmetry
    M. Tolba, A. Elwakil, H. Orabi, M. Elnawawy, F. Aloul, A. Sagahyroon, and A. Radwan
    Integration, the VLSI Journal, Elsevier, 72, 163-170, May 2020.

  12. Two-Dimensional Rotation of Chaotic Attractors: Demonstrative Examples and FPGA Realization
    W. Sayed, A. Radwan, M. Elnawawy, H. Orabi, A. Sagahyroon, F. Aloul, A. Elwakil, H. Fahmy, and A. Elsedeek
    Circuits, Systems, and Signal Processing (CSSP), Springer, 38(10), 4890-4903, October 2019.

  13. Cultural and Psychological Factors in Cyber-Security
    T. Halevi, N. Memon, J. Lewis, P. Kumaraguru, S. Arora, N. Dagar, F. Aloul, and J. Chen
    Journal of Mobile Multimedia (JMM), 13(1-2), 43-56, September 2017.

  14. Emotion Recognition Using Mobile Phones
    I. Zualkernan, F. Aloul, S. Shapsough, A. Hesham, and Y. Elkhorazaty
    Elsevier Journal of Computers and Electrical Engineering (JCEE), 60, 1-13, May 2017.

  15. Internet of Things (IoT) Security: Current Status, Challenges and Countermeasures
    T. Yousuf, R. Mahmoud, F. Aloul, and I. Zualkernan
    International Journal for Information Security Research (IJISR), 5(4), 608-616, December 2015.

  16. Real Traffic Logs Creation for Testing Intrusion Detection Systems
    W. El-Hajj, M. Al-Tamimi, and F. Aloul
    Wireless Communications and Mobile Computing (WCM), Wiley InterScience, 15(14), 1851-1864, October 2015.

  17. iBump: Smartphone Application to Detect Car Accidents
    F. Aloul, I. Zualkernan, R. Abu-Salma, H. Al-Ali, and M. Al-Merri
    Elsevier Journal of Computers and Electrical Engineering (JCEE), 43, 66-75, April 2015.

  18. A Case Study of a College-Wide First-Year Undergraduate Engineering Course
    F. Aloul, I. Zualkernan, G. Husseini, A. El-Hag, and Y. Al-Assaf
    European Journal of Engineering Education, 40(1), 32-51, January 2015.

  19. Classifying Obstructive Sleep Apnea Using Smartphones
    M. Al-Mardini, F. Aloul, A. Sagahyroon, and L. Al-Husseini
    Elsevier Journal of Biomedical Informatics, 52, 251–259, December 2014.

  20. Optimizing Complex Cluster Formation in MANETs using SAT/ILP Techniques
    S. Zahidi, F. Aloul, A. Sagahyroon and W. El-Hajj
    IEEE Sensors Journal, 13(6), 2400-2412, June 2013.

  21. Solving the Employee Timetabling Problem Using Advanced SAT & ILP Techniques
    F. Aloul, S. Zahidi, A. Al-Farra, B. Al-Roh and B. Al-Rawi
    Journal of Computers (JCP), 8(4), 851-858, 2013.

  22. Smart Grid Security: Threats, Vulnerabilities and Solutions
    F. Aloul, A. R. Al-Ali, R. Al-Dalky, M. Al-Mardini and W. El-Hajj
    International Journal of Smart Grid and Clean Energy (IJSGCE), 1-6, September 2012.

  23. The Need for Effective Information Security Awareness
    F. Aloul
    Journal of Advances in Information Technology (JAIT), 3(3), 176-183, August 2012.

  24. Teambuilding, Innovation And The Engineering Communication Interface
    D. Prescott, T. El-Sakran, L. Albasha, F. Aloul, and Y. Al-Assaf
    American Journal of Engineering Education (AJEE), 3(1), 29-40, 2012.

  25. Engineering Communication Interface: An Engineering Multidisciplinary Project
    D. Prescott, T. El-Sakran, L. Albasha, F. Aloul, and Y. Al-Assaf
    Journal of US-China Education Review, 1(7), 936-945, December 2011.

  26. Multipath Detection Using Boolean Satisfiability Techniques
    F. Aloul and M. El Tarhuni
    Journal of Computer Networks and Communications (JCNC), vol. 2011, Article ID 365107, 2011.

  27. Using SAT-Based Techniques in Low Power State Assignment
    A. Sagahyroon, F. Aloul, and A. Sudnitson
    Journal of Circuits, Systems, and Computers (JCSC), World Scientific, 20(8), 1605-1618, December 2011.

  28. M-Stock: Efficient Stock Monitoring for Mobile Users
    F. Aloul, A. Sagahyroon, N. Salem, O. Al-Omar, S. Shehada, B. Al-Rawi
    Elsevier Journal of the Franklin Institute, 348(7), 1298-1311, September 2011.

  29. Monitoring Patients' Signs Wirelessly
    A. Sagahyroon, F. Aloul, A. Al-Ali, M. Bahrololoum, F. Makhsoos, and N. Hussein
    Journal of Medical Imaging and Health Informatics (JMIHI), 1(3), 252-255, September 2011.

  30. Updating Snort with a Customized Controller to Thwart Port Scanning
    W. Hajj, H. Hajj, Z. Trabelso, and F. Aloul
    Security and Communication Networks (SCN), Wiley InterScience, 4(8), 807-814, August 2011.

  31. Using SAT-Based Techniques in Test Vectors Generation
    F. Aloul and A. Sagahyroon
    Journal of Advances in Information Technology (JAIT), Academy Publishers, 1(4), 153-162, November 2010.

  32. Mobile GPRS-Sensors Array for Air Pollution Monitoring
    A. Al-Ali, I. Zualkernan, and F. Aloul
    IEEE Sensors Journal, 10(10), 1666-1671, October 2010.

  33. Symmetry in Boolean Satisfiability
    F. Aloul
    Symmetry, 2(2), 1121-1134, June 2010.

  34. Dynamic Symmetry-Breaking for Boolean Satisfiability
    F. Aloul, A. Ramani, I. Markov, and K. Sakallah
    Annals of Mathematics and Artificial Intelligence (AMAI), Springer, 57, 59-73, 2009.

  35. Multi Factor Authentication Using Mobile Phones
    F. Aloul, S. Zahidi, and W. El-Hajj
    International Journal of Mathematics and Computer Science (IJMCS), 4(2), 65-80, 2009.

  36. Symmetry-Breaking for Pseudo-Boolean Formulas
    F. Aloul, A. Ramani, I. Markov, and K. Sakallah
    ACM Journal of Experimental Algorithmics (JEA), vol. 12, article 1.3, June 2008.

  37. Solution and Optimization of Systems of Pseudo-Boolean Constraints
    F. Aloul, A. Ramani, I. Markov, and K. Sakallah
    IEEE Transactions on Computers (TC), 56(10), 1415-1424, October 2007.

  38. Using SAT-Based Techniques in Power Estimation
    A. Sagahyroon and F. Aloul
    Elsevier Microelectronics Journal (MEJ), vol. 38, issues 6-7, 706-715, June-July 2007.

  39. Routing in Optical and Non-Optical Networks using Boolean Satisfiability
    F. Aloul, B. Al-Rawi, and M. Aboelaze
    Journal of Communications (JCM), Academy Publishers, 2(4), 49-56, June 2007.

  40. The Synthesis of Dependable Communication Networks for Automotive Systems
    N. Kandasamy and F. Aloul
    SAE Transactions Journal of Passenger Cars – Electronic and Electrical Systems, 2006-01-1333, V115-7, 667-674, March 2007.
    ISBN Number: 978-0-7680-1839-4

  41. Breaking Instance-Independent Symmetries in Exact Graph Coloring
    A. Ramani, F. Aloul, I. Markov, and K. Sakallah
    Journal of Artificial Intelligence Research (JAIR), Volume 26, 289-322, August 2006.

  42. Efficient Symmetry Breaking for Boolean Satisfiability
    F. Aloul, K. Sakallah, and I. Markov
    IEEE Transactions on Computers (TC), 55(5), 549-558, May 2006.

  43. Search Techniques for SAT-based Boolean Optimization
    F. Aloul
    Elsevier Journal of the Franklin Institute, Volume 343, Issues 5-6, 436-447, 2006.

  44. MINCE: A Static Global Variable-Ordering Heuristic for SAT Search and BDD Manipulation
    F. Aloul, I. Markov, and K. Sakallah
    Journal of Universal Computer Science (JUCS), 10(12), 1562-1596, Dec. 2004.

  45. A Comparative Study of Two Boolean Formulations of FPGA Detailed Routing Constraints
    G. Nam, F. Aloul, K. Sakallah, and R. Rutenbar
    IEEE Transactions on Computers (TC), 53(6), 688-696, June 2004.

  46. Solving Difficult Instances of Boolean Satisfiability in the Presence of Symmetry
    F. Aloul, A. Ramani, I. Markov, and K. Sakallah
    IEEE Transactions on Computer Aided Design (TCAD), 22(9), 1117-1137, Sept. 2003.

  47. Satometer: How Much Have We Searched?
    F. Aloul, B. Sierawski, and K. Sakallah
    IEEE Transactions on Computer Aided Design (TCAD), 22(8), 995-1004, Aug. 2003.
    Nominated for Best Paper Award.


Book Chapters:
  1. CDMC'19- the 10th International Cybersecurity Data Mining Competition
    S. Pang, T. Ban, Y. Kadobayashi, J. Song, K. Huang, G. Poh, I. Gondal, K. Pasupa, and F. Aloul
    Lecture Notes on Computer Science (LNCS), ICONIP 2020, vol. 12533, Springer, 235-245, November 2020.
    ISBN: 978-3-030-63833-7.

  2. Towards Energy Efficient Servers’ Utilization in Datacenters
    A. Osman, A. Sagahyroon, R. Aburukba, and F. Aloul
    Intelligent Computing, Advances in Intelligent Systems and Computing (AISC), vol. 997, Springer, 254-262, June 2019.
    ISBN: 978-3-030-22870-5.

  3. The Internet of Things and e-Health Remote Patients Monitoring
    A. Sagahyroon, R. AbuRukba, and F. Aloul
    Internet of Things: Challenges, Advances, and Applications, Chapter 15, Chapman and Hall/CRC, January 2018.
    ISBN: 978149877851.

  4. Sensor Deployment for Failure Diagnosis in Networked Aerial Robots: A Satisfiability-Based Approach
    F. Aloul and N. Kandasamy
    Lecture Notes on Computer Science (LNCS), SAT 2007, vol. 4501, Springer, 369-376, May 2007.
    ISBN: 978-3-540-72787-3.

  5. Pollution Mapper for Urban Gulf Cities
    M. AbuJayyab, S. Al-Ahdab, M. Taji, Z. Al-Hamdani, F. Aloul
    Youth and Environment Research, Gulf Research Center, 59-64, December 2006.
    ISBN 9948-432-67-3

  6. Robust SAT-Based Search Algorithm for Leakage Power Reduction
    F. Aloul, S. Hassoun, K. Sakallah, and D. Blaauw
    Lecture Notes on Computer Science (LNCS), PATMOS 2002, vol. 2451, Springer, 167-177, 2002.
    ISBN 3-540-44143-3


Conferences and Workshops:
  1. Competitive and Funded Undergraduate Research: A Case Study
    A. Sagahyroon and F. Aloul
    IEEE Global Engineering Education Conference (EDUCON), Kos, Greece, May 2024.

  2. Supercapacitor-Based Power Supply for Embedded System Applications
    A. Al Nabulsi, A. Elwakil, A. Sagahyroon, and F. Aloul
    IEEE International IOT, Electronics and Mechatronics Conference (IEMTRONICS), London, UK, April 2024.

  3. Examining the Effects of Static Personality Traits with Dynamic Affective and Emotional States on Depression Severity
    A. Ahmed, J. Ramesh, S. Ganguly, R. Aburukba, A. Sagahyroon, and F. Aloul
    9th International Congress on Information and Communication Technology (ICICT), London, UK, February 2024.

  4. Malicious URL and Intrusion Detection Using Machine Learning
    A. Hamza, F. Hammam, M. Abouzeid, M. Ahmed, S. Dhou, and F. Aloul
    38th International Conference on Information Networking (ICOIN), Ho Chi Minh City, Vietnam, January 2024.

  5. Uncertainty-Aware Classification of Tuberculosis Subtypes with Machine Learning Techniques and Probabilistic Calibration
    J. Ramesh, Z. Solatidehkordi, D. Sankalpa, A. Khamis, A. Sagahyroon, and F. Aloul
    9th IEEE International Conference on Modeling Simulation and Applied Optimization (ICMSAO), Marrakech, Morocco, April 2023.

  6. Explainable Machine Learning for Vitamin A Deficiency Classification in School Children
    J. Ramesh, D. Sankalpa, A. Khamis, A. Sagahyroon, and F. Aloul
    IEEE International Conference on Biomedical and Health Informatics (BHI), Ioannina, Greece, September 2022.

  7. Detecting Replay Attack on Voice-Controlled Systems Using Small Neural Networks
    N. Ahmed, N. Sheta, J. Khan, R. Tarek, I. Zualkernan, and F. Aloul
    7th IEEE Forum on Research and Technologies for Society and Industry (RTSI), Paris, France, August 2022.

  8. A Survey of Machine Learning Approaches for Detecting Depression Using Smartphone Data
    Z. Solatidehkordi, J. Ramesh, M. Pasquier, A. Sagahyroon, and F. Aloul
    IEEE International Conference on Industry 4.0, Artificial Intelligence and Communications Technology (IAICT), Bali, Indonesia, July 2022.

  9. Using Machine Learning to Predict Diabetes Complications
    Y. Jian, M. Pasquier, A. Sagahyroon, and F. Aloul
    IEEE International Conference on Bio-Engineering for Smart Technologies (BioSMART), Paris, France, December 2021.

  10. Smart Monitoring System for Stroke Rehabilitation
    M. Ummar, H. Khafegy, Z. Jamil, M. Atallah, F. Aloul, and A. Sagahyroon
    IEEE International Conference on Internet of Things and Intelligence Systems (IoTaIS), Bali, Indonesia, November 2021.

  11. Intrusion Detection for CAN Using Deep Learning Techniques
    R. Suwwan, S. Alkafri, L. Elsadek, K. Afifi, I. Zualkernan, and F. Aloul
    International Conference on Applied CyberSecurity (ACS), Dubai, UAE, November 2021.

  12. Network Intrusion Detection on the IoT Edge Using Adversarial Autoencoders
    F. Aloul, I. Zualkernan, N. Abdalgawad, L. Hussain, and D. Sakhnini
    10th IEEE International Conference on Information Technology (ICIT), Jordan, July 2021.

  13. Predicting Hospital No-Shows using Machine Learning
    T. Batool, M. Abuelnoor, O. El Boutari, F. Aloul, and A. Sagahyroon
    IEEE International Conference on Internet of Things and Intelligence System (IoTaIS), Bali, Indonesia, January 2021.
    Won the Best Paper Award.

  14. Botnet Attack Detection Using Machine Learning
    M. Alshamkhany, W. Alshamkhany, M. Mansour, M. Khan, S. Dhou, and F. Aloul
    14th IEEE International Conference on Innovations in Information Technology (IIT), UAE, November 2020.

  15. Little Genius: An Experiment in Internet of Tangible Learning Things
    I. Zualkernan, F. Aloul, E. Algebail, A. Ali, M. El Refaay, and O. El Sabaa
    20th IEEE International Conference on Advanced Learning Technologies (ICALT), Tartu, Estonia, July 2020.
    Won the Best Short Paper Award.

  16. Improving Student Experience Using Automated Toolset of Academic Services
    H. Hallal, F. Aloul, S. Alawneh, P. Kolli, and A. Nabulsi
    6th ACM International Conference on Computer and Technology Applications (ICCTA), Antalya, Turkey, April 2020.

  17. Design4Health Bootcamp: A design thinking approach to improve the 21st century skills of health, engineering and design students
    T. Boillat, C. Tuffnell, H. Rivas, F. Aloul, and C. Montana
    IEEE International Conference on Innovations and Entrepreneurship in Healthcare (IEH), Dubai, UAE, April 2020.

  18. Asthma Diagnosis Using Neuro-Fuzzy Techniques
    A. Ghosh, N. Rahman, N. Awadalla, A. Sagahyroon, F. Aloul, and S. Dhou
    IEEE International Conference on Engineering Innovations in Healthcare (EIH), Dubai, UAE, February 2020.

  19. A Monitoring and Control Gateway for IoT Edge Devices in Smart Home
    F. Aloul, I. Zualkernan, S. Shapsough, and M. Towheed
    34th IEEE International Conference on Information Networking (ICOIN), Barcelona, Spain, January 2020.

  20. On the Implementation of a Rotated Chaotic Lorenz System on FPGA
    H. Orabi, M. Elnawawy, A. Sagahyroon, F. Aloul, A. Elwakil, and A. Radwan
    IEEE Asia Pacific Conference on Circuits and Systems (APCCAS), Bangkok, Thailand, November 2019.

  21. An IoT-based Emergency Evacuation System
    I. Zualkernan, F. Aloul, V. Sakkia, H. Al Noman, S. Sowdagar, and O. Alhammadi
    IEEE International Conference on Internet of Things and Intelligence System (IoTaIS), Bali, Indonesia, November 2019.

  22. Detecting Heart Anomalies Using Mobile Phones and Machine Learning
    E. Talab, O. Mohamed, L. Begum, F. Aloul, and A. Sagahyroon
    IEEE International Conference on Bioinformatics and Bioengineering (BIBE), Athens, Greece, October 2019.

  23. Towards Energy Efficient Servers’ Utilization in Datacenters
    A. Osman, A. Sagahyroon, R. Aburukba, and F. Aloul
    Computing Conference (SAI), London, UK, July 2019.

  24. DigiMesh-based Social Internet of Vehicles (SIoV) for Driver Safety
    I. Zualkernan, F. Aloul, S. Al Qasimi, A. AlShamsi, M. Al Marashda, and A. Ahli
    IEEE International Symposium on Sensing and Instrumentation in IoT Era (ISSI), Shanghai, China, September 2018.

  25. Securing Low-Resource Edge Devices for IoT Systems
    S. Shapsough, F. Aloul, and I. Zualkernan
    IEEE International Symposium on Sensing and Instrumentation in IoT Era (ISSI), Shanghai, China, September 2018.
    Won the Best Student Paper Award.

  26. Brokering Services for Integrating Health Cloud Platforms for Remote Patient Monitoring
    R. Aburukba, A. Sagahyroon, F. Aloul, and N. Thodika
    20th IEEE International Conference on E-Health Networking, Application and Services (HealthCom), Ostrava, Czech Republic, September 2018.

  27. Cyber Physical Sensors System Security: Threats, Vulnerabilities, and Solutions
    A. Essa, T. Al-Shoura, A. Nabulsi, A. Al-Ali, and F. Aloul
    IEEE International Conference on Smart Grid and Smart Cities (ICSGSC), Kuala Lumpur, Malaysia, August 2018.

  28. Intelligent Accident Detection Classification using Mobile Phones
    I. Zualkernan, F. Aloul, F. Basheer, G. Khera, and S. Srinivasan
    32nd IEEE International Conference on Information Networking (ICOIN), Chiang Mai, Thailand, January 2018.

  29. AutiAid: A Learning Mobile Application for Autistic Children
    R. Aburukba, F. Aloul, A. Mahmoud, K. Kamili, and S. Ajmal
    19th IEEE International Conference on E-Health Networking, Application and Services (HealthCom), Dalian, China, October 2017.

  30. MobSpiro: Mobile Based Spirometry for Detecting COPD
    F. Zubaydi, A. Sagahyroon, F. Aloul, and H. Mir
    7th IEEE Annual Computing and Communication Workshop and Conference (CCWC), Las Vegas, USA, January 2017.

  31. Cultural and Psychological Factors in Cyber-Security
    T. Halevi, N. Memon, J. Lewis, P. Kumaraguru, S. Arora, N. Dagar, F. Aloul, and J. Chen
    18th ACM International Conference on Information Integration and Web-based Applications & Services (iiWAS), Singapore, November 2016.

  32. ParkNosis: Diagnosing Parkinson's Disease Using Mobile Phones
    A. Sahyoun, K. Chehab, O. Al-Madani, F. Aloul, and A. Sagahyroon
    18th IEEE International Conference on E-Health Networking, Application and Services (HealthCom), Munich, Germany, September 2016.

  33. Emotion Recognition Using Mobile Phones
    S. Shapsough, A. Hesham, Y. Elkhorazaty, I. Zualkernan, and F. Aloul
    18th IEEE International Conference on E-Health Networking, Application and Services (HealthCom), Munich, Germany, September 2016.

  34. Internet of Things (IoT) Security: Current Status, Challenges and Prospective Measures
    R. Mahmoud, T. Yousuf, F. Aloul, and I. Zualkernan
    10th IEEE International Conference for Internet Technology and Secured Transactions (ICITST), London, UK, December 2015.

  35. Security of Mobile Health (mHealth) Systems
    F. Zubaydi, A. Saleh, F. Aloul, and A. Sagahyroon
    15th IEEE International Conference on Bioinformatics and Bioengineering (BIBE), Belgrade, Serbia, November 2015.

  36. Smart Grid Cyber Security: Challenges and Solutions
    S. Shapsough, F. Qatan, R. Aburukba, F. Aloul, and A. Al-Ali
    IEEE International Conference on Smart Grid and Clean Energy Technologies (ICSGCE), Offenburg, Germany, October 2015.

  37. Diagnosing COPD Using Mobile Phones
    H. Hasan, B. Safieh, F. Aloul, and A. Sagahyroon
    14th IEEE International Conference on Electronics, Information and Communication (ICEIC), Singapore, January 2015.

  38. iBump: Smartphone Application to Detect Car Accidents
    F. Aloul, I. Zualkernan, R. Abu-Salma, H. Al-Ali, M. Al-Merri
    IEEE International Conference on Industrial Automation and Information & Communications Technology (IAICT), Bali, Indonesia, 52-56, August 2014.

  39. On The Use of Smartphones for Detecting Obstructive Sleep Apnea
    M. Al-Mardini, F. Aloul, A. Sagahyroon, and L. Husseini
    13th IEEE International Conference on Bioinformatics and Bioengineering (BIBE), Chania, Greece, 1-4, November 2013.

  40. A SAT-Based Approach to Solve the Faculty Course Scheduling Problem
    F. Aloul, I. Zabalawi, and A. Wasfy
    IEEE AFRICON Conference, Mauritius, September 2013.

  41. Framework for Creating Realistic Port Scanning Benchmarks
    M. Al-Tamimi, W. El-Hajj and F. Aloul
    9th IEEE International Wireless Communications and Mobile Computing Conference (IWCMC), Cagliari-Sardinia, Italy, 1114-1119, July 2013.

  42. Towards Understanding Phishing Victims' Profile
    A. Darwish, A. El Zarka and F. Aloul
    IEEE International Conference on Computer Systems and Industrial Informatics (ICCSII), Dubai, UAE, 1-5, December 2012.

  43. Sleep Apnea Monitoring Using Mobile Phones
    S. Alqassim, M. Ganesh, S. Khoja, M. Zaidi, F. Aloul and A. Sagahyroon
    14th IEEE International Conference on E-Health Networking, Application and Services (HealthCom), Beijing, China, 443-446, October 2012.

  44. Using SAT & ILP Techniques to Solve Enhanced ILP Formulations of the Clustering Problem in MANETS
    S. Zahidi, F. Aloul, A. Sagahyroon, and W. El-Hajj
    8th IEEE International Wireless Communications and Mobile Computing Conference (IWCMC), Cyprus, August 2012.

  45. Solving the Clustering Problem in MANETS Using SAT & ILP Techniques
    S. Zahidi, F. Aloul, A. Sagahyroon, and W. El-Hajj
    11th IEEE International Conference on Information Science, Signal Processing and their Applications (ISSPA), Montreal, Canada, July 2012.

  46. GuideME: An Effective RFID-Based Traffic Monitoring System
    F. Aloul, A. Sagahyroon, A. Nahle, M. Abou Dehn and R. Al Anani
    International Conference on Advances in Computer Science and Engineering (ACSE), Phuket, Thailand, March 2012.

  47. Teaching and Learning Professional Communication Skills Through Engineering Multidisciplinary Projects (EMDPS)
    T. El-Sakran, D. Prescott, F. Aloul, L. AlBasha and Y. Al-Assaf
    Interdisciplinary Linguistics Conference (ILinC), Belfast, UK, October 2011.

  48. Teaching, Innovation and the Engineering Communication Interface
    D. Prescott, T. El-Sakran, L. AlBasha, F. Aloul and Y. Al-Assaf
    The Clute Institute European Academic Conference, Barcelona, Spain, June 2011.

  49. A Case Study of a College-Wide First Year Undergraduate Engineering Course
    F. Aloul, I. Zualkernan, A. El-Hag, G. Husseini and Y. Al-Assaf
    IEEE Global Engineering Education Conference (EDUCON), 179-184, Amman, Jordan, April 2011.

  50. Monitoring Patients' Signs Wirelessly
    A. Sagahyroon, F. Aloul, A. Al-Ali, M. Bahrololoum, F. Makhsoos and N. Hussein
    IEEE Middle East Conference on Biomedical Engineering (MECBME), Sharjah, UAE, 283-286, February 2011.

  51. Contextualizing cross-discipline teaching and learning through Engineering Multidisciplinary Projects (EMDPs)
    T. El-Sakran, D. Prescott, F. Aloul, L. AlBasha and Y. Al-Assaf
    International Conference on Effective Teaching and Learning in Higher Education (ETLHE), Beirut, Lebanon, December 2010.

  52. Engineering communication interface: an engineering multidisciplinary project
    D. Prescott, T. El-Sakran, L. AlBasha, F. Aloul and Y. Al-Assaf
    International Conference on Effective Teaching and Learning in Higher Education (ETLHE), Beirut, Lebanon, December 2010.

  53. Information Security Awareness in UAE: A Survey Paper
    F. Aloul
    IEEE International Conference for Internet Technology and Secured Transactions (ICITST), London, UK, 1-6, November 2010.

  54. A Multipath Detection Scheme Using SAT
    M. Tarhuni and F. Aloul
    IEEE International Conference on Communications (ICC), Cape Town, South Africa, 1-5, May 2010.

  55. Using SAT Techniques in Dynamic Burn-in Vector Generation
    F. Aloul and A. Sagahyroon
    15th IEEE Mediterranean Electrotechnical Conference (MELECON), Valletta, Malta, 1448-1452, April 2010.

  56. Low Power State Assignment Using ILP Techniques
    A. Sagahyroon, F. Aloul, and A. Sudnitson
    15th IEEE Mediterranean Electrotechnical Conference (MELECON), Valletta, Malta, 850-855, April 2010.

  57. Transmission Coordination for Ad hoc Networks
    A. Kiniy, S. Webery, F. Aloul, and N. Kandasamy
    44th Conference on Information Sciences and Systems (CISS), Princeton, New Jersey, 1-6, March 2010.

  58. Using Mobiles for On Campus Location Tracking
    F. Aloul, A. Sagahyroon, A. Al-Shami, I. Al-Midfa, and R. Moutassem
    7th ACM International Conference on Advances in Mobile Computing & Multimedia (MoMM), Kuala Lumpur, Malaysia, December 2009.

  59. Two Factor Authentication Using Mobile Phones
    F. Aloul, S. Zahidi, and W. El-Hajj
    IEEE International Conference on Computer Systems and Applications (AICCSA), Rabat, Morocco, 641-644, May 2009.

  60. PN Code Acquisition Using Boolean Satisfiability Techniques
    F. Aloul and M. Tarhuni
    IEEE Wireless Communications & Networking Conference (WCNC), Budapest, Hungary, 1-6, April 2009.

  61. M-Stock: Efficient Stock Monitoring for Mobile Users
    F. Aloul, A. Sagahyroon, N. Salem, O. Al-Omar, and S. Shehada
    IEEE International Conference on Modeling, Simulation, and Applied Optimization (ICMSAO), Sharjah, UAE, January 2009.

  62. On Detecting Port Scanning using Fuzzy Based Intrusion Detection Systems
    W. Hajj, F. Aloul, and Z. Trabelsi
    IEEE International Wireless Communications and Mobile Computing Conference (IWCMC), Crete Island, Greece, 105-110, August 2008.

  63. Mobile RFID Tracking System
    A. Al-Ali, F. Aloul, N. Aji, A. AlZarouni, and N. Fakhro
    IEEE International Conference on Information & Communication Technologies: From Theory to Applications (ICTTA), Damascus, Syria, 1-4, April 2008.

  64. Routing and Wavelength Assignment in Optical Networks using Boolean Satisfiability
    F. Aloul, B. Al-Rawi, M. Aboelaze
    Annual IEEE Consumer Communications and Networking Conference (CCNC), Las Vegas, NV, 185-189, January 2008.

  65. Wireless Security in UAE: A Survey Paper
    A. Kalbasi, O. Alomar, M. Hajipour, and F. Aloul
    IEEE GCC Conference, Bahrain, November 2007.

  66. Solving the University Class Scheduling Problem Using Advanced ILP Techniques
    A. Wasfy and F. Aloul
    IEEE GCC Conference, Bahrain, November 2007.
    Won the Best Student Paper Award.

  67. Symmetry Breaking in Local Search for Unsatisability
    F. Aloul, I. Lynce and S. Prestwich
    7th International Workshop on Symmetry and Constraint Satisfaction Problems (SymCon), Providence, RI, September 2007.

  68. Solving Employee Timetabling Problems Using Boolean Satisfiability
    F. Aloul, B. Al-Rawi, A. Al-Farra, and B. Al-Roh
    IEEE Innovations in Information Technology Conference (IIT), Dubai, UAE, 1-5, November 2006.

  69. PolluMap: A Pollution Mapper for Cities
    M. AbuJayyab, S. Al Ahdab, M. Taji, Z. Al Hamdani, and F. Aloul
    IEEE Innovations in Information Technology Conference (IIT), Dubai, UAE, 1-5, November 2006.
    Won the first place in the Gulf Research Center (GRC) Environmental Competition, 2006.

  70. Identifying the Shortest Path in Large Networks Using Boolean Satisfiability
    F. Aloul, B. Al-Rawi, and M. Aboelaze
    IEEE International Conference on Electrical and Electronics Engineering (ICEEE), Mexico, 1-4, September 2006.

  71. Sensor Selection and Placement for Failure Diagnosis in Wireless Sensor Networks: Application to Unmanned Aerial Vehicle Networks
    N. Kandasamy, F. Aloul, and J. Koo
    IEEE International Conference on Robotics and Automation (ICRA), Orlando, Florida, 2182-2187, May 2006.

  72. Estimation of the Weighted Maximum Switching Activity in Combinational CMOS Circuits
    F. Aloul and A. Sagahyroon
    IEEE International Symposium on Circuits and Systems (ISCAS), Kos, Greece, 2929-2932, May 2006.

  73. Maximum Power-Up Current Estimation in Combinational CMOS Circuits
    A. Sagahyroon and F. Aloul
    IEEE Mediterranean Electro-technical conference (MELECON), Malaga, Spain, 70-73, May 2006.

  74. The Synthesis of Dependable Communication Networks for Automotive Systems
    N. Kandasamy and F. Aloul
    SAE World Congress (SAE), Detroit, Michigan, Paper No. 2006-01-1333, April 2006.

  75. Exciting Stuck-Open faults in CMOS Circuits Using ILP Techniques
    F. Aloul, A. Sagahyroon, and B. Al-Rawi
    IEEE International Conference on Computer Systems and Applications (AICCSA), Sharjah, UAE, 409-414, March 2006.

  76. Dynamic Symmetry-Breaking for Improved Boolean Optimization
    F. Aloul, A. Ramani, I. Markov, and K. Sakallah
    Asia South Pacific Design Automation Conference (ASPDAC), Shanghai, China, 445-450, January 2005.

  77. On Solving Optimization Problems Using Boolean Satisfiability
    F. Aloul
    International Conference on Modeling, Simulation, and Applied Optimization (ICMSAO), Sharjah, UAE, 2005.

  78. A Call Admission Protocol for Cellular Multimedia Networks
    M. Aboelaze and F. Aloul
    6th World Wireless Congress (WWC), San Francisco, USA, 2005.

  79. Current and Future Trends in Sensor Networks: A Survey
    M. Aboelaze and F. Aloul
    IEEE International Conference on Wireless and Optical Communications Networks (WOCN), Dubai, UAE, 551-555, March 2005.

  80. Breaking Instance-Independent Symmetries in Exact Graph Coloring
    A. Ramani, F. Aloul, I. Markov, and K. Sakallah
    Design, Automation and Test in Europe Conference (DATE), Paris, France, 324-329, 2004.

  81. ShatterPB: Symmetry-Breaking for Pseudo-Boolean Formulas
    F. Aloul, A. Ramani, I. Markov, and K. Sakallah
    Asia South Pacific Design Automation Conference (ASPDAC), Yokohama, Japan, 884-887, 2004.

  82. Efficient Symmetry-Breaking for Boolean Satisfiability
    F. Aloul, I. Markov, and K. Sakallah
    International Joint Conference on Artificial Intelligence (IJCAI), Acapulco, Mexico, 271-282, 2003.

  83. Shatter: Efficient Symmetry-Breaking for Boolean Satisfiability
    F. Aloul, I. Markov, and K. Sakallah
    IEEE Design Automation Conference (DAC), Anaheim, California, 836-839, 2003.

  84. FORCE: A Fast and Easy-To-Implement Variable-Ordering Heuristic
    F. Aloul, I. Markov, and K. Sakallah
    IEEE Great Lakes Symposium on VLSI (GLSVLSI), Washington D.C., 116-119, 2003.

  85. Symmetry-Breaking for Pseudo-Boolean Formulas
    F. Aloul, A. Ramani, I. Markov, and K. Sakallah
    International Workshop on Symmetry on Constraint Satisfaction Problems (SymCon), County Cork, Ireland, 1-12, 2003.

  86. Generic ILP versus Specialized 0-1 ILP: an Update
    F. Aloul, A. Ramani, I. Markov, and K. Sakallah
    International Conference on Computer Aided Design (ICCAD), San Jose, California, 450-457, 2002.

  87. Improving the Efficiency of Circuit-to-BDD Conversion by Gate and Input Ordering
    F. Aloul, I. Markov, and K. Sakallah
    International Conference on Computer Design (ICCD), Freiburg, Germany, 64-69, 2002.

  88. Satometer: How Much Have We Searched?
    F. Aloul, B. Sierawski, and K. Sakallah
    Design Automation Conference (DAC), New Orleans, Louisiana, 737-742, 2002.

  89. Solving Difficult SAT Instances in the Presence of Symmetry
    F. Aloul, A. Ramani, I. Markov, and K. Sakallah
    Design Automation Conference (DAC), New Orleans, Louisiana, 731-736, 2002.

  90. Search-Based SAT Using Zero-Suppressed BDDs
    F. Aloul, M. Mneimneh, and K. Sakallah
    Design, Automation, and Test in Europe Conference (DATE), Paris, France, 1082, 2002.

  91. Symmetry-Breaking for Boolean Satisfiability: The Mysteries of Logic Minimization
    F. Aloul, I. Markov, and K. Sakallah
    International Workshop on Symmetry on Constraint Satisfaction Problems (SymCon), Ithaca, New York, 37-46, 2002.

  92. ZBDD-Based Backtrack Search SAT Solver
    F. Aloul, M. Mneimneh, and K. Sakallah
    International Workshop on Logic Synthesis (IWLS), New Orleans, Louisiana, 131-136, 2002.

  93. Efficient Gate and Input Ordering for Circuit-to-BDD Conversion
    F. Aloul, I. Markov, and K. Sakallah
    International Workshop on Logic Synthesis (IWLS), New Orleans, Louisiana, 137-142, 2002.

  94. PBS: A Backtrack Search Pseudo-Boolean Solver
    F. Aloul, A. Ramani, I. Markov, and K. Sakallah
    Symposium on the Theory and Applications of Satisfiability Testing (SAT), Cincinnati, Ohio, 346-353, 2002.

  95. A Tool for Measuring Progress of Backtrack Search Solvers
    F. Aloul, B. Sierawski, and K. Sakallah
    Symposium on the Theory and Applications of Satisfiability Testing (SAT), Cincinnati, Ohio, 98-105, 2002.

  96. Solving Difficult SAT Instances in the Presence of Symmetry
    F. Aloul, A. Ramani, I. Markov, and K. Sakallah
    Symposium on the Theory and Applications of Satisfiability Testing (SAT), Cincinnati, Ohio, 338-345, 2002.

  97. Faster SAT and Smaller BDDs via Common Function Structure
    F. Aloul, I. Markov, and K. Sakallah
    International Conference on Computer Aided Design (ICCAD), San Jose, California, 443-448, 2001.

  98. Scalable Hybrid Verification of Complex Microprocessors
    M. Mneimneh, F. Aloul, C. Weaver, S. Chatterjee, K. Sakallah, and T. Austin
    Design Automation Conference (DAC), Las Vegas, Nevada, 41-46, 2001.

  99. A Comparative Study of Two Boolean Formulations of FPGA Detailed Routing Constraints
    G. Nam, F. Aloul, K. Sakallah, and R. Rutenbar
    International Symposium on Physical Design (ISPD), Sonoma Wine County, California, 222-227, 2001.

  100. Backtrack Search Using ZBDDs
    F. Aloul, M. Mneimneh, and K. Sakallah
    International Workshop on Logic Synthesis (IWLS), Lake Tahoe, California, 293-297, 2001.

  101. MINCE: A Static Global Variable-Ordering for SAT and BDD
    F. Aloul, I. Markov, and K. Sakallah
    International Workshop on Logic Synthesis (IWLS), Lake Tahoe, California, 281-286, 2001.

  102. An Experimental Study of Satisfiability Search Heuristics
    F. Aloul, J. Silva, and K. Sakallah
    Design, Automation, and Test in Europe Conference (DATE), Paris, France, 745, 2000.

  103. An Experimental Evaluation of Conflict Diagnosis and Recursive Learning in Boolean Satisfiability
    F. Aloul and K. Sakallah
    International Workshop on Logic Synthesis (IWLS), Dana Point, California, 117-122, 2000.

  104. Efficient Verification of the PCI Local Bus Using Boolean Satisfiability
    F. Aloul and K. Sakallah
    International Workshop on Logic Synthesis (IWLS), Dana Point, California, 131-136, 2000.


Technical Reports:
  1. Solving Difficult Instances of Boolean Satisfiability in the Presence of Symmetry
    F. Aloul, A. Ramani, I. Markov, and K. Sakallah
    Technical Report CSE-TR-463-02, University of Michigan, September 2002.

  2. Generic ILP versus Specialized 0-1 ILP: An Update
    F. Aloul, I Markov, and K. Sakallah
    Technical Report CSE-TR-461-02, University of Michigan, August 2002.

  3. Satometer: How Much Have We Searched?
    F. Aloul, B. Sierawski, and K. Sakallah
    Technical Report CSE-TR-457-02, University of Michigan, June 2002.

  4. Faster SAT and Smaller BDDs via Common Function Structure
    F. Aloul, I. Markov, and K. Sakallah
    Technical Report CSE-TR-445-01, University of Michigan, 2001.

Patents
  1. Methods and Apparatus for Generating Functional Test Programs by Traversing a Finite State Model of an Instruction Set Architecture
    F. Aloul and R. Raimi
    United States Patent 20040078674, Billions of Operations Per Second Inc. (BOPS), Mountain View, California, 2004.

Tools
  1. ZTest
    Provides a visual interface for creating MANET topologies and solving the clustering optimization problem using SAT and ILP solvers

  2. FORCE
    Static global variable ordering for SAT & BDDs (preprocessing tool).
    Much faster than MINCE.
    Doesn't use external tools and consists of less than 500 lines of C code.

  3. PBS
    Incremental pseudo-Boolean backtrack search SAT solver and optimizer (handles CNF and 0/1 inequality forms)

  4. SHATTER
    Identifies symmetry-breaking clauses in CNF instances (preprocessing tool)

  5. SATOMETER
    Measures progress of backtrack-search SAT solvers

  6. ZBDDLIB
    New ZBDD operations added to the CUDD package

  7. MINCE
    Static global variable ordering for SAT & BDDs (preprocessing tool)


Newspaper Clips

Last Updated: August 22, 2010.
By Fadi Aloul