Author of the publication

Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving.

, , , , , , , and . SC²@SYNASC, volume 1804 of CEUR Workshop Proceedings, page 32-38. CEUR-WS.org, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Novel Method of Improving Quality of Service for Voice over Internet Protocol Traffic in Mobile Ad Hoc Networks., , , , , and . Int. J. Commun. Networks Inf. Secur., (2019)Work-in-Progress-360-Degree Immersive Storytelling Video to Create Empathetic Response., , , , and . iLRN, page 1-3. IEEE, (2021)Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving., , , , , , , and . SC²@SYNASC, volume 1804 of CEUR Workshop Proceedings, page 32-38. CEUR-WS.org, (2016)Anthropometric Evaluation of the Design of the Classroom Desk for the Eighth and the Ninth Grades of Benghazi Schools., , , , , and . AHFE (18), volume 602 of Advances in Intelligent Systems and Computing, page 52-59. Springer, (2017)A New Method for Solving the Flow Shop Scheduling Problem on Symmetric Networks Using a Hybrid Nature-Inspired Algorithm., , , , , and . Symmetry, 15 (7): 1409 (July 2023)Diagnosis of Gallbladder Disease Using Artificial Intelligence: A Comparative Study., , , and . Int. J. Comput. Intell. Syst., 17 (1): 46 (December 2024)Potential of oxazolidines and zirconium oxalate crosslinkers on the hydrothermal and thermo-mechanical stability of collagen fiber, and . GSC Advanced Research and Reviews, 14 (1): 001-006 (January 2023)Detection of Biliary Artesia using Sonographic Gallbladder Images with the help of Deep Learning approaches., , , and . CoDIT, page 705-711. IEEE, (2022)A Robot Obstacle Avoidance Method based on Random Forest HTM Cortical Learning Algorithm.. Webology, 17 (2): 788-803 (2020)Hide-power and combined methods for characterization of vegetable tannin in plant, and . GSC Advanced Research and Reviews, 13 (3): 097–102 (December 2022)