Science Explorer Interactive view Map
Researcher · National University of Sciences and Technology · Pakistan

Osman Hasan

Osman Hasan publishes mostly in Electrical and Electronic Engineering, Computational Theory and Mathematics and Software, on topics such as Formal Methods in Verification, Software Testing and Debugging Techniques and Software Reliability and Analysis Research.

ORCID 0000-0003-2562-2669 OpenAlex
World rank
#837,729
of 1,633,909 ranked researchers
Rank in Pakistan
#1,543
of 4,422
Works
84
Citations
165
Citations per work
2.0

What does Osman Hasan research?

Electrical and Electronic Engineering: 16.8%Computational Theory and Mathematics: 16.1%Software: 11.9%Hardware and Architecture: 10.5%other fields: 44.7%17%top field
Electrical and Electronic Engineering16.8%Computational Theory and Mathematics16.1%Software11.9%Hardware and Architecture10.5%other fields44.7%

Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.

  1. 1Electrical and Electronic Engineering17% of their works
  2. 2Computational Theory and Mathematics16% of their works
  3. 3Software12% of their works
  4. 4Hardware and Architecture10% of their works
  5. 5Control and Systems Engineering7% of their works
  6. 6Artificial Intelligence6% of their works

Research topics

Which keywords describe Osman Hasan's research?

The keywords of their largest research topics: Model Checking, Symbolic Model Checker, Automated Testing, CMOS Technology, Software Fault Localization, Architecture-Based Approach, Software Reliability Modeling and High-Level Synthesis.

Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most.

All 17 words, with their numbers
  1. Model Checking191 topic
  2. Symbolic Model Checker191 topic
  3. Automated Testing91 topic
  4. CMOS Technology92 topics
  5. Software Fault Localization91 topic
  6. Architecture-Based Approach81 topic
  7. Software Reliability Modeling81 topic
  8. High-Level Synthesis71 topic
  9. Reconfigurable Computing71 topic
  10. Cyber-Physical Systems61 topic
  11. Smart Grid61 topic
  12. Radiation Effects51 topic
  13. Soft Errors51 topic
  14. Assurance Cases41 topic
  15. Low-Power41 topic
  16. Safety Assurance41 topic
  17. VLSI Circuits41 topic

Where does Osman Hasan work?

Osman Hasan's main affiliation in the publication record is National University of Sciences and Technology, Pakistan.

How many publications and citations does Osman Hasan have?

Science Explorer counts 84 works and 165 citations for Osman Hasan, ranking #837,729 of 1,633,909 researchers worldwide on the composite score.

Ranked on field-normalised excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.

Papers, co-authors, who cited this work and researchers on the nearest topics are in the interactive view on the map. Is this your page? Request a correction or removal.