Rehab Massoud

According to our database, Rehab Massoud authored at least 7 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

How Deduction Systems Can Help You To Verify Stability Properties.

Mario Gleirscher, Rehab Massoud, Dieter Hutter, Christoph Lüth

CoRR, 2024

2021

Evidence-Oriented Tracing and Verification, The Declaration of Timeprints

Rehab Massoud

PhD thesis, 2021

2019

Property-Driven Timestamps Encoding for Timeprints-Based Tracing and Monitoring.

Rehab Massoud, Hoang M. Le, Rolf Drechsler

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2019

Temporal Tracing of On-Chip Signals using Timeprints.

Rehab Massoud, Hoang M. Le, Peter Chini, Prakash Saivasan, Roland Meyer, Rolf Drechsler

Proceedings of the 56th Annual Design Automation Conference 2019, 2019

2018

Fast Witness Counting.

Peter Chini, Rehab Massoud, Roland Meyer, Prakash Saivasan

CoRR, 2018

Reliability Improvements for Multiprocessor Systems by Health-Aware Task Scheduling.

Robert Schmidt, Rehab Massoud, Jaan Raik, Alberto García Ortiz, Rolf Drechsler

Proceedings of the 24th IEEE International Symposium on On-Line Testing And Robust System Design, 2018

2017

Semi-formal Cycle-Accurate Temporal Execution Traces Reconstruction.

Rehab Massoud, Jannis Stoppe, Daniel Große, Rolf Drechsler

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017