Scalable compositional minimization via static analysis. - Fadi A. Zaraket; Jason Baumgartner; Adnan Aziz (ICCAD, 2005)

Global Optimization of Compositional Systems. - Fadi A. Zaraket; John Pape; Adnan Aziz; Margarida F. Jacome; Sarfraz Khurshid (FMCAD, 2007)

Sequential Circuits for Relational Analysis. - Fadi A. Zaraket; Adnan Aziz; Sarfraz Khurshid (ICSE, 2007)

Sequential circuits for program analysis. - Fadi A. Zaraket; Adnan Aziz; Sarfraz Khurshid (ASE, 2007)

Mathifier - Speech recognition of math equations. - Salim N. Batlouni; Hala S. Karaki; Fadi A. Zaraket; Fadi N. Karameh (ICECS, 2011)

Arabic Entity Graph Extraction Using Morphology, Finite State Machines, and Graph Transformations. - Jad Makhlouta; Fadi A. Zaraket; Hamza Harkous (CICLing (1), 2012)

Arabic Morphological Analyzer with Agglutinative Affix Morphemes and Fusional Concatenation Rules. - Fadi A. Zaraket; Jad Makhlouta (COLING (Demos), 2012)

Arabic Cross-Document NLP for the Hadith and Biography Literature. - Fadi A. Zaraket; Jad Makhlouta (FLAIRS, 2012)

Enhancing Fault Localization via Multivariate Visualization. - Wes Masri; Rawad Abou Assi; Fadi A. Zaraket; Nour Fatairi (ICST, 2012)

GUICOP: Specification-Based GUI Testing. - Fadi A. Zaraket; Wes Masri; Marc Adam; Dalal Hammoud; Raghd Hamzeh; Raja Farhat; Elie Khamissi; Joseph Noujaim (ICST, 2012)

Portable Parallel Programs using architecture-aware libraries. - Fadi A. Zaraket; Mohamad Noureddine; Mohamed Sabra; Ameen Jaber (SAC, 2012)

MATAr: Morphology-based Tagger for Arabic. - Fadi A. Zaraket; Ameen Jaber (AICCSA, 2013)

An Abstract Framework for Deadlock Prevention in BIP. - Paul C. Attie; Saddek Bensalem; Marius Bozga; Mohamad Jaber 001; Joseph Sifakis; Fadi A. Zaraket (FMOODS/FORTE, 2013)

Does Principal Component Analysis Improve Cluster-Based Analysis? - Joan Farjo; Rawad Abou Assi; Wes Masri; Fadi A. Zaraket (ICST Workshops, 2013)

Coverage Specification for Test Case Intent Preservation in Regression Suites. - Elie Shaccour; Fadi A. Zaraket; Wes Masri (ICST Workshops, 2013)

Specification Construction Using Behaviours, Equivalences, and SMT Solvers. - Paul C. Attie; Fadi A. Zaraket; Mohamad Noureddine; Farah El-Hariri (CoRR, 2013)

Semantic Guidance and Feedback for the Construction of Specifications and Implementations - Paul C. Attie; Fadi A. Zaraket; Mohammad Fawaz; Mohamad Noureddine (CoRR, 2013)

Reduction and Abstraction Techniques for BIP. - Mohamad Noureddine; Mohamad Jaber 001; Simon Bliudze; Fadi A. Zaraket (FACS, 2014)

Minimum power broadcast trees subject to interference. - Rebal Al-Jurdi; Ghadi Sayegh; Hawraa Salami; Ibrahim C. Abou-Faycal; Fadi A. Zaraket (ISWCS, 2014)

From High-Level Modeling Towards Efficient and Trustworthy Circuits. - Mohamad Jaber 001; Mohamad Noureddine; Fadi A. Zaraket (CoRR, 2014)

Synthesis of Sequential Extended Regular Expressions for Verification. - Mohamad Noureddine; Fadi A. Zaraket; Ali S. Elzein (CoRR, 2014)

Model Checking Software Programs with First Order Logic Specifications using AIG Solvers. - Fadi A. Zaraket; Mohamad Noureddine (CoRR, 2014)

Skill-based framework for optimal software project selection and resource allocation. - Fadi A. Zaraket; Majd Olleik; Ali A. Yassine (Eur. J. Oper. Res., 2014)

Separation of concerns for hardware components of embedded systems in BIP. - Maya H. Safieddine; Rouwaida Kanj; Fadi A. Zaraket; Ali S. Elzein; Mohamad Jaber 001 (ISQED, 2015)

