Fadi A Zaraket
Cited by
Cited by
Big data semantics
P Ceravolo, A Azzini, M Angelini, T Catarci, P Cudré-Mauroux, E Damiani, ...
Journal on Data Semantics 7, 65-85, 2018
Systems biology, bioinformatics, and biomarkers in neuropsychiatry
A Alawieh, FA Zaraket, JL Li, S Mondello, A Nokkari, M Razafsha, ...
Frontiers in Neuroscience 6, 187, 2012
Curras+ baladi: Towards a levantine corpus
KE Haff, M Jarrar, T Hammouda, F Zaraket
arXiv preprint arXiv:2205.09692, 2022
Reduction and abstraction techniques for BIP
M Noureddine, M Jaber, S Bliudze, FA Zaraket
Formal Aspects of Component Software: 11th International Symposium, FACS …, 2015
Mathifier—Speech recognition of math equations
SN Batlouni, HS Karaki, FA Zaraket, FN Karameh
2011 18th IEEE International Conference on Electronics, Circuits, and …, 2011
Arabic entity graph extraction using morphology, finite state machines, and graph transformations
J Makhlouta, F Zaraket, H Harkous
Computational Linguistics and Intelligent Text Processing: 13th …, 2012
Sequential circuits for relational analysis
F Zaraket, A Aziz, S Khurshid
29th International Conference on Software Engineering (ICSE'07), 13-22, 2007
Arabic morphological analyzer with agglutinative affix morphemes and fusional concatenation rules
F Zaraket, J Makhlouta
Proceedings of COLING 2012: Demonstration Papers, 517-526, 2012
Lisan: Yemeni, Iraqi, Libyan, and Sudanese Arabic dialect corpora with morphological annotations
M Jarrar, FA Zaraket, T Hammouda, DM Alavi, M Wählisch
2023 20th ACS/IEEE International Conference on Computer Systems and …, 2023
Scalable compositional minimization via static analysis
F Zaraket, J Baumgartner, A Aziz
ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005 …, 2005
Global and local deadlock freedom in BIP
PC Attie, S Bensalem, M Bozga, M Jaber, J Sifakis, FA Zaraket
ACM Transactions on Software Engineering and Methodology (TOSEM) 26 (3), 1-48, 2018
Model checking software with first order logic specifications using AIG solvers
MA Noureddine, FA Zaraket
IEEE Transactions on Software Engineering 42 (8), 741-763, 2016
Co-optimization of embedded systems utilizing symbolic execution
AS El-Zein, FA Zaraket
US Patent 8,234,604, 2012
Coverage specification for test case intent preservation in regression suites
E Shaccour, F Zaraket, W Masri
2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013
Lisan: Yemeni, Iraqi, Libyan, and Sudanese Arabic Dialect Corpora with Morphological Annotations. The 20th ACS
M Jarrar, F Zaraket, T Hammouda, D Masood, M Waehlisch
IEEE International Conference on Computer Systems and Applications (AICCSA …, 2023
Assessing the impact of the Lebanese National Polio Immunization Campaign using a population-based computational model
A Alawieh, Z Sabra, EF Langley, AR Bizri, R Hamadeh, FA Zaraket
BMC Public Health 17, 1-11, 2017
MATAR: Morphology-based tagger for arabic
FA Zaraket, A Jaber
2013 ACS International Conference on Computer Systems and Applications …, 2013
Verification at RTL using separation of design concerns
MH Safieddine, FA Zaraket, R Kanj, A El-Zein, W Roesner
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2018
Methodology for separation of design concerns using conservative RTL Flipflop inference
MH Safieddine, FA Zaraket, R Kanj, A Elzein, W Roezner
Proc. DVCon, 1-8, 2015
PBCOV: a property-based coverage criterion
K Fawaz, F Zaraket, W Masri, H Harkous
Software Quality Journal 23, 171-202, 2015
The system can't perform the operation now. Try again later.
Articles 1–20