Hayleyesus Andualem Alemayehu

Mr. Hayleyesus Andualem Alemayehu

orcid

Research Focus & Metrics

Academic Career Length

3Years (2024-Present)

(Calculated once Scilit publication data is synced: current year − year of first publication + 1)

Representative Publications

View All Publications
3 February 2025 in Electronics
Verified
Journal Article
Open access
PDF file
HAHayleyesus Andualem Alemayehu
Hayleyesus Andualem Alemayehu
Arman SargolzaeiArman Sargolzaei
Arman Sargolzaei
Connected and Autonomous Vehicles (CAVs) have the potential to revolutionize transportation by addressing critical challenges such as safety, energy efficiency, traffic congestion, and environmental impact. Realizing these benefits, however, requires the development of a rigorous testing and verification framework to enable the safe, efficient, and reliable deployment of CAVs across diverse operational scenarios. Despite the growing body of research, there remains a significant gap in review papers that comprehensively summarize recent studies related to the testing and verification of CAVs while identifying current challenges and highlighting future research directions. This paper seeks to address this gap by presenting a comprehensive review of the existing testing and verification frameworks for CAVs and identifying their associated challenges. Key topics covered include scenario generation, verification cost functions, assertion values, and security considerations. Furthermore, the paper highlights limitations within current frameworks, emphasizing the gaps that hinder systematic and comprehensive evaluations.

26 March 2024 in International Journal of Intelligent Robotics and Applications
Verified
Journal Article
Closed access
PDF file
GKGetnet Ayele Kebede
Getnet Ayele Kebede
AGAmesssalu Atenafu Gelaw
Amesssalu Atenafu Gelaw
HAHayleyesus Andualem Alemayehu
Hayleyesus Andualem Alemayehu
AHAssefa Tesfaye Hailu
Assefa Tesfaye Hailu

19 April 2026 in International Journal of Systems Science
Verified
Journal Article
Closed access
HAHayleyesus Andualem Alemayehu
Hayleyesus Andualem Alemayehu
ASArman Sargolzaei
Arman Sargolzaei

1 January 2026 in IEEE Access
Verified
Journal Article
Open access
HAHayleyesus Andualem Alemayehu
Hayleyesus Andualem Alemayehu
MOMatthew Okashita
Matthew Okashita
Arman SargolzaeiArman Sargolzaei
Arman Sargolzaei

1 January 2026 in IEEE Open Journal of Intelligent Transportation Systems
Verified
Journal Article
Open access
EKEfrem N. Korme
Efrem N. Korme
HAHayleyesus Andualem Alemayehu
Hayleyesus Andualem Alemayehu
PBParisa Ansari Bonab
Parisa Ansari Bonab
Arman SargolzaeiArman Sargolzaei
Arman Sargolzaei