List of publications

Under review

  • Ali Alawieh, Zahraa Sabra, Amani Jaber, Hussein Hayek, Fadi Zaraket, and Ghassan Hamadeh, “MENA-AMTC: Middle East and North Africa Annotated Medical Text Corpora”, BMC Bioinformatics
  • Mustafa Jarrar,Fadi zaraket, Rami Asia, HamZeh Amayreh, “Diacritic-Based Matching of Arabic Words”, ACM Transactions on TALLIP

Book chapters

  • W. Masri and F. A. Zaraket. “Software Testing: Going Beyond Basic Code Coverage Criteria”. In: Advances in Computers. Vol. 103. Elsevier, 2016. Chap.
  • A. Alawieh, Z. Sabra, A. Nokkari, A. El-Assaad, S. Mondello, F. A. Zaraket, B. Fadlallah, and F. H. Kobeissy. “Bioinformatics approach to understanding interacting pathways in neuropsychiatric disorders”. In: Clinical Bioinformatics. Vol. 1168. Springer-Human Press, 2014. Chap. 9. online

Logic synthesis and verification

Software verification

  • P. Attie, S. Bensalem, M. Bozga, M. Jaber, J. Sifakis, and F. A. Zaraket, Global and Local Deadlock Freedom in BIP. ACM Transactions on Software Engineering and Methodology (TOSEM), Jan. 2018. ( pdf).
  • Dalal Hammoud, Fadi A. Zaraket, GUICop: Approach and Toolset for Specification-based GUI Testing. Software Testing, Verification and Reliability (2017).( pdf).
  • Fadi A. Zaraket, Mohamad Jaber, Mohamad Noureddine, Ylie's Falcone, From High-Level Modeling Towards Efficient and Trustworthy Circuits (arxiv). Software Tools for Technology Transfer, (STTT) 2016.
  • Rawad Abou Assi, Wes Masri, and Fadi Zaraket, UCov: A User-Defined Coverage Criterion for Test Case Intent Verification ( pdf). Journal of Software Testing, Verification and Reliability (STVR). May 2016.
  • M. Noureddine, F. A. Zaraket, Model Checking Software with First Order Logic Specifications using AIG Solvers( link). Transactions on Software Engineering. Jan 2016.
  • F. Zaraket, W. Masri, M. Adam, D. Hammoud, R. Hamzeh, R. Farhat, E. Khamissi, J. Noujaim. GUICOP: Specification-Based GUI Testing. (ICST Workshops, 2012), Fifth International Conference on Software Testing, Verification and Validation, Montreal, QC, Canada, April 2012.
  • F. Zaraket, A. Aziz, and S. Khurshid. Sequential circuits for program analysis, Automated Software Engineering, Atlanta GA, 2007.
  • F. Zaraket, A. Aziz, and S. Khurshid. Sequential circuits for relational analysis, International Conference on Software Engineering, Minneapolis MN, 2007.
  • F. Zaraket, A. Aziz, and S. Khurshid. Applying a sequential circuit solver to Alloy, First ACM Alloy Workshop . Portland, Oregon, November 2006.

System verification (embedded and hardware systems)

  • M.H. Safieddine, F.A. Zaraket, R. Kanj, A. El-Zein, and W. Roesner, “RTL-Level Verification Using Separation of Design Concerns”, IEEE Transactions on Computer Aided Design (accepted), May 2018
  • M. H. Safieddine, F. A. Zaraket, M. Jaber, R. Kanj, M. A. R. Saghir. Automated FPGA Implementations of BIP Designs, IEEE International Symposium on Industrial Embedded Systems (SIES), Krakow, Poland, May 2016.
  • M. Safieddine, F. Zaraket, R. Kanj, A. Elzein, and W. Rosner. Methodology for Separation of Design Concerns Using Conservative RTL Flipflop Inference, DVCon, San Jose, CA, March, 2015.
  • M. Safieddine, F. Zaraket, R. Kanj, A. Elzein, and M. Jaber. Separation of Concerns for Hardware Components of Embedded Systems in BIP, ISQED, Santa Clara, CA, March, 2015.
  • F. Zaraket, J. Pape, A. Aziz, M. Jacome, and S. Khurshid. Global optimization of compositional systems, Formal Methods on Computer Aided Designs, Austin TX, 2007.
  • F. Zaraket, J. Baumgartner, A. Aziz. Compositional minimization via static analysis, International Conference on Computer Aided Design, San Jose CA, 2005.

Information Extraction / entity and relation extraction using NLP and graph theory

Computational Arabic / Arabic natural language processing

  • F. Zaraket, A. Jaber. MATAr: Morphology-based Tagger for Arabic. (AICCSA 2013). The 10th ACS/IEEE International conference on computer systems and applications, Fes/Ifrane, Morocco, May 2013.
  • F. Zaraket, J. Makhlouta. Arabic Morphological Analyzer with Agglutinative Affix Morphemes and Fusional Concatenation Rules. (COLING 2012) 24th International Conference on Computational Linguistics, Mumbai, India, December 2012.
  • J. Makhlouta, H. Harkous, and F. Zaraket. Arabic Entity Graph Extraction using Morphology, Finite State Machines, and Graph Transformations. (CICLing 2012) 13th International Conference on Intelligent Text Processing and Computational Linguistics, New Delhi, India, March 2012.
  • J. Makhlouta, and F. Zaraket. Arabic Cross-Document NLP for the Hadith and Biography Literature. (FLAIRS-ANLP 2012) 25th International Florida artificial intelligence research society conference, Applied natural language processing track. May 2012.
  • J. Makhlouta, and F. Zaraket. Arabic Temporal Entity Extraction using Morphological Analysis. International journal of computational linguistics and applications. June 2012.

Other interdisciplinary work with students and other professors

  • R. El-Jurdi, G. Sayegh, H. Salami, I. Abou-Faycal, F. Zaraket. Minimum Power Broadcast Trees Subject to Interference. ISWCS Oct. 2014.


This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

publications.txt · Last modified: 2020/07/13 12:31 (external edit)
Except where otherwise noted, content on this wiki is licensed under the following license:CC Attribution-Noncommercial-Share Alike 3.0 Unported
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki