Rehab Massoud

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 6

Top Topics

Temporal Constraints

Desirable Properties

Temporal Information

Execution Traces

Top Venues

Publications

Mario Gleirscher, Rehab Massoud, Dieter Hutter, Christoph Lüth
How Deduction Systems Can Help You To Verify Stability Properties. CoRR (2024)
Rehab Massoud, Hoang M. Le, Rolf Drechsler
Property-Driven Timestamps Encoding for Timeprints-Based Tracing and Monitoring. FORMATS (2019)
Rehab Massoud, Hoang M. Le, Peter Chini, Prakash Saivasan, Roland Meyer, Rolf Drechsler
Temporal Tracing of On-Chip Signals using Timeprints. DAC (2019)
Robert Schmidt, Rehab Massoud, Jaan Raik, Alberto García Ortiz, Rolf Drechsler
Reliability Improvements for Multiprocessor Systems by Health-Aware Task Scheduling. IOLTS (2018)
Peter Chini, Rehab Massoud, Roland Meyer, Prakash Saivasan
Fast Witness Counting. CoRR (2018)
Rehab Massoud, Jannis Stoppe, Daniel Große, Rolf Drechsler
Semi-formal Cycle-Accurate Temporal Execution Traces Reconstruction. FORMATS (2017)