Skip to main navigation
Skip to search
Skip to main content
Research Explorer The University of Manchester Home
Home
Research Profiles
Research units
Research output
Projects
Impacts
Activities
Press/Media
Prizes
Datasets
Student theses
Search by expertise, name or affiliation
Kaled Alshmrany
Mr
Research Associate
,
Autonomy and Verification
Doctor of Philosophy
,
Department of Computer Science
https://orcid.org/0000-0002-5822-5435
Overview
Fingerprint
Network
Research output
(6)
Prizes
(6)
Similar Profiles
(9)
If you made any changes in Pure these will be visible here soon.
Fingerprint
Dive into the research topics where Kaled Alshmrany is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Fuzzing
100%
C Program
88%
Model Checking
47%
Security Vulnerability
44%
Programs
44%
Hybrid Approach
33%
Vulnerabilities
33%
Abstract Interpretation
22%
Lower Energy Consumption
16%
Category Error
16%
Symbolic Execution
16%
Runtime Protection
16%
Protection
16%
Static Program Analysis
16%
Shared Memory
11%
Previous Version
11%
Generation
11%
Records
11%
Invariants
11%
Test Generation
11%
Testing
11%
Experimental Result
11%
Case Generation
11%
Interval Method
11%
Constraint Programming
11%
Energy Consumption
8%
Execution Time
8%
Detection
8%
Energy Efficient
8%
Software Testing
8%
Memory Corruption Bug
8%
Execution Path
8%
Programming Language
8%
Compiler
8%
Application Software
8%
Hardware
8%
Hardware Layer
8%
System Software
8%
Deployment Technique
8%
