|
Home « Team « Publications
» Publications of
Rehab Massoud
|
|
 |
BOOKS |
 |
|
BOOK CONTRIBUTIONS |
|
|
JOURNALS |
|
|
CONFERENCES |
|
» Property-driven Timestamps Encoding for Timeprints-based Tracing and Monitoring
|
|
|
|
Author:
|
|
Rehab Massoud, Hoang M. Le, Rolf Drechsler |
| Conference: |
|
17th International Conference on Formal Modeling and Analysis of Timed Systems, (FORMATS) |
Reference:
|
| Amsterdam, Netherlands, 27-29 August, 2019
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
» Temporal Tracing of On-Chip Signals using Timeprints
|
|
|
|
Author:
|
|
Rehab Massoud, Hoang M. Le, Peter Chini, Prakash Saivasan, Roland Meyer and Rolf Drechsler |
| Conference: |
|
Design Automation Conference (DAC) |
Reference:
|
| Las Vegas, USA, 2019
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
» Reliability Improvements for Multiprocessor Systems by Health-Aware Task Scheduling
|
|
|
|
Author:
|
|
Robert Schmidt, Rehab Massoud, Jaan Raik, Alberto Garcia-Ortiz, Rolf Drechsler |
| Conference: |
|
24th IEEE International Symposium on On-Line Testing and Robust System Design (IOLTS) |
Reference:
|
| Costa Brava, Spain, 2018
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
» Semi-Formal Cycle-Accurate Temporal Execution Traces Reconstruction
|
|
|
|
Author:
|
|
Rehab Massoud, Jannis Stoppe, Daniel Große, Rolf Drechsler |
| Conference: |
|
15th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS) |
Reference:
|
| pp. 335-351, Berlin, Germany, 2017
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
|
WORKSHOPS |
|
» Time-stamps for Hardware Simulation Models Accurate Time-back Annotation
|
|
|
|
Author:
|
|
Rehab Massoud, Jannis Stoppe, Karthik Maddikunta, Rolf Drechsler |
| Workshop: |
|
5th Workshop on Design Automation for Understanding Hardware Designs (DUHDe) |
Reference:
|
| Dresden, Germany, 2018
| Hyperlink:
|
| [Link to the Workshop]
|
|
|
|
|
