**This is an old revision of the document!**

Work under progress

The following is a list of mature projects that we are working on. Some of them are already available in a technical report form under Arxiv.

Specification Construction Using Behaviours, Equivalences, and SMT Solvers.

Paul C. Attie, Fadi A. Zaraket

target: to be submitted to TOSEM.

RTL-Level Verification Using Separation of Design Concerns

Maya H. Safieddine, Fadi A. Zaraket, Rouwaida Kanj, Ali El-Zein, and Wolfgang Roesner

target: to be submitted to TCAD.

Lebanese Biomedical Corpora: Annotating Biomedical Texts for their Constitutive Elements

Ali Alawieh, Zahraa Sabra, Amani Jaber, Zaynab Hammoud, Ghassan Hamade, Fadi A. Zaraket

target: submit to BMC Bioinformatics.

Flexibility-based Scheduling for Smart Grids/Smart Homes Power Management

Kim Baraka, Rouwaida Kanj, Fadi A. Zaraket

target: to be submitted to transactions on smart grid systems.


  • 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, Ameen Jaber, MERF: Morphology-based Entity and Relational Entity Extraction Framework for Arabic. Language Resources and Evaluation (LRE).
progress.1517836955.txt.gz · Last modified: 2018/02/05 15:22 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