Homepage Sitemap Contact




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]

















Die deutsche Version ist von dieser Seite nicht erreichbar - bitte gehen Sie eine Seite zurück.









Sitemap Kontakt

ISMVL2014 DUHDE