- 4
- 2
- 1
Frank Singhoff
7
Documents
Publications
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 7
- 7
- 6
- 4
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 3
Design and Multi-Abstraction Level Evaluation of a NoC Router for Mixed-Criticality Real-Time SystemsACM Journal on Emerging Technologies in Computing Systems, 2019, 15 (1), pp.2:1--2:37. ⟨10.1145/3264818⟩
Article dans une revue
hal-01867949v1
|
|
|
Design and Multi-Abstraction Level Evaluation of a NoC Router for Mixed-Criticality Real-Time SystemsACM Journal on Emerging Technologies in Computing Systems, 2018
Article dans une revue
hal-01867673v1
|
NORTH: Non-intrusive Observation and RunTime verification of cyber-pHysical systems.Ada User Journal, 2018
Article dans une revue
hal-01869010v1
|
|
Verification of Scheduling Properties Based on Execution TracesAda User Journal, 2018
Article dans une revue
hal-01868846v1
|
|
DAS: An Efficient NoC Router for Mixed-Criticality Real-Time Systems2017 IEEE 35th International Conference on Computer Design (ICCD), Nov 2017, Boston, United States. ⟨10.1109/ICCD.2017.42⟩
Communication dans un congrès
hal-01713312v1
|
Modeling and Validation of a Mixed-Criticality NoC Router Using the IF Languagethe 10th International Workshop on Network on Chip Architectures, Oct 2017, Boston, United States. ⟨10.1145/3139540.3139543⟩
Communication dans un congrès
hal-01713333v1
|
NoC and Mixed-criticality Systems2017
Autre publication scientifique
hal-01716934v1
|