PBCOV: a property-based coverage criterion. - Kassem Fawaz; Fadi A. Zaraket; Wes Masri; Hamza Harkous (Softw. Qual. J., 2015)

Automated FPGA implementations of BIP designs. - Maya H. Safieddine; Fadi A. Zaraket; Mohamad Jaber 001; Rouwaida Kanj; Mazen A. R. Saghir (SIES, 2016)

Coverage-Based Software Testing: Beyond Basic Test Requirements. - Wes Masri; Fadi A. Zaraket (Adv. Comput., 2016)

UCov: a user-defined coverage criterion for test case intent verification. - Rawad Abou Assi; Wes Masri; Fadi A. Zaraket (Softw. Test. Verification Reliab., 2016)

Model Checking Software with First Order Logic Specifications Using AIG Solvers. - Mohammad A. Noureddine; Fadi A. Zaraket (IEEE Trans. Software Eng., 2016)

MERF: Morphology-based Entity and Relational Entity Extraction Framework for Arabic. - Ameen Jaber; Fadi A. Zaraket (CoRR, 2017)

GUICop: Approach and toolset for specification-based GUI testing. - Dalal Hammoud; Fadi A. Zaraket; Wes Masri (Softw. Test. Verification Reliab., 2017)

CFAAR: Control Flow Alteration to Assist Repair. - Chadi Trad; Rawad Abou Assi; Wes Masri; Fadi A. Zaraket (ISSRE Workshops, 2018)

Big Data Semantics. - Paolo Ceravolo; Antonia Azzini; Marco Angelini; Tiziana Catarci; Philippe Cudré-Mauroux; Ernesto Damiani; Alexandra Mazak; Maurice van Keulen; Mustafa Jarrar; Giuseppe Santucci; Kai-Uwe Sattler; Monica Scannapieco; et al. (J. Data Semant., 2018)

Global and Local Deadlock Freedom in BIP. - Paul C. Attie; Saddek Bensalem; Marius Bozga; Mohamad Jaber 001; Joseph Sifakis; Fadi A. Zaraket (ACM Trans. Softw. Eng. Methodol., 2018)

P4AIG: Circuit-Level Verification of P4 Programs. - Mohammad A. Noureddine; Amanda Hsu; Matthew Caesar 001; Fadi A. Zaraket; William H. Sanders (DSN (Supplements), 2019)

From high-level modeling toward efficient and trustworthy circuits. - Fadi A. Zaraket; Mohamad Jaber 001; Mohamad Noureddine; Yliès Falcone (Int. J. Softw. Tools Technol. Transf., 2019)

Diacritic-Based Matching of Arabic Words. - Mustafa Jarrar; Fadi A. Zaraket; Rami Asia; Hamzeh Amayreh (ACM Trans. Asian Low Resour. Lang. Inf. Process., 2019)

Verification at RTL Using Separation of Design Concerns. - Maya H. Safieddine; Fadi A. Zaraket; Rouwaida Kanj; Ali S. Elzein; Wolfgang Roesner (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019)

Curras + Baladi: Towards a Levantine Corpus. - Karim El Haff; Mustafa Jarrar; Tymaa Hammouda; Fadi A. Zaraket (LREC, 2022)

Lisan: Yemeni, Iraqi, Libyan, and Sudanese Arabic Dialect Copora with Morphological Annotations. - Mustafa Jarrar; Fadi A. Zaraket; Tymaa Hammouda; Daanish Masood Alavi; Martin Wählisch (CoRR, 2022)

Lisan: Yemeni, Iraqi, Libyan, and Sudanese Arabic Dialect Corpora with Morphological Annotations. - Mustafa Jarrar; Fadi A. Zaraket; Tymaa Hammouda; Daanish Masood Alavi; Martin Wählisch (AICCSA, 2023)

Neonatal Video Database and Annotations for Vital Sign Extraction and Monitoring. - Hussein Sharafeddin; Lama Charafeddine; Jamila Khalaf; Ibrahim Kanj; Fadi A. Zaraket (ICPRAM, 2023)

Nâbra: Syrian Arabic Dialects with Morphological Annotations. - Amal Nayouf; Tymaa Hammouda; Mustafa Jarrar; Fadi A. Zaraket; Mohamad-Bassam Kurdy (ArabicNLP, 2023)

Back-of-the-Book Index Automation for Arabic Documents. - Nawal Haidar; Fadi A. Zaraket (CoRR, 2024)

Towards Terminology Management Automation for Arabic. - Mahdi Nasser; Laura Sayyah; Fadi A. Zaraket (CoRR, 2025)