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.

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.

Reports