The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Fadi A. Zaraket" ( http://dblp.L3S.de/Authors/Fadi_A._Zaraket )

  Author page on DBLP  Author page in RDF  Community of Fadi A. Zaraket in ASPL-2

Publication years (Num. hits)
2005-2013 (17) 2014-2017 (16) 2018-2019 (8)
Publication types (Num. hits)
article(20) inproceedings(21)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 4 occurrences of 4 keywords

Results
Found 42 publication records. Showing 41 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Mustafa Jarrar, Fadi A. Zaraket, Rami Asia, Hamzeh Amayreh Diacritic-Based Matching of Arabic Words. Search on Bibsonomy ACM Trans. Asian & Low-Resource Lang. Inf. Process. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Maya H. Safieddine, Fadi A. Zaraket, Rouwaida Kanj, Ali S. Elzein, Wolfgang Roesner Verification at RTL Using Separation of Design Concerns. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Fadi A. Zaraket, Mohamad Jaber, Mohamad Noureddine, Yliès Falcone From high-level modeling toward efficient and trustworthy circuits. Search on Bibsonomy STTT The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mohammad A. Noureddine, Amanda Hsu, Matthew Caesar, Fadi A. Zaraket, William H. Sanders P4AIG: Circuit-Level Verification of P4 Programs. Search on Bibsonomy DSN (Supplements) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Paolo 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 Big Data Semantics. Search on Bibsonomy J. Data Semantics The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Chadi Trad, Rawad Abou Assi, Wes Masri, Fadi A. Zaraket CFAAR: Control Flow Alteration to Assist Repair. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, Fadi A. Zaraket Global and Local Deadlock Freedom in BIP. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Chadi Trad, Rawad Abou Assi, Wes Masri, Fadi A. Zaraket CFAAR: Control Flow Alteration to Assist Repair. Search on Bibsonomy ISSRE Workshops The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ameen Jaber, Fadi A. Zaraket MERF: Morphology-based Entity and Relational Entity Extraction Framework for Arabic. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Dalal Hammoud, Fadi A. Zaraket, Wes Masri GUICop: Approach and toolset for specification-based GUI testing. Search on Bibsonomy Softw. Test., Verif. Reliab. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Wes Masri, Fadi A. Zaraket Coverage-Based Software Testing: Beyond Basic Test Requirements. Search on Bibsonomy Advances in Computers The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mohammad A. Noureddine, Fadi A. Zaraket Model Checking Software with First Order Logic Specifications Using AIG Solvers. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Dalal Hammoud, Fadi A. Zaraket, Wes Masri GUICop: Approach and Toolset for Specification-based GUI Testing. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Rawad Abou Assi, Wes Masri, Fadi A. Zaraket UCov: a user-defined coverage criterion for test case intent verification. Search on Bibsonomy Softw. Test., Verif. Reliab. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Maya H. Safieddine, Fadi A. Zaraket, Mohamad Jaber, Rouwaida Kanj, Mazen A. R. Saghir Automated FPGA implementations of BIP designs. Search on Bibsonomy SIES The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Kassem Fawaz, Fadi A. Zaraket, Wes Masri, Hamza Harkous PBCOV: a property-based coverage criterion. Search on Bibsonomy Software Quality Journal The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Maya H. Safieddine, Rouwaida Kanj, Fadi A. Zaraket, Ali S. Elzein, Mohamad Jaber Separation of concerns for hardware components of embedded systems in BIP. Search on Bibsonomy ISQED The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mohamad Jaber, Mohamad Noureddine, Fadi A. Zaraket From High-Level Modeling Towards Efficient and Trustworthy Circuits. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Rawad Abou Assi, Fadi A. Zaraket, Wes Masri UCov: a User-Defined Coverage Criterion for Test Case Intent Verification. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Fadi A. Zaraket, Mohamad Noureddine Model Checking Software Programs with First Order Logic Specifications using AIG Solvers. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Mohamad Noureddine, Fadi A. Zaraket, Ali S. Elzein Synthesis of Sequential Extended Regular Expressions for Verification. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Fadi A. Zaraket, Majd Olleik, Ali A. Yassine Skill-based framework for optimal software project selection and resource allocation. Search on Bibsonomy European Journal of Operational Research The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Rebal Al-Jurdi, Ghadi Sayegh, Hawraa Salami, Ibrahim C. Abou-Faycal, Fadi A. Zaraket Minimum power broadcast trees subject to interference. Search on Bibsonomy ISWCS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Mohamad Noureddine, Mohamad Jaber, Simon Bliudze, Fadi A. Zaraket Reduction and Abstraction Techniques for BIP. Search on Bibsonomy FACS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Paul C. Attie, Fadi A. Zaraket, Mohamad Noureddine, Farah El-Hariri Specification Construction Using Behaviours, Equivalences, and SMT Solvers. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Paul C. Attie, Fadi A. Zaraket, Mohammad Fawaz, Mohamad Noureddine Semantic Guidance and Feedback for the Construction of Specifications and Implementations Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Joan Farjo, Rawad Abou Assi, Wes Masri, Fadi A. Zaraket Does Principal Component Analysis Improve Cluster-Based Analysis? Search on Bibsonomy ICST Workshops The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Elie Shaccour, Fadi A. Zaraket, Wes Masri Coverage Specification for Test Case Intent Preservation in Regression Suites. Search on Bibsonomy ICST Workshops The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, Fadi A. Zaraket An Abstract Framework for Deadlock Prevention in BIP. Search on Bibsonomy FMOODS/FORTE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Fadi A. Zaraket, Ameen Jaber MATAr: Morphology-based Tagger for Arabic. Search on Bibsonomy AICCSA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Fadi A. Zaraket, Mohamad Noureddine, Mohamed Sabra, Ameen Jaber Portable Parallel Programs using architecture-aware libraries. Search on Bibsonomy SAC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jad Makhlouta, Fadi A. Zaraket, Hamza Harkous Arabic Entity Graph Extraction Using Morphology, Finite State Machines, and Graph Transformations. Search on Bibsonomy CICLing (1) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Wes Masri, Rawad Abou Assi, Fadi A. Zaraket, Nour Fatairi Enhancing Fault Localization via Multivariate Visualization. Search on Bibsonomy ICST The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Fadi A. Zaraket, Wes Masri, Marc Adam, Dalal Hammoud, Raghd Hamzeh, Raja Farhat, Elie Khamissi, Joseph Noujaim GUICOP: Specification-Based GUI Testing. Search on Bibsonomy ICST The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Fadi A. Zaraket, Jad Makhlouta Arabic Morphological Analyzer with Agglutinative Affix Morphemes and Fusional Concatenation Rules. Search on Bibsonomy COLING (Demos) The full citation details ... 2012 DBLP  BibTeX  RDF
1Fadi A. Zaraket, Jad Makhlouta Arabic Cross-Document NLP for the Hadith and Biography Literature. Search on Bibsonomy FLAIRS Conference The full citation details ... 2012 DBLP  BibTeX  RDF
1Salim N. Batlouni, Hala S. Karaki, Fadi A. Zaraket, Fadi N. Karameh Mathifier - Speech recognition of math equations. Search on Bibsonomy ICECS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Fadi A. Zaraket, Adnan Aziz, Sarfraz Khurshid Sequential circuits for program analysis. Search on Bibsonomy ASE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF model checking, verification, static analysis, program analysis
1Fadi A. Zaraket, John Pape, Adnan Aziz, Margarida F. Jacome, Sarfraz Khurshid Global Optimization of Compositional Systems. Search on Bibsonomy FMCAD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Fadi A. Zaraket, Adnan Aziz, Sarfraz Khurshid Sequential Circuits for Relational Analysis. Search on Bibsonomy ICSE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Fadi A. Zaraket, Jason Baumgartner, Adnan Aziz Scalable compositional minimization via static analysis. Search on Bibsonomy ICCAD The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #41 of 41 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license