Search

Your search keyword '"Henia, Rafik"' showing total 40 results

Search Constraints

Start Over You searched for: Author "Henia, Rafik" Remove constraint Author: "Henia, Rafik"
40 results on '"Henia, Rafik"'

Search Results

2. Applying Parametric Model-Checking Techniques for Reusing Real-Time Critical Systems

Catalog

Books, media, physical & digital resources

3. An Experience Integrating Response-Time Analysis and Optimization with an MDE Strategy

4. From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS

5. From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact)

6. From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper)

7. From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact)

8. From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper)

13. Time4Sys – Integrating Timing Verification in your Engineering Practices

14. Budgeting Under-Specified Tasks for Weakly-Hard Real-Time Systems

15. Time4PS: Fully Integrated Development Toolset for Partitioned Systems.

17. Influence of different abstractions on the performance analysis of distributed hard real-time systems

18. Quantifying the Flexibility of Real-Time Systems

21. Budgeting Under-Specified Tasks for Weakly-Hard Real-Time Systems

24. TEMPO

33. Context-Aware Performance Analysis for Efficient Embedded System Design.

38. Influence of different abstractions on the performance analysis of distributed hard real-time systems

39. Influence of different abstractions on the performance analysis of distributed hard real-time systems