Fadi A. Aloul, Ph.D., CISSP
Associate Professor of Computer Engineering
American University of Sharjah, UAE
SRC/Agere Research Fellow
IEEE UAE GOLD Chair
Email: faloul at aus.edu
Winner of the Prestigious 2009 H.H. Sheikh Khalifa, UAE's President, Award for Higher Education
(Awarded annually to one faculty from all UAE Universities for excellence in teaching, research, and service)
Dr. Aloul received his Ph.D. in Computer Science and Engineering from the University of
Michigan - Ann Arbor. His research interests include Design Automation, Optimization, and IT & Network Security (His research summary can be found here).
Dr. Aloul is a Certified Information Systems Security Professional (CISSP). He is a freelance security consultant and specialized in giving IT security awareness
sessions to general audience, in addition to advanced IT security courses to
experts. He is currently serving on the advisory board of Shifra FZ LLC (Security
Solutions Company). Dr. Aloul is one of the leading researchers in studying the general IT security awareness in UAE. He is
also a frequent speaker at many international security conferences and guest
editor of various security articles in local media. (List of news articles).
Jun 2010 - A First-of-its-kind Security Phishing Experiment conducted at AUS by my research group. Click here for the results. (Published in TheNational NewsPaper)
Apr. 2010 - Check out the video of the Paper Plane competition that I organized in the Spring 2010 NGN110 course at AUS. Click here.
Mar. 2010 - Call for the 2010 Made in UAE (MIU) Competition - Deadline is April 15. Click here for more information.
Dec. 2009 - Check out the video of the Q-tips Bridge competition that I organized in the Fall 2009 NGN110 course at AUS. Click here.
Jul. 2009 - Check out the video of the Paper Bridge competition that I organized in the Spring 2009 NGN110 course at AUS. Click here.
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,
Benchmarks,
News
Professional Activities
- Invited Speaker at
- Gulf University (GU'10), Aleppo, Syria, March 2010.
- University of Sharjah (UoS'10), UAE, March 2010.
- Managing Corporate Security in Turbulent Times (Kavaq'10), Dubai, UAE, March 2010.
- Cyber Defence Summit Middle East (CDS'09), Dubai, UAE, March 2009.
- Legal and Legislative Structure of Electronic Transactions in The Arab Countries Forum
(LETS'09), Beirut, Lebanon, February 2009.
- Keynote Speaker - IEEE International Design and Test Workshop (IDT'08), Monastir, Tunisia, December 2008.
- Middle East IT Security Conference (MEITSEC'08),
Dubai, UAE, November 2008.
- National Security Summit Middle East (NSS'08),
Dubai, UAE, October 2008.
- Hacker Halted Conference (H@cker|Halted'08), Dubai, UAE, October 2008.
- 4th ICT Security Forum (ICT'08), Damascus, Syria, July 2008.
- E-Commerce Middle East Summit (E-Commerce'08), Dubai, UAE, May 2008.
- Middle East IT Security Conference (MEITSEC'07),
Sharjah, UAE, November 2007.
- Pakistan's Cyber Security Conference (PAKCON'07), Karachi, Pakistan, July 2007.
- Drexel University, Philadelphia, PA, January 2007.
- Intel Corporation, Portland, Oregon, July 2005.
- Tufts University, Boston, Massachusetts, April 2005.
- Microsoft Research, Redmond, Washington, December 2003.
- Microsoft Research, Redmond, Washington, May 2003.
- Invited Tutorialist at
- IEEE International Conference on Microelectronics (ICM'09), Marrakech, Morocco, 2009.
- IEEE International Workshop for Design and Test (IDT'09), Riyadh, Saudi Arabia, 2009.
- IEEE International Symmetry Conference (ISC'07), Edinburgh, Scotland, 2007.
- IEEE Innovations in Information Technology (IIT'06), Dubai, UAE, 2006.
- International Conference on Modeling, Simulation, and Applied Optimization
(ICMSAO'05), Sharjah, UAE, 2005.
- Conference Organization
- GOLD Chair at the 6th IEEE GCC Conference and Exhibition, (GCC'11),
Dubai, UAE, 2011.
- Session Chair at the IEEE Mediterranean Electrotechnical Conference, (MELECON'10),
Valletta, Malta, 2010.
- Session Chair at the IEEE International Conference on Engineering Systems Management and Applications,
(ICESMA'10), Sharjah, UAE, 2010.
- Track Chair (Computer Engineering) at the 3rd IEEE International Conference on Modeling, Simulation, and Applied
Optimization, (ICMSAO'09), Sharjah, UAE, 2009.
- Co-Chair of the 8th International Workshop on Symmetry and Constraint Satisfaction Problems,
(SymCon'08), Sydney, Australia, 2008.
- Local Organizer at the 7th International Conference on New Software Methodologies, Tools, and Techniques,
(SoMeT'08), Sharjah, UAE, 2008.
- Local Organizer & Session Chair of the IEEE International Conference on Computer Systems and Applications,
(AICCSA'06), Sharjah, UAE, 2006.
- A/V Chair of the ACM/IEEE International Workshop on Logic and Synthesis
(IWLS'03), Anaheim, California, 2003.
- Technical Program Committee (TPC) member of
- 7th Southern Programmable Logic Conference
(SPL'11), Cordoba, Argentina, 2011.
- 2nd International Conference on Multimedia Computing and Systems
(ICMSS'11), Ouarzazate, Morocco, 2011.
- 8th International Conference on Advanced in Mobile Computing & Multimedia
(MOMM'10), Paris, France, 2010.
- 13th ACM/SIGDA PhD Forum at the Design Automation Conference
(DAC'10), Anaheim, CA, 2010.
- 6th Southern Programmable Logic Conference
(SPL'10), Ipojuca, Brazil, 2010.
- International Conference on Multimedia Computing and Information Technology Southern
(MCIT'10), Sharjah, UAE, 2010.
- 6th IEEE Innovations in Information Technology
(IIT'09), Al-Ain, UAE, 2009.
- 9th International Workshop on Symmetry and Constraint Satisfaction Problems
(SymCon'09), Lisbon, Portugal, 2009.
- 12th ACM/SIGDA PhD Forum at the Design Automation Conference
(DAC'09), San Francisco, CA, 2009.
- 21st International Joint Conference on Artificial Intelligence
(IJCAI'09), Pasadena, California, 2009
- 5th Southern Programmable Logic Conference
(SPL'09), Sao Carlos, Brazil, 2009
- IEEE GCC Conference
(GCC'09), Kuwait, 2009
- IEEE International Conference on Information Science, Technology and Applications
(ISTA'09), Kuwait, 2009
- 11th ACM/SIGDA PhD Forum at the Design Automation Conference
(DAC'08), Anaheim, CA, 2008.
- IEEE International Design and Test Workshop
(IDT'08), Monastir, Tunis, 2008.
- 8th International Workshop on Symmetry and Constraint Satisfaction Problems
(SymCon'08), Sydney, Australia, 2008.
- IEEE Innovations in Information Technology
(IIT'08), Al-Ain, UAE, 2008.
- 10th ACM/SIGDA PhD Forum at the Design Automation Conference
(DAC'07), San Diego, CA, 2007.
- IEEE International Design and Test Workshop
(IDT'07), Cairo, Egypt, 2007.
- 7th International Workshop on Symmetry and Constraint Satisfaction Problems
(SymCon'07), Providence, RI, 2007.
- IEEE Innovations in Information Technology
(IIT'07), Dubai, UAE, 2007.
- IEEE Innovations in Information Technology
(IIT'06), Dubai, UAE, 2006.
- 9th ACM/SIGDA PhD Forum at the Design Automation Conference
(DAC'06), San Francisco, CA, 2006.
- ACM/IEEE International Workshop on Logic and Synthesis
(IWLS'06), Vail, Colorado, 2006.
- 8th International Conference on Theory and Applications of Satisfiability Testing
(SAT'05), St. Andrews, Scotland, 2005.
- 8th ACM/SIGDA PhD Forum at the Design Automation Conference
(DAC'05), Anaheim, CA, 2005.
- International Symposium on Wireless Systems and Networks
(ISWSN'05), Bahrain, 2005.
- ACM/IEEE International Workshop on Logic and Synthesis
(IWLS'05), Lake Arrowhead, CA, 2005.
- 7th ACM/SIGDA PhD Forum at the Design Automation Conference
(DAC'04), San Diego, CA, 2004.
- ACM/IEEE International Workshop on Logic and Synthesis
(IWLS'04), San Diego, CA, 2004.
- 6th International Conference on Theory and Applications of Satisfiability Testing
(SAT'03), Portofino, Italy, 2003.
- 5th International Workshop on Soft Constraints
(CP03-SOFT), County Cork, Ireland, 2003.
- ACM/IEEE International Workshop on Logic and Synthesis
(IWLS'03), Anaheim, CA, 2003.
- Community Service
- Judge at the Microsoft Imagine Cup Gulf Competition (IC), Dubai, UAE, 2010.
- Judge at the ASTF Made in Arab World Competition (MIA), Cairo, Egypt, 2007, 2009.
- Organizer of the IEEE Made in UAE Competition (MIU),
UAE, 2007-2010.
- Organizer of the AUS NGN110 Introduction to Engineering Competition (NGN), UAE, 2009-2010.
(see Video Spring 2009 - Fall 2009 - Spring 2010)
- GOLD Chair of the UAE Institute of Electrical and Electronics Engineers Association (IEEE),
UAE, 2004-2010.
Awards
- Supervised Student Awards
- 1st place in the AUS COE National Advisory Council Competition Sharjah, UAE, 2010.
- 3rd place in the
Made-In-UAE (MIU) Competition Dubai, UAE, 2009.
- 3rd place in National Mobile Phone Application Contest (NMAC), UAE, 2009.
- Sharjah Islamic Bank Award (Honorable Mention), UAE, 2009.
- 1st place in Microsoft Imagine Cup Gulf Competition, UAE, 2008.
- 1st place in National Mobile Phone Application Contest
(NMAC), UAE, 2008.
- 1st place in Innovations in IT, Best Student Poster Competition, UAE University, 2008.
- Best Student Paper Award at the IEEE GCC Conference, Bahrain, 2007.
- 3rd place in the Made-In-Arab World (MIA) Competition, Egypt, 2007.
- 2nd place in National Mobile Phone Application Contest (NMAC), UAE, 2007.
- Short-listed among 4 top participants in the Microsoft Imagine Cup Gulf Competition, UAE, 2007.
- 1st place in Green Gulf Youth Conference Competition, Sharjah, UAE, 2006.
- Awards
- H.H. Sheikh Khalifa Award for Higher Education, 2009.
- Promoted to an IEEE Senior Member, 2009.
- Promoted to an ACM Senior member, 2009.
- Agere/SRC (Semiconductor Research Corporation) Research Fellowship, 2001-2003.
- GANN Fellowship, 2000.
- Graduate Student Research Assistantship, 1999-2001.
- University of Michigan EECS Summer Fellowship, 1998.
- Graduate Student Teaching Assistantship, 1997-1998.
- Ranked 1st among 930 graduating students at Lawrence Technological University (LTU), 1997.
- Lawrence Technological University (LTU) Engineering Excellence Award, 1997.
- Lawrence Technological University (LTU) Presidential Scholarship, 1995-1997.
- Ranked 1st in graduation from highschool, 1993.
Teaching
- Courses taught at the American University of Sharjah (AUS):
- NGN110 - Introduction to Engineering & Computing (~700 students/year - Course Coordinator).
- COE210 - Programming I (C++).
- COE221 - Digital Systems.
- COE381 - Operating Systems.
- COE444 - Computer Security (Course Founder)
- COE631 - Advanced Computer & Network Security (Course Founder)
- List of advised undergraduate Senior Design Projects (click here)
Education
- Post-Doc 2003 - Computer Science & Engineering - University of Michigan, Ann Arbor
- Ph.D. 2003 - Computer Science & Engineering - University of Michigan, Ann Arbor
- M.S. 1999 - Computer Science & Engineering - University of Michigan, Ann Arbor (GPA 3.82/4.0)
- B.S. 1997 - Electrical Engineering - Lawrence Technological University, Southfield (GPA 4.0/4.0 - Summa Cum Laude)
Publications -
Journals:
- Updating Snort with a Customized Controller to Thwart Port Scanning
W. Hajj, H. Hajj, Z. Trabelso, and F. Aloul
to appear in Security and Communication Networks (SCN), Wiley InterScience, 2010.
- Efficient Stock Monitoring for Mobile Users
F. Aloul, A. Sagahyroon, N. Salem, O. Al-Omar, S. Shehada, B. Al-Rawi
to appear in Elsevier Journal of the Franklin Institute, 2010.
- Mobile GPRS-Sensors Array for Air
Pollution Monitoring
A. Al-Ali, I. Zualkernan, and F. Aloul
IEEE Sensors Journal, 10(10), 1666-1671, 2010.
- Symmetry in Boolean Satisfiability
F. Aloul
Symmetry, 2(2), 1121-1134, 2010.
- Dynamic Symmetry-Breaking for Boolean Satisfiability
F. Aloul, A. Ramani, I. Markov, and K. Sakallah
Annals of Mathematics and Artificial Intelligence (AMAI), Springer, 57(1), 59-73, 2010.
- 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.
- 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.
- 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, 2007.
- 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.
- 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.
- 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
- 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, pp. 289-322, August 2006.
- Efficient Symmetry Breaking for Boolean Satisfiability
F. Aloul, K. Sakallah, and I. Markov
IEEE Transactions on Computers (TC), 55(5), pp. 549-558, May 2006.
- Search Techniques for SAT-based Boolean Optimization
F. Aloul
Elsevier Journal of the Franklin Institute, Volume 343, Issues 5-6, pp. 436-447, 2006.
- 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), pp. 1562-1596, Dec. 2004.
- 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), pp. 688-696, June 2004.
- 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), pp. 1117-1137, Sept. 2003.
- Satometer: How Much Have We Searched?
F. Aloul, B. Sierawski, and K. Sakallah
IEEE Transactions on Computer Aided Design (TCAD), 22(8), pp. 995-1004, Aug. 2003.
Book Chapters:
- 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.
- 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
- 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:
- A Multipath Detection Scheme Using SAT
M. Tarhuni and F. Aloul
IEEE International Conference on Communications (ICC), Cape Town, South Africa, May 2010.
- Using SAT Techniques in Dynamic Burn-in Vector Generation
F. Aloul and A. Sagahyroon
15th IEEE Mediterranean Electrotechnical Conference (MELECON), Valletta, Malta, April 2010.
- 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, March 2010.
- 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.
- 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, May 2009.
- PN Code Acquisition Using Boolean Satisfiability Techniques
F. Aloul and M. Tarhuni
IEEE Wireless Communications & Networking Conference (WCNC), Budapest, Hungary, April 2009.
- M-Stock: Efficient Stock Monitoring for Mobile Users
F. Aloul, A. Sagahyroon, N. Salem, O. Al-Omar, and S. Shehada
3rd IEEE International Conference on Modeling, Simulation, and Applied Optimization (ICMSAO), Sharjah, UAE, January 2009.
- 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, August 2008.
- Mobile RFID Tracking System
A. Al-Ali, F. Aloul, N. Aji, A. AlZarouni, and N. Fakhro
3rd IEEE International Conference on Information & Communication Technologies: From Theory to Applications (ICTTA), Damascus, Syria, April 2008.
- Routing and Wavelength Assignment in Optical Networks using Boolean Satisfiability
F. Aloul, B. Al-Rawi, M. Aboelaze
5th Annual IEEE Consumer Communications and Networking Conference (CCNC), Las Vegas, NV, January 2008.
- Symmetry Breaking in Local Search for Unsatisfiability
F. Aloul, Ines Lynce, and Steven Prestwich
7th International Workshop on Symmetry and Constraint Satisfaction Problems (SymCon), Providence, RI, September 2007.
- Wireless Security in UAE: A Survey Paper
A. Kalbasi, O. Alomar, M. Hajipour, and F. Aloul
4th IEEE GCC Conference, Bahrain, November 2007.
- Solving the University Class Scheduling Problem Using Advanced ILP Techniques
A.Wasfy and F. Aloul
4th IEEE GCC Conference, Bahrain, November 2007.
Won the Best Student Paper Award.
- 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, pp. 1-5, November 2006.
- 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, November 2006.
Won the first place in the Gulf Research Center (GRC) Environmental Competition, 2006.
- 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, September 2006.
- 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, pp. 2182-2187, May 2006.
- 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, pp. 2929-2932, May 2006.
- Maximum Power-Up Current Estimation in Combinational CMOS Circuits
A. Sagahyroon and F. Aloul
IEEE Mediterranean Electro-technical conference (MELECON), Malaga, Spain, pp. 70-73, May 2006.
- 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.
- 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, pp. 409-414, March 2006.
- 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, pp. 445-450, January 2005.
- On Solving Optimization Problems Using Boolean Satisfiability
F. Aloul
International Conference on Modeling, Simulation, and Applied Optimization (ICMSAO), Sharjah, UAE, 2005.
- A Call Admission Protocol for Cellular Multimedia Networks
M. Aboelaze and F. Aloul
6th World Wireless Congress (WWC), San Francisco, USA, 2005.
- 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, pp. 551-555, March 2005.
- 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, pp. 324-329, 2004.
- 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, pp. 884-887, 2004.
- Efficient Symmetry-Breaking for Boolean Satisfiability
F. Aloul, I. Markov, and K. Sakallah
International Joint Conference on Artificial Intelligence (IJCAI), Acapulco, Mexico, pp. 271-282, 2003.
- Shatter: Efficient Symmetry-Breaking for Boolean Satisfiability
F. Aloul, I. Markov, and K. Sakallah
Design Automation Conference (DAC), Anaheim, California, pp. 836-839, 2003.
- FORCE: A Fast and Easy-To-Implement Variable-Ordering Heuristic
F. Aloul, I. Markov, and K. Sakallah
Great Lakes Symposium on VLSI (GLSVLSI), Washington D.C., pp. 116-119, 2003.
- 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, pp. 1-12, 2003.
- 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, pp. 450-457, 2002.
- 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, pp. 64-69, 2002.
- Satometer: How Much Have We Searched?
F. Aloul, B. Sierawski, and K. Sakallah
Design Automation Conference (DAC), New Orleans, Louisiana, pp. 737-742, 2002.
- 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, pp. 731-736, 2002.
- Search-Based SAT Using Zero-Suppressed BDDs
F. Aloul, M. Mneimneh, and K. Sakallah
Design, Automation, and Test in Europe Conference (DATE), Paris, France, pp. 1082, 2002.
- 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, pp. 37-46, 2002.
- ZBDD-Based Backtrack Search SAT Solver
F. Aloul, M. Mneimneh, and K. Sakallah
International Workshop on Logic Synthesis (IWLS), New Orleans, Louisiana, pp. 131-136, 2002.
- 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, pp. 137-142, 2002.
- 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, pp. 346-353, 2002.
- 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, pp. 98-105, 2002.
- 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, pp. 338-345, 2002.
- 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, pp. 443-448, 2001.
- 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, pp. 41-46, 2001.
- 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, pp. 222-227, 2001.
- Backtrack Search Using ZBDDs
F. Aloul, M. Mneimneh, and K. Sakallah
International Workshop on Logic Synthesis (IWLS), Lake Tahoe, California, pp. 293-297, 2001.
- 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, pp. 281-286, 2001.
- An Experimental Study of Satisfiability Search Heuristics
F. Aloul, J. Silva, and K. Sakallah
Design, Automation, and Test in Europe Conference (DATE), Paris, France, pp. 745, 2000.
- 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, pp. 117-122, 2000.
- Efficient Verification of the PCI Local Bus Using Boolean Satisfiability
F. Aloul and K. Sakallah
International Workshop on Logic Synthesis (IWLS), Dana Point, California, pp. 131-136, 2000.
Technical Reports:
- 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.
- 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.
- Satometer: How Much Have We Searched?
F. Aloul, B. Sierawski, and K. Sakallah
Technical Report CSE-TR-457-02, University of Michigan, June 2002.
- 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
- 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
- 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.
- PBS
Incremental pseudo-Boolean backtrack search SAT solver and optimizer (handles CNF and 0/1 inequality forms)
- SHATTER
Identifies symmetry-breaking clauses in CNF instances (preprocessing tool)
- SATOMETER
Measures progress of backtrack-search SAT solvers
- ZBDDLIB
New ZBDD operations added to the CUDD package
- MINCE
Static global variable ordering for SAT & BDDs (preprocessing tool)
Benchmarks
Newspaper Clips
Last Updated: August 22, 2010.
By Fadi Aloul