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)
9. Context-Aware Performance Analysis for Efficient Embedded System Design
10. An Experience Integrating Response-Time Analysis and Optimization with an MDE Strategy
11. Influence of different abstractions on the performance analysis of distributed hard real-time systems
12. Formal Performance Analysis for Real-Time Heterogeneous Embedded Systems
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.
16. Improving and Estimating the Precision of Bounds on the Worst-Case Latency of Task Chains
17. Influence of different abstractions on the performance analysis of distributed hard real-time systems
18. Quantifying the Flexibility of Real-Time Systems
19. Using Model-Checking for Timing Verification in Industrial System Design
20. Bounding deadline misses in weakly-hard real-time systems with task dependencies
21. Budgeting Under-Specified Tasks for Weakly-Hard Real-Time Systems
22. Demo Abstract: TEMPO: Integrating Scheduling Analysis in the Industrial Design Practices
23. Integrating Formal Timing Analysis in the Real-Time Software Development Process
24. TEMPO
25. Safety and Performance Co-engineering: New MDE Challenge for Critical Applications Design?
26. Industrial adaptation of MARTE for early scheduling analysis of component-based applications
27. Influence of different abstractions on the performance analysis of distributed hard real-time systems
28. Scenario Aware Analysis for Complex Event Models and Distributed Systems
29. Improved response time analysis of tasks scheduled under preemptive Round-Robin
30. Influence of different system abstractions on the performance analysis of distributed real-time systems
31. Improved Output Jitter Calculation for Compositional Performance Analysis of Distributed Systems
32. Integrating model-based formal timing analysis in the industrial development process of satellite on-board software.
33. Context-Aware Performance Analysis for Efficient Embedded System Design.
34. Improved response time analysis of tasks scheduled under preemptive Round-Robin.
35. Transformation of SDL specifications for system-level timing analysis
36. Context-Aware Scheduling Analysis of Distributed Systems with Tree-Shaped Task-Dependencies.
37. Transformation of SDL specifications for system-level timing analysis.
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
40. Context-Aware Performance Analysis for Efficient Embedded System Design.
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.