Fadi A. Zaraket

57 papers A* 3A 3B 2C 3Misc 2Journal 26Unranked 18

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Alexandria: A Multi-Domain Dialectal Arabic Machine Translation Dataset for Culturally Inclusive and Linguistically Diverse LLMs. CoRR Abdellah El Mekki, Samar Mohamed Magdy, Houdaifa Atou, Ruwa AbuHweidi, Baraah Qawasmeh, Omer Nacar, Thikra Al-Hibiri, Razan Saadie, Hamzah A. Alsayadi, Nadia Ghezaiel Hammouda, Alshima Alkhazimi, Aya Hamod, Al-Yas Al-Ghafri, Wesam El-Sayed, Asila Al Sharji, Mohamad Ballout, Anas Belfathi, Karim Ghaddar, Serry Sibaee, Alaa Aoun, Areej Asiri, Lina Abureesh, Ahlam Bashiti, Majdal Yousef, Abdulaziz Hafiz, Yehdih Mohamed, Emira Hamedtou, Brakehe Brahim, Rahaf Alhamouri, Youssef Nafea, Aya El aatar, Walid Al-Dhabyani, Emhemed Hamed, Sara Shatnawi, Fakhraddin Alwajih, Khalid Elkhidir, Ashwag Alasmari, Abdurrahman Gerrio, Omar Alshahri, AbdelRahim A. Elmadany, Ismail Berrada, Amir Azad Adli Alkathiri, Fadi A. Zaraket, Mustafa Jarrar, Yahya Mohamed El Hadj, Hassan Alhuzali, Muhammad Abdul-Mageed
2025	A*	`conf`	R-BPE: Improving BPE-Tokenizers with Token Reuse. EMNLP Nancy Hamdan, Osama Rakan Al Mraikhat, Fadi A. Zaraket
2025	J	`jnl`	Towards Terminology Management Automation for Arabic. CoRR Mahdi Nasser, Laura Sayyah, Fadi A. Zaraket
2024	—	`conf`	AREEj: Arabic Relation Extraction with Evidence. ArabicNLP Osama Rakan Al Mraikhat, Hadi Hamoud, Fadi A. Zaraket
2024	J	`jnl`	Back-of-the-Book Index Automation for Arabic Documents. CoRR Nawal Haidar, Fadi A. Zaraket
2024	—	`conf`	DRU at WojoodNER 2024: A Multi-level Method Approach. ArabicNLP Hadi Hamoud, Chadi Abou Chakra, Nancy Hamdan, Osama Rakan Al Mraikhat, Doha Albared, Fadi A. Zaraket
2024	—	`conf`	DRU at WojoodNER 2024: ICL LLM for Arabic NER. ArabicNLP Nancy Hamdan, Hadi Hamoud, Chadi Abou Chakra, Osama Rakan Al Mraikhat, Doha Albared, Fadi A. Zaraket
2023	—	`conf`	Arabic Topic Classification in the Generative and AutoML Era. ArabicNLP Doha Albared, Hadi Hamoud, Fadi A. Zaraket
2023	—	`conf`	DAVE: Differential Diagnostic Analysis Automation and Visualization from Clinical Notes. EACL (System Demonstrations) Hadi Hamoud, Fadi A. Zaraket, Chadi Abou Chakra, Mira Dankar
2023	C	`conf`	Lisan: Yemeni, Iraqi, Libyan, and Sudanese Arabic Dialect Corpora with Morphological Annotations. AICCSA Mustafa Jarrar, Fadi A. Zaraket, Tymaa Hammouda, Daanish Masood Alavi, Martin Wählisch
2023	J	`jnl`	Nabra: Syrian Arabic Dialects with Morphological Annotations. CoRR Amal Nayouf, Tymaa Hammouda, Mustafa Jarrar, Fadi A. Zaraket, Mohamad-Bassam Kurdy
2023	C	`conf`	Neonatal Video Database and Annotations for Vital Sign Extraction and Monitoring. ICPRAM Hussein Sharafeddin, Lama Charafeddine, Jamila Khalaf, Ibrahim Kanj, Fadi A. Zaraket
2023	—	`conf`	Nâbra: Syrian Arabic Dialects with Morphological Annotations. ArabicNLP Amal Nayouf, Tymaa Hammouda, Mustafa Jarrar, Fadi A. Zaraket, Mohamad-Bassam Kurdy
2022	B	`conf`	Curras + Baladi: Towards a Levantine Corpus. LREC Karim El Haff, Mustafa Jarrar, Tymaa Hammouda, Fadi A. Zaraket
2022	J	`jnl`	Curras + Baladi: Towards a Levantine Corpus. CoRR Karim El Haff, Mustafa Jarrar, Tymaa Hammouda, Fadi A. Zaraket
2022	J	`jnl`	Lisan: Yemeni, Iraqi, Libyan, and Sudanese Arabic Dialect Copora with Morphological Annotations. CoRR Mustafa Jarrar, Fadi A. Zaraket, Tymaa Hammouda, Daanish Masood Alavi, Martin Wählisch
2019	J	`jnl`	Diacritic-Based Matching of Arabic Words. ACM Trans. Asian Low Resour. Lang. Inf. Process. Mustafa Jarrar, Fadi A. Zaraket, Rami Asia, Hamzeh Amayreh
2019	J	`jnl`	From high-level modeling toward efficient and trustworthy circuits. Int. J. Softw. Tools Technol. Transf. Fadi A. Zaraket, Mohamad Jaber, Mohamad Noureddine, Yliès Falcone
2019	—	`conf`	P4AIG: Circuit-Level Verification of P4 Programs. DSN (Supplements) Mohammad A. Noureddine, Amanda Hsu, Matthew Caesar, Fadi A. Zaraket, William H. Sanders
2019	J	`jnl`	Verification at RTL Using Separation of Design Concerns. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Maya H. Safieddine, Fadi A. Zaraket, Rouwaida Kanj, Ali S. Elzein, Wolfgang Roesner
2018	J	`jnl`	Big Data Semantics. J. Data Semant. 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, Manuel Wimmer, Robert Wrembel, Fadi A. Zaraket
2018	—	`conf`	CFAAR: Control Flow Alteration to Assist Repair. ISSRE Workshops Chadi Trad, Rawad Abou Assi, Wes Masri, Fadi A. Zaraket
2018	J	`jnl`	CFAAR: Control Flow Alteration to Assist Repair. CoRR Chadi Trad, Rawad Abou Assi, Wes Masri, Fadi A. Zaraket
2018	J	`jnl`	Global and Local Deadlock Freedom in BIP. ACM Trans. Softw. Eng. Methodol. Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, Fadi A. Zaraket
2017	J	`jnl`	GUICop: Approach and toolset for specification-based GUI testing. Softw. Test. Verification Reliab. Dalal Hammoud, Fadi A. Zaraket, Wes Masri
2017	J	`jnl`	MERF: Morphology-based Entity and Relational Entity Extraction Framework for Arabic. CoRR Ameen Jaber, Fadi A. Zaraket
2016	—	`conf`	Automated FPGA implementations of BIP designs. SIES Maya H. Safieddine, Fadi A. Zaraket, Mohamad Jaber, Rouwaida Kanj, Mazen A. R. Saghir
2016	J	`jnl`	Coverage-Based Software Testing: Beyond Basic Test Requirements. Adv. Comput. Wes Masri, Fadi A. Zaraket
2016	J	`jnl`	GUICop: Approach and Toolset for Specification-based GUI Testing. CoRR Dalal Hammoud, Fadi A. Zaraket, Wes Masri
2016	J	`jnl`	Model Checking Software with First Order Logic Specifications Using AIG Solvers. IEEE Trans. Software Eng. Mohammad A. Noureddine, Fadi A. Zaraket
2016	J	`jnl`	UCov: a user-defined coverage criterion for test case intent verification. Softw. Test. Verification Reliab. Rawad Abou Assi, Wes Masri, Fadi A. Zaraket
2015	J	`jnl`	PBCOV: a property-based coverage criterion. Softw. Qual. J. Kassem Fawaz, Fadi A. Zaraket, Wes Masri, Hamza Harkous
2015	—	`conf`	Separation of concerns for hardware components of embedded systems in BIP. ISQED Maya H. Safieddine, Rouwaida Kanj, Fadi A. Zaraket, Ali S. Elzein, Mohamad Jaber
2014	J	`jnl`	From High-Level Modeling Towards Efficient and Trustworthy Circuits. CoRR Mohamad Jaber, Mohamad Noureddine, Fadi A. Zaraket
2014	—	`conf`	Minimum power broadcast trees subject to interference. ISWCS Rebal Al-Jurdi, Ghadi Sayegh, Hawraa Salami, Ibrahim C. Abou-Faycal, Fadi A. Zaraket
2014	J	`jnl`	Model Checking Software Programs with First Order Logic Specifications using AIG Solvers. CoRR Fadi A. Zaraket, Mohamad Noureddine
2014	—	`conf`	Reduction and Abstraction Techniques for BIP. FACS Mohamad Noureddine, Mohamad Jaber, Simon Bliudze, Fadi A. Zaraket
2014	J	`jnl`	Skill-based framework for optimal software project selection and resource allocation. Eur. J. Oper. Res. Fadi A. Zaraket, Majd Olleik, Ali A. Yassine
2014	J	`jnl`	Synthesis of Sequential Extended Regular Expressions for Verification. CoRR Mohamad Noureddine, Fadi A. Zaraket, Ali S. Elzein
2014	J	`jnl`	UCov: a User-Defined Coverage Criterion for Test Case Intent Verification. CoRR Rawad Abou Assi, Fadi A. Zaraket, Wes Masri
2013	—	`conf`	An Abstract Framework for Deadlock Prevention in BIP. FMOODS/FORTE Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, Fadi A. Zaraket
2013	—	`conf`	Coverage Specification for Test Case Intent Preservation in Regression Suites. ICST Workshops Elie Shaccour, Fadi A. Zaraket, Wes Masri
2013	—	`conf`	Does Principal Component Analysis Improve Cluster-Based Analysis? ICST Workshops Joan Farjo, Rawad Abou Assi, Wes Masri, Fadi A. Zaraket
2013	C	`conf`	MATAr: Morphology-based Tagger for Arabic. AICCSA Fadi A. Zaraket, Ameen Jaber
2013	J	`jnl`	Semantic Guidance and Feedback for the Construction of Specifications and Implementations CoRR Paul C. Attie, Fadi A. Zaraket, Mohammad Fawaz, Mohamad Noureddine
2013	J	`jnl`	Specification Construction Using Behaviours, Equivalences, and SMT Solvers. CoRR Paul C. Attie, Fadi A. Zaraket, Mohamad Noureddine, Farah El-Hariri
2012	Misc	`conf`	Arabic Cross-Document NLP for the Hadith and Biography Literature. FLAIRS Fadi A. Zaraket, Jad Makhlouta
2012	—	`conf`	Arabic Entity Graph Extraction Using Morphology, Finite State Machines, and Graph Transformations. CICLing (1) Jad Makhlouta, Fadi A. Zaraket, Hamza Harkous
2012	—	`conf`	Arabic Morphological Analyzer with Agglutinative Affix Morphemes and Fusional Concatenation Rules. COLING (Demos) Fadi A. Zaraket, Jad Makhlouta
2012	A	`conf`	Enhancing Fault Localization via Multivariate Visualization. ICST Wes Masri, Rawad Abou Assi, Fadi A. Zaraket, Nour Fatairi
2012	A	`conf`	GUICOP: Specification-Based GUI Testing. ICST Fadi A. Zaraket, Wes Masri, Marc Adam, Dalal Hammoud, Raghd Hamzeh, Raja Farhat, Elie Khamissi, Joseph Noujaim
2012	Misc	`conf`	Portable Parallel Programs using architecture-aware libraries. SAC Fadi A. Zaraket, Mohamad Noureddine, Mohamed Sabra, Ameen Jaber
2011	—	`conf`	Mathifier - Speech recognition of math equations. ICECS Salim N. Batlouni, Hala S. Karaki, Fadi A. Zaraket, Fadi N. Karameh
2007	B	`conf`	Global Optimization of Compositional Systems. FMCAD Fadi A. Zaraket, John Pape, Adnan Aziz, Margarida F. Jacome, Sarfraz Khurshid
2007	A*	`conf`	Sequential Circuits for Relational Analysis. ICSE Fadi A. Zaraket, Adnan Aziz, Sarfraz Khurshid
2007	A*	`conf`	Sequential circuits for program analysis. ASE Fadi A. Zaraket, Adnan Aziz, Sarfraz Khurshid
2005	A	`conf`	Scalable compositional minimization via static analysis. ICCAD Fadi A. Zaraket, Jason Baumgartner, Adnan Aziz