List of publications

Under review

  • Fadi A. Zaraket, Ameen Jaber, Jad Makhlouta, Sarf: Efficient and Application Customizable Arabic Morphological Analyzer. Natural Language Engineering (NLE). (Revise and resubmit).
  • 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. (major revision)
  • Dalal Hammoud, Fadi A. Zaraket, GUICop: Approach and Toolset for Specification-based GUI Testing. Software Testing, Verification and Reliability (2016). (major revision).
  • Fadi A. Zaraket, Ameen Jaber, MERF: Morphology-based Entity and Relational Entity Extraction Framework for Arabic. Language Resources and Evaluation (LRE).
  • Mustafa Jarrar, Fadi A. Zaraket, and Rami Asia. “Diacritic-Aware Arabic Word Matching”. International Arab Journal of Information Technology (IAJIT) (2016). under review.

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. 4.online
  • 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. 2017, accepted with minor revisions. ( pdf).
  • 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). (accepted). May 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). (accepted). May 2016.
  • M. Noureddine, F. A. Zaraket, Model Checking Software with First Order Logic Specifications using AIG Solvers( link). Transactions on Software Engineering. (accepted). Jan 2016.
  • S. Bliudze, M. Jaber, M. Noureddine, F. Zaraket: Reduction and Abstraction Techniques for BIP. Formal Aspects on Component Software. Bertinoro, Italy, September 2014.
  • K. Fawaz, F. Zaraket, W. Masri, H. Harkous. PBCOV: a property-based coverage criterion. Software Quality Journal. Feb 2015. (Springer).
  • P. C. Attie, S. Bensalem, M. Bozga, M. Jaber, J. Sifakis, F. Zaraket. An Abstract Framework for Deadlock Prevention in BIP. (FMOODS/FORTE 2013), Florence, Italy, June 2013.
  • E. Shaccour, F. Zaraket, W. Masri. Coverage Specification for Test Case Intent Preservation in Regression Suites. (ICST Regression Workshop, 2013) International Conference on Software Testing, Verification and Validation, Luxembourg, March 2013.
  • J. Farjo, R. Abou Assi, W. Masri, and F. Zaraket. Does Principal Component Analysis Improve Cluster-Based Analysis?. (ICST Regression Workshop, 2013) International Conference on Software Testing, Verification and Validation, Luxembourg, March 2013.
  • 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.
  • W. Masri, R. Abou-Assi, F. Zaraket, N. Fatairi. Enhancing Fault Localization via Multivariate Visualization, (ICST 2012), Fifth International Conference on Software Testing, Verification and Validation, Montreal, QC, Canada, April 2012.
  • F. Zaraket, M. Noureddine, M. Sabra, A. Jaber. Portable Parallel Programs using Architecture-aware Libraries. ACM 27th Symposium on Applied Computing (SAC 2012), Trento, Italy, March 2012.
  • F. Zaraket, W. Masri. Property based coverage criterion, 2nd International Workshop on Defects in Large Software Systems (DEFECTS 09), Chicago, IL, 2009.
  • 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, 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

Medical applications

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.

Disclaimer

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: 2017/01/31 15:02 by fadi
 
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