Fadi A. Zaraket

According to our database, Fadi A. Zaraket authored at least 43 papers between 2005 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Nâbra: Syrian Arabic Dialects with Morphological Annotations.

Amal Nayouf, Tymaa Hammouda, Mustafa Jarrar, Fadi A. Zaraket, Mohamad-Bassam Kurdy

Proceedings of ArabicNLP 2023, Singapore (Hybrid), December 7, 2023, 2023

Neonatal Video Database and Annotations for Vital Sign Extraction and Monitoring.

Hussein Sharafeddin, Lama Charafeddine, Jamila Khalaf, Ibrahim Kanj, Fadi A. Zaraket

Proceedings of the 12th International Conference on Pattern Recognition Applications and Methods, 2023

Lisan: Yemeni, Iraqi, Libyan, and Sudanese Arabic Dialect Corpora with Morphological Annotations.

Mustafa Jarrar, Fadi A. Zaraket, Tymaa Hammouda, Daanish Masood Alavi, Martin Wählisch

Proceedings of the 20th ACS/IEEE International Conference on Computer Systems and Applications, 2023

2022

Lisan: Yemeni, Iraqi, Libyan, and Sudanese Arabic Dialect Copora with Morphological Annotations.

Mustafa Jarrar, Fadi A. Zaraket, Tymaa Hammouda, Daanish Masood Alavi, Martin Wählisch

CoRR, 2022

Curras + Baladi: Towards a Levantine Corpus.

Karim El Haff, Mustafa Jarrar, Tymaa Hammouda, Fadi A. Zaraket

Proceedings of the Thirteenth Language Resources and Evaluation Conference, 2022

2019

Verification at RTL Using Separation of Design Concerns.

Maya H. Safieddine, Fadi A. Zaraket, Rouwaida Kanj, Ali S. Elzein, Wolfgang Roesner

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019

Diacritic-Based Matching of Arabic Words.

Mustafa Jarrar, Fadi A. Zaraket, Rami Asia, Hamzeh Amayreh

ACM Trans. Asian Low Resour. Lang. Inf. Process., 2019

From high-level modeling toward efficient and trustworthy circuits.

Fadi A. Zaraket, Mohamad Jaber, Mohamad Noureddine, Yliès Falcone

Int. J. Softw. Tools Technol. Transf., 2019

P4AIG: Circuit-Level Verification of P4 Programs.

Mohammad A. Noureddine, Amanda Hsu, Matthew Caesar, Fadi A. Zaraket, William H. Sanders

Proceedings of the 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2019

2018

Global and Local Deadlock Freedom in BIP.

Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, Fadi A. Zaraket

ACM Trans. Softw. Eng. Methodol., 2018

Big Data Semantics.

Paolo Ceravolo, Antonia Azzini, Marco Angelini, Tiziana Catarci, Philippe Cudré-Mauroux, Ernesto Damiani, Alexandra Mazak, Maurice van Keulen, Mustafa Jarrar, Giuseppe Santucci, Kai-Uwe Sattler, Monica Scannapieco, Manuel Wimmer, Robert Wrembel, Fadi A. Zaraket

J. Data Semant., 2018

CFAAR: Control Flow Alteration to Assist Repair.

Chadi Trad, Rawad Abou Assi, Wes Masri, Fadi A. Zaraket

Proceedings of the 2018 IEEE International Symposium on Software Reliability Engineering Workshops, 2018

2017

GUICop: Approach and toolset for specification-based GUI testing.

Dalal Hammoud, Fadi A. Zaraket, Wes Masri

Softw. Test. Verification Reliab., 2017

MERF: Morphology-based Entity and Relational Entity Extraction Framework for Arabic.

Ameen Jaber, Fadi A. Zaraket

CoRR, 2017

2016

Model Checking Software with First Order Logic Specifications Using AIG Solvers.

Mohammad A. Noureddine, Fadi A. Zaraket

IEEE Trans. Software Eng., 2016

UCov: a user-defined coverage criterion for test case intent verification.

Rawad Abou Assi, Wes Masri, Fadi A. Zaraket

Softw. Test. Verification Reliab., 2016

Coverage-Based Software Testing: Beyond Basic Test Requirements.

Wes Masri, Fadi A. Zaraket

Adv. Comput., 2016

Automated FPGA implementations of BIP designs.

Maya H. Safieddine, Fadi A. Zaraket, Mohamad Jaber, Rouwaida Kanj, Mazen A. R. Saghir

Proceedings of the 11th IEEE Symposium on Industrial Embedded Systems, 2016

2015

PBCOV: a property-based coverage criterion.

Kassem Fawaz, Fadi A. Zaraket, Wes Masri, Hamza Harkous

Softw. Qual. J., 2015

