Semi-formal Cycle-Accurate Temporal Execution Traces Reconstruction. - Rehab Massoud; Jannis Stoppe; Daniel Große; Rolf Drechsler (FORMATS, 2017)

Reliability Improvements for Multiprocessor Systems by Health-Aware Task Scheduling. - Robert Schmidt 003; Rehab Massoud; Jaan Raik; Alberto García Ortiz; Rolf Drechsler (IOLTS, 2018)

Fast Witness Counting. - Peter Chini; Rehab Massoud; Roland Meyer 001; Prakash Saivasan (CoRR, 2018)

Temporal Tracing of On-Chip Signals using Timeprints. - Rehab Massoud; Hoang M. Le; Peter Chini; Prakash Saivasan; Roland Meyer 001; Rolf Drechsler (DAC, 2019)

Property-Driven Timestamps Encoding for Timeprints-Based Tracing and Monitoring. - Rehab Massoud; Hoang M. Le; Rolf Drechsler (FORMATS, 2019)

Evidence-Oriented Tracing and Verification, The Declaration of Timeprints - Rehab Massoud (2021)

How Deduction Systems Can Help You To Verify Stability Properties. - Mario Gleirscher; Rehab Massoud; Dieter Hutter; Christoph Lüth (CDC, 2024)