

|
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]
|
|
 |
|
|