Separation of concerns for hardware components of embedded systems in BIP.

Maya H. Safieddine, Rouwaida Kanj, Fadi A. Zaraket, Ali S. Elzein, Mohamad Jaber

Proceedings of the Sixteenth International Symposium on Quality Electronic Design, 2015

2014

Skill-based framework for optimal software project selection and resource allocation.

Fadi A. Zaraket, Majd Olleik, Ali A. Yassine

Eur. J. Oper. Res., 2014

Model Checking Software Programs with First Order Logic Specifications using AIG Solvers.

Fadi A. Zaraket, Mohamad Noureddine

CoRR, 2014

Synthesis of Sequential Extended Regular Expressions for Verification.

Mohamad Noureddine, Fadi A. Zaraket, Ali S. Elzein

CoRR, 2014

From High-Level Modeling Towards Efficient and Trustworthy Circuits.

Mohamad Jaber, Mohamad Noureddine, Fadi A. Zaraket

CoRR, 2014

Minimum power broadcast trees subject to interference.

Rebal Al-Jurdi, Ghadi Sayegh, Hawraa Salami, Ibrahim C. Abou-Faycal, Fadi A. Zaraket

Proceedings of the 11th International Symposium on Wireless Communications Systems, 2014

Reduction and Abstraction Techniques for BIP.

Mohamad Noureddine, Mohamad Jaber, Simon Bliudze, Fadi A. Zaraket

Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014

2013

Semantic Guidance and Feedback for the Construction of Specifications and Implementations

Paul C. Attie, Fadi A. Zaraket, Mohammad Fawaz, Mohamad Noureddine

CoRR, 2013

Specification Construction Using Behaviours, Equivalences, and SMT Solvers.

Paul C. Attie, Fadi A. Zaraket, Mohamad Noureddine, Farah El-Hariri

CoRR, 2013

Coverage Specification for Test Case Intent Preservation in Regression Suites.

Elie Shaccour, Fadi A. Zaraket, Wes Masri

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Does Principal Component Analysis Improve Cluster-Based Analysis?

Joan Farjo, Rawad Abou Assi, Wes Masri, Fadi A. Zaraket

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

An Abstract Framework for Deadlock Prevention in BIP.

Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, Fadi A. Zaraket

Proceedings of the Formal Techniques for Distributed Systems, 2013

MATAr: Morphology-based Tagger for Arabic.

Fadi A. Zaraket, Ameen Jaber

Proceedings of the ACS International Conference on Computer Systems and Applications, 2013

2012

Portable Parallel Programs using architecture-aware libraries.

Fadi A. Zaraket, Mohamad Noureddine, Mohamed Sabra, Ameen Jaber

Proceedings of the ACM Symposium on Applied Computing, 2012

GUICOP: Specification-Based GUI Testing.

Fadi A. Zaraket, Wes Masri, Marc Adam, Dalal Hammoud, Raghd Hamzeh, Raja Farhat, Elie Khamissi, Joseph Noujaim

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Enhancing Fault Localization via Multivariate Visualization.

Wes Masri, Rawad Abou Assi, Fadi A. Zaraket, Nour Fatairi

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Arabic Cross-Document NLP for the Hadith and Biography Literature.

Fadi A. Zaraket, Jad Makhlouta

Proceedings of the Twenty-Fifth International Florida Artificial Intelligence Research Society Conference, 2012

Arabic Morphological Analyzer with Agglutinative Affix Morphemes and Fusional Concatenation Rules.

Fadi A. Zaraket, Jad Makhlouta

Proceedings of the COLING 2012, 2012

Arabic Entity Graph Extraction Using Morphology, Finite State Machines, and Graph Transformations.

Jad Makhlouta, Fadi A. Zaraket, Hamza Harkous

Proceedings of the Computational Linguistics and Intelligent Text Processing, 2012

2011

Mathifier - Speech recognition of math equations.

Salim N. Batlouni, Hala S. Karaki, Fadi A. Zaraket, Fadi N. Karameh

Proceedings of the 18th IEEE International Conference on Electronics, Circuits and Systems, 2011

2007

Sequential circuits for program analysis.

Fadi A. Zaraket, Adnan Aziz, Sarfraz Khurshid

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Sequential Circuits for Relational Analysis.

Fadi A. Zaraket, Adnan Aziz, Sarfraz Khurshid

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Global Optimization of Compositional Systems.

Fadi A. Zaraket, John Pape, Adnan Aziz, Margarida F. Jacome, Sarfraz Khurshid

Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007

2005

Scalable compositional minimization via static analysis.

Fadi A. Zaraket, Jason Baumgartner, Adnan Aziz

Proceedings of the 2005 International Conference on Computer-Aided Design, 2005