C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Hazem Abaza
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 3
Top Topics
Test Generation
Specification Language
Autonomous Driving
Tcp Ip
Top Venues
RTCSA
CoRR
WCET
</>
Publications
</>
Hazem Abaza
,
Debayan Roy
,
Shiqing Fan
,
Selma Saidi
,
Antonios Motakis
Trace-enabled Timing Model Synthesis for ROS2-based Autonomous Applications.
CoRR
(2023)
Hazem Abaza
,
Abhinaba Habishyashi
,
Debayan Roy
,
Andrea Bastoni
,
Zain Alabedin Haj Hammadeh
,
Shiqing Fan
,
Selma Saidi
,
Sergey Tverdyshev
RDMA-Based Deterministic Communication Architecture for Autonomous Driving.
RTCSA
(2023)
Hazem Abaza
,
Zain Alabedin Haj Hammadeh
,
Daniel Lüdtke
DELOOP: Automatic Flow Facts Computation Using Dynamic Symbolic Execution.
WCET
(2022)