List of publications

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
Other mature work in progress

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. 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.

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, 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

P. Ceravolo , A. Azzini, M. Angelini, T. Catarci, P. Cudre-Mauroux, E. Damiani, A. Mazak, M. Van Keulen, M. Jarrar, G. Santucci, M. Scannapieco, K. Sattler, M. Wimmer, R. Wrembel and F. A. Zaraket, “Big Data Semantics”, Journal on Data Semantics (2018) === Medical applications ===

* Ali Alawieh, Zahraa Sabra, E. Farris Langley, Abdul Rahman Bizri, Randa Hamadeh and Fadi A. Zaraket, “Assessing the impact of the Lebanese National Polio Immunization Campaign using a population-based computational model”, BMC Public Health, November 2017
Ali Alawieh, Zahraa Sabra, Mohammed Sabra, Stephen Tomlinson, and Fadi A. Zaraket, A Rich-Club Organization in Brain Ischemia Protein Interaction Network. Scientific reports. Aug 2015.
Ali Alawieh, Mohammed Sabra, Zahraa Sabra, Stephen Tomlinson, and Fadi A. Zaraket, Molecular Architecture of Spinal Cord Injury Protein Interaction Network. PLOS One. 10(8), August 2015.
Ali Alawieh, Zahraa Sabra, Abdul Rahman Bizri, Christopher Davies, Roger White, F. Zaraket, A computational model to monitor and predict trends in bacterial resistance. Journal of Global Antimicrobial Resistance. Available online June 2015.
Ali Alawieh, Zahraa Sabra, Mohammed Sabra, and Fadi Zaraket. Novel Bioinformatics Approach Reveals Pathogenic Mechanisms in Cerebral Ischemia - A Step towards Pre-clinical Stroke Information Management System, International Stroke Conference, February 2015, Nashville TN,Poster session.
Ali Alawieh, Zahraa Sabra, Mohammed Sabra, Stephen Tomlinson and Fadi Zaraket. A Rich-club Organization of the Brain Ischemic meta-Proteome: Understanding Stroke Pathogenesis and Therapy Using Graph Theory. Perry V. Halushka Annual Research Day Meeting 2014. Charleston, South Carolina.
A. Alawieh, F. Zaraket, Jian-Liang Li, A. Nokkari, M. Razafsha, B. Fadlallah, S. Mondello, R. Boustany, F. Kobeissy Systems Biology, Bioinformatics and Biomarkers in Neuropsychiatry, Frontiers Journal in Systems Biology, 2012.

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 Afﬁx 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

F. Zaraket, M. Olleik, A. Yassine. Skill-based Framework for Optimal Software Project Selection and Resource Allocation, European Journal of Operational Research, April 2014.

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

S. Batlouni, H. Karaki, F. Zaraket, F. Karameh, Mathifier: Speech Recognition of Math Equations, IEEE International Conference on Electronics, Circuits and Systems (ICECS 2011), Beirut. December 2011.pdf

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.