47 results on '"Nouri, Ayoub"'
Search Results
2. Performance Evaluation of the NDN Data Plane Using Statistical Model Checking
3. Exploring the Bioactive Potential of Tamarix africana: Phytochemical Profiling, Antioxidant, and Antibacterial Activities Assessment
4. Exploring the Utility of Macrophyte Metrics for Evaluating the Quality of Rivers in Morocco: Insights from the Macrophyte Biological Index for Rivers
5. Large-Scale Monitoring of Bird Communities along an Altitudinal Gradient in Two Central High Atlas Valleys
6. Model-Based Design of Resilient Systems Using Quantitative Risk Assessment
7. Mitigating Security Risks Through Attack Strategies Exploration
8. BIP 2.0: Statistical Model Checking Stochastic Real-Time Systems
9. Regression-Based Statistical Bounds on Software Execution Time
10. Improved Learning for Stochastic Timed Models by State-Merging Algorithms
11. Building Faithful Embedded Systems Models: Challenges and Opportunities
12. Performance Evaluation of the NDN Data Plane Using Statistical Model Checking
13. Maximal software execution time: a regression-based approach
14. Model-based design of resilient systems using quantitative risk assessment
15. Faster Statistical Model Checking by Means of Abstraction and Learning
16. Mitigating Security Risks Through Attack Strategies Exploration
17. $$\mathcal {S}$$BIP 2.0: Statistical Model Checking Stochastic Real-Time Systems
18. Exploring factors driving macrophytes in rivers—A case study in Middle Atlas Morocco
19. Statistical Model Checking QoS Properties of Systems with SBIP
20. Building Faithful Embedded Systems Models: Challenges and Opportunities
21. Exploring factors driving macrophytes in rivers—A case study in Middle Atlas Morocco.
22. Statistical model checking QoS properties of systems with SBIP
23. The avifauna of two high atlas valleys: breeding assemblages in forest stands and open lands
24. Faster Statistical Model Checking by Means of Abstraction and Learning
25. Macrophytes as a tool for assessing the trophic status of a river: a case study of the upper Oum Er Rbia Basin (Morocco)
26. Statistical Model Checking QoS Properties of Systems with SBIP
27. SBIP 2.0: Statistical Model Checking Stochastic Real-time Systems
28. A Model-Based Approach To Certification Of Adaptive Mils
29. $$\mathcal {S}$$BIP 2.0: Statistical Model Checking Stochastic Real-Time Systems
30. Performance evaluation of stochastic real-time systems with the SBIP framework
31. Performance evaluation of stochastic real-time systems with the SBIP framework
32. Performance evaluation of stochastic real-time systems with the SBIP framework
33. Performance Evaluation of Complex Systems Using the SBIP Framework
34. Building Faithful Embedded Systems Models: Challenges and Opportunities
35. Modélisation et Évaluation de Performance pour la Conception des Systèmes Embarqués : Approche Rigoureuse au Niveau Système
36. Transforming VHDL descriptions into formal component-based models
37. ASTROLABE
38. Synthesizing Distributed Scheduling Implementation for Probabilistic Component-based Systems
39. Building faithful high-level models and performance evaluation of manycore embedded systems
40. Statistical model checking QoS properties of systems with SBIP
41. Stochastic modeling and performance analysis of multimedia SoCs
42. SMT-Based Unbounded Model Checking for ATL
43. Handling of Operating Modes in Contract-Based Timing Specifications
44. Coalition Formation with Multiple Alternatives of Interdependent Tasks
45. Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation
46. Roles and Responsibilities for a Predictable Update Process – A Position Paper
47. On Decentralized Monitoring
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.