Követés
Rehab Massoud
Rehab Massoud
EPFL
E-mail megerősítve itt: epfl.ch
Cím
Hivatkozott rá
Hivatkozott rá
Év
Semi-formal cycle-accurate temporal execution traces reconstruction
R Massoud, J Stoppe, D Große, R Drechsler
International Conference on Formal Modeling and Analysis of Timed Systems …, 2017
32017
Temporal tracing of on-chip signals using timeprints
R Massoud, HM Le, P Chini, P Saivasan, R Meyer, R Drechsler
Proceedings of the 56th Annual Design Automation Conference 2019, 1-6, 2019
22019
Fast witness counting
P Chini, R Massoud, R Meyer, P Saivasan
arXiv preprint arXiv:1807.05777, 2018
22018
Reliability improvements for multiprocessor systems by health-aware task scheduling
R Schmidt, R Massoud, J Raik, A García-Ortiz, R Drechsler
2018 IEEE 24th International Symposium on On-Line Testing And Robust System …, 2018
22018
Property-Driven Timestamps Encoding for Timeprints-Based Tracing and Monitoring
R Massoud, HM Le, R Drechsler
Formal Modeling and Analysis of Timed Systems: 17th International Conference …, 2019
12019
Towards mature temporal accuracy assessment of processors models and simulators for real-time systems development
RH Massoud, MB Abdelhalim, M Allam
2011 International Symposium on Performance Evaluation of Computer …, 2011
12011
How Deduction Systems Can Help You To Verify Stability Properties
M Gleirscher, R Massoud, D Hutter, C Lüth
arXiv preprint arXiv:2404.10747, 2024
2024
Evidence-Oriented Tracing and Verification, The Declaration of Timeprints
R Massoud
Universität Bremen, 2021
2021
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–8