Login / Signup
Hazem Abaza
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 4
Top Topics
Test Generation
Multiagent Systems
Computational Model
Symbolic Execution
Top Venues
CoRR
RTCSA
WCET
DATE
</>
Publications
</>
Hazem Abaza
,
Debayan Roy
,
Shiqing Fan
,
Selma Saidi
,
Antonios Motakis
Trace-Enabled Timing Model Synthesis for ROS2-based Autonomous Applications.
DATE
(2024)
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)