Fadi A. Zaraket

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 22

Top Topics

Arabic Language

Inter Annotator Agreement

Morphological Analysis

Top Venues

Softw. Test. Verification Reliab.

ACM Trans. Asian Low Resour. Lang. Inf. Process.

Publications

Amal Nayouf, Tymaa Hammouda, Mustafa Jarrar, Fadi A. Zaraket, Mohamad-Bassam Kurdy
Nâbra: Syrian Arabic Dialects with Morphological Annotations. ArabicNLP (2023)
Hussein Sharafeddin, Lama Charafeddine, Jamila Khalaf, Ibrahim Kanj, Fadi A. Zaraket
Neonatal Video Database and Annotations for Vital Sign Extraction and Monitoring. ICPRAM (2023)
Mustafa Jarrar, Fadi A. Zaraket, Tymaa Hammouda, Daanish Masood Alavi, Martin Wählisch
Lisan: Yemeni, Iraqi, Libyan, and Sudanese Arabic Dialect Corpora with Morphological Annotations. AICCSA (2023)
Amal Nayouf, Tymaa Hammouda, Mustafa Jarrar, Fadi A. Zaraket, Mohamad-Bassam Kurdy
Nabra: Syrian Arabic Dialects with Morphological Annotations. CoRR (2023)
Mustafa Jarrar, Fadi A. Zaraket, Tymaa Hammouda, Daanish Masood Alavi, Martin Waahlisch
Lisan: Yemeni, Iraqi, Libyan, and Sudanese Arabic Dialect Copora with Morphological Annotations. CoRR (2022)
Karim El Haff, Mustafa Jarrar, Tymaa Hammouda, Fadi A. Zaraket
Curras + Baladi: Towards a Levantine Corpus. CoRR (2022)
Karim Al-Haff, Mustafa Jarrar, Tymaa Hammouda, Fadi A. Zaraket
Curras + Baladi: Towards a Levantine Corpus. LREC (2022)
Maya H. Safieddine, Fadi A. Zaraket, Rouwaida Kanj, Ali S. Elzein, Wolfgang Roesner
Verification at RTL Using Separation of Design Concerns. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 38 (8) (2019)
Mustafa Jarrar, Fadi A. Zaraket, Rami Asia, Hamzeh Amayreh
Diacritic-Based Matching of Arabic Words. ACM Trans. Asian Low Resour. Lang. Inf. Process. 18 (2) (2019)
Fadi A. Zaraket, Mohamad Jaber, Mohamad Noureddine, Yliès Falcone
From high-level modeling toward efficient and trustworthy circuits. Int. J. Softw. Tools Technol. Transf. 21 (2) (2019)
Mohammad A. Noureddine, Amanda Hsu, Matthew Caesar, Fadi A. Zaraket, William H. Sanders
P4AIG: Circuit-Level Verification of P4 Programs. DSN (Supplements) (2019)
Chadi Trad, Rawad Abou Assi, Wes Masri, Fadi A. Zaraket
CFAAR: Control Flow Alteration to Assist Repair. CoRR (2018)
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
Big Data Semantics. J. Data Semant. 7 (2) (2018)
Chadi Trad, Rawad Abou Assi, Wes Masri, Fadi A. Zaraket
CFAAR: Control Flow Alteration to Assist Repair. ISSRE Workshops (2018)
Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, Fadi A. Zaraket
Global and Local Deadlock Freedom in BIP. ACM Trans. Softw. Eng. Methodol. 26 (3) (2018)
Ameen Jaber, Fadi A. Zaraket
MERF: Morphology-based Entity and Relational Entity Extraction Framework for Arabic. CoRR (2017)
Dalal Hammoud, Fadi A. Zaraket, Wes Masri
GUICop: Approach and toolset for specification-based GUI testing. Softw. Test. Verification Reliab. 27 (8) (2017)
Maya H. Safieddine, Fadi A. Zaraket, Mohamad Jaber, Rouwaida Kanj, Mazen A. R. Saghir
Automated FPGA implementations of BIP designs. SIES (2016)
Rawad Abou Assi, Wes Masri, Fadi A. Zaraket
UCov: a user-defined coverage criterion for test case intent verification. Softw. Test. Verification Reliab. 26 (6) (2016)
Mohammad A. Noureddine, Fadi A. Zaraket
Model Checking Software with First Order Logic Specifications Using AIG Solvers. IEEE Trans. Software Eng. 42 (8) (2016)
Wes Masri, Fadi A. Zaraket
Coverage-Based Software Testing: Beyond Basic Test Requirements. Adv. Comput. 103 (2016)
Dalal Hammoud, Fadi A. Zaraket, Wes Masri
GUICop: Approach and Toolset for Specification-based GUI Testing. CoRR (2016)
Maya H. Safieddine, Rouwaida Kanj, Fadi A. Zaraket, Ali S. Elzein, Mohamad Jaber
Separation of concerns for hardware components of embedded systems in BIP. ISQED (2015)
Kassem Fawaz, Fadi A. Zaraket, Wes Masri, Hamza Harkous
PBCOV: a property-based coverage criterion. Softw. Qual. J. 23 (1) (2015)
Fadi A. Zaraket, Mohamad Noureddine
Model Checking Software Programs with First Order Logic Specifications using AIG Solvers. CoRR (2014)
Mohamad Noureddine, Mohamad Jaber, Simon Bliudze, Fadi A. Zaraket
Reduction and Abstraction Techniques for BIP. FACS (2014)
Mohamad Jaber, Mohamad Noureddine, Fadi A. Zaraket
From High-Level Modeling Towards Efficient and Trustworthy Circuits. CoRR (2014)
Rebal Al-Jurdi, Ghadi Sayegh, Hawraa Salami, Ibrahim C. Abou-Faycal, Fadi A. Zaraket
Minimum power broadcast trees subject to interference. ISWCS (2014)
Rawad Abou Assi, Fadi A. Zaraket, Wes Masri
UCov: a User-Defined Coverage Criterion for Test Case Intent Verification. CoRR (2014)
Fadi A. Zaraket, Majd Olleik, Ali A. Yassine
Skill-based framework for optimal software project selection and resource allocation. Eur. J. Oper. Res. 234 (1) (2014)
Mohamad Noureddine, Fadi A. Zaraket, Ali S. Elzein
Synthesis of Sequential Extended Regular Expressions for Verification. CoRR (2014)
Joan Farjo, Rawad Abou Assi, Wes Masri, Fadi A. Zaraket
Does Principal Component Analysis Improve Cluster-Based Analysis? ICST Workshops (2013)
Elie Shaccour, Fadi A. Zaraket, Wes Masri
Coverage Specification for Test Case Intent Preservation in Regression Suites. ICST Workshops (2013)
Paul C. Attie, Fadi A. Zaraket, Mohamad Noureddine, Farah El-Hariri
Specification Construction Using Behaviours, Equivalences, and SMT Solvers. CoRR (2013)
Paul C. Attie, Fadi A. Zaraket, Mohammad Fawaz, Mohamad Noureddine
Semantic Guidance and Feedback for the Construction of Specifications and Implementations CoRR (2013)
Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, Fadi A. Zaraket
An Abstract Framework for Deadlock Prevention in BIP. FMOODS/FORTE (2013)
Fadi A. Zaraket, Ameen Jaber
MATAr: Morphology-based Tagger for Arabic. AICCSA (2013)
Fadi A. Zaraket, Jad Makhlouta
Arabic Cross-Document NLP for the Hadith and Biography Literature. FLAIRS Conference (2012)
Jad Makhlouta, Fadi A. Zaraket, Hamza Harkous
Arabic Entity Graph Extraction Using Morphology, Finite State Machines, and Graph Transformations. CICLing (1) (2012)
Fadi A. Zaraket, Jad Makhlouta
Arabic Morphological Analyzer with Agglutinative Affix Morphemes and Fusional Concatenation Rules. COLING (Demos) (2012)
Wes Masri, Rawad Abou Assi, Fadi A. Zaraket, Nour Fatairi
Enhancing Fault Localization via Multivariate Visualization. ICST (2012)
Fadi A. Zaraket, Mohamad Noureddine, Mohamed Sabra, Ameen Jaber
Portable Parallel Programs using architecture-aware libraries. SAC (2012)
Fadi A. Zaraket, Wes Masri, Marc Adam, Dalal Hammoud, Raghd Hamzeh, Raja Farhat, Elie Khamissi, Joseph Noujaim
GUICOP: Specification-Based GUI Testing. ICST (2012)
Salim N. Batlouni, Hala S. Karaki, Fadi A. Zaraket, Fadi N. Karameh
Mathifier - Speech recognition of math equations. ICECS (2011)
Fadi A. Zaraket, Adnan Aziz, Sarfraz Khurshid
Sequential Circuits for Relational Analysis. ICSE (2007)
Fadi A. Zaraket, Adnan Aziz, Sarfraz Khurshid
Sequential circuits for program analysis. ASE (2007)
Fadi A. Zaraket, John Pape, Adnan Aziz, Margarida F. Jacome, Sarfraz Khurshid
Global Optimization of Compositional Systems. FMCAD (2007)
Fadi A. Zaraket, Jason Baumgartner, Adnan Aziz
Scalable compositional minimization via static analysis. ICCAD (2